Natürlicher Logarithmus/Umkehrfunktion zu reeller Exponentialfunktion/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Der natürliche Logarithmus

ist als die Umkehrfunktion der reellen Exponentialfunktion definiert.



Satz  

Der natürliche Logarithmus

ist eine stetige, streng wachsende Funktion, die eine Bijektion zwischen und stiftet. Dabei gilt

für alle .

Beweis  

Dies folgt aus Fakt, Fakt, Fakt und Fakt  (6).