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

$\def\R{\mathbb R}$Let $A= \{x: f \text{ is continuous at $x$}\}$ for $f : \R\to \R$ , why is $A$ Borel measurable?

share|cite|improve this question
Think about $\liminf$ and $\limsup$ – M Turgeon Sep 18 '12 at 19:11

The set $A$ is what is called a $G_\delta$ set--a countable intersection of open sets. Since open sets are Borel measurable, and since countable intersections of measurable sets are measurable, then $A$ is measurable.

share|cite|improve this answer

Let $A_{a,b}=\{x\mid \exists\delta>0\colon\forall y\in (x-\delta,x+\delta)\colon a<f(y)<b\}$.

Then $A_{a,b}$ is open (why?) and $$A=\bigcap_{n\in \mathbb N}\bigcup_{q\in \mathbb Q}A_{q,q+\frac1n}$$ (again: why?) is a countable intersection of open sets.

share|cite|improve this answer
Perfect! So do you think it is still the case for A={x:x is differentiable} - I learnt that most of these measurable problems are concerned with finding a lim-sup and liminf but what would it be about differentiables? – Mathfollower Sep 19 '12 at 2:44

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.