Reelle Exponentialfunktion über Exponentialreihe/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Für jedes heißt die Reihe

die Exponentialreihe in .

Dies ist also die Reihe



Satz  

Für jedes ist die Exponentialreihe

absolut konvergent.

Beweis  

Für ist die Aussage richtig. Andernfalls betrachten wir den Quotienten

Dies ist für kleiner als . Aus dem Quotientenkriterium folgt daher die Konvergenz.


Aufgrund dieser Eigenschaft können wir die reelle Exponentialfunktion definieren.

Der Graph der reellen Exponentialfunktion



Definition  

Die Funktion

heißt (reelle) Exponentialfunktion.

Die folgende Aussage heißt die Funktionalgleichung der Exponentialfunktion.



Satz  

Für reelle Zahlen gilt

Beweis  

Das Cauchy-Produkt der beiden Exponentialreihen ist

mit . Diese Reihe ist nach Fakt absolut konvergent und der Grenzwert ist das Produkt der beiden Grenzwerte. Andererseits ist der -te Summand der Exponentialreihe von gleich

so dass die beiden Seiten übereinstimmen.




Korollar  

Die Exponentialfunktion

besitzt folgende Eigenschaften.
  1. Es ist .
  2. Für jedes ist . Insbesondere ist .
  3. Für ganze Zahlen ist .
  4. Für jedes ist .
  5. Für ist und für ist .
  6. Die reelle Exponentialfunktion ist streng wachsend.

Beweis  

(1) folgt direkt aus der Definition.
(2) folgt aus

aufgrund von Fakt.
(3) folgt für aus Fakt durch Induktion, und daraus wegen (2) auch für negatives .
(4). Die Nichtnegativität ergibt sich aus


(5). Für reelles ist , so dass nach (4) ein Faktor sein muss und der andere Faktor . Für ist

da ja hinten nur positive Zahlen hinzuaddiert werden.
(6). Für reelle ist und daher nach (5) , also