Measurable Cauchy Function is Continuous I found this question here Show that $f(x+y)=f(x)+f(y)$ implies $f$ continuous $\Leftrightarrow$ $f$ measurable and I want to adapt the proof that t.b had suggested. I don't know the concepts of Baire and separable group. Can this be done by simple analysis and measure theory using the result of t.b, maybe by defining A suitably or in some other way.
Thanks for any help.
 A: t.b. mentioned the following result:

If $A \subseteq \mathbb{R}$ has positive measure then $A - A = \{a - a' \mid a,a' \in A\}$ is a neighborhood of zero.

Various proofs are discussed in The set of differences for a set of positive Lebesgue measure.
Given this, we can prove that a Lebesgue measurable homomorphism $f \colon \mathbb{R} \to \mathbb{R}$ is continuous as follows:
It suffices to prove that $f$ is continuous at $0$, so we need to show that for every open neighborhood $U$ of $0$, its pre-image $f^{-1}(U)$ is a neighborhood of $0$. 
Choose an open set $V \subseteq U$ such that $V - V \subseteq U$. Using an enumeration $(q_n)_{n \in \mathbb{N}}$ of the rational numbers (or any other countable dense subset of $\mathbb{R}$) we have $\mathbb{R} = \bigcup_{n \in \mathbb{N}} (q_n + V)$ and hence also $\mathbb{R} = \bigcup_{n\in\mathbb{N}} f^{-1}(q_n + V)$.
Since $f$ is measurable, the sets $W_n = f^{-1}(q_n + V)$ are measurable, and since $\mathbb{R} = \bigcup_{n=1}^\infty W_n$, at least one of them has positive measure. Therefore $W_n - W_n$ is a neighborhood of $0$ for some $n$. But $f$ is a homomorphism, so $W_{n} - W_{n} \subseteq f^{-1}(V-V) \subseteq f^{-1}(U)$ and we have shown that $f^{-1}(U)$ is a neighborhood of $0$. 
