Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 7/latex
\setcounter{section}{7}
\epigraph { Ich will jeden Spieler jeden Tag ein bisschen besser machen } { Jürgen Klinsmann }
In der vorletzten Vorlesung haben wir uns zuerst mit dem Zählen in dem Sinne beschäftigt, dass auf eine natürliche Zahl eine eindeutig bestimmte natürliche Zahl, nämlich ihr Nachfolger, folgt. In dieser und den folgenden Vorlesungen werden wir sehen, dass diese Eigenschaft die natürlichen Zahlen auszeichnet und dass man alle anderen Eigenschaften der natürlichen Zahlen, wie beispielsweise die Rechengesetze, letztlich darauf zurückführen kann. Auf dieser Eigenschaft der natürlichen Zahlen beruht auch das Beweisprinzip der vollständigen Induktion.
\zwischenueberschrift{Die Dedekind-Peano-Axiome}
In den natürlichen Zahlen $\N$ kann man addieren, multiplizieren, potenzieren, teilweise abziehen, es gibt die Größergleich-Relation, die Teilbarkeit, usw. Man kann sich nun fragen, welche Abhängigkeiten \zusatzklammer {logische Hierarchien} {} {} zwischen diesen mathematischen Strukturen bestehen und ob man manche davon auf andere, grundlegendere Strukturen zurückführen kann. Dies führt zum axiomatischen Aufbau der natürlichen Zahlen. Dies ist lediglich eine weitere Präzisierung des Zählvorgangs in der Sprache der Mengen und Abbildungen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Dedekind.jpg} }
\end{center}
\bildtext {Richard Dedekind (1831 -1916)} }
\bildlizenz { Dedekind.jpg } {unbekannt} {Yerpo} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Giuseppe_Peano.jpg} }
\end{center}
\bildtext {Giuseppe Peano (1858 -1932)} }
\bildlizenz { Giuseppe Peano.jpg } {unbekannt} {Kalki} {Commons} {PD} {}
\inputdefinition
{}
{
Eine Menge $N$ mit einem ausgezeichneten Element
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {die \stichwort {Null} {}} {} {}
und einer
\zusatzklammer {Nachfolger} {} {-}Abbildung
\maabbeledisp {'} { N} {N
} {n} {n'
} {,}
heißt \definitionswort {natürliche Zahlen}{} \zusatzklammer {oder \stichwort {Dedekind-Peano-Modell} {} für die natürlichen Zahlen} {} {,}
wenn die folgenden
\definitionswortenp{Dedekind-Peano-Axiome}{} erfüllt sind.
\aufzaehlungdrei{Das Element $0$ ist kein Nachfolger
\zusatzklammer {die Null liegt also nicht im Bild der Nachfolgerabbildung} {} {.}
}{Jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist Nachfolger höchstens eines Elementes
\zusatzklammer {d.h. die Nachfolgerabbildung ist injektiv} {} {.}
}{Für jede Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt: Wenn die beiden Eigenschaften
\auflistungzwei{
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{mit jedem Element
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{n'
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
gelten, so ist
\mavergleichskette
{\vergleichskette
{T
}
{ = }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Man mache sich klar, dass diese Bedingungen den Bedingungen der vorletzten Vorlesung entsprechen. Dabei ist $N$ die jeweilige Menge, $\prime$ bezeichnet die Nachfolgerabbildung und $0$ das Startsymbol \zusatzklammer {dort hatten wir zumeist $1$ als Startsymbol gewählt} {} {.} Jedes Dedekind-Peano-Modell sieht ähnlich aus wie eine der dort aufgelisteten Möglichkeiten. Das heißt, dass die natürlichen Zahlen durch das natürliche Zählen bestimmt sind. Zählen heißt, von einem Startwert ausgehend, nach und nach einen Schritt \zusatzklammer {einen Strich machen, einen Stab dazulegen, einen Punkt dazumalen, oder ein komplexeres Bildungsgesetz} {} {} weiterzuzählen. Das \anfuehrung{Weiter}{-}Zählen ist also fundamentaler als eine bestimmte Benennung von Zahlen. Eine natürliche Zahl repräsentiert, wie oft bis zu ihr gezählt werden musste.
Die erste Eigenschaft legt den Start fest. Die zweite Eigenschaft besagt, dass wenn zwei Zahlen verschieden sind, dann auch die beiden jeweiligen Nachfolger verschieden sind. Die dritte Eigenschaft, die man auch das \stichwort {Induktionsprinzip für Mengen} {} nennt, besagt, dass wenn man bei $0$ anfängt und keinen einzelnen Zählvorgang auslässt, dass man dann vollständig alle natürlichen Zahlen abzählt.
Es sei erwähnt, dass solche Überlegungen, die natürlichen Zahlen grundlegend zu begründen, manchmal eher verwirrend als hilfreich sein können. Statt des intuitiven Zählens arbeiten wir mit den abstrakten Konzepten Mengen, Abbildungen, Injektivität. Bei den natürlichen Zahlen ist es erfahrungsgemäß nicht gefährlich, der Zähl-Intuition\zusatzfussnote {Gegenargument: Dies stimmt nicht, wenn man willkürlich ein anderes Startelement als die vertraute $0$ festlegt} {.} {}\zusatzfussnote {Zu Beginn dieses Kurses sollte man generell der eigenen Intuition misstrauen. Sehr häufig verbirgt sich hinter der sogenannten Intuition nur eine unreflektierte und unbegründete Gewohnheit. Stattdessen sollte man genau beachten, in welchen Sätzen und wie Gesetzmäßigkeiten erarbeitet und begründet werden, und wie sich das mit intuitiven Erwartungen deckt. Dieser Ansatz ist auch sinnvoll, um sich später in Schüler, die eine gewisse Intuition noch nicht entwickelt haben, besser einfühlen zu können} {.} {} zu vertrauen und mit einer naiven Vorstellung davon zu arbeiten \zusatzklammer {dies gilt für die reellen Zahlen nicht in dieser Deutlichkeit\zusatzfussnote {Frage: Was ist Ihr intuitiver Unterschied zwischen rationalen und reellen Zahlen} {?} {}} {} {.}
Wir benennen explizit die intellektuelle Leistungen, die durch die axiomatische Fixierung der natürlichen Zahlen erbracht wird.
\aufzaehlungsieben{Es werden kurz und präzise die entscheidenden strukturellen Eigenschaften der natürlichen Zahlen fixiert. }{Diese Eigenschaften werden begrifflich explizit gemacht. }{Die natürlichen Zahlen liegen als ein Konzept vor, das unabhängig von bestimmten Symbolen und Benennungen ist. }{Es kann bewiesen werden, dass durch diese Eigenschaften die natürlichen Zahlen eindeutig festgelegt sind. }{Der Zugang ermöglicht, andere Operationen darauf zurückzuführen, also komplexere Strukturen auf einfachere zurückzuführen. }{Der Zugang \zusatzklammer {insbesondere die Verankerung im Zählen und die darauf aufbauende Entwicklung der weiteren Rechenoperationen} {} {} weist eine große Übereinstimmung mit dem natürlichen Lernprozess auf! }{Die begriffliche Fixierung ermöglicht es, über den Zugang zu reflektieren und sich darüber auszutauschen. }
In einem Dedekind-Peano-Modell gibt es die untereinander verschiedenen Elemente
\mathdisp {0, 0^\prime, 0^{\prime \prime }, 0^{\prime \prime \prime}, ...} { . }
Hier stehen also alle Elemente, die von $0$ aus in endlich vielen Schritten
\zusatzklammer {man denke an die Abzählung endlicher Prozesse} {} {}
erreicht werden können
\zusatzklammer {formal-mengentheoretisch ist diese Definition problematisch, da sie Bezug auf eine endliche Ausführung nimmt} {} {.}
Das Induktionsaxiom sichert, dass dies bereits alle Elemente des Modells sind. Die angegebene Teilmenge enthält ja die $0$ und mit jedem Element auch deren Nachfolger, also ist es die Gesamtmenge.
Ausgehend von den Peano-Axiomen kann man eine Addition auf der Menge der natürlichen Zahlen definieren, wobei die Nachfolgerfunktion der Addition mit
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ 0'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
entspricht. Die Definierbarkeit beruht selbst auf dem Induktionsprinzip. Ebenso kann man eine Multiplikation definieren und die üblichen Eigenschaften wie Kommutativität und Assoziativität nachweisen. Dies werden wir in den nächsten Vorlesungen ausführen.
\zwischenueberschrift{Isomorphieprinzip}
Wir wollen zeigen, dass je zwei Modelle für die Dedekind-Peano-Axiome \anfuehrung{isomorph}{} sind, dass es also zwischen ihnen eine strukturerhaltende Bijektion gibt. Man stelle sich beispielsweise einerseits das Strichmodell, andererseits das Dezimalzahlmodell der natürlichen Zahlen vor, die beide mit ihren Nullen und ihrer Nachfolgerabbildung die Dedekind-Peano-Axiome erfüllen. Dann gibt es bereits, und zwar allein aufgrund der Tatsache der Dedekind-Peano-Axiome, eine eindeutige Entsprechung zwischen diesen beiden Mengen. Eine Strichfolge entspricht also eindeutig einer Zahl im Dezimalsystem.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ Strichsystem }
\renewcommand{\leitzeilezwei}{ Zehnersystem }
\renewcommand{\leitzeiledrei}{ Dreiersystem }
\renewcommand{\leitzeilevier}{ Eurosystem }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ }
\renewcommand{\leitspaltezwei}{ }
\renewcommand{\leitspaltedrei}{ }
\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}{ 0 }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 0 }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ {{|}} }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 1 }
\renewcommand{\azweixvier}{ 1 }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ {{|}} {{|}} }
\renewcommand{\adreixzwei}{ 2 }
\renewcommand{\adreixdrei}{ 2 }
\renewcommand{\adreixvier}{ 10 }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ {{|}} {{|}} {{|}} }
\renewcommand{\avierxzwei}{ 3 }
\renewcommand{\avierxdrei}{ 10 }
\renewcommand{\avierxvier}{ 11 }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\afuenfxzwei}{ 4 }
\renewcommand{\afuenfxdrei}{ 11 }
\renewcommand{\afuenfxvier}{ 20 }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\asechsxzwei}{ 5 }
\renewcommand{\asechsxdrei}{ 12 }
\renewcommand{\asechsxvier}{ 100 }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\asiebenxzwei}{ 6 }
\renewcommand{\asiebenxdrei}{ 20 }
\renewcommand{\asiebenxvier}{ 101 }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\aachtxzwei}{ 7 }
\renewcommand{\aachtxdrei}{ 21 }
\renewcommand{\aachtxvier}{ 110 }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\aneunxzwei}{ 8 }
\renewcommand{\aneunxdrei}{ 22 }
\renewcommand{\aneunxvier}{ 111 }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\azehnxzwei}{ 9 }
\renewcommand{\azehnxdrei}{ 100 }
\renewcommand{\azehnxvier}{ 120 }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} {{|}} }
\renewcommand{\aelfxzwei}{ 10 }
\renewcommand{\aelfxdrei}{ 101 }
\renewcommand{\aelfxvier}{ 1000 }
\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}{ }
\tabelleleitelfxvier
Die Entsprechung in der Tabelle entsteht dadurch, dass man in jeder Spalte unabhängig voneinander im jeweiligen System
\zusatzklammer {gleichschnell} {} {}
zählt.
\inputfaktbeweis
{Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathl{(N_1,0_1, \prime)}{} und
\mathl{(N_2,0_2, \star)}{} Modelle für die natürlichen Zahlen.}
\faktfolgerung {Dann gibt es genau eine
\zusatzklammer {bijektive} {} {}
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\varphi} {N_1} {N_2
} {,}
die das Zählen
\zusatzklammer {also die $0$ und die Nachfolgerabbildung} {} {}
respektiert.}
\faktzusatz {}
\faktzusatz {}
}
{
Da die Abbildung $\varphi$ insbesondere die Null respektieren soll, muss
\mavergleichskettedisp
{\vergleichskette
{\varphi(0_1)
}
{ =} { 0_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein. Da die Abbildung die Nachfolgerabbildungen respektieren soll, gilt generell
\mavergleichskettedisp
{\vergleichskette
{\varphi(x^\prime)
}
{ =} { ( \varphi(x) )^\star
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ N_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Speziell gilt
\mavergleichskettedisp
{\vergleichskette
{ \varphi (0_1^\prime)
}
{ =} { { \left( \varphi (0_1) \right) }^\star
}
{ =} { 0_2^\star
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus dem gleichen Grund muss unter Verwendung des schon Bewiesenen
\mavergleichskettedisp
{\vergleichskette
{ \varphi { \left( 0_1^{\prime \prime } \right) }
}
{ =} { \varphi { \left( (0_1^{\prime})^\prime \right) }
}
{ =} { { \left( \varphi (0_1^\prime ) \right) }^\star
}
{ =} { { \left( 0_2^\star \right) }^\star
}
{ =} { 0_2^{\star \star}
}
}
{}{}{.}
Ebenso muss
\mavergleichskettedisp
{\vergleichskette
{\varphi { \left( 0_1^{\prime \prime \prime } \right) }
}
{ =} { 0_2^{\star \star \star}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{\varphi { \left( 0_1^{\prime \prime \prime \prime } \right) }
}
{ =} { 0_2^{\star \star \star \star}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
u.s.w gelten. Hier hat man keine Wahlmöglichkeiten, alles ist durch die Nachfolgereigenschaft bestimmt. Da jedes Element $\neq 0_1$ aus $N_1$ von $0_1$ aus durch die Nachfolgerabbildung $\prime$ schließlich und genau einmal erreicht wird, ist dies eine wohldefinierte Abbildung von $N_1$ nach $N_2$.
Zum Nachweis der Surjektivität betrachten wir die Menge
\mavergleichskettedisp
{\vergleichskette
{ T
}
{ =} { { \left\{ y \in N_2 \mid \text{ Es gibt } x \in N_1 \text{ mit } y=\varphi(x) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir müssen zeigen, dass
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} {N_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Dazu wenden wir das Induktionsaxiom für $N_2$ an. Wegen
\mavergleichskettedisp
{\vergleichskette
{\varphi(0_1)
}
{ =} { 0_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gehört
\mavergleichskette
{\vergleichskette
{ 0_2
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist also
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {\varphi(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für ein
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ N_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Verträglichkeit mit der Nachfolgerabbildung ist
\mavergleichskettedisp
{\vergleichskette
{ y^\star
}
{ =} { \varphi(x^\prime)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
d.h. auch
\mavergleichskette
{\vergleichskette
{ y^\star
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist $T$ unter dem Nachfolger abgeschlossen und nach dem Induktionsaxiom ist also
\mavergleichskette
{\vergleichskette
{T
}
{ = }{N_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zum Nachweis der Injektivität seien
\mavergleichskette
{\vergleichskette
{ x, \tilde{x}
}
{ \in }{ N_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verschieden. und zwar sei $\tilde{x}$ ein
\zusatzklammer {direkter oder} {} {}
höherer Nachfolger von $x$. Dann ist
\mathl{\varphi(\tilde{x})}{} der entsprechende Nachfolger von $\varphi(x)$ und insbesondere davon verschieden
\zusatzklammer {siehe
Aufgabe 7.11} {} {,}
da das Nachfolgernehmen in $N_2$ injektiv ist.
Es gibt also im Wesentlichen, d.h. wenn man von den Benennungen absieht, genau eine Menge von natürlichen Zahlen. Für das im Wesentlichen eindeutig bestimmte Modell der Dedekind-Peano-Axiome verwenden wir das Symbol $\N$ und sprechen von den \stichwort {natürlichen Zahlen} {.}
Es sei bemerkt, dass die Konstruktion der bijektiven Abbildung zwischen zwei Modellen im Beweis zu Satz 7.2 über den Nachfolger für praktische Zwecke nicht gut geeignet ist. Wenn man von einer natürlichen Zahl, die im Zehnersystem gegeben ist, die Darstellung im Dreiersystem ausrechnen möchte, so müsste man gemäß dieser Methode im Dreiersystem so lange zählen, wie es die im Zehnersystem gegebene Zahl vorgibt. Da gibt es deutlich effektivere Methoden, die wir später kennenlernen werden.
\zwischenueberschrift{Das Induktionsprinzip für Aussagen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Domen-indukto.gif} }
\end{center}
\bildtext {Eine Visualisierung des Induktionsprinzips. Wenn die Steine nah beieinander stehen und der erste umgestoßen wird, so fallen alle Steine um.} }
\bildlizenz { Domen-indukto.gif } {Joachim Mohr} {} {Commons} {CC-by-sa 3.0} {}
Die folgende Aussage und ihr Beweis begründen das Beweisprinzip der \stichwort {vollständigen Induktion} {.} Wir schreiben
\mathl{n+1}{} für den Nachfolger von $n$.
\inputfaktbeweis
{Zahlentheorie/Beweisverfahren/Induktionsprinzip/Fakt}
{Satz}
{}
{
\faktsituation {Für jede
\definitionsverweis {natürliche Zahl}{}{}
$n$ sei eine Aussage
\mathl{A(n)}{} gegeben.}
\faktvoraussetzung {Es gelte
\aufzaehlungzwei {$A(0)$ ist wahr.
} { Für alle $n$ gilt: wenn
\mathl{A(n)}{} gilt, so ist auch
\mathl{A(n+1)}{} wahr.
}}
\faktfolgerung {Dann gilt
\mathl{A(n)}{} für alle $n$.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ n \in \N \mid A(n) \text{ ist wahr} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir wollen zeigen, dass
\mavergleichskette
{\vergleichskette
{M
}
{ = }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, denn genau dies bedeutet, dass die Aussage für alle $n$ gilt. Nach der ersten Bedingung ist
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \in} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach der zweiten Voraussetzung gilt für $M$, dass aus
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mavergleichskette
{\vergleichskette
{n+1
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Damit erfüllt $M$ beide Voraussetzungen im Induktionsprinzip für Mengen, sodass
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
Der Nachweis von
\zusatzklammer {der Gültigkeit von} {} {}
\mathl{A(0)}{} heißt dabei der \stichwort {Induktionsanfang} {} und der Schluss von
\mathl{A(n)}{} auf
\mathl{A(n+1)}{} heißt der \stichwort {Induktionsschluss} {} oder \stichwort {Induktionsschritt} {.} Innerhalb des Induktionsschlusses nennt man die Gültigkeit von
\mathl{A(n)}{} auch die \stichwort {Induktionsvoraussetzung} {.} In manchen Situationen ist die Aussage
\mathl{A(n)}{} erst für
\mathl{n \geq n_0}{} für ein gewisses $n_0$
\zusatzklammer {definiert oder} {} {}
wahr. Dann beweist man im Induktionsanfang die Aussage
\mathl{A(n_0)}{} und den Induktionsschritt führt man für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch.
Um dieses Beweisprinzip anhand von substantiellem Material demonstrieren zu können, greifen wir etwas vor und setzen die Addition, die Multiplikation und die Größergleichrelation von natürlichen Zahlen voraus. Das folgende Standardbeispiel für einen Induktionsbeweis verwendet das \stichwort {Summenzeichen} {.} Für gegebene
\zusatzklammer {natürliche, reelle} {} {}
Zahlen
\mathl{a_1 , \ldots , a_n}{} bedeutet
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n a_k
}
{ \defeq} { a_1 + a_2 + \cdots + a_{n-1} + a_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei hängen typischerweise die $a_k$\zusatzfussnote {Die Indexschreibweise $a_k$ bedeutet, dass eine Abbildung
\mathl{k \mapsto a_k}{} vorliegt} {.} {} in einer formelhaften Weise von $k$ ab. Entsprechend ist das \stichwort {Produktzeichen} {} definiert, nämlich durch
\mavergleichskettedisp
{\vergleichskette
{ \prod_{k = 1}^n a_k
}
{ \defeq} { a_1 \cdot a_2 { \cdots } a_{n-1} \cdot a_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputaufgabeloesung
{
Beweise durch Induktion die folgende Formel für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n k
}
{ =} {{ \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Beim Induktionsanfang ist
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
daher besteht die Summe links nur aus einem Summanden, nämlich der $1$, und daher ist die Summe $1$. Die rechte Seite ist
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 \cdot 2 }{ 2 } }
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass die Formel für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stimmt.
Für den Induktionsschritt setzen wir voraus, dass die Formel für ein
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, und müssen zeigen, dass sie auch für
\mathl{n+1}{} gilt. Dabei ist $n$ beliebig. Es ist
\mavergleichskettealign
{\vergleichskettealign
{\sum_{k = 1}^{n+1} k
}
{ =} {\left(\sum_{k = 1}^{n} k\right) + n+1
}
{ =} { { \frac{ n(n+1) }{ 2 } } + n+1
}
{ =} { { \frac{ n(n+1) +2(n+1) }{ 2 } }
}
{ =} { { \frac{ (n+2)(n+1) }{ 2 } }
}
}
{}
{}{.}
Dabei haben wir für die zweite Gleichheit die Induktionsvoraussetzung verwendet. Der zuletzt erhaltene Term ist die rechte Seite der Formel für
\mathl{n+1}{,} also ist die Formel bewiesen.
}
Aussagen, die durch Induktion bewiesen werden können, können manchmal auch auf andere Art bewiesen werden. Im vorstehenden Beispiel gibt es die elegantere und einsichtigere Lösung, die Zahlen einmal aufsteigend und einmal absteigend untereinander hinzuschreiben, also
\mathdisp {1 \, \,\, \, \, \, \, \,\, \, \, \, 2\, \, \, \,\, \, \, \,\, \, \, \, \, \, \, \,3 \, \, \, \, \ldots \, \, \, \, n-2 \, \, \, \, n-1\, \, \, \, n} { }
\mathdisp {n\, \, \, \, \, n-1 \, \, \, \, \, \, n-2 \, \,\, \, \ldots \, \,\, \, 3\, \, \, \, \, \,\, \, \, \, \, \, \, \, \, \, 2\, \, \, \, \, \, \, \, \,\, \, \, 1} { }
Spaltenweise ergibt sich
\mathl{n+1}{,} und diese Summe kommt $n$-mal vor. Also ist
\mavergleichskettedisp
{\vergleichskette
{2 { \left( \sum_{i= 1}^n i \right) }
}
{ =} { n { \left( n+1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputaufgabeloesung
{
Zeige durch vollständige Induktion, dass für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zahl
\mathdisp {6^{n+2} + 7^{2n+1}} { }
ein Vielfaches von $43$ ist.
}
{
Induktionsanfang. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{6^2+7
}
{ =} {43
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Vielfaches von $43$. Induktionsschritt. Es sei nun die Aussage für $n$ bewiesen und betrachten wir den Ausdruck für
\mathl{n+1}{.} Dieser ist
\mavergleichskettealign
{\vergleichskettealign
{ 6^{n+1+2} + 7^{2(n+1)+1}
}
{ =} { 6 \cdot 6^{n+2} + 7^2 \cdot 7^{2n+1}
}
{ =} { 6 \cdot 6^{n+2} + (6+43) 7^{2n+1}
}
{ =} { 6 { \left( 6^{n+2} +7^{2n+1} \right) } + 43 \cdot 7^{2n+1}
}
{ =} { 6 \cdot 43 \cdot s + 43 \cdot 7^{2n+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} { 43 \cdot { \left( 6 \cdot s + 7^{2n+1} \right) }
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei im vorletzten Schritt die Induktionsvoraussetzung verwendet wurde
\zusatzklammer {nämlich die Eigenschaft, dass \mathlk{6^{n+2} +7^{2n+1}}{} ein Vielfaches von $43$ ist} {} {.}
Daher ist diese Zahl ein Vielfaches von $43$.
}