Measurable Function - Past Exam question This is an exercise from a past exam I'm using to try to help me study. Let $f$ be measurable and bounded on $[0,1]$ satisfying $$f(x+y)=f(x)+f(y);\quad f(1)=1.$$ I'm trying to show that $f(x)=x$. We're given a hint to show it is continuous by using the hypothesis in a "mildly clever" way, show that it is the identity on the rational points, then extend by continuity.
I am able to show that the function is the identity on $[0,1]\cap\mathbb{Q}$ without any trouble, but I'm not sure how to show it's continuous. From there, showing the function is the identity would be easy since it follows from the fact that the rational numbers are dense in $\mathbb{R}$.
 A: Appealing to Lusin's theorem and inner regularity of the Lebesgue measure, there is a closed set $E$ with $m(E) > 1 - \epsilon$ so that the restriction to $E$ of $f$ is uniformly continuous on $E$.  Now, observe that for $\delta$ and $\epsilon$ sufficiently small, we have that $E \cap (E + \delta)$ is nonempty, so uniform continuity of $f$ on $E$ lets us conclude that for $x$ in the intersection $|f(x + \delta) - f(x)| = |f(\delta)|$ can be made arbitrarily small by choosing $\delta$ sufficiently close to zero, which implies continuity after appealing to linearity since for general $x$ we have $f(x + \delta) - f(x) = f(\delta)$.
As an aside this trick with Lusin's theorem pops up a lot with questions like this.
A: Hint:  
It suffices to show continuity at $0$ because the function is a homomorphism. 
Then because points with rational coordinates are dense in $\mathbb{C}$ (or $\mathbb{R}$ if you're working $f : \mathbb{R} \rightarrow \mathbb{R}$), for any disk $D$ around the origin you know that there is some $q$ so that $$f^{-1}(q + D)$$ has positive measure. Then by the Steinhaus theorem the difference set $$f^{-1}(q +D) - f^{-1}(q +D)$$ contains an open ball around the origin. 
A: This is perhaps the simplest example of a phenomenon called automatic continuity: functions between nice enough topological spaces (say, Polish spaces) that preserve some algebraic structure (say, group homomorphisms) and have some minimal amount of regularity (say, Borel measurable) have to be continuous.  You can read more about it in this MO question.  The cited survey by Christian Rosendal (PDF) is quite nice.
