[Math] Definition of $\exp(x)$

definitionexponential function

I've been thought at school that the definition of $\exp(x)$ is the unique function satisfying $\exp'(x)=\exp(x)$ and $\exp(0)=1$. But I've never found this definition somewhere else. On Wikipedia there are multiple definitions which are :
$$\exp(x)=\sum_{k=0}^{\infty}\frac{x^k}{k!}$$
$$\text{The solution $y$ to the equation }x=\int_1^y\frac{1}tdt$$
$$\text{and } \exp(x)=\lim_{n\to+\infty}\left(1+\frac{x}{n}\right)^n$$
As I know, something can have only one definition, but can have multiply ways to define it and properties. So which one is the real definition of the exponential function?

Best Answer

The following are equivalent definitions for $\exp(x)$. \begin{align} 1. & f(x) = \sum_{k=0}^{\infty} \dfrac{x^k}{k!}\\ 2. & \dfrac{d f(x)}{dx} = f(x) \text{ with } f(0) = 1\\ 3. & f(x) = \lim_{n \to \infty} \left(1+\dfrac{x}n\right)^n\\ 4. & f(x+y) = f(x) \cdot f(y) \text{ with }f(x) >0 \text{ being continuous at one point and } f(1) = e \end{align} If you start with any one, you can derive/prove the others.

EDIT

The important thing is that you can start with anyone and derive the others as property. If a statement $A$ implies a statement $B$ and vice-versa, both are equivalent statements. We may, hence, use any one of them as a definition.

For instance, if you choose $(1)$ to define $\exp(x)$ as $\exp(x) = \displaystyle \sum_{k=0}^{\infty} \dfrac{x^k}{k!}$, the rest from $(2)$ to $(4)$ become properties.

Related Question