Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I need help understanding a statement. I have been told that :

$\mathbf{Q}\subset\mathbf{R}$ is not a countable intersection of open sets. In other words, $\mathbf{Q}\neq\bigcap\limits_{i=1}^{\infty}U_i$ (where each $U_i$ is open). This implies that there is no function $f:\mathbf{R}\rightarrow\mathbf{R}$ such that $f$ is continuous at every $x\in\mathbf{Q}$ and is discontinuous at every $x\notin\mathbf{Q}$

I am not sure how the first two sentences imply the last one.

share|cite|improve this question
See here… for a proof that the set of points of continuity is $G_{\delta}$. – Deven Ware Nov 5 '13 at 5:36
I am sorry, but I haven't learned anything regarding $G_\delta$. Does it mean that it is Borel measurable? How would I prove this statement without using $G_\delta$? – Quantum MOCHACCINO Nov 5 '13 at 5:41
Nevermind: – Quantum MOCHACCINO Nov 5 '13 at 5:43
@user97554 $G_\delta$ set is countable intersection of open sets. You gives $\Bbb{Q}$ is not $G_\delta$ already. – Hanul Jeon Nov 5 '13 at 5:45
up vote 4 down vote accepted

A subset of $\mathbb R$ is called a $G_{\delta}$-set if it is the intersection of countably many open sets.

Theorem. For any function $f:\mathbb R\to\mathbb R$, the set of all points at which $f$ is continuous is a $G_{\delta}$-set.

Proof. Let a function $f:\mathbb R\to\mathbb R$ be given. For each $n\in\mathbb N$, let $U_n$ be the union of all open sets $D$ such that $|f(x)-f(y)|\lt\frac1n$ for all $x,y\in D$, and let $A=\bigcap_{n=1}^{\infty}U_n$. Clearly $A$ is a $G_{\delta}$-set, being the intersection of the open sets $U_n$. It is easy to verify that $f$ is continuous at a point $x_0\in\mathbb R$ if and only if $x_0\in A$.

Theorem. A countable dense subset of $\mathbb R$ cannot be a $G_{\delta}$-set.

Proof. Let $A=\{a_n:n\in\mathbb N\}$ be a dense subset of $\mathbb R$, and assume for a contradiction that $A=\bigcap_{n=1}^{\infty}U_n$ where each $U_n$ is an open set. Since $A$ is dense, each $U_n$ is dense. Let $I_0$ be some closed interval (understood to be of the form $[a_0,b_0]$ with $a_0\lt b_0$). Inductively define for each $n\in\mathbb N$ a closed interval $I_n\subseteq I_{n-1}$ so that $a_n\notin I_n$ and $I_n\subseteq U_n$. The intersection of the nested closed intervals $I_n$ contains a point $x$, which must be in $A$ since it is in each $U_n$, but is not equal to any $a_n$. This contradiction proves the theorem.

share|cite|improve this answer

If such function exists, then we can consider

$$A=\{x\in\Bbb{R}:f(x)\text{ is continuous at }x\}.$$

But it is known that the set of points of continuity of a real function is $G_\delta$.

Related posts

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.