Dado que
Definición. (Exponencial)
La función exponencial, denotada como
, se define como la función inversa del logaritmo natural, . Es decir, para todo y todo ,

Observación.
Dado que es una función inversa, se heredan inmediatamente dos identidades fundamentales de cancelación:
para todo para todo .
En general, las propiedades de
Teorema. (Propiedades de
) Para cualesquiera
,
Proof.
- Sean
. Definimos dos variables auxiliares para usar la def. de función inversa:
Seay sea
Por definición de inversa, tenemosAhora, sumando esto y aplicando propiedades de
Definición. (Potencia de Base General)
Sea
y . Definimos como:
Definición. (Número de Euler)
Se denota por
y se le conoce como el número de Euler.
Teorema. (Propiedades)
Por criterion de la primera derivada creciente (ejercicio dem.)
Teorema. otra propiedad
Sea
; Algo similar pero con racionales
Siy , Si
, existe
Proof.
- fd
- fjdk
- Notemos que
. Por otro lado, . Así . Por inyectividad, Q.E.D. Q.E.D. - Ejercicio