Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 27/latex
\setcounter{section}{27}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller25.jpg} }
\end{center}
\bildtext {Die Fragebögen haben nicht gut geschmeckt. Einige Würste später geht es wieder.} }
\bildlizenz { Waeller25.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Prozentrechnung}
\inputdefinition
{}
{
Ein
\definitionswort {Prozent}{}
ist
\mathl{{ \frac{ 1 }{ 100 } }}{.}
}
\inputdefinition
{}
{
Ein
\definitionswort {Promille}{}
ist
\mathl{{ \frac{ 1 }{ 1000 } }}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bundeshaushaltsplan 2011.png} }
\end{center}
\bildtext {Der Bundeshaushalt von 2011} }
\bildlizenz { Bundeshaushaltsplan 2011.png } {} {5ven4wiki} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cement Production 2010.png} }
\end{center}
\bildtext {} }
\bildlizenz { Cement Production 2010.png } {} {Propubs} {Commons} {CC-by-sa 3.0} {}
Dafür gibt es spezielle Zeichen, $\%$ und $\,{}^{0\!}\!/\!_{00}$. Von der Definition her ist die Prozentrechnung ein Spezialfall des Rechnens mit rationalen Zahlen, und zwar mit Dezimalbrüchen. Eine rationale Zahl zwischen \mathkor {} {0} {und} {1} {} gibt den Anteil von einer gegebenen Grundgröße an. Diese Anteilsgröße wird in vielen alltäglichen Kontexten am besten durch einen Dezimalbruch angeben, da dieser eine unmittelbare Größenvorstellung mitliefert, da Dezimalbrüche untereinander einfach vergleichbar sind, wie in Bemerkung 26.5 erwähnt wurde. Bei der Größenordnung will man es häufig gar nicht so genau wissen, sondern nur eine ungefähre Größenvorstellung haben. Deshalb werden viele Größenanteile in Hunderstel oder seltener in Tausendstel angegeben, wofür sich die Bezeichnungen Prozent und Promille eingebürgert haben. Die \stichwort {Prozentrechnung} {} beschäftigt sich mit dem Rechnen von Größenangaben, die in Prozent gemacht werden. Prozentrechnung ist einfach, wenn man erkennt, dass es sich um Rechnungen mit rationalen Zahlen handelt. Dennoch gibt es einige, für die Prozentrechnung typische Formulierungen, bei denen man sich die zugrunde liegende mathematische Bedeutung erst klar machen muss. Im Prozentkontext werden die Angaben grundsätzlich nur mit einer gewissen Fehlergenauigkeit gemacht.
Wenn eine endliche Grundmenge $G$ und eine Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben ist, so versteht man unter dem \stichwort {Anteil} {} von $T$ in $G$ einfach den Quotienten der Anzahlen, also den Bruch
\mathdisp {{ \frac{ { \# \left( T \right) } }{ { \# \left( G \right) } } }} { . }
Diese Zahl liegt zwischen
\mathkor {} {0} {und} {1} {.}
Wenn man daraus eine Prozentangabe machen will, so macht man die Umformung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ { \# \left( T \right) } }{ { \# \left( G \right) } } }
}
{ =} { { \frac{ { \# \left( T \right) } \cdot 100 }{ { \# \left( G \right) } \cdot 100 } }
}
{ =} { { \frac{ { \# \left( T \right) } \cdot 100 }{ { \# \left( G \right) } } } \cdot { \frac{ 1 }{ 100 } }
}
{ =} { { \frac{ { \# \left( T \right) } \cdot 100 }{ { \# \left( G \right) } } } \cdot \%
}
{ } {
}
}
{}{}{.}
Durch die Multiplikation mit dem Faktor kommt der Anteil, der ja eigentlich zwischen
\mathkor {} {0} {und} {1} {}
liegt, in einen Zahlenbereich zwischen
\mathkor {} {0} {und} {100} {,}
der für die meisten Menschen vertrauter ist
\zusatzklammer {in einer solchen Situation ist die Prozentangabe unterhalb von $100$, in vielen anderen Kontexten ist aber auch ein größerer Anteil sinnvoll} {} {.}
Überhaupt werden Prozentangaben nur in einer Größenordnung verwendet, in der sie suggestiv sind, wo also die Multiplikation mit $100$ dem Vorstellungsvermögen entgegenkommt. Ob man sagt, dass der Anteil von Gold an der Gesamtmasse des Universums gleich $2 \cdot 10^{-23}$ ist oder $2 \cdot 10^{-21} \%$ beträgt, macht keinen Unterschied.
\inputbemerkung
{}
{
Wenn eine Grundmenge gegeben ist und davon Anteile durch Prozente beschrieben werden, und die Anteile disjunkt zueinander sind, so muss man die Prozentangaben addieren, um den Gesamtanteil zu erhalten. Wenn beispielsweise die Inhaltsstoffe eines Getränkes in Prozent angegeben werden, sagen wir
\mathl{80 \%}{} Wasser,
\mathl{10 \%}{} Orangensaft,
\mathl{5 \%}{} Himbersaft und
\mathl{2 \%}{} Heidelbeersaft und
\mathl{3 \%}{} Cola, so liegt der Fruchtsaftanteil wegen
\mavergleichskettedisp
{\vergleichskette
{10 +5 +2
}
{ =} {17
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bei $17$ Prozent. Die Gesamtsumme der Prozentwerte sollte sich auf
\mathl{100 \%}{} addieren; da man bei Prozentangaben aber häufig gerundete Werte nimmt, muss das nicht immer stimmen.
}
\inputbemerkung
{}
{
Häufig ändert sich, auch in einem bestimmten Kontext, die Bezugsmenge bei verschiedenen Prozentangaben. Wenn beipielsweise die Lebenshaltungskosten prozentual nach Essen, Wohnung, Körperpflege, Vergnügen aufgelistet wird, so werden die Vergnügungskosten eventuell weiter prozentual unterteilt, nach Kino, Theater, Kneipe, Spielhölle, und diese Angaben beziehen sich dann häufig auf die Gesamtvergnügungskosten. Den prozentualen Anteil an den Gesamtlebenshaltungskosten vom Kino muss man dann ausrechnen, indem man die relativen Prozentangaben als Brüche interpretiert, diese miteinander multipliziert und daraus wieder einen Prozentwert macht. Wenn die Vergnügungskosten $8\,\%$ der Lebenshaltungskosten ausmachen und Kinobesuche
\mathl{30\,\%}{} an den Vergnügungskosten, so muss man
\mavergleichskettedisp
{\vergleichskette
{0{,}08 \cdot 0{,}3
}
{ =} { 0{,}024
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ausrechnen und erhält, dass die Kinobesuche $2{,}4\,\%$ der Lebenshaltungskosten ausmachen.
}
\inputbemerkung
{}
{
Wenn man zwei Mengen
\zusatzklammer {Vermögen, Einwohnerzahl, ...} {} {}
\mathkor {} {A} {und} {B} {}
der Größe nach vergleicht, so kann man das durch einen Anteil und als Prozent ausdrücken. Man muss dabei deutlich machen, welche Menge man als Grundmenge betrachten möchte. Wenn man $A$ als Grundmenge nimmt, so ist
\mavergleichskettedisp
{\vergleichskette
{ { \# \left( B \right) }
}
{ =} { { \frac{ { \# \left( B \right) } }{ { \# \left( A \right) } } } \cdot { \# \left( A \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mathl{{ \frac{ { \# \left( B \right) } }{ { \# \left( A \right) } } }}{}
\zusatzklammer {bzw. \mathlk{{ \frac{ 100 \cdot { \# \left( B \right) } }{ { \# \left( A \right) } } } \cdot \%}{} in Prozent} {} {}
beschreibt die Größe von $B$ in Bezug auf $A$. Beispielsweise kann das Vermögen einer Person $30 \%$ des Vermögens einer anderen Person betragen. Wenn man die Verhältnisgröße umgekehrt wissen möchte, also die Größe von $B$ in Bezug auf $A$, so muss man den inversen Bruch
\mathl{{ \frac{ { \# \left( A \right) } }{ { \# \left( B \right) } } }}{} berechnen. Um aus der ersten Prozentangabe die neue Prozentangabe zu erhalten, muss man invertieren und mit 10000 multiplizieren (!), also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 30 } } \cdot 10000
}
{ =} { { \frac{ 10000 }{ 30 } }
}
{ =} { { \frac{ 1000 }{ 3 } }
}
{ =} { 333,33
}
{ } {
}
}
{}{}{}
Prozent. Die zweite Person hat also
\mathl{333,33}{} Prozent des Vermögens der ersten Person.
}
Wenn Angaben üblicherweise in Prozenten gemacht werden, wie beispielsweise das Ergebnis von Wahlen, so drückt man die Änderung zwischen zwei Wahlen durch \stichwort {Prozentpunkte} {} aus, also nicht prozentual! Wenn die Partei vor vier Jahren
\mathl{35 \%}{} erzielt hat und bei den neuen Wahlen
\mathl{32 \%}{} erzielt, so spricht man von einem Verlust von $3$ Prozentpunkten.
\inputbemerkung
{}
{
Es sei $M$ eine endliche Menge und
\maabb {f} {M} { W
} {}
eine
\definitionsverweis {Abbildung}{}{}
in eine geordnete Menge $W$. Man denke an die Größenmessung eines bestimmten Personenkreises
\zusatzklammer {mit Werten in $\Q$} {} {}
oder die Benotung von Klausuren. Man sagt, dass $x \in M$ zu einem gewissen \stichwort {Prozentrang} {} gehört
\zusatzklammer {ausgedrückt mit einem Prozentwerte $n$} {} {,}
wenn höchstens $n \%$ der Menge $M$ den Wert von $x$, also
\mathl{f(x)}{,} übertreffen. Im Größenbeispiel besteht der Prozentrang $10 \%$ aus allen Personen, die dem größten Zehntel der Bevölkerung angehören.
}
\zwischenueberschrift{Wachstum}
Viele Wachstumsprozesse in Natur und Gesellschaft sind von der Form, dass sich die Größe nach einem bestimmten Zeitraum
\zusatzklammer {beispielsweise nach einem Jahr} {} {}
zur Ausgangsgröße proportional mit einem bestimmten konstanten Proportionalitätsfaktor verhält. Beispiele hierfür sind das Wachstum einer Population oder die Inflation. Bei konstanten Bedingungen hängt das Wachstum einer Population mit einem festen Faktor, genannt \stichwort {Wachstumsfaktor} {,} von der Größe der Population ab. Wenn sich beispielsweise eine gewisse Population, sagen wir Mäuse, auf katzenfreien, kornreichen Feldern, in einem Jahr verdoppelt, so werden in einem Jahr aus $100$ Mäusen $200$ Mäuse, aus $1000$ Mäusen $2000$ Mäuse u.s.w. Das Verhältnis der Population nach einem Jahr zur Population vor einem Jahr ist also konstant gleich $2$. Wenn die Bedingungen über einem längeren Zeitraum konstant sind, so ändert sich dieser Faktor nicht, und man muss von Jahr zu Jahr mit diesem Faktor multiplizieren. Nach $n$ Jahren gibt es dann $2^n x$ Mäuse, wenn $x$ die Größe der jetzigen Mauspopulation bezeichnet.
\wertetabellesiebenausteilzeilen { Jahre }
{\mazeileundfuenf {0} {1} {2} {3} {4} }
{\mazeileundzwei {5} {6} }
{ Mäuse }
{\mazeileundfuenf {100} {200} {400} {800} {1600} }
{\mazeileundzwei {3200} {6400} }
Der Wachstumsfaktor $2$ ist recht groß. Häufiger sind Wachstumsfaktoren wie
\mathl{1,01}{,}
\mathl{1,02}{,}
\mathl{1,05}{} und ähnliches. Bei einem Preisentwicklungsfaktor von
\mathl{1,05}{} erhält man beispielsweise
\zusatzklammer {gerundete Werte} {} {}
\wertetabellesiebenausteilzeilen { Jahre }
{\mazeileundfuenf {0} {1} {2} {3} {4} }
{\mazeileundzwei {5} {6} }
{ Bierpreis auf der Wiesn }
{\mazeileundfuenf {10} {10,50} {11,03} {11,58} {12,16} }
{\mazeileundzwei {12,76} {13,40} }
Ein Wachstum wird häufig nicht mit dem Wachstumsfaktor beschrieben, sondern mit dem proportionalen Zuwachs, dem \stichwort {Zuwachsfaktor} {.} Es wird also der proportionale Anteil in Bezug auf die Vorgängergröße angegeben, der hinzukommt. Bei einem Wachstumsfaktor von $2$ ist der Zuwachsfaktor gleich $1$
\zusatzklammer {die Größe der Population kommt in einem Jahr neu hinzu} {} {,}
in den weiteren genannten Beispielen ist der Zuwachsfaktor gleich
\mathl{0,01}{,}
\mathl{0,02}{,}
\mathl{0,05}{.} Dieser Zuwachsfaktor wird zumeist in Prozent angegeben, man spricht von einem jährlichen Wachstum von $100 \%$, von $1 \%$, $2 \%$, $5 \%$. Eine Prozentangabe bei Wachstumsprozessen von $a \%$ bedeutet also einen Zuwachsfaktor von
\mathl{{ \frac{ a }{ 100 } }}{} und einen Wachstumsfaktor von
\mathl{{ \frac{ 100+a }{ 100 } }}{.} Wenn man einen Wachstumsprozess, der mit einer Pro\-zentangabe beschrieben wird, über mehrere Jahre verstehen will, muss man also den Wachstumsfaktor ausrechnen und diesen potenzieren
\zusatzklammer {mit der Anzahl der Jahre im Exponenten} {} {.}
Es ist falsch, die Prozentwerte mit der Anzahl der Jahre zu multiplizieren und dies als Gesamtzuwachs zu nehmen. Im Wiesnbeispiel führt die falsche Rechnung zu folgendem Ergebnis
\wertetabellesiebenausteilzeilen { Jahre }
{\mazeileundfuenf {0} {1} {2} {3} {4} }
{\mazeileundzwei {5} {6} }
{ Bierpreis auf der Wiesn (falsch gerechnet) }
{\mazeileundfuenf {10} {10,50} {11} {11,50} {12} }
{\mazeileundzwei {12,50} {13} }
Die Abweichung wird zunehmend größer, für kleine Zeiträume ist die einfachere falsche Rechnung als Überschlagsrechnung akzeptabel. Aufgrund der allgemeinen binomischen Formel ist
\mavergleichskettedisp
{\vergleichskette
{(1+a)^n
}
{ =} { 1 +na + \binom{n}{ 2}a^2 + \binom{n}{ 3}a^3 + \cdots + a^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und
\mathl{1+na}{} ist das Ergebnis bei der falschen Rechnung. Wenn $a$ wie häufig klein, etwa
\mathl{\leq 0,05}{} ist, so sind die höheren Potenzen
\mathl{a^2,a^3}{} besonders klein, und das wird auch durch die Binomialkoeffizienten
\mathl{\binom{n}{ i}}{}
\zusatzklammer {bei nicht allzu großem $n$} {} {}
nicht sehr groß gemacht. Der Fehler wird aber, egal wie klein der Prozentsatz ist, bei hinreichend großem $n$ beliebig groß.
\zwischenueberschrift{Exponentialfunktionen auf $\Z$ }
Wir studieren das Wachstumsverhalten bei konstanten Bedingungen genauer mit dem Begriff der \zusatzklammer {ganzzahligen} {} {} Exponentialfunktion.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exp-4-plot.png} }
\end{center}
\bildtext {Die Exponentialfunktionen werden wir später auf ganz $\Q$ bzw. $\R$ ausdehnen, definiert haben wir sie bisher nur für ganzzahlige Stellen.} }
\bildlizenz { Exp-4-plot.png } {} {Svyo} {Commons} {CC-by-sa 4.0} {}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein positives Element. Dann nennt man die Abbildung
\maabbeledisp {} {\Z} { K
} {n} { b^n
} {,}
die
\zusatzklammer {ganzzahlige} {} {}
\definitionswort {Exponentialfunktion}{}
zur Basis $b$.
}
Die Basis $b$ ist dabei der Wachstumsfaktor. Später werden wir Exponentialfunktionen $b^x$ für beliebige reelle Zahlen $x$ erklären, bis jetzt aber haben wir Ausdrücke wie
\mathl{7^{1/2}}{} oder
\mathl{{ \left( { \frac{ 1 }{ 5 } }^\pi \right) }}{} noch nicht zur Verfügung. In den Skizzen werden wir aber diese Fortsetzung gelegentlich schon benutzen.
\inputfaktbeweis
{Ganzzahlige Exponentialfunktion/Funktionalgleichung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein positives Element. Dann besitzt die
\zusatzklammer {ganzzahlige} {} {}
\definitionsverweis {Exponentialfunktion}{}{}
\maabbeledisp {\varphi_b} {\Z} { K
} {n} { b^n
} {,}
zur Basis $b$ die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungfuenf{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi_b (n)
}
{ =} { b^n
}
{ >} {0
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi_b(0)
}
{ =} {b^0
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi_b(1)
}
{ =} {b^1
}
{ =} {b
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{\varphi_b(m+n)
}
{ =} {b^{m+n}
}
{ =} {b^m \cdot b^n
}
{ =} { \varphi_b (m) \cdot \varphi_b(n)
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ m,n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi_b(-m)
}
{ =} { b^{-m}
}
{ =} { { \left( b^m \right) }^{-1}
}
{ =} { { \left( \varphi_b(m) \right) }^{-1}
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Die erste Aussage folgt für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus der Verträglichkeit der Ordnung mit der Multiplikation und für $n$ negativ aus
Lemma 24.5 (1),
die anderen Eigenschaften folgen aus den
Potenzgesetzen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exponential.svg} }
\end{center}
\bildtext {Die Exponentialfunktion zur Basis $2$ im Vergleich zu einer linearen Funktion und zur dritten Potenz. Auf der $x$- und der $y$-Achse wurden unterschiedliche Maßstäbe gewählt.} }
\bildlizenz { Exponential.svg } {} {Mc Sush} {Commons} {gemeinfrei} {}
\inputfaktbeweis
{Ganzzahlige Exponentialfunktion/Wachstumsverhalten/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein positives Element. Dann besitzt die
\zusatzklammer {ganzzahlige} {} {}
\definitionsverweis {Exponentialfunktion}{}{}
\maabbeledisp {\varphi_b} {\Z} { K
} {n} { b^n
} {,}
zur Basis $b$ die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungzwei {Bei
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Exponentialfunktion
\definitionsverweis {streng wachsend}{}{.}
} {Bei
\mavergleichskette
{\vergleichskette
{b
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Exponentialfunktion
\definitionsverweis {streng fallend}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungzwei {Sei
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{m
}
{ > }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir müssen zeigen, dass
\mavergleichskettedisp
{\vergleichskette
{\varphi_b (m)
}
{ =} {b^m
}
{ >} { b^n
}
{ =} { \varphi_b (n)
}
{ } {
}
}
{}{}{}
ist. Nach
Lemma 27.8 (4)
ist
\mavergleichskettedisp
{\vergleichskette
{ b^m
}
{ =} { b^{m-n} \cdot b^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{m-n
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
Lemma 19.13 (8)
ist
\mavergleichskettedisp
{\vergleichskette
{b^{m-n}
}
{ >} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und daher ist auch
\mavergleichskettedisp
{\vergleichskette
{b^m
}
{ =} { b^{m-n} \cdot b^n
}
{ >} { 1 \cdot b^n
}
{ =} { b^n
}
{ } {
}
}
{}{}{.}
} {Dies folgt aus Teil (1), wenn man die Identität
\mavergleichskettedisp
{\vergleichskette
{b^n
}
{ =} { { \left( b^{-1} \right) }^{-n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
Lemma 24.5 (3)
verwendet.
}
\inputfaktbeweis
{Ganzzahlige Exponentialfunktion/Archimedisch/Grenzverhalten/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {archimedisch angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ K_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein positives Element $\neq 1$ und
\maabbeledisp {\varphi_b} {\Z} { K
} {n} { b^n
} {,}
die zugehörige
\zusatzklammer {ganzzahlige} {} {}
\definitionsverweis {Exponentialfunktion}{}{}
zur Basis $b$. Es seien
\mavergleichskette
{\vergleichskette
{ M
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathbed {\epsilon \in K} {}
{\epsilon > 0} {}
{} {} {} {,}
vorgegebene Zahlen.}
\faktfolgerung {Dann gibt es eine ganze Zahl
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi_b(n)
}
{ \geq} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und eine ganze Zahl
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi_b(m)
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Für
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $M$ ist dies eine Umformulierung von
Lemma 25.9,
für
\mavergleichskette
{\vergleichskette
{b
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $\epsilon$ ist dies eine Umformulierung von
Korollar 25.10.
Die anderen Fälle können darauf zurückgeführt werden, indem man negative Exponenten betrachtet.
Häufig findet man die Vorstellung, dass exponentielles Wachstum etwas wie \anfuehrung{explosives Wachstum}{} ist. Das ist so
\betonung{nicht}{} richtig. Wenn der Wachstumsfaktor zwischen
\mathkor {} {0} {und} {1} {}
liegt, so ist die Exponentialfunktion sogar fallend und wenn der Faktor knapp oberhalb von $1$, so ist das Wachstum langsam. Exponentielles Wachstum ist ein natürliches Phänomen und hat nichts mit unkontrollierbaren Entwicklungen zu tun. Allerdings zeigt der folgende Satz, dass sich exponentielles Wachstum gegenüber jedem Wachstum, das durch eine Potenzfunktion beschrieben wird, letztlich durchsetzt. Man beachte auch, dass sowohl eine Exponentialfunktion als auch eine Potenzfunktion durch den gleichen funktionalen Ausdruck, nämlich als Potenz
\mathl{g^e}{,} beschrieben wird. Der Unterschied besteht darin, ob die Grundzahl $g$ oder der Exponent $e$ als variabel betrachtet wird.
\inputbeispiel{}
{
Wir vergleichen die Werte der Identität und der Quadratfunktion mit der Exponentialfunktion zur Basis
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} { { \frac{ 3 }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ergibt sich die folgende Wertetabelle.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $3$ }
\renewcommand{\leitzeilefuenf}{ $4$ }
\renewcommand{\leitzeilesechs}{ $5$ }
\renewcommand{\leitzeilesieben}{ $6$ }
\renewcommand{\leitzeileacht}{ $7$ }
\renewcommand{\leitzeileneun}{ $8$ }
\renewcommand{\leitzeilezehn}{ $9$ }
\renewcommand{\leitzeileelf}{ $10$ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ $n$ }
\renewcommand{\leitspalteeins}{ $n^1$ }
\renewcommand{\leitspaltezwei}{ $n^2$ }
\renewcommand{\leitspaltedrei}{ ${ \left( { \frac{ 3 }{ 2 } } \right) }^n$ }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 1 }
\renewcommand{\aeinsxdrei}{ 2 }
\renewcommand{\aeinsxvier}{ 3 }
\renewcommand{\aeinsxfuenf}{ 4 }
\renewcommand{\aeinsxsechs}{ 5 }
\renewcommand{\aeinsxsieben}{ 6 }
\renewcommand{\aeinsxacht}{ 7 }
\renewcommand{\aeinsxneun}{ 8 }
\renewcommand{\aeinsxzehn}{ 9 }
\renewcommand{\aeinsxelf}{ 10 }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 4 }
\renewcommand{\azweixvier}{ 9 }
\renewcommand{\azweixfuenf}{ 16 }
\renewcommand{\azweixsechs}{ 25 }
\renewcommand{\azweixsieben}{ 36 }
\renewcommand{\azweixacht}{ 49 }
\renewcommand{\azweixneun}{ 64 }
\renewcommand{\azweixzehn}{ 81 }
\renewcommand{\azweixelf}{ 100 }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 1 }
\renewcommand{\adreixzwei}{ 1,5 }
\renewcommand{\adreixdrei}{ 2,25 }
\renewcommand{\adreixvier}{ 3, 37 }
\renewcommand{\adreixfuenf}{ 5, 06 }
\renewcommand{\adreixsechs}{ 7,59 }
\renewcommand{\adreixsieben}{ 11,39 }
\renewcommand{\adreixacht}{ 17,08 }
\renewcommand{\adreixneun}{ 25,63 }
\renewcommand{\adreixzehn}{ 38,44 }
\renewcommand{\adreixelf}{ 57,66 }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ }
\renewcommand{\avierxzwei}{ }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitdreixelf
Im Vergleich mit der identischen Funktion ist die Exponentialfunktion schon durchgängig größer
\zusatzklammer {außer bei
\mavergleichskettek
{\vergleichskettek
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
im Vergleich mit der Quadratfunktion bleibt die Exponentialfunktion im angegebenen Bereich
\zusatzklammer {außer bei
\mavergleichskettek
{\vergleichskettek
{n
}
{ \geq }{0,1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
zurück. Man sieht aber, dass sie \anfuehrung{ziemlich schnell}{} aufholt.
}
\inputfaktbeweis
{Ganzzahlige Exponentialfunktion/Archimedisch angeordnet/Vergleich mit Potenzen/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {archimedisch angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben mit der zugehörigen
\definitionsverweis {Exponentialfunktion}{}{}
\maabbeledisp {\varphi_b} {\Z} { K
} {n} { b^n
} {,}
zur Basis $b$. Es sei $k$ eine natürliche Zahl.}
\faktfolgerung {Dann gibt es ein
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{\varphi_b (n)
}
{ =} { b^n
}
{ \geq} { n^k
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir zeigen die Existenz des $m$ durch Induktion über $k$ für jedes
\mavergleichskette
{\vergleichskette
{b
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für
\mavergleichskette
{\vergleichskette
{k
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Aussage klar. Sei
\mavergleichskette
{\vergleichskette
{k
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir schreiben
\mavergleichskette
{\vergleichskette
{b
}
{ = }{1+u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{u
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und betrachten
\zusatzklammer {für \mathlk{n \geq 2}{}} {} {}
die auf
dem binomischen Lehrsatz
in Verbindung mit
\mavergleichskette
{\vergleichskette
{u
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beruhende Abschätzung
\mavergleichskettealign
{\vergleichskettealign
{ b^n
}
{ =} { (1+u)^n
}
{ \geq} { 1 +nu + \binom { n } { 2 } u^2
}
{ =} { 1 +nu + { \frac{ n (n-1) }{ 2 } } u^2
}
{ =} { 1 +nu + n { \frac{ (n-1) }{ 2 } } u^2
}
}
{
\vergleichskettefortsetzungalign
{ \geq} { n { \frac{ (n-1) u^2 }{ 2 } }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Da
\mathl{{ \frac{ u^2 }{ 2 } }}{} positiv ist, gibt es
nach Lemma 25.7
eine natürliche Zahl $m$ mit
\mavergleichskettedisp
{\vergleichskette
{ m { \frac{ u^2 }{ 2 } }
}
{ \geq} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für
\mavergleichskette
{\vergleichskette
{n
}
{ > }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dann
\mavergleichskettedisp
{\vergleichskette
{ b^n
}
{ \geq} { n { \frac{ (n-1) u^2 }{ 2 } }
}
{ \geq} { n
}
{ } {
}
{ } {
}
}
{}{}{,}
wie gewünscht. Es sei nun die Aussage für
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und alle
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schon bewiesen, und wir müssen sie für
\mathl{k+1}{} beweisen. Wir schreiben
\mavergleichskette
{\vergleichskette
{b
}
{ = }{cd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Zahlen
\mavergleichskettedisp
{\vergleichskette
{c, d
}
{ >} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die es nach
Aufgabe 24.20
gibt. Aufgrund der Induktionsvoraussetzung gibt es eine natürliche Zahl $m$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \geq }{ m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{c^n
}
{ \geq} { n^k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Ebenso gibt es eine natürliche Zahl $m'$ mit der Eigenschaft, dass für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \geq }{ m'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{d^n
}
{ \geq} { n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Damit gilt für alle
\mavergleichskettedisp
{\vergleichskette
{n
}
{ \geq} { \operatorname{max} (m,m')
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{b^n
}
{ =} { (cd)^n
}
{ =} { c^d d^n
}
{ \geq} { n^k n
}
{ =} { n^{k+1}
}
}
{}{}{.}