Category:Definitions/Exponential Function

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Exponential Function.
Related results can be found in Category:Exponential Function.

The exponential function can be defined as the unique particular solution $y = \map f z$ to the first order ODE:

$\dfrac {\d y} {\d z} = y$

satisfying the initial condition $\map f 0 = 1$.

That is, the defining property of $\exp$ is that it is its own derivative.