# Does a nonlinear additive function on R imply a Hamel basis of R?

A function is additive if $f(x+y) = f(x) + f(y)$. Intuitively, it might seem that an additive function from R to R must be linear, specifically of the form $f(x) = kx$. But assuming the axiom of choice, that is wrong, and the proof is rather simple: you just take a Hamel basis of $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and then you define your function f to be different in at least two distinct elements of the basis.

But my question is this: if there is no Hamel basis of $\mathbb{R}$, then must $f$ be linear? To put it another way, does ZF + the existence of a nonlinear additive function imply the existence of Hamel basis of $\mathbb{R}$?

I checked the Consequences of the Axiom of Choice Project, a database of choice axioms and their relationships here, and it said that it didn't know.

• I believe this is equivalent, but not sure where to find a proof or how to construct one. Commented Apr 19, 2013 at 2:38
• What reason do you have for thinking they're equivalent? It certainly seems intuitive that they'd be equivalent. But then again it may be intuitive that you could never have a nonlinear additive function under any circumstances. Commented Apr 19, 2013 at 3:53
• No, it is not by intuition only. This is an old problem in Rudin's book, and I think if you do a proper search (for example, on the book "counterexamples in analysis") they consider the two being equivalent. I do not have time to think deeper, however. Commented Apr 19, 2013 at 4:39
• @user32240: I have doubts that people like Herrlich and Paul Howard who dedicated much of their career to AC related problems wouldn't know about that problem (unless Rudin didn't know it was open, and underestimated its difficulty). Commented Apr 19, 2013 at 8:25
• A copy of this question at MO: mathoverflow.net/questions/128187/… Commented Jun 9, 2014 at 18:12