# Does "All additive functions are linear" imply every set of reals is measurable?

Suppose we are working in ZF set theory without choice. An additive function is a function defined over the real line such that $$f(x+y)=f(x)+f(y)$$. It is known that if every set of reals is measurable, then every additive function is linear. Is the converse true in ZF?

• I assume a non-linear additive function in ZFC looks like this: choose a Hamel basis of $\mathbb R$ as a $\mathbb Q$-vector space, define the map on the basis arbitrarily and extend by $\mathbb Q$-linearity. So without choice we can't produce it. Correct? Jan 2, 2021 at 0:37
• @PatrickDaSilva Yes, correct. Jan 2, 2021 at 0:39
• I'm curious about the statement "every set of reals is measurable $\Rightarrow$ every additive function is linear" in ZF. Do you have a proof written up somewhere? Is it heavy? Jan 2, 2021 at 0:39
• I'm thinking a bit about continuity as well because the statement "every additive function is linear" can be re-phrased as "every $\mathbb Q$-linear function is $\mathbb R$-linear" because additivity implies $f(nx) = nf(x)$ by induction on $n$, so that $f(ax/b) = \frac {af(x)}{b}$ for any $a/b \in \mathbb Q$. Jan 2, 2021 at 0:44
• On continuity, good point worth expanding upon. It is well known that the function solutions to f(a+b) = f(a) + f(b) must satisfy f(x) = cx for some constant c at least on Q (set of rationals). However, George Hamel showed the existence of nowhere-continuous additive functions using the axiom of choice. It is quite easy to prove that if f is also continuous at a single real value, then f is necessarily of the form f(x) = cx. I even wrote about this in a tiny paper: Michael W. Ecker, Adding a Simple Condition to Additive Functions, MathAMATYC Educator, February 2016, Vol. 7, No. 3. Jan 5, 2021 at 17:49

• Can you cite references to those statements? I want to read more about this topic! (i.e. about "Every set of reals has the Baire property $\Rightarrow$ every additive function is $\mathbb R$-linear" and "ZF+Baire" weaker than "ZF+all real subsets are measurable") Jan 2, 2021 at 3:19
• So ... A standard thing (perhaps using choice) is to prove: if $f$ is additive and Lebesgue measurable, then $f$ is of the form $f(x) =ax$. Does this argument work in ZF only? Lebesgue measurable function means:$\{x : f(x) < \lambda\}$ is Lebesgue measurable set for every real $\lambda$. The proof uses this: if $A$ is a Lebesgue measurable set with positive measure, then $A - A$ contains a neighborhood of $0$. Jan 5, 2021 at 22:39