Functions that satisfy $f(x+y)=f(x)f(y)$ and $f(1)=e$ My real analysis professor mentioned in passing that there exist functions $f:\mathbb{R}\rightarrow\mathbb{R}$ that satisfy all of the following conditions for all $a,b \in \mathbb{R}$:


*

*$$f(1)=e$$

*$$f(a+b)=f(a)f(b)$$

*$$\exists\, x \in \mathbb{R} \,\,\,\,\text{ such that } \,\,\,f(x)\neq e^{x}$$

I was trying to find such a function and I encountered some difficulty. I tried finding out which values of $x$ necessitated $f(x) = e^x$ ... 
I started with $0$ and got to all of the integers, then to the rationals.

From property $2$ we can let $a=0$ to find $f(0)$ as follows:
$$f(b) = f(0+b) = f(0)f(b)$$
$$f(0)=1$$
For any positive integer $n \in \mathbb{N}$ we can find $f(n)$ as 
$$f(n) = f(1+(n-1)) = f(1)f(n-1) =\cdots=f(1)^n = e^n$$
We can find $f(-1)$ as follows:
$$1 = f(0) = f(-1+1) = f(-1)f(1) = f(-1) \cdot e$$
$$f(-1) = \frac{1}{e} = e^{-1}$$
This lets us find $f(-n)$ for any $n \in \mathbb{N}$:
$$f(-n) = f(-1 + -(n-1)) = f(-1)f(-(n-1)) = \cdots = f(-1)^n = e^{-n}$$
Thus, for all $m \in \mathbb{Z}$, $f(m)=e^m$.

We can find $f(1/2)$ as follows:
$$e = f(1) = f\left(\frac{1}{2}+\frac{1}{2}\right) = f\left(\frac{1}{2}\right)^2$$
$$f\left(\frac{1}{2}\right) = \pm \sqrt{e} = \pm \,e^{1/2}$$
Similarly,
$$f\left(\frac{1}{3}\right) = \sqrt[3]{e} = e^{1/3}$$
We can also get 
$$f\left(\frac{2}{3}\right) = e^{2/3}$$
It follows quite quickly that for all $p/q \in \mathbb{Q}$ with $p \in \mathbb{Z}$, $q \in \mathbb{N}$ (so that $q > 0$), and $\gcd(p,q)=1$, we have $$f\left(\frac{p}{q}\right) = \pm \,e^{p/q}$$
when $q$ is even, and 
$$f\left(\frac{p}{q}\right) = e^{p/q}$$
when $q$ is odd. Since these work for all rationals, we can say that if $f$ is continuous, then $f(x) = e^x$ for all $x \in \mathbb{R}$.

But we don't know that $f$ is continuous, so there can definitely still be values of $x$ for which $f(x) \neq e^x$. Namely, $x \in \mathbb{R}$ with $x \not\in\mathbb{Q}$. Let's take the first example of an irrational which comes to mind: $\sqrt{2}$ 
Consider $f\left(\sqrt{2}\right) \in \mathbb{R}$. Just as we used $f(1) = e$ above, for any rational $p/q$ we can derive $$f\left(\frac{p}{q}\sqrt{2}\right) = e^{p/q}f\left(\sqrt{2}\right)$$
This could have a $\pm$ in front if $q$ is even.
In any case, if we ignore the possible negative values, we can look at the graph of this function, plotting the points we know so far. At any rational $x$, it is $e^x$. At $\sqrt{2}$ it is some real number, call it $k$. At any rational multiple of $\sqrt{2}$, $x\sqrt{2}$, it is $ke^x$.
So if we only look at rational multiples of $\sqrt{2}$, the function looks like a stretched copy of $e^x$, where the extent of stretching depends on the value of $f\left(\sqrt{2}\right)$. 

At this point, I thought I'd found a function that satisfied all three properties, and that I could explicitly write its values. Suppose $f\left(\sqrt{2}\right) = 5$ and $f\left(\frac{p}{q}\sqrt{2}\right) = 5e^{p/q}$ for any rational $p/q$. For any other $x \in \mathbb{R}$, we let $f(x) = e^x$.
Unfortunately, this falls apart quickly. Consider $$a=\frac{\sqrt{2}+\sqrt{3}}{2}$$
$$b = \frac{\sqrt{2}-\sqrt{3}}{2}$$
Neither are multiples of $\sqrt{2}$ but their sum is. $f(a+b) = f\left(\sqrt{2}\right)$ has to simultaneously be $e^\sqrt{2}$ and $5$, which is a problem.

My subsequent efforts all resulted in failure. I may have found some functions that satisfied the three conditions, exploiting the $\pm$ that appears with even-denominator fractions, but if I added a fourth condition for $f(x)$ to be positive, I couldn't write out any functions that worked.
I asked my professor about this, and he said that it wasn't possible to write out a function, and that was why I wasn't able to. He said that mathematicians only know they exist because of something called a Hamel basis. 
In a fortunate turn of events, the textbook for my set theory class had a page or two on the existence of a Hamel basis, and it turns out that the proof of their existence requires the Axiom of Choice. We haven't gotten close to talking about the Axiom of Choice in my set theory class, so I'm not too clear on it, and I didn't really understand it.

This brings me, at long last, to my question(s). If such functions are impossible to write out explicitly, how do we know they exist? It's not just that we've proven that they exist and simply haven't managed to find one yet, it's that we've proven (somehow!?) that they can't be explicitly written out. 
Is the proof of the existence of a Hamel basis uncontroversial? Is the assumption of the Axiom of Choice something that every mathematician thinks is a good one? How do we know that it's impossible to write out a function that has positive values and satisfies properites $1$, $2$ and $3$?
 A: First let's make things slightly simpler. Note that if $f(x+y)=f(x)f(y)$, then $\log f(x+y)=\log f(x)+\log f(y)$. So it sufficient to talk about $g(x+y)=g(x)+g(y)$. Moreover, $f$ is continuous if and only if $g$ is continuous.
Why is this simpler? Because now it's not difficult to show that $g$ is a linear function from $\Bbb R$ to itself, as a vector space over $\Bbb Q$.
We can show, in fact, that if $g$ is continuous, or measurable, or Baire measurable, then $g(x)=ax$, which means that $f(1)=e^a$, and for $a=1$ we simply get $e^x$.
But what about a discontinuous solution? That's harder to come up by. The reason is that it is consistent with the failure of the axiom of choice that all solutions are continuous. In which case, there are no other functions satisfying the first two conditions except $e^x$.
But with the axiom of choice we can show that $\Bbb R$ has a basis, as a vector space, over $\Bbb Q$. This basis is called a Hamel basis. Moreover, this basis, as any basis would, has the property that any function from it to $\Bbb R$ has a unique extension to a linear function on $\Bbb R$. And there's even more that we can do with the axiom of choice. We can extend any set of $\Bbb Q$-linearly independent real numbers into a basis.
Combining all these facts together, we extend $\{1,e\}$ to a Hamel basis, and consider any function such that $g(1)=1, g(e)=0$. Extend this $g$ to a linear function, and finally take $f(x)=e^{g(x)}$. And this indeed satisfying the first two conditions, but $f(e)=1\neq e^e$.

Let me also add somewhat of a historical perspective on this.
How can we prove something exists without writing it down explicitly? The axiom of choice allows us to conclude that from certain assumptions there exists a function with certain properties. That is what the axiom is for, letting us make this inference. And so we can make a lot of similar inferences as a consequence.
But that's fine. You know that there is no largest natural number. But can you write one which has more than $10^{100000000}$ digits explicitly? Probably not. How do you know it exists, then? Because you have a list of axioms, and you used them to conclude that there is no largest natural number, and that if $x,y$ are natural numbers then $x^y$ is a natural number, and therefore there is a natural number with so many digits, and more.
Historically, however, the axiom of choice caused some controversy with its consequences, but nowadays it is generally considered part of mathematics, and as someone whose research is models where the axiom of choice fails, I get more strange looks than supportive looks, which should indicate how far we've come from the early 20th century.
