Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 53/latex
\setcounter{section}{53}
\zwischenueberschrift{Die rationalen Exponentialfunktionen}
Zu einer positiven Zahl
\mathl{b \in K}{} aus einem angeordenten Körper $K$ haben wir in der 27. Vorlesung die ganzzahlige Exponentialfunktion
\maabbele {} {\Z} {K
} {n} {b^n
} {,}
zur Basis $b$ besprochen, die einer ganzen Zahl $n$ den Wert
\mathl{b^n}{} zuordnet. Für den Fall
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man den Definitionsbereich wesentlich erweitern, und zwar in zwei Schritten. Wir besprechen zunächst die Ausdehnung von $\Z$ auf $\Q$ und anschließend die Ausdehung von $\Q$ auf $\R$, ohne dafür die Einzelheiten zu beweisen. Ausgangspunkt ist die Bezeichnungsweise
\mathl{b^{1/2}}{} für $\sqrt{b}$, die zu Beginn willkürlich erscheinen mag, die sich aber durch eine schlagkräftige Gesetzmäßigkeit überzeugend rechtfertigen lässt.
\inputdefinition
{}
{
Zu
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ q
}
{ \in }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ r }{ s } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ s
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
setzt man
\mavergleichskettedisp
{\vergleichskette
{b^q
}
{ =} { b^{ { \frac{ r }{ s } } }
}
{ \defeq} { \sqrt[s] {b^r}
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Insbesondere setzt man
\mavergleichskettedisp
{\vergleichskette
{b^{ { \frac{ 1 }{ s } } }
}
{ =} { \sqrt[s] {b}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{s
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stimmt diese Schreibweise mit den früher gemachten Festlegungen überein. Die Existenz und Eindeutigkeit der Zahlen
\mathl{\sqrt[s]{b^r}}{}
\zusatzklammer {wenn also Zähler und Nenner fixiert sind} {} {}
ist durch
Satz 48.7
gesichert
\zusatzklammer {insbesondere sind dies stets positive Zahlen} {} {.}
Auf dieser Eindeutigkeit beruht auch das \stichwort {Potenzprinzip} {,} mit dem man in der Regel die Gleichheit von Wurzelausdrücken begründet: Zwei positive reelle Zahlen stimmen bereits dann überein, wenn eine gewisse gleichnamige Potenz von ihnen übereinstimmt. Eine erste Anwendung dieses Prinzips ist die Wohldefiniertheit der Definition von $b^q$. Man muss sich nämlich noch klar machen, dass bei verschiedenen Bruchdarstellungen
\mavergleichskettedisp
{\vergleichskette
{q
}
{ =} { { \frac{ r }{ s } }
}
{ =} { { \frac{ t }{ u } }
}
{ } {
}
{ } {
}
}
{}{}{}
das gleiche herauskommt. Dies ergibt sich aus
\mavergleichskettedisp
{\vergleichskette
{ \sqrt[s]{ b^r }
}
{ =} { \sqrt[su]{ b^{ru} }
}
{ =} { \sqrt[su]{ b^{st} }
}
{ =} { \sqrt[ u]{ b^t }
}
{ } {
}
}
{}{}{.}
Dabei gilt die erste Gleichung, da die $su$-te Potenz auch links $b^{ru}$ ergibt.
Statt mit
\mathl{\sqrt[s] {b^r}}{} kann man genauso gut mit
\mathl{{ \left( \sqrt[s]{b} \right) }^r}{} arbeiten. Die $s$-te Potenz von
\mathl{\sqrt[s]{ b^r }}{} ist natürlich $b^r$. Es ist aber nach
Lemma 23.13 (4)
auch
\mavergleichskettedisp
{\vergleichskette
{ { \left( { \left( \sqrt[s]{b} \right) }^r \right) }^s
}
{ =} { { \left( \sqrt[s]{b} \right) }^{r \cdot s}
}
{ =} { { \left( { \left( \sqrt[s]{b} \right) }^s \right) }^r
}
{ =} { b^r
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Q/q auf b^q/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $b$ eine
\definitionsverweis {positive}{}{}
\definitionsverweis {reelle Zahl}{}{.}}
\faktuebergang {Dann besitzt die
\definitionsverweis {Funktion}{}{}
\maabbeledisp {f} {\Q} {\R
} {q} {b^q
} {,}
folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ b^{q+q'}
}
{ = }{b^q \cdot b^{q'}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{q,q'
}
{ \in }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ b^{-q}
}
{ = }{ { \frac{ 1 }{ b^q } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{q
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{b^q
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{b
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{q
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{b^q
}
{ < }{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^{q})^{q'}
}
{ = }{ b^{ q \cdot q'}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{q,q'
}
{ \in }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ (ab)^q
}
{ = }{ a^q \cdot b^q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungacht{Wir können annehmen, dass die Exponenten mit einem gemeinsamen Nenner vorliegen, also
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ r }{ s } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{q'
}
{ = }{ { \frac{ t }{ s } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist unter Verwendung von
Lemma 27.7 (4)
\zusatzklammer {angewendet für die Basis $\sqrt[s]{b}$ und die ganzzahligen Exponenten $r$ und $t$} {} {}
\mavergleichskettealign
{\vergleichskettealign
{ b^q \cdot b^{q'}
}
{ =} { b^{ { \frac{ r }{ s } } } \cdot b^{ { \frac{ t }{ s } } }
}
{ =} { { \left( \sqrt[s]{b} \right) }^r { \left( \sqrt[s]{b} \right) }^t
}
{ =} { { \left( \sqrt[s]{b} \right) }^{r +t}
}
{ =} { b^{ { \frac{ r+t }{ s } } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { b^{q+q'}
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}{Sei
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ r }{ s } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist unter Verwendung von
Lemma 27.7 (5)
\mavergleichskettedisp
{\vergleichskette
{b^{-q}
}
{ =} {b^{ - { \frac{ r }{ s } } }
}
{ =} { { \left( \sqrt[s]{b} \right) }^{-r}
}
{ =} { { \frac{ 1 }{ { \left( \sqrt[s]{b} \right) }^{r} } }
}
{ =} { { \frac{ 1 }{ b^{ { \frac{ r }{ s } } } } }
}
}
{
\vergleichskettefortsetzung
{ =} { { \frac{ 1 }{ b^q } }
}
{ } {}
{ } {}
{ } {}
}{}{.}
}{Sei
\mavergleichskettedisp
{\vergleichskette
{q
}
{ =} { { \frac{ r }{ s } }
}
{ >} {0
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{r,s
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Lemma 19.13 (8)
auch
\mavergleichskette
{\vergleichskette
{b^r
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und davon ist auch die $s$-te Wurzel $> 1$.
}{Wird ähnlich wie (3) begründet.
}{Dies folgt aus (1) und (3). Es sei nämlich
\mavergleichskette
{\vergleichskette
{q'
}
{ > }{q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{q'
}
{ =} { q +u
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{u
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{b^{q'}
}
{ =} { b^{q+u}
}
{ =} { b^q b^u
}
{ >} { b^q
}
{ } {
}
}
{}{}{.}
}{Wird ähnlich wie (5) begründet.
}{Sei
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ r }{ s } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{q'
}
{ = }{ { \frac{ t }{ u } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist unter Verwendung von
Lemma 23.13 (4)
und
Lemma 48.8 (1)
\mavergleichskettealign
{\vergleichskettealign
{ { \left( b^q \right) }^{q'}
}
{ =} { { \left( b^{ \frac{ r }{ s } } \right) }^{ { \frac{ t }{ u } } }
}
{ =} { { \left( \sqrt[s]{b}^r \right) }^{ { \frac{ t }{ u } } }
}
{ =} { \sqrt[u] { { \left( \sqrt[s]{b}^r \right) }^{ t } }
}
{ =} { \sqrt[u] { \sqrt[s]{b}^{rt} }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sqrt[u] { \sqrt[s]{b^{rt} } }
}
{ =} { \sqrt[us] { b^{rt} }
}
{ =} { b^{ \frac{ rt }{ us } }
}
{ =} {b^{q q'}
}
}
{}{.}
}{Mit
\mavergleichskettedisp
{\vergleichskette
{q
}
{ =} { { \frac{ r }{ s } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist unter Verwendung von
Lemma 48.8 (2)
und
Lemma 23.13 (5)
\mavergleichskettealign
{\vergleichskettealign
{(ab)^q
}
{ =} { (ab)^{ { \frac{ r }{ s } } }
}
{ =} { { \left( \sqrt[s]{ab} \right) }^r
}
{ =} { { \left( \sqrt[s]{a} \sqrt[s]{b} \right) }^r
}
{ =} { \sqrt[s]{a}^r \sqrt[s]{b}^r
}
}
{
\vergleichskettefortsetzungalign
{ =} { a^q b^q
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
Diese Eigenschaften sind für ganzzahlige Argumente aus
Lemma 27.7
und aus
Lemma 27.8
vertraut. Die erste Eigenschaft nennt man auch die \stichwort {Funktionalgleichung der Exponentialfunktion} {.} Sie bedeutet, dass zu jedem
\mathl{b \in \R_+}{} ein
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbeledisp {} {(\Q,+,0)} { (\R_{+}, \cdot, 1)
} {q} {b^q
} {,}
vorliegt. Für
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind diese nach
Lemma 53.2 (6)
bzw.
Lemma 53.2 (7)
und
Lemma 25.13
\definitionsverweis {injektiv}{}{.}
\zwischenueberschrift{Die reellen Exponentialfunktionen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exponentials(2).svg} }
\end{center}
\bildtext {Die Exponentialfunktionen für die Basen $b=10, \frac{1}{2}$ und $e$.} }
\bildlizenz { Exponentials(2).svg } {} {HB} {Commons} {CC-by-sa 3.0} {}
Die oben auf den rationalen Zahlen definierten Exponentialfunktionen besitzen eine Fortsetzung auf die reellen Zahlen, die entsprechend mit \maabbeledisp {} {\R} {\R } {x} {b^x } {,} bezeichnet wird. Die Fortsetzbarkeit beruht auf folgendem Lemma.
\inputfaktbeweis
{Q nach R/Monoton wachsend/Limes von unten/Fortsetzung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabbdisp {f} {\Q} {\R
} {}
eine
\definitionsverweis {monotone}{}{}
Funktion.}
\faktfolgerung {Dann ist für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und jede rationale streng wachsende Folge
\mavergleichskette
{\vergleichskette
{ x_n
}
{ \in }{\Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ x_n
}
{ < }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die gegen $x$
\definitionsverweis {konvergiert}{}{,}
die Folge
\mathl{f(x_n)}{} konvergent mit einem nur von $x$ abhängigen Grenzwert.}
\faktzusatz {}
\faktzusatz {}
}
{
Ohne Einschränkung sei $f$ wachsend. Es sei $x_n$ eine rationale streng wachsende Folge, die gegen $x$ konvergiert. Dann ist auch
\mathl{f(x_n)}{} eine wachsende Folge. Es sei
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{z
}
{ \geq }{x
}
{ \geq }{x_n
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist auch
\mavergleichskettedisp
{\vergleichskette
{f(z)
}
{ \geq} {f(x_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Bildfolge ist also wachsend und nach oben beschränkt, daher besitzt sie nach
Korollar 47.3
einen Grenzwert in $\R$. Es sei $y_n$ eine weitere rationale streng wachsende Folge, die gegen $x$ konvergiert. Dann gibt es zu jedem $n$ ein $m$ mit
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ \leq} {y_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen der Monotonie von $f$ überträgt sich dies auf die Bildfolgen, d.h. es ist
\mavergleichskettedisp
{\vergleichskette
{ f(x_n)
}
{ \leq} { f(y_m)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} f(x_n)
}
{ \leq} { \lim_{n \rightarrow \infty} f(y_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wegen der Symmetrie der Situation konvergieren beide Folgen gegen den gleichen Grenzwert.
Die vorstehende Situation bedeutet, dass man für Zahlen $x$ durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ f(x)
}
{ =} { \lim_{n \rightarrow \infty} f(x_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer beliebigen rationalen streng wachsenden Folge $x_n$, die gegen $x$ konvergiert, eine auf ganz $\R$ definierte Funktion erhält. Da wir für $f$ nicht die Stetigkeit voraussetzen, kann sich für rationale Zahlen $x$ der Funktionswert bei dieser Konstruktion ändern.
Dieses Fortsetzungsverfahren wenden wir auf die Exponentialfunktion an, d.h. für $x$ ist
\mavergleichskettedisp
{\vergleichskette
{ b^x
}
{ \defeq} { \lim_{n \rightarrow \infty} b^{x_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für rationale Zahlen ändert sich dabei der Wert nicht, da die rationale Exponentialfunktionen stetig sind. Dies ergibt sich genau so wie die Stetigkeit der auf $\R$ definierten Exponentialfunktionen weiter unten aus der Funktionalgleichung und der Monotonie.
\inputdefinition
{}
{
Es sei $b$ eine positive \definitionsverweis {reelle Zahl}{}{.} Die \definitionsverweis {Funktion}{}{} \maabbeledisp {} {\R} {\R } {x} {b^x } {,} heißt \definitionswort {Exponentialfunktion}{} zur \stichwort {Basis} {} $b$.
}
Die in Lemma 53.2 gezeigten Eigenschaften übertragen sich auf die reellen Zahlen.
\inputfaktbeweis
{Reelle Exponentialfunktion/Basis/Monotone_Fortsetzung/Eigenschaften/Fakt}
{Lemma}
{}
{
\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 {}
}
{
Wir beweisen (1), die anderen Eigenschaften ergeben sich ähnlich, siehe
Aufgabe *****.
Es sei $x_n$ eine wachsende rationale Folge, die gegen $x$ konvergiert, und $y_n$ eine wachsende Folge, die gegen $x'$ konvergiert. Dann ist nach
Lemma 44.11 (1)
die Folge
\mathl{x_n+y_n}{} eine wachsende rationale Folge, die gegen
\mathl{x+x'}{} konvergiert. Somit ist unter Verwendung
der rationalen Funktionalgleichung
und von
Lemma 44.11 (2)
\mavergleichskettealign
{\vergleichskettealign
{ b^{x+x'}
}
{ =} { \lim_{n \rightarrow \infty} b^{ x_n+y_n}
}
{ =} { \lim_{n \rightarrow \infty} { \left( b^{ x_n} \cdot b^{y_n} \right) }
}
{ =} { { \left( \lim_{n \rightarrow \infty} b^{ x_n} \right) } \cdot { \left( \lim_{n \rightarrow \infty} b^{y_n} \right) }
}
{ =} { b^x b^{x'}
}
}
{}
{}{.}
\inputfaktbeweis
{Reelle Exponentialfunktion/Stetigkeit/Nullpunkt und Funktionalgleichung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $b$ eine
\definitionsverweis {positive}{}{}
\definitionsverweis {reelle Zahl}{}{.}}\faktuebergangpos {Dann ist die
\definitionsverweis {Exponentialfunktion}{}{}
\maabbeledisp {f} {\R } {\R
} {x} {b^x
} {,}}
\faktfolgerung {\definitionsverweis {stetig}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir zeigen zuerst die Stetigkeit im Nullpunkt. Da nach
Aufgabe *****
die Folge
\mathbed {\sqrt[n]{b}} {}
{n \in \N} {}
{} {} {} {,}
gegen $1$ konvergiert, und da die Exponentialfunktion wachsend ist, gibt es zu jedem positiven $\epsilon$ ein positives $\delta$ mit der Eigenschaft, dass aus
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x }
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{\betrag { 1 - b^x }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt. Es sei nun $x$ beliebig und $\epsilon$ vorgegeben. Wir betrachten ein $\delta$, das zu
\mavergleichskettedisp
{\vergleichskette
{\epsilon'
}
{ =} { { \frac{ \epsilon }{ b^x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Stetigkeit im Nullpunkt sichert. Dann gilt unter Verwendung von
Fakt ***** (1)
für $x'$ mit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x'-x }
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { b^x - b^{x'} }
}
{ =} { \betrag { b^x { \left( 1 - b^{x'-x } \right) } }
}
{ =} { \betrag { b^x } \cdot \betrag { 1 - b^{x'-x } }
}
{ \leq} { b^x \cdot { \frac{ \epsilon }{ b^x } }
}
{ =} { \epsilon
}
}
{}{}{.}
\inputfaktbeweis
{Reelle Exponentialfunktion/Bijektiver Gruppenhomomorphismus/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {positive}{}{}
\definitionsverweis {reelle Zahl}{}{.}}\faktuebergangpos {Dann ist die Exponentialfunktion
\maabbeledisp {f} {(\R,+,0) } {(\R_+, \cdot, 1)
} {x} {b^x
} {,}}
\faktfolgerung {ein
\definitionsverweis {bijektiver}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Homomorphieeigenschaft folgt direkt aus
der Funktionalgleichung,
die Injektivität folgt aus der
der Monotonieeigenschaft
in Zusammenhang mit
Lemma 25.13.
Zum Nachweis der Surjektivität sei
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Nach
Lemma 27.9
gibt es ganze Zahlen
\mathl{n,m}{} mit
\mavergleichskettedisp
{\vergleichskette
{b^n
}
{ \leq} {y
}
{ \leq} {b^m
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund
des Zwischenwertsatzes,
den wir wegen der in
Satz 53.6
bewiesenen Stetigkeit der Exponentialfunktionen anwenden können, gibt es ein
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{b^x
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was die Surjektivität bedeutet.
Eine besonders wichtige Exponentialfunktion ergibt sich, wenn man als Basis die
\definitionsverweis {Eulersche Zahl}{}{}
$e$ nimmt, die wir als
\mavergleichskettedisp
{\vergleichskette
{e
}
{ \defeq} { \lim_{ n \rightarrow \infty} { \left( 1+ { \frac{ 1 }{ n } } \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eingeführt haben. In
Bemerkung 48.12
haben wir erwähnt, dass diese Zahl mit
\mathdisp {\sum_{k = 0}^\infty { \frac{ 1 }{ k ! } }} { }
übereinstimmt. Für diese Exponentialfunktion gibt es ebenfalls eine weitere Darstellung, die sich an dieser Reihe orientiert, die Darstellung als Potenzreihe. Diese Übereinstimmung können wir hier nicht beweisen.
\inputfakt{Reelle Exponentialfunktion/Grenzwert und Potenzreihe/Fakt}{Satz}{}
{
\faktsituation {Für die
\definitionsverweis {Exponentialfunktion}{}{}
zur Basis $e$ gilt die Darstellung}
\faktfolgerung {
\mavergleichskettedisp
{\vergleichskette
{e^x
}
{ =} { \sum_{k = 0}^\infty { \frac{ x^k }{ k! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
Eine Besonderheit dieser Funktion ist, dass sie mit ihrer Ableitung übereinstimmt. Die Steigung der Tangenten an einem Punkt des Graphen stimmt also stets mit dem Funktionswert überein. Der Satz bedeutet insbesondere, dass die Reihe für jedes $x$ konvergiert, wobei diese Konvergenz im Allgemeinen recht schnell ist.
\zwischenueberschrift{Logarithmen}
Zu
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind die reellen Exponentialfunktionen
\maabbeledisp {} {\R} {\R_+
} {x} {b^x
} {,}
stetig, streng wachsend oder streng fallend und bijektiv. Wir betrachten die Umkehrfunktionen dazu.
\inputdefinition
{}
{
Zu einer positiven reellen Zahl
\mathbed {b>0} {}
{b \neq 1} {}
{} {} {} {,}
wird der
\definitionswort {Logarithmus zur Basis}{}
$b$ als
\definitionsverweis {Umkehrfunktion}{}{}
zur
\definitionsverweis {reellen Exponentialfunktion}{}{}
zur Basis $b$ definiert. Der Wert dieser Funktion an der Stelle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird mit
\mathdisp {\log_{ b } x} { }
bezeichnet.
}
Aus der Umkehreigenschaft ergeben sich direkt die Beziehungen
\mavergleichskettedisp
{\vergleichskette
{ \log_{ b } b^x
}
{ =} { x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ b^{ \log_{ b } y }
}
{ =} { y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Logarithmus zur Basis $e$ wird auch als \stichwort {natürlicher Logarithmus} {,} geschrieben
\mathl{\ln x}{,} bezeichnet. Die Logarithmen sind nach
Satz 53.6
und
Satz 52.10
stetige, bijektive Abbildungen
\maabbeledisp {} {\R_+} { \R
} {x} { \log_{ b } x
} {.}
\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} {}
Die folgenden Regeln ergeben sich direkt aus der Definition der Logarithmen als Umkehrfunktionen der Exponentialfunktionen.
{Logarithmus/Umkehrfunktion/Rechenregeln/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Logarithmen zur Basis}{}{}
$b$}
\faktuebergang {erfüllen die folgenden Rechenregeln.}
\faktfolgerung {\aufzaehlungdrei{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 53.23. }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sliderule 2005.jpg} }
\end{center}
\bildtext {Ein Rechenschieber kann eine Multiplikation durch eine vektorielle Addition (verschieben) ausführen, da die Zahlen logarithmisch angeordnet sind.} }
\bildlizenz { Sliderule 2005.jpg } {} {Roger McLassus 1951} {Commons} {} {}
\inputbemerkung
{}
{
Das Prinzip des Rechenschiebers beruht auf den Logarithmen. Man möchte die reellen Zahlen
\mathkor {} {x} {und} {y} {}
miteinander multiplizieren. Man berechnet zu einer fixierten Basis $b$ die zugehörigen Logarithmen, also
\mathkor {} {r = \log_{ b } x} {und} {s = \log_{ b } y} {.}
Dann addiert man
\mathl{r+s}{} und berechnet davon den Wert der Exponentialfunktion zur Basis $b$. Dies ist nach
Lemma 53.10 (1)
gleich
\mavergleichskettedisp
{\vergleichskette
{ b^{r+s}
}
{ =} { b^{ \log_{ b } x + \log_{ b } y }
}
{ =} { b^{ \log_{ b } xy }
}
{ =} { xy
}
{ } {
}
}
{}{}{,}
also das gesuchte Produkt. Die Berechnungen des Logarithmus und der Exponentialfunktion können dabei durch hinreichend genaue Wertetabellen oder eben durch eine logarithmische Skala auf dem Rechenschieber ersetzt werden. Die Addition der Logarithmen wird dabei mechanisch durch das Verschieben der beweglichen Skala bewerkstelligt. Auf einer logarithmischen Skala werden die Zahlen zwischen
\mathkor {} {1} {und} {10} {}
auf einer Strecke so angeordnet, dass die
\zusatzklammer {auf der üblichen Skala} {} {}
Stelle
\mathl{\log_{ 10 } y}{} mit $y$ bezeichnet wird. Die Skala ergibt sich auch, wenn man auf dem Graphen des Logarithmus die Werte an den Stellen zwischen
\mathkor {} {1} {und} {10} {}
markiert und diese Punkte auf die $y$-Achse projiziert.
}
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II | >> |
|---|