Zum Inhalt springen

Kurs:Mathematik für Anwender (Osnabrück 2023-2024)/Teil I/Vorlesung 12/latex

Aus Wikiversity

\setcounter{section}{12}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller47.jpg} }
\end{center}
\bildtext {Heute war es besonders anstrengend, Vorli muss noch mehr schlafen. Ein gesunder Schlaf ist für alle Beteiligten wichtig.} }

\bildlizenz { Waeller47.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}







\zwischenueberschrift{Potenzreihen}




\inputdefinition
{}
{

Es sei
\mathl{{ \left( c_n \right) }_{n \in \N }}{} eine Folge von \definitionsverweis {reellen Zahlen}{}{} und $x$ eine weitere reelle Zahl. Dann heißt die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum _{ n= 0}^\infty c_n x^{ n }} { }
die \definitionswort {Potenzreihe}{} in $x$ zu den Koeffizienten
\mathl{{ \left( c_n \right) }_{n \in \N }}{.}

}

Bei Potenzreihen ist es wichtig, dass man $x$ variieren kann und dass die Potenzreihe in einem \stichwort {Konvergenzintervall} {} eine Funktion in $x$ darstellt. Jedes Polynom ist eine Potenzreihe, bei der allerdings alle Koeffizienten ab einem bestimmten Glied gleich $0$ sind. In diesem Fall hat man kein Konvergenzproblem.

Eine wichtige Potenzreihe haben wir schon in der $9$ten Vorlesung kennengelernt, nämlich die geometrische Reihe
\mathl{\sum_{n=0}^\infty x^n}{} \zusatzklammer {hier sind alle Koeffizienten gleich $1$} {} {,} die für
\mavergleichskette
{\vergleichskette
{ \betrag { x } }
{ < }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} konvergiert und dort die Funktion
\mathl{1/(1-x)}{} darstellt, siehe Satz 9.13. Eine weitere besonders wichtige Potenzreihe ist die \stichwort {Exponentialreihe} {,} die für jede reelle Zahl konvergiert und zur \stichwort {reellen Exponentialfunktion} {} führt. Ihre Umkehrfunktion ist der \stichwort {natürliche Logarithmus} {.}

Das Konvergenzverhalten einer Potenzreihe wird durch den folgenden Satz beschrieben.

\inputfaktbeweis
{Reelle Potenzreihe/Konvergenz/Stetige Funktion/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei
\mavergleichskettedisp
{\vergleichskette
{ f(x) }
{ \defeq} {\sum_{n = 0}^\infty c_n x^n }
{ } { }
{ } { }
{ } { }
} {}{}{} eine \definitionsverweis {Potenzreihe}{}{} und es gebe ein
\mavergleichskette
{\vergleichskette
{ x_0 }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass
\mathl{\sum_{n=0}^\infty c_n x_0^n}{} konvergiere.}
\faktfolgerung {Dann gibt es ein positives $R$ \zusatzklammer {wobei
\mavergleichskettek
{\vergleichskettek
{ R }
{ = }{ \infty }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} erlaubt ist} {} {} derart, dass für alle
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ \betrag { x } }
{ < }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Reihe absolut konvergiert. Auf einem solchen \zusatzklammer {offenen} {} {} Konvergenzintervall stellt die Potenzreihe
\mathl{f(x)}{} eine \definitionsverweis {stetige Funktion}{}{} dar.}
\faktzusatz {}
\faktzusatz {}

}
{ Der Beweis beruht auf einer systematischen Untersuchung für Potenzreihen und dem Limes von Funktionenfolgen. Wir werden ihn nicht durch\-führen. }


Wenn zwei Funktionen durch Potenzreihen gegeben sind, so wird ihre Summe einfach durch die \zusatzklammer {koeffizientenweise definierte} {} {} Summe der Potenzreihen beschrieben. Es ist keineswegs selbstverständlich, durch welche Potenzreihe ihr Produkt beschrieben werden kann. Die Antwort gibt das Cauchy-Produkt von Reihen.




\inputdefinition
{}
{

Zu zwei \definitionsverweis {Reihen}{}{} \mathkor {} {\sum_{ i = 0}^\infty a_{ i }} {und} {\sum_{ j = 0}^\infty b_{ j }} {} \definitionsverweis {reeller Zahlen}{}{} heißt die Reihe
\mathdisp {\sum_{ k = 0}^\infty c_{ k } \text{ mit } c_k \defeq \sum_{ i = 0 }^{ k } a_i b_{k-i}} { }
das \definitionswort {Cauchy-Produkt}{} der beiden Reihen.

}

Auch für die folgende Aussage geben wir keinen Beweis.


\inputfakt{Reelle Reihen/Cauchyprodukt/Absolute Konvergenz/Fakt}{Lemma}{} {

\faktsituation {Es seien
\mathdisp {\sum_{ k = 0}^\infty a_{ k } \text{ und } \sum_{ k = 0}^\infty b_{ k }} { }
zwei \definitionsverweis {absolut konvergente}{}{} \definitionsverweis {Reihen}{}{} \definitionsverweis {reeller Zahlen}{}{.}}
\faktfolgerung {Dann ist auch das \definitionsverweis {Cauchy-Produkt}{}{}
\mathl{\sum_{ k = 0}^\infty c_{ k }}{} absolut konvergent und für die Summe gilt
\mavergleichskettedisp
{\vergleichskette
{ \sum_{ k = 0}^\infty c_{ k } }
{ =} { { \left( \sum_{ k = 0}^\infty a_{ k } \right) } \cdot { \left( \sum_{ k = 0}^\infty b_{ k } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}

Dies hat die Auswirkung, dass das Produkt von Potenzreihen durch eine Potenzreihe gegeben ist, deren Koeffizienten sich wie bei der Multiplikation von Polynomen ergeben, siehe Aufgabe 12.3.






\zwischenueberschrift{Die Exponentialreihe und die Exponentialfunktion}

Wir besprechen eine weitere wichtige Potenzreihe, nämlich die Exponentialreihe, und die durch sie dargestellte Exponentialfunktion.




\inputdefinition
{}
{

Für jedes
\mavergleichskette
{\vergleichskette
{x }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{ n =0}^\infty \frac{ x^{ n } }{n!}} { }
die \definitionswort {Exponentialreihe }{} in $x$.

}

Dies ist also die Reihe
\mathdisp {1+x+ { \frac{ x^2 }{ 2 } } +{ \frac{ x^3 }{ 6 } } + { \frac{ x^4 }{ 24 } } +{ \frac{ x^5 }{ 120 } } + \ldots} { . }





\inputfaktbeweis
{Exponentialreihe/Reell/Absolute Konvergenz/Fakt}
{Satz}
{}
{

\faktsituation {Für jedes
\mathl{x \in \R}{} ist die \definitionsverweis {Exponentialreihe}{}{}
\mathdisp {\sum_{ n =0}^\infty \frac{ x^{ n } }{n!}} { }
}
\faktfolgerung {\definitionsverweis {absolut konvergent}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Für
\mavergleichskette
{\vergleichskette
{ x }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist die Aussage richtig. Andernfalls betrachten wir den Quotienten
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \frac{ \frac{x^{n+1} }{(n+1)!} }{\frac{x^n}{n!} } } }
{ =} { \betrag { \frac{x}{n+1} } }
{ =} { \frac{ \betrag { x } }{n+1} }
{ } { }
{ } { }
} {}{}{.} Dies ist für
\mavergleichskette
{\vergleichskette
{ n }
{ \geq }{ 2 \betrag { x } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kleiner als
\mathl{1/2}{.} Aus dem Quotientenkriterium folgt daher die \definitionsverweis {Konvergenz}{}{.}

}


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




\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exp.svg} }
\end{center}
\bildtext {Der Graph der reellen Exponentialfunktion} }

\bildlizenz { Exp.svg } {} {Oleg Alexandrov} {Commons} {CC-by-sa 3.0} {}





\inputdefinition
{}
{

Die \definitionsverweis {Funktion}{}{} \maabbeledisp {} {\R} {\R } {x} { \exp x \defeq \sum_{ n =0}^\infty \frac{ x^{ n } }{n!} } {,} heißt \zusatzklammer {reelle} {} {} \definitionswort {Exponentialfunktion}{.}

}

Die folgende Aussage heißt die \stichwort {Funktionalgleichung der Exponentialfunktion} {.}




\inputfaktbeweis
{Exponentialreihe/Reell/Funktionalgleichung/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Für \definitionsverweis {reelle Zahlen}{}{}
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt}
\faktfolgerung {
\mavergleichskettedisp
{\vergleichskette
{ \exp \left( x+y \right) }
{ =} { \exp x \cdot \exp y }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Das \definitionsverweis {Cauchy-Produkt}{}{} der beiden Exponentialreihen ist
\mathdisp {\sum_{ n = 0}^\infty c_{ n }} { }
mit
\mavergleichskettedisp
{\vergleichskette
{ c_n }
{ =} { \sum_{ i = 0 }^{ n } \frac{x^{i} }{i!} \frac{ y^{n-i } }{ (n-i)!} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Diese Reihe ist nach Lemma 12.4 \definitionsverweis {absolut konvergent}{}{} und der \definitionsverweis {Grenzwert}{}{} ist das Produkt der beiden Grenzwerte. Andererseits ist der $n$-te Summand der Exponentialreihe von
\mathl{x+y}{} nach Satz 4.11 gleich
\mavergleichskettedisp
{\vergleichskette
{ \frac{(x+y)^n}{n!} }
{ =} { \frac{1}{n!} \sum_{ i = 0 }^{ n } \binom { n } { i } x^{i} y^{n-i} }
{ =} { c_n }
{ } { }
{ } {}
} {}{}{,} sodass die beiden Seiten übereinstimmen.

}





\inputfaktbeweis
{Exponentialreihe/Reell/Elementare Eigenschaften/Fakt}
{Korollar}
{}
{

\faktsituation {}
\faktvoraussetzung {Die \definitionsverweis {Exponentialfunktion}{}{} \maabbeledisp {} {\R} {\R } {x} { \exp x } {,}}
\faktuebergang {besitzt folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{ \exp 0 }
{ = }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für jedes
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ \exp \left( -x \right) }
{ = }{ ( \exp x )^{-1} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Insbesondere ist
\mavergleichskette
{\vergleichskette
{ \exp x }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für ganze Zahlen
\mavergleichskette
{\vergleichskette
{ n }
{ \in }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ \exp n }
{ = }{ ( \exp 1)^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für jedes $x$ ist
\mavergleichskette
{\vergleichskette
{ \exp x }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{ x }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ \exp x }
{ > }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und für
\mavergleichskette
{\vergleichskette
{ x }
{ < }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ \exp x }
{ < }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Die reelle Exponentialfunktion ist \definitionsverweis {streng wachsend}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{

\teilbeweis {}{}{}
{(1) folgt direkt aus der Definition.}
{} \teilbeweis {}{}{}
{(2) folgt aus
\mavergleichskettedisp
{\vergleichskette
{ \exp x \cdot \exp \left( -x \right) }
{ =} { \exp \left( x-x \right) }
{ =} { \exp 0 }
{ =} {1 }
{ } { }
} {}{}{} aufgrund von Satz 12.8.}
{} \teilbeweis {}{}{}
{(3) folgt für
\mavergleichskette
{\vergleichskette
{ n }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} aus Satz 12.8 durch Induktion, und daraus wegen (2) auch für negatives $n$.}
{} \teilbeweis {}{}{}
{(4). Die Nichtnegativität ergibt sich aus
\mavergleichskettedisp
{\vergleichskette
{ \exp x }
{ =} { \exp { \left( { \frac{ x }{ 2 } } + { \frac{ x }{ 2 } } \right) } }
{ =} { \exp { \frac{ x }{ 2 } } \cdot \exp { \frac{ x }{ 2 } } }
{ =} { { \left( \exp { \frac{ x }{ 2 } } \right) }^2 }
{ \geq} { 0 }
} {}{}{.}}
{} \teilbeweis {}{}{}
{(5). Für reelles $x$ ist
\mavergleichskette
{\vergleichskette
{ \exp x \cdot \exp \left( -x \right) }
{ = }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} sodass nach (4) ein Faktor $\geq 1$ sein muss und der andere Faktor $\leq 1$. Für
\mavergleichskette
{\vergleichskette
{ x }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \exp x }
{ =} { \sum_{n = 0}^\infty \frac{1}{n!} x^n }
{ =} {1+x+ { \frac{ 1 }{ 2 } } x^2 + \ldots }
{ >} {1 }
{ } { }
} {}{}{,} da ja hinten nur positive Zahlen hinzuaddiert werden.}
{} \teilbeweis {}{}{}
{(6). Für reelle
\mavergleichskette
{\vergleichskette
{ y }
{ > }{ x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ y-x }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und daher nach (5)
\mavergleichskette
{\vergleichskette
{ \exp \left( y-x \right) }
{ > }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} also
\mavergleichskettedisp
{\vergleichskette
{ \exp y }
{ =} { \exp \left( y-x + x \right) }
{ =} { \exp \left( y-x \right) \cdot \exp x }
{ >} { \exp x }
{ } { }
} {}{}{.}}
{}

}

Mit der Exponentialreihe definieren wir die \stichwort {eulersche Zahl} {.}


\inputdefinition
{}
{

Die reelle Zahl
\mavergleichskettedisp
{\vergleichskette
{e }
{ \defeq} { \sum_{k = 0}^\infty { \frac{ 1 }{ k! } } }
{ } { }
{ } { }
{ } { }
} {}{}{} heißt \definitionswort {eulersche Zahl}{.}

}

Es ist also
\mavergleichskette
{\vergleichskette
{ e }
{ = }{ \exp 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Diese Zahl hat den Wert
\mavergleichskettedisp
{\vergleichskette
{e }
{ =} { 1+1+ { \frac{ 1 }{ 2 } } + { \frac{ 1 }{ 6 } } + { \frac{ 1 }{ 24 } } + \ldots }
{ \cong} { 2,71 ... }
{ } { }
{ } { }
} {}{}{.}






\inputbemerkung
{}
{

Für die eulersche Zahl gilt
\mavergleichskettedisp
{\vergleichskette
{e }
{ =} { \lim_{n \rightarrow \infty} { \left( 1+ { \frac{ 1 }{ n } } \right) }^n }
{ } { }
{ } { }
{ } { }
} {}{}{,} sodass $e$ auch als Grenzwert dieser Folge eingeführt werden kann, siehe Korollar 20.14 (Analysis (Osnabrück 2021-2023)). Die Konvergenz bei der Exponentialreihe ist aber deutlich schneller.

}

Statt
\mathl{\exp x}{} werden wir in Zukunft auch
\mathl{e^x}{} schreiben. Diese Schreibweise ist für
\mavergleichskette
{\vergleichskette
{x }
{ \in }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit der üblichen Potenzschreibweise im Sinne der vierten Vorlesung wegen Korollar 12.9  (3) verträglich. Für die Verträglichkeit mit der Wurzelschreibweise \zusatzklammer {bei rationalen Exponenten} {} {} siehe Bemerkung 12.17 und Aufgabe 12.17.





\inputfaktbeweis
{Reelle Exponentialfunktion/Stetigkeit und Bild/Fakt}
{Satz}
{}
{

\faktsituation {Die \definitionsverweis {reelle Exponentialfunktion}{}{} \maabbeledisp {} {\R} {\R } {x} { \exp x } {,}}
\faktfolgerung {ist \definitionsverweis {stetig}{}{} und stiftet eine Bijektion zwischen $\R$ und $\R_+$.}
\faktzusatz {}
\faktzusatz {}

}
{

Die Stetigkeit folgt aus Satz 12.2, da die Exponentialfunktion ja über eine Potenzreihe definiert ist. Nach Korollar 12.9  (4) liegt das Bild in $\R_+$ und ist nach dem Zwischenwertsatz ein Intervall. Die Unbeschränktheit des Bildes folgt aus Korollar 12.9  (3), woraus wegen Korollar 12.9  (2) folgt, dass auch beliebig kleine positive reelle Zahlen zum Bild gehören. Daher ist das Bild gleich $\R_+$. Die \definitionsverweis {Injektivität}{}{} ergibt sich aus Korollar 12.9  (6) in Verbindung mit Aufgabe 5.38.

}







\zwischenueberschrift{Logarithmen}




\inputdefinition
{}
{

Der \definitionswort {natürliche Logarithmus}{} \maabbeledisp {\ln} {\R_+ } {\R } {x} { \ln x } {,} ist als die \definitionsverweis {Umkehrfunktion}{}{} der \definitionsverweis {reellen Exponentialfunktion}{}{} definiert.

}





\inputfaktbeweis
{Natürlicher Logarithmus/Funktionalgleichung/Bijektion/Stetigkeit/Monotonie/Fakt}
{Satz}
{}
{

\faktsituation {Der \definitionsverweis {natürliche Logarithmus}{}{} \maabbeledisp {\ln} {\R_+ } {\R } {x} { \ln x } {,}}
\faktfolgerung {ist eine \definitionsverweis {stetige}{}{,} streng wachsende Funktion, die eine Bijektion zwischen \mathkor {} {\R_+} {und} {\R} {} stiftet. Dabei gilt
\mavergleichskettedisp
{\vergleichskette
{ \ln (x \cdot y) }
{ =} { \ln x + \ln y }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{x,y }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exponentials.svg} }
\end{center}
\bildtext {Die Exponentialfunktionen für verschiedene Basen $> 1$} }

\bildlizenz { Exponentials.svg } {} {Superborsuk} {Commons} {CC-by-sa 2.5} {}




\inputdefinition
{}
{

Zu einer positiven reellen Zahl
\mavergleichskette
{\vergleichskette
{ b }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} definiert man die \definitionswort {Exponentialfunktion zur Basis}{} $b$ als
\mavergleichskettedisp
{\vergleichskette
{ b^x }
{ \defeq} { \exp (x \ln b ) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}


\inputfaktbeweis
{Reelle Exponentialfunktion/Basis/Eigenschaften/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $b$ eine \definitionsverweis {positive}{}{} \definitionsverweis {reelle Zahl}{}{.}}\faktuebergangpos {Dann besitzt die \definitionsverweis {Exponentialfunktion}{}{} \maabbeledisp {f} {\R} {\R } {x} {b^x } {,} folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ b^{x+x'} }
{ = }{ b^x \cdot b^{x'} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{x,x' }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Es ist
\mavergleichskette
{\vergleichskette
{ b^{-x} }
{ = }{ { \frac{ 1 }{ b^x } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{b }
{ > }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{x }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{b^x }
{ > }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{b }
{ < }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{x }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{b^x }
{ < }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{b }
{ > }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist $f$ \definitionsverweis {streng wachsend}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{b }
{ < }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist $f$ \definitionsverweis {streng fallend}{}{.} }{Es ist
\mavergleichskette
{\vergleichskette
{ (b^{x})^{x'} }
{ = }{ b^{ x \cdot x'} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{x,x' }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{a }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{ (ab)^x }
{ = }{ a^x \cdot b^x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 12.9. }







\inputbemerkung
{}
{

Die Exponentialfunktionen
\mathl{x \mapsto a^x}{} zur Basis
\mavergleichskette
{\vergleichskette
{a }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man auch anders einführen. Für natürliche Zahlen
\mavergleichskette
{\vergleichskette
{ n }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nimmt man das $n$-fache Produkt von $a$ mit sich selbst, also $a^n$, als Definition. Für eine negative ganze Zahl $x$ setzt man
\mavergleichskette
{\vergleichskette
{a^x }
{ \defeq }{ (a^{-x} )^{-1} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Für eine positive rationale Zahl
\mavergleichskette
{\vergleichskette
{x }
{ = }{r/s }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzt man
\mavergleichskettedisp
{\vergleichskette
{ a^x }
{ \defeq} { \sqrt[s] { a^r } }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei man natürlich die Unabhängigkeit von der gewählten Bruchdarstellung beweisen muss. Für eine negative rationale Zahl arbeitet man wieder mit Inversen. Für eine beliebige reelle Zahl $x$ schließlich nimmt man eine Folge $q_n$ von rationalen Zahlen, die gegen $x$ konvergiert, und definiert
\mavergleichskettedisp
{\vergleichskette
{ a^x }
{ \defeq} { \lim_{n \rightarrow \infty} a^{q_n} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Hierzu muss man zeigen, dass diese Limiten existieren und unabhängig von der gewählten rationalen Folge sind. Für den Übergang von $\Q$ nach $\R$ ist der Begriff der \definitionsverweis {gleichmäßigen Stetigkeit}{}{} entscheidend.

}




\inputdefinition
{}
{

Zu einer positiven reellen Zahl
\mathbed {b>0} {}
{b \neq 1} {}
{} {} {} {,} wird der \definitionswort {Logarithmus zur Basis}{} $b$ von
\mavergleichskette
{\vergleichskette
{x }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \log_{ b } x }
{ \defeq} { { \frac{ \ln x }{ \ln b } } }
{ } { }
{ } { }
{ } { }
} {}{}{} definiert.

}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Fonctionslog3.svg} }
\end{center}
\bildtext {Logarithmen zu verschiedenen Basen} }

\bildlizenz { Fonctionslog3.svg } {} {HB} {Commons} {CC-by-sa 3.0} {}


\inputfaktbeweis
{Logarithmus/Basis/Rechenregeln/Fakt}
{Satz}
{}
{

\faktsituation {Die \definitionsverweis {Logarithmen zur Basis}{}{} $b$}
\faktuebergang {erfüllen die folgenden Rechenregeln.}
\faktfolgerung {\aufzaehlungvier{Es ist \mathkor {} {\log_b(b^x) =x} {und} {b^{\log_b(y)} =y} {,} das heißt der Logarithmus zur Basis $b$ ist die Umkehrfunktion zur \definitionsverweis {Exponentialfunktion zur Basis}{}{} $b$. }{Es gilt
\mavergleichskette
{\vergleichskette
{ \log_{ b } (y \cdot z) }
{ = }{ \log_{ b } y + \log_{ b } z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Es gilt
\mavergleichskette
{\vergleichskette
{\log_{ b } y^u }
{ = }{u \cdot \log_{ b } y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für
\mavergleichskette
{\vergleichskette
{u }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Es gilt
\mavergleichskettedisp
{\vergleichskette
{ \log_{ a } y }
{ =} { \log_{ a } { \left( b^{ \log_{ b } y } \right) } }
{ =} { \log_{ b } y \cdot \log_{ a } b }
{ } { }
{ } { }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 12.25. }