Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 5/latex
\setcounter{section}{5}
\epigraph { Es gibt nur eine Grundrechenart, das Zählen } { }
\zwischenueberschrift{Zählen}
Unter Zählen verstehen wir die geordnete, systematische, prinzipiell unendliche Abfolge von wohlbestimmten, wohlunterschiedenen
\zusatzklammer {insbesondere wiederholungsfreien} {} {}
\zusatzklammer {sprachlichen oder schriftlichen} {} {}
Symbolen. Wir erwähnen einige Möglichkeiten von solchen Abfolgen.
\aufzaehlungneun{
\mathdisp {{{|}} , {{|}} {{|}} ,{{|}} {{|}} {{|}} ,{{|}}{{|}}{{|}} {{|}} , ...} { . }
Dies ist die Strichabfolge. Es wird einfach bei jedem Schritt ein zusätzlicher Strich hinzugefügt. Die Symbole sind die einzelnen Strichfolgen. Der Übergang zum nächsten Symbol ist besonders einfach, die einzelnen Symbole werden aber sehr schnell unhandlich.
}{
\mathdisp {N0,NN0,NNN0,NNNN0,NNNNN0, ...} { . }
Hier hat man den Nachfolger der $0$, den Nachfolger des Nachfolgers der $0$, den Nachfolger des Nachfolgers des Nachfolgers der $0$, u.s.w.
}{Die Lautfolge
\mathdisp {\text{eins}, \text{zwei}, \text{drei}, \text{vier}, \text{fünf}, \text{sechs}, \text{sieben}, \text{acht}, \text{neun}, \text{zehn}, \text{elf}, \text{zwölf}, \text{dreizehn}, \text{vierzehn}, ...} { . }
Dies ist zwar sehr vertraut und man weiß, wie es weiter geht, das sprachliche Bildungsgesetz ist aber keineswegs trivial, und bei sehr großen Zahlen kommt man doch ins Schwitzen. Was kommt beispielsweise nach
\mathdisp {\text{neunhundertneunundneunzig Trilliarden neunhundertneunundneunzig Trillionen }
\mathdisplaybruch \text{ neunhundertneunundneunzig Billiarden neunhundertneunundneunzig Billionen }} { }
\mathdisp {\text{ neunhundertneunundneunzig Milliarden neunhundertneunundneunzig Millionen }
\mathdisplaybruch \text{ neunhundertneunundneunzig Tausend neunhundertneunundneunzig}} { ? }
Es gibt keine allgemein anerkannte sprachliche Festlegung für beliebig weites Zählen. Jede sprachliche Festlegung, die jede beliebig große natürliche Zahl ausdrücken möchte, muss früher oder später auf
eine Vervielfachung von Wörtern zurückgreifen, wie das im Fall der Strichfolge von Anfang an geschieht. Die Wörter werden jedenfalls auch beliebig lang, siehe w:Zahlennamen.
}{
\mathdisp {\text{eins}, \text{zwei}, \text{drei}, \text{vier}, \text{fünf}, \text{sechs}, \text{sieben}, \text{acht}, \text{neun}, \text{zehn}, \text{elf}, \text{zwölf}, \text{dreizehn}, ...,
\mathdisplaybruch \text{neunundneunzig}, \text{zehnmalzehn}, \text{zehnmalzehn und eins}, \text{zehnmalzehn und zwei}, ..., \text{zehnmalzehnmalzehn}, \text{zehnmalzehnmalzehn und eins}, ...} { . }
Hier weiß man, wie die Folge ins Unendliche weitergeht. Statt bei zehn kann man mit der systematischen Vervielfachung auch deutlich später anfangen.
}{
\mathdisp {\text{eins}, \text{zwei}, \text{drei}, \text{vier}, \text{fünf}, \text{sechs}, \text{sieben}, \text{acht}, \text{neun}, \text{zehn},
\mathdisplaybruch \text{zehnundeins}, \text{zehnundzwei}, \text{zehnunddrei}, \text{zehnundvier}, ..., \text{zwanzig}, \text{zwanzigundeins}, \text{zwanzigundzwei}, ...} { . }
Diese Art zu zählen
\zusatzklammer {bzw. ohne das \anfuehrung{und}{}} {} {}
wird von einigen Leuten vorgeschlagen, um die verkehrte Aussprache von Einer- und Zehnerstellen und damit Zahlendreher zu vermeiden. Siehe den Verein w:Zwanzigeins
\zusatzklammer {an der Namensgebung und auch auf der Seite des Vereins fällt auf, dass das Verhältnis zu den Zahlen von $11$ bis $19$ unklar ist} {} {.}
}{
\mathdisp {\text{yksi}, \text{kaksi}, \text{kolme}, \text{neljä}, \text{viisi}, \text{kuusi}, \text{seitsemän}, \text{kahdeksan},\text{yhdeksän},
\mathdisplaybruch \text{kymmenen}, \text{yksitoista}, \text{kaksitoista}, \text{kolmetoista},...,\text{ kaksikymmentä},\text{kaksikymmentäyksi}, ...} { . }
Was steht dazwischen und wie geht das weiter?
}{
\mathdisp {a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,aa,bb,cc, ...} { . }
Man kann das Alphabet natürlich auch auf andere Weisen zu einer unendlichen Folge fortsetzen.
}{
\mathdisp {1,2,3,4,5,6,7,8,9,10,11,12,13,14, ...} { . }
Hier ist das Bildungsgesetz bekannt und ziemlich einfach. Wenn die letzte Ziffer nicht $9$ ist, so wird sie um $1$ erhöht, für die nachfolgende Zahl muss man also in diesem System nur die letzte Ziffer durch den Nachfolger ersetzen. Wenn die letzte Ziffer eine $9$ ist, muss man sämtliche hinten aneinander liegende $9$en durch $0$en ersetzen und die unmittelbar davor liegende Ziffer durch ihren Nachfolger ersetzen
\zusatzklammer {wie ist das zu verstehen, wenn die Zahl ausschließlich aus $9$en besteht} {?} {.}
}{
\mathdisp {1,10,11,100,101,110,111,1000,1001,1010, ...} { . }
}
Entscheidend ist, dass jeweils festgelegt ist, welches Symbol/Objekt als Nächstes kommt. Dies wird in der Regel durch eine mehr oder weniger komplexe Bildungsvorschrift beschrieben, die sagt, wie man aus einem Symbol das Nachfolgersymbol erhält.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Natural numbers.svg} }
\end{center}
\bildtext {Der natürliche Zahlenstrahl, die Gerade hat im Moment noch keine eigenständige Bedeutung. In diesem Zählmodell bedeutet das Zählen, um eine Schrittlänge nach rechts zu gehen. Die Beschriftung mit den Dezimalzahlen gibt die Identifizierung mit einem anderen Zählmodell.} }
\bildlizenz { Natural numbers.svg } {} {Junaidpv} {Commons} {gemeinfrei} {}
Wir halten die folgenden Eigenschaften eines sinnvollen Zählens fest.
\aufzaehlungfuenf{Es gibt ein Startelement, mit dem man das Zählen anfängt.
}{Zu jeder Zahl gibt es eine eindeutig bestimme Nachfolgerzahl.
}{Das Startelement ist selbst kein Nachfolger.
}{Jede Zahl, die nicht das Startelement ist, besitzt einen eindeutig bestimmten Vorgänger.
}{Durch Zählen erhält man ausgehend vom Startelement früher oder später alle Zahlen.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {NachfolgermitSchleife.png} }
\end{center}
\bildtext {Welche Eigenschaft erfüllt dieses \anfuehrung{Zählsystem}{} nicht?} }
\bildlizenz { NachfolgermitSchleife.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
Damit schließen wir insbesondere aus, dass man im Kreis zählt, wie beispielsweise mit den Wochentagen Montag, Dienstag, ..., Sonntag, Montag. Da hat jeder Tag einen eindeutig bestimmten Vorgängertag und es gibt kein Startelement ohne Vorgänger. Die letzte Eigenschaft stellt sicher, dass man keine unnötigen Zahlen mitschleppt, die für das Zählen nicht gebraucht werden. Eine solche Zählmenge nennen wir ein Modell der natürlichen Zahlen oder schlicht natürliche Zahlen. Unabhängig vom Modell bezeichnen wir zu $n$ den Nachfolger als $n^\prime$ \zusatzklammer {später auch mit $n+1$, im Moment haben wir aber die Addition noch nicht eingeführt} {} {.}
Wir treffen noch eine wichtige Vereinbarung über das Startelement. In den Beispielen oben hatten wir das Zählen mit einem $1$-ähnlichen Symbol begonnen. Von den soeben fixierten Eigenschaften ist die Bezeichnung des Startelements unerheblich. Im Folgenden werden wir allerdings die Zahlen dazu verwenden, Anzahlen von endlichen Mengen auszudrücken, also zu zählen in einem weiteren Sinne. Da es auch die leere Menge gibt, werden wir daher das Startelement $0$ nennen und den Nachfolger davon
\mavergleichskettedisp
{\vergleichskette
{ 0'
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für uns ist also $0$ eine natürliche Zahl. Gründe dafür werden wir schon heute kennen lernen. Die natürlichen Zahlen werden mit $\N$ bezeichnet, die Menge der positiven natürlichen Zahlen bezeichnen wir mit $\N_+$, da gehört die $0$ nicht dazu.
Mit dem Abbildungsbegriff werden wir die bisherigen Beobachtungen in der übernächsten Vorlesung im Rahmen der Dedekind-Peano-Axiome präzisieren und insbesondere beweisen, dass je zwei Modelle der natürlichen Zahlen übereinstimmen.
\zwischenueberschrift{Zählen ohne Zahlen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mustafa Heinz Sandkasten.png} }
\end{center}
\bildtext {Heinz Ngolo und Mustafa Müller im Sandkasten.} }
\bildlizenz { Mustafa Heinz Sandkasten.png } {} {Bocardodarapti} {Commons} {CC-by-sa 4.0} {}
Bevor wir Mengen mit Hilfe der natürlichen Zahlen abzählen, betrachten wir kurz eine noch fundamentalere Idee, wie man Mengen auch ohne Zählkenntnisse untereinander vergleichen kann.
\inputbeispiel{}
{
Die beiden Freunde Mustafa Müller und Heinz Ngolo sitzen im Sandkasten und wollen wissen, wer von ihnen mehr Buddelsachen dabei hat. Sie sind noch klein und können noch nicht zählen. Sie lösen das Problem, indem beide gleichzeitig je eine Sache aus ihrem Besitz aus dem Sandkasten hinauswerfen, und dies so lange wiederholen, bis ein Kind keine Sachen mehr im Sandkasten hat. Wenn das andere Kind noch Sachen übrig hat, so hat dieses insgesamt mehr Buddelsachen, andernfalls haben sie gleichviel.
}
\zwischenueberschrift{Zählen von endlichen Mengen}
Die vielleicht wichtigste Funktion der natürlichen Zahlen ist es, zu einer gegebenen endlichen Menge $M$ zu beschreiben, wie viele Elemente sich in ihr befinden, was ihre Anzahl ist. Man möchte beispielsweise wissen, wie viele Äpfel in einem Korb drin sind oder wie viele Schüler im Bus sind. Das übliche praktische Verfahren, die Anzahl einer endlichen Menge zu bestimmen, ist, die Elemente mit
\mathl{1,2,3 , \ldots , n}{} durchzuzählen
\zusatzklammer {die Elemente durchzunummerieren} {} {,}
wobei jedes Element\zusatzfussnote {Man beachte, dass hier die in der letzten Vorlesung eingeführten Konzepte \anfuehrung{für alle}{} und \anfuehrung{es gibt (genau) eines}{} eine entscheidende Rolle spielen} {.} {} genau eine Nummer bekommt. Die letzte benötigte Zahl $n$ ist dann die Anzahl der Menge. Um sich die Richtigkeit und Sinnhaftigkeit dieses Verfahrens klar zu machen, es ist hilfreich, mögliche Fehlerquellen, die auch praktisch häufig auftreten, zu erkennen.
\aufzaehlungvier{Man beherrscht das Zählen der natürlichen Zahlen nicht. Dann zählt man die Äpfel nacheinander als
\mathdisp {5,7,1,8,3,3,4} { . }
}{Man beherrscht zwar das Zählen der natürlichen Zahlen, kommt aber im Zählvorgang durcheinander, etwa wenn die Schüler sich bewegen oder wenn man unterbrochen wird. Dann zählt man
\mathdisp {1,2,3,4,5, \text{ wo war ich gerade ? }, 5,6, 7, \text{ wie bitte ? }, 9,10} { . }
}{Man zählt die Zahlen ohne Lücken und ohne Wiederholungen richtig ab, aber man übersieht Elemente.
}{Man zählt die Zahlen ohne Lücken und ohne Wiederholungen richtig ab, aber man zählt gewisse Elemente mehrfach.
}
Zu einer natürlichen Zahl $n$ bezeichnen wir mit
\mathl{\{1 , \ldots , n\}}{} diejenige Teilmenge der natürlichen Zahlen, die aus genau den Zahlen besteht, die man von $1$ ausgehend durch sukzessives Nachfolgernehmen erhält, bis man bei $n$ anlangt und dann aufhört. Die Elemente
\mathkor {} {1} {und} {n} {}
gehören also insbesondere dazu. Diese Mengen sind für uns die Standardmengen
\zusatzklammer {oder Referenzmengen} {} {}
mit genau $n$ Elementen. Wir werden beliebige endliche Mengen dadurch abzählen, dass wir sie mit solchen Standardmengen in Beziehung setzen
\zusatzklammer {die leere Menge betrachten wir auch als eine Standardmenge} {} {.}
Zu zwei natürlichen Zahlen
\mathkor {} {k} {und} {n} {,}
wobei $n$ im Zählprozess nach $k$ kommt, bezeichnen wir mit
\mathl{\{k , \ldots , n\}}{} die Menge aller Zahlen, die man von $k$ ausgehend durch sukzessives Zählen erreicht, bis man schließlich bei $n$ anlangt und dann aufhört.
Wenn man richtig zählt, erhält man eine Zuordnung zwischen den beiden Mengen
\mathdisp {\{1,2 , \ldots , n\} \text{ und der gegebenen Menge } M} { , }
bei der jeder natürlichen Zahl zwischen
\mathkor {} {1} {und} {n} {}
genau einem Element der Menge und umgekehrt entspricht. Intuitiv
\zusatzklammer {oder nur im Sinne einer Gewohnheit} {} {}
ist es klar, dass beim richtigen Zählen der Menge $M$ stets die gleiche Zahl $n$ als Anzahl herauskommt, dass also die Anzahl unabhängig von der Zählreihenfolge ist. Kann man das genauer begründen? Sowohl diese Frage als auch die oben erwähnten Fehlerquellen können mit dem Abbildungsbegriff beantwortet bzw. analysiert werden.
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen. Eine \definitionswort {Abbildung}{} $F$ von $L$ nach $M$ ist dadurch gegeben, dass jedem Element der Menge $L$ genau ein Element der Menge $M$ zugeordnet wird. Das zu
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmte Element wird mit
\mathl{F(x)}{} bezeichnet. Die Abbildung drückt man als Ganzes häufig durch
\maabbeledisp {F} {L} {M
} {x} {F(x)
} {,}
aus.
}
Bei einer Abbildung
\maabb {F} {L} {M
} {}
heißt $L$ die
\definitionswortenp{Definitionsmenge}{}
\zusatzklammer {oder Definitionsbereich} {} {}
der Abbildung und $M$ die
\definitionswortenp{Wertemenge}{}
\zusatzklammer {oder \stichwort {Wertevorrat} {} oder \stichwort {Zielbereich} {}} {} {}
der Abbildung. Zu einem Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt das Element
\mavergleichskettedisp
{\vergleichskette
{ F(x)
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \stichwort {Wert} {} von $F$ an der \stichwort {Stelle} {} $x$. Statt Stelle sagt man auch häufig \stichwort {Argument} {.} Zwei Abbildungen
\mathkor {} {F \colon L_1\rightarrow M_1} {und} {G \colon L_2\rightarrow M_2} {}
sind gleich, wenn die Definitionsmengen und die Wertemengen übereinstimmen und wenn für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L_1
}
{ = }{ L_2
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskette
{\vergleichskette
{ F(x)
}
{ = }{ G(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mavergleichskette
{\vergleichskette
{ M_1
}
{ = }{ M_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Die Gleichheit von Abbildungen wird also zurückgeführt auf die Gleichheit von Elementen in einer Menge. Abbildungen werden häufig auch \stichwort {Funktionen} {} genannt.
Der Abbildungsbegriff ist fundamental für die Mathematik, es gibt eine Vielzahl an verschiedenen Abbildungen und an Darstellungsmöglichkeiten von Abbildungen. Im jetzigen Kontext interessieren wir uns nur für Abbildungen zwischen endlichen Mengen, die stets durch eine vollständige Wertetabelle angegeben werden können. Für die Mengen
\mavergleichskettedisp
{\vergleichskette
{ L
}
{ =} { \{1,2,3,4,5,6,7,8\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} {\{a,b,c,d,e,f,g\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist beispielsweise
\wertetabelleachtausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileunddrei {6} {7} {8} }
{ $F(x)$ }
{\mazeileundfuenf {c} {a} {a} {b} {e} }
{\mazeileunddrei {b} {e} {d} }
eine vollständige Wertetabelle. Aus ihr kann man unmittelbar den Wert $F(3)$ als $a$ ablesen. Es handelt sich aber offenbar nicht um eine korrekte Abzählung der Menge $M$, da $a$ und $e$ mehrfach im Bild auftauchen
\zusatzklammer {mehrfach gezählt werden} {} {}
und $f$ überhaupt nicht im Bild auftaucht
\zusatzklammer {übersehen wird} {} {.}
Wenn die obigen Fehlerquellen (1) und (2) ausgeschlossen sind, so ist das
\zusatzklammer {versuchsweise} {} {}
Abzählen einer Menge $M$ eine Abbildung
\maabbeledisp {\varphi} {{ \{ 1 , \ldots , n \} } } {M
} { i} { \varphi(i)
} {.}
Jeder natürlichen Zahl $i$ wird also ein eindeutiges Element der Menge $M$ zugeordnet. Die beiden Fehlerquellen (3) und (4) sind durch den Abbildungsbegriff
\betonung{nicht}{} ausgeschlossen. Eine Abbildung $F$ kann für verschiedene Definitionsstellen, also beispielsweise Zahlen
\mavergleichskette
{\vergleichskette
{ i
}
{ \neq }{ j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den gleichen Wert, also
\mavergleichskettedisp
{\vergleichskette
{ F(i)
}
{ =} { F(j)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
haben und sie muss nicht jedes Element der Menge $M$ erfassen
\zusatzklammer {treffen} {} {.}
Es kann also Elemente
\mavergleichskette
{\vergleichskette
{ m
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Eigenschaft geben, dass für jedes $i$ aus dem Definitionsbereich stets
\mavergleichskettedisp
{\vergleichskette
{ F(i)
}
{ \neq} { m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
Diese beiden Fehlerquellen erfassen wir mit den folgenden Begriffen.
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbdisp {F} {L} {M} {}
eine
\definitionsverweis {Abbildung}{}{.} Dann heißt $F$
\auflistungdrei{\definitionswort {injektiv}{,} wenn für je zwei verschiedene Elemente
\mavergleichskette
{\vergleichskette
{x,x'
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} auch \mathkor {} {F(x)} {und} {F(x')} {} verschieden sind.
}{\definitionswort {surjektiv}{,} wenn es für jedes
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} mindestens ein Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{} gibt.
}{\definitionswort {bijektiv}{,} wenn $F$ sowohl injektiv als auch surjektiv ist.
}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aplicación.svg} }
\end{center}
\bildtext {Weder injektiv noch surjektiv.} }
\bildlizenz { Aplicación.svg } {} {HiTe~commonswiki} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aplicación inyectiva sobreyectiva.svg} }
\end{center}
\bildtext {Injektiv und surjektiv.} }
\bildlizenz { Aplicación inyectiva sobreyectiva.svg } {} {HiTe~commonswiki} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aplicación no inyectiva sobreyectiva.svg} }
\end{center}
\bildtext {Nicht injektiv, aber surjektiv.} }
\bildlizenz { Aplicación no inyectiva sobreyectiva.svg } {} {HiTe~commonswiki} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aplicación inyectiva no sobreyectiva.svg} }
\end{center}
\bildtext {Injektiv, nicht surjektiv.} }
\bildlizenz { Aplicación inyectiva no sobreyectiva.svg } {} {HiTe~commonswiki} {Commons} {gemeinfrei} {}
Diese Begriffe sind fundamental! Beispielsweise ist die Nachfolgerabbildung \maabbeledisp {} {\N} {\N } {x} {x' } {,} auf der Menge der natürlichen Zahlen wegen der oben angeführten Eigenschaft (4) injektiv, aber wegen der Eigenschaft (3) nicht surjektiv, da das Startelement nicht der Nachfolger einer Zahl ist.
Die Frage, ob eine Abbildung $F$ diese Eigenschaften besitzt, kann man anhand der Gleichung\zusatzfussnote {Über Gleichungen und Variablen werden wir später ausführlicher sprechen} {.} {}
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {in den beiden Variablen
\mathkor {} {x} {und} {y} {}} {} {}
erläutern. Die Surjektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mindestens eine Lösung
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für diese Gleichung gibt, die Injektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
maximal eine Lösung
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für diese Gleichung gibt, und die Bijektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau eine Lösung
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für diese Gleichung gibt. Die Surjektivität entspricht also der Existenz von Lösungen, die Injektivität der Eindeutigkeit von Lösungen. Beide Fragestellungen durchziehen die Mathematik und können selbst wiederum häufig als die Surjektivität oder die Injektivität einer geeigneten Abbildung interpretiert werden.
Beim Nachweis der Injektivität einer Abbildung geht man häufig so vor, dass man zu zwei gegebenen Elementen
\mathkor {} {x} {und} {x'} {}
aus der Voraussetzung
\mavergleichskette
{\vergleichskette
{ F(x)
}
{ = }{ F(x')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erschließt, dass
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dies ist oft einfacher zu zeigen, als aus
\mavergleichskette
{\vergleichskette
{ x
}
{ \neq }{x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mavergleichskette
{\vergleichskette
{ F ( x)
}
{ \neq }{F ( x' )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu schließen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Appelbijektion1.png} }
\end{center}
\bildtext {} }
\bildlizenz { Appelbijektion1.png } {} {Bocardodarapti} {Commons} {CC-by-sa 4.0} {}
\inputdefinition
{}
{
Eine Menge $M$ heißt \definitionswort {endlich}{} mit $n$ Elementen, wenn es eine \definitionsverweis {Bijektion}{}{} \maabbdisp {} {\{ 1 , \ldots , n \}} {M} {} gibt.
}
Unser erstes Hauptanliegen ist es zu begründen, dass die natürliche Zahl $n$ dabei eindeutig bestimmt ist. Wir werden nach einigen Vorbereitungen zeigen, dass wenn
\maabbdisp {\varphi} { { \{ 1 , \ldots , n \} } } {M
} {}
und
\maabbdisp {\psi} { \{ 1 , \ldots , k \} } {M
} {}
bijektive Abbildungen sind, dass dann
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Diese Zahl heißt die \stichwort {Anzahl} {}
\zusatzklammer {oder die \stichwort {Kardinalität} {}} {} {}
der Menge. Sie wird mit
\mathl{{ \# \left( M \right) }}{} oder mit
\mathl{\betrag {M}}{} bezeichnet. Die bijektive Abbildung
\maabbdisp {} {\{1 , \ldots , n \}} { M
} {}
kann man eine \stichwort {Nummerierung} {} der Menge $M$ nennen. Eine Menge besitzt also $n$ Elemente, wenn man sie mit den natürlichen Zahlen von $1$ bis $n$ durchnummerieren kann. Zwei endliche Mengen
\mathkor {} {M} {und} {N} {,}
für die es eine Bijektion
\maabbdisp {} {M} {N
} {}
gibt, besitzen die gleiche Anzahl. Dies beruht einfach darauf, dass diese Bijektion verknüpft mit der bijektiven Nummerierung wieder eine Bijektion ist. Eine Menge, die nicht endlich ist, für die es also keine Bijektion mit
\mathl{{ \{ 1 , \ldots , n \} }}{} für irgendein $n$ gibt, heißt \stichwort {unendlich} {.}
\inputbemerkung
{}
{
Unter \stichwort {Modellierung} {} versteht man in der Mathematik den Vorgang, realweltliche Phänomene mathematisch zu erfassen, zu verstehen und zu beeinflussen. Das Zählen ist ein allgegenwärtiger Vorgang, mit dem die Anzahl von Mengen bestimmt werden, um deren Größenordnung einordnen zu können, um sicherzustellen, dass alle Schüler da sind, um den Preis der Gesamtmenge zu bestimmen, u.s.w. Dieser alltägliche Vorgang wird mit dem Begriff einer bijektiven Abbildung erfasst bzw. modelliert. Als Gewinn dieses Modellierungsvorgangs kann man nennen: Fehlerquellen erkennen, durch Rechnungen Zählvorgänge abkürzen, die prinzipielle Korrektheit der Zählidee begründen.
Mathematisch modelliert werden physikalische Prozesse, Wetterphänomene, Finanzaktionen, etc. Die Prozesse können dabei beliebig komplex sein und die adäquaten mathematischen Mittel sind dann in der Regel entsprechend komplex. In diesen komplexeren Situationen liegt ein wichtiger Gewinn darin, Aussagen über den Verlauf der Prozesse in der Zukunft mathematisch vorherzusagen.
Eine typische, in der Schule auftretende Form der Modellierung ist die \stichwort {Textaufgabe} {.} Aus einem mehr oder weniger langen Text muss der mathematische Gehalt herausgelesen und für eine Frage die Antwort gefunden werden. Allerdings ist hier typischerweise klar, mit welchen mathematischen Methoden an die Aufgabe herangegangen werden soll.
}