Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 40/latex
\setcounter{section}{40}
\epigraph { Man muß nur Ein Wesen recht von Grund aus lieben, da kommen einem die übrigen alle liebenswürdig vor! } { Johann Wolfgang von Goethe }
Wir besprechen nun mit Hilfe von Äquivalenzrelationen, Äquivalenzklassen und Quotientenmengen erneut, wie man aus den natürlichen Zahlen $\N$ die ganzen Zahlen $\Z$ und wie man aus den ganzen Zahlen $\Z$ die rationalen Zahlen $\Q$ konstruieren kann. Dieser Zugang ist zwar abstrakter, aber konzeptionell klarer, allgemeiner und systematischer. In einigen Wochen werden wir die reellen Zahlen aus den rationalen Zahlen ebenfalls mittels Äquivalenzrelationen definieren.
\zwischenueberschrift{Die Konstruktion der ganzen Zahlen}
Die ganzen Zahlen haben wir in der 18. Vorlesung einfach als die disjunkte Vereinigung von natürlichen und negativen Zahlen eingeführt und dann nach und nach die Verknüpfungen und die Ordnungsrelation festgelegt und die wichtigsten Eigenschaften bewiesen. Dabei hatten wir es häufig, beispielsweise beim Nachweis der Assoziativität für die Multiplikation, mit einer Vielzahl von Fallunterscheidungen zu tun, die wir im Einzelnen gar nicht ausgeführt haben.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Construction_blackboard _integers.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Construction blackboard integers.jpg } {} {Darapti} {Commons} {CC-by-sa 3.0} {}
Es sei $\N$ die Menge der natürlichen Zahlen und
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \N \times \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {Produktmenge}{}{}
mit der komponentenweisen Addition. Wir erklären auf $M$ eine
\definitionsverweis {Relation}{}{}
durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } a+d = b+c} { . }
Es wird hier also über Kreuz addiert, um diese Relation zu erhalten. Diese Relation ist bei
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann erfüllt, wenn es ein
\mathl{e \in \N}{}
\zusatzklammer {nämlich die natürliche Zahl $e=c-a$} {} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ (c,d)
}
{ =} {(a,b) + (e,e)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt und bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann erfüllt, wenn es ein
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {nämlich
\mavergleichskettek
{\vergleichskettek
{e
}
{ = }{a-c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ (c,d)+ (e,e)
}
{ =} {(a,b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt. So oder so kann man sagen, dass die Paare
\mathkor {} {(a,b)} {und} {(c,d)} {}
zueinander äquivalent sind, wenn sie sich um ein Diagonalelement, also um ein Paar, wo beide Komponenten übereinstimmen, unterscheiden. Diese Relation ist eine Äquivalenzrelation auf $M$. Das ist von der soeben etablierten Interpretation als \anfuehrung{gleichdiagonalig}{} her klar, kann aber auch direkt gezeigt werden:
\aufzaehlungdrei{Wegen
\mavergleichskette
{\vergleichskette
{ a+b
}
{ = }{b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{(a,b)
}
{ \sim }{(a,b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die Relation ist also reflexiv.
}{Die Symmetrie folgt daraus, dass aus
\mavergleichskette
{\vergleichskette
{a+d
}
{ = }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sofort
\mavergleichskette
{\vergleichskette
{c+b
}
{ = }{d+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}{Zum Nachweis der Transitivität sei
\mathkor {} {(a,b) \sim (c,d)} {und} {(c,d) \sim (e,f)} {,}
also
\mavergleichskette
{\vergleichskette
{a+d
}
{ = }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ c +f
}
{ = }{ d+e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ a+f+c
}
{ =} {a+d+e
}
{ =} {b+e+c
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund
der Abziehregel
ist dann
\mavergleichskettedisp
{\vergleichskette
{ a+f
}
{ =} {b+e
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und dies bedeutet
\mavergleichskette
{\vergleichskette
{(a,b)
}
{ \sim }{(e,f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Passende Interpretationen für die Paare mit dieser Äquivalenzrelation sind beispielsweise:
\auflistungvier{Das Paar
\mathl{(a,b)}{} repräsentiert das Ergebnis eines Fußballspieles, wobei $a$ die Toranzahl der Heimmannschaft und $b$ die Toranzahl der Gastmannschaft repräsentiert. Zwei Spiele gelten dann als äquivalent, wenn die \anfuehrung{gerichtete Differenz}{} gleich ist. Ein
\mathl{5:1}{} wird als äquivalent zu einem
\mathl{6:2}{} betrachtet, wenn beide Mannschaften ein weiteres Tor schießen, ändert sich zwar das Paar, aber nicht die Äquivalenzklasse. Die Äquivalenzklassen kann man charakterisieren als Unentschieden, mit einem Tor Vorsprung gewonnen, mit zwei Toren Vorsprung gewonnen, mit drei Toren Vorsprung gewonnen, ... , mit einem Tor Unterschied verloren, mit zwei Toren Unterschied verloren, mit drei Toren Unterschied verloren, ....
}{Das Paar $(a,b)$ repräsentiert das Alter eines menschlichen Paares, wobei $a$ für das Alter der Frau und $b$ für das Alter des Mannes steht. Die Äquivalenzklasse ist durch den gerichteten Altersunterschied \zusatzklammer {also den Altersunterschied mit der zusätzlichen Information, wer älter ist} {} {}
festgelegt. Diese Beziehung ändert sich im Laufe des Lebens nicht, da beide gleichermaßen älter werden.
}{Das Paar
\mathl{(a,b)}{} kann die Einnahmen und Ausgaben eines Haushaltes in einem Monat beschreiben, wobei die erste Stelle die Einnahmen und die zweite Stelle die Ausgaben repräsentieren möge. Zwei Haushalte
\zusatzklammer {oder Monate} {} {}
sind dann äquivalent, wenn sie den gleichen Überschuss oder das gleiche Defizit erwirtschaftet haben. Wenn Einnahmen und Ausgaben gleichermaßen steigen oder fallen, ändert sich an dieser Gesamtbewertung nichts.
}{Man kann das Paar als eine Schrittfolge aus $a$ Schritten nach rechts und $b$ Schritten nach links ansehen. Im Paar selbst wird die Anzahl der Schritte in die beiden Richtungen notiert, für die Äquivalenzrelation schaut man nur das Endergebnis des Bewegungsvorganges an.
}
Wenn man
\mathl{\N \times \N}{} als ein quadratisches Gitter anordnet
\zusatzklammer {das ist ein \anfuehrung{diskretes Koordinatensystem}{}} {} {,}
so sind die Äquivalenzklassen durch die Punkte auf einer zur Diagonalen parallelen \anfuehrung{diskreten Geraden}{} gegeben. Die Punkte
\mathl{(a,b)}{} mit
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind äquivalent zu
\mathl{(a-b,0)}{,} sie haben also einen Repräsentanten, bei dem die zweite Komponente $0$ ist. Die Punkte
\mathl{(a,b)}{} mit
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind äquivalent zu
\mathl{(0, b-a)}{,} sie haben also einen Repräsentanten, bei dem die erste Komponente $0$ ist. Die Punkte
\mathl{(a,a)}{} sind zu
\mathl{(0,0)}{} äquivalent. Den Repräsentanten einer Äquivalenzklasse, bei dem mindestens eine Komponente $0$ ist, nennen wir den \stichwort {Standardvertreter} {} dieser Äquivalenzklasse. Die Standardvertreter sind die diskreten Punkte des begrenzenden Viertelkreuzes; zu einem Punkt ergibt sich der Standardvertreter, indem man parallel zur Diagonalen in Richtung der Halbachsen wandert, bis man auf einer der Halbachsen landet. Zwei Punkte sind genau dann äquivalent, wenn sie den gleichen Standardvertreter besitzen.
Wir bezeichnen nun die
\definitionsverweis {Quotientenmenge}{}{,}
also die Menge der Äquivalenzklassen unter dieser Äquivalenzrelation, als
\definitionswortenp{Menge der ganzen Zahlen}{} und bezeichnen sie mit $\Z$. Wir sprechen vom \stichwort {Äquivalenzklassenmodell} {} oder \stichwort {Paarmodell} {} für die ganzen Zahlen. Diese Quotientenmenge ist die Menge der zur Diagonalen parallelen diskreten Geraden, bei der kanonischen Projektion wird jedes Paar
\mathl{(a,b)}{} auf die Gerade abgebildet, auf der es liegt. Jede ganze Zahl hat genau einen Standardvertreter der Form
\mavergleichskette
{\vergleichskette
{n
}
{ \defeq }{ (n,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{n \in \N_+}{,} der Form
\mavergleichskette
{\vergleichskette
{0
}
{ \defeq }{ (0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder der Form
\mavergleichskette
{\vergleichskette
{-n
}
{ \defeq }{ (0,n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{n \in \N_+}{.} Eine natürliche Zahl $n$ fassen wir in diesem Modell als die ganze Zahl
\mathl{(n,0)}{} auf, und negative Zahlen werden als spezielle Äquivalenzklassen eingeführt.
Wir wollen nun zwei ganze Zahlen, also zwei solche Äquivalenzklassen
\mathkor {} {[(a,b)]} {und} {[(c,d)]} {,}
miteinander \anfuehrung{addieren}{,} also eine Verknüpfung $+$ auf $\Z$ einführen. Ein Ansatz, der sich durch den Zugang über Äquivalenzklassen eröffnet, ist es, auf der Menge der Paare die Addition zu nehmen und zu versuchen, diese Addition auf die Äquivalenzklassen zu übertragen. Die komponentenweise Addition auf $\N^2$, also die Verknüpfung
\mavergleichskettedisp
{\vergleichskette
{(a,b) + (c,d)
}
{ \defeq} { (a+c,b+d)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ist recht einfach und insbesondere ist diese Verknüpfung kommutativ, assoziativ und
\mathl{(0,0)}{} ist das neutrale Element. Diese Addition hat in den oben angegebenen Beispielen eine sinnvolle Interpretation, wie wenn man die Ergebnisse von zwei Fußballspielen miteinander addiert
\zusatzklammer {Hin- und Rückspiel, allerdings muss man die Reihenfolge beibehalten} {} {}
oder das Haushaltsgeschehen von mehreren Monaten addiert.
\inputfaktbeweis
{Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Addition/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [ (a, b) ] + [ (c, d) ]
}
{ \defeq} {[ (a+c, b+d) ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Z$ eine Verknüpfung, die kommutativ und assoziativ ist und die
\mathl{[(0,0)]}{} als neutrales Element besitzt. Darüber hinaus besitzt jedes Element ein inverses Element, und zwar sind
\mathkor {} {[(a,b)]} {und} {[(b,a)]} {}
invers zueinander.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir müssen zuerst die Wohldefiniertheit überprüfen, da die Verknüpfung unter Bezug auf Repräsentanten erklärt wird und daher nicht von vornherein klar ist, dass unterschiedliche Repräsentanten zum gleichen Ergebnis
\zusatzklammer {zur gleichen Äquivalenzklasse} {} {}
führen. Zu
\mavergleichskette
{\vergleichskette
{ (a,b)
}
{ \sim }{ (a',b')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ (c,d)
}
{ \sim }{ (c',d')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss man überprüfen, dass
\mavergleichskettedisp
{\vergleichskette
{ (a+c,b+d)
}
{ \sim} { (a'+c', b'+d')
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ [ (a+c, b+d) ]
}
{ = }{[ (a'+c', b'+d') ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Die beiden Voraussetzungen bedeuten ausgeschrieben
\mavergleichskette
{\vergleichskette
{ a+b'
}
{ = }{ a'+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c+d'
}
{ = }{c'+d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist durch Addition der beiden Gleichungen
\mavergleichskettedisp
{\vergleichskette
{ a+b'+c+d'
}
{ =} { a'+b+c'+d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was die Äquivalenz bedeutet. Die kanonische Abbildung
\maabbeledisp {q} {\N \times \N} { \Z
} {(a,b)} { [(a,b)]
} {,}
verträgt sich nach Konstruktion mit der Addition auf der Produktmenge und der soeben etablierten Addition auf $\Z$, es ist also
\mavergleichskettedisp
{\vergleichskette
{q(x+y)
}
{ =} {q(x)+q (y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{x,y \in \N^2}{.} In einer solchen Situation übertragen sich wegen der Surjektivität der kanonischen Abbildung Rechengesetze von $\N^2$ direkt auf die Quotientenmenge. Für das Assoziativgesetz beispielsweise betrachten wir Elemente
\mathl{r,s,t \in \Z}{.} Es gibt
\mathl{x,y,z \in \N^2}{} mit
\mavergleichskette
{\vergleichskette
{q(x)
}
{ = }{r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{q(y)
}
{ = }{s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{q(z)
}
{ = }{t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskettealign
{\vergleichskettealign
{r+(s+t)
}
{ =} { q (x) + (q(y) +q(z))
}
{ =} { q(x) + q(y+z)
}
{ =} { q (x+ (y+z))
}
{ =} { q ( (x+y)+z)
}
}
{
\vergleichskettefortsetzungalign
{ =} { q (x+y) +q(z)
}
{ =} { (q(x) +q(y)) + q(z)
}
{ =} { (r+s) +t
}
{ } {}
}
{}{.}
Der Nachweis der Kommutativität und dass
\mathl{[(0,0)]}{} das
\definitionsverweis {neutrale Element}{}{}
der Verknüpfung ist, verläuft ähnlich einfach. Wegen
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] + [(b,a)]
}
{ =} { [(a+b,a+b)]
}
{ =} { [(0,0)]
}
{ =} { 0
}
{ } {
}
}
{}{}{}
ist in der Tat
\mathl{[(b,a)]}{} das inverse Element zu
\mathl{[(a,b)]}{.}
{Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Multiplikation/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} {[(ac+bd, ad+bc)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem
\definitionsverweis {Äquivalenzklassenmodell}{}{}
von} {} {}
$\Z$ eine
\definitionsverweis {Verknüpfung}{}{,}
die
\definitionsverweis {kommutativ}{}{}
und
\definitionsverweis {assoziativ}{}{}
ist und die
\mathl{[(1,0)]}{} als
\definitionsverweis {neutrales Element}{}{}
besitzt.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe *****. }
\inputfaktbeweis
{Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer Ring/Fakt}
{Satz}
{}
{
\faktsituation {Das Äquivalenzklassenmodell von $\Z$ ist mit der Addition
\mavergleichskettedisp
{\vergleichskette
{ [ (a, b) ] + [ (c, d) ]
}
{ \defeq} {[ (a+c, b+d) ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der Multiplikation
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} {[(ac+bd, ad+bc)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dem Nullelement
\mathl{[(0,0)]}{} und dem Einselement
\mathl{[(1,0)]}{}}
\faktfolgerung {ein
\definitionsverweis {kommutativer Ring}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Aufgrund von
Lemma 40.1
und
Lemma 40.2
müssen wir nur noch das Distributivgesetz überprüfen. Dieses ist wegen
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \, [(a,b)] { \left( [(c,d)] + [(e,f)] \right) }
}
{ =} { [(a,b)] [(c+e , d+f )]
}
{ =} { [ (ac+ae+bd+bf , ad+af+ bc+be ) ]
}
{ =} { [(ac+bd,ad+bc)] + [(ae +bf ,af+be)]
}
{ =} { [(a,b)] [(c,d)] + [(a,b)][(e,f)]
}
}
{}
{}{}
erfüllt.
{Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Anordnung/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
falls
\mavergleichskettedisp
{\vergleichskette
{a+d
}
{ \geq} { b+c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Z$ eine
\definitionsverweis {totale Ordnung}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe *****. }
\inputfaktbeweis
{Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer angeordneter Ring/Fakt}
{Satz}
{}
{
\faktsituation {Das Äquivalenzklassenmodell von $\Z$ ist mit der Addition
\mavergleichskettedisp
{\vergleichskette
{ [ (a, b) ] + [ (c, d) ]
}
{ \defeq} {[ (a+c, b+d) ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der Multiplikation
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} {[(ac+bd, ad+bc)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dem Nullelement
\mathl{[(0,0)]}{,} dem Einselement
\mathl{[(1,0)]}{} und der durch
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
falls
\mavergleichskettedisp
{\vergleichskette
{a+d
}
{ \geq} { b+c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
definierten Ordnung}
\faktfolgerung {ein
\definitionsverweis {angeordneter Ring}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 40.3
ist $\Z$ ein kommutativer Ring und nach
Lemma 40.4
ist $\geq$ eine totale Ordnung. Wir müssen also lediglich noch die Verträglichkeit der Ordnung mit der Addition und der Multiplikation überprüfen. Sei
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{a+d
}
{ \geq }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und
\mathl{[(e,f)]}{} beliebig. Dann ist auch
\mavergleichskettedisp
{\vergleichskette
{ a+d+e+f
}
{ \geq} {b+c+e+f
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] + [(e,f)]
}
{ =} { [(a+e,b+f)]
}
{ \geq} { [(c+e,d+f)]
}
{ =} { [(c,d)] + [(e,f)]
}
{ } {
}
}
{}{}{.}
Wenn
\mavergleichskette
{\vergleichskette
{[(a,b)]
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{[(c,d)]
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit
Aufgabe 10.20
ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ac+bd
}
{ \geq} {ad+bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was
\mavergleichskettedisp
{\vergleichskette
{[(a,b)] \cdot [(c,d)]
}
{ =} {[(ac+bd, ad+bc)]
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet.
Die natürlichen Zahlen $\N$ sind über die Zuordnung
\maabbeledisp {} {\N} { \Z
} {n} { [(n, 0)]
} {,}
in den ganzen Zahlen enthalten. Diese Zuordnung ist mit der Addition, der Multiplikation und der Ordnung verträglich, siehe
Aufgabe 40.5.
Statt $(n,0)$ schreibt man einfach $n$. Die ganzen Zahlen, die durch
\mathl{(0,n)}{} mit $n \in \N_+$ repräsentiert werden, heißen negative Zahlen. Statt $(0,n)$ schreibt man einfach $-n$.
In den Aufgaben wird gezeigt, dass das Paarmodell für $\Z$ mit dem im ersten Semester eingeführten Modell übereinstimmt.
\zwischenueberschrift{Die Konstruktion der rationalen Zahlen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Konstruktionen_007.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Konstruktionen 007.jpg } {} {Darapti} {Commons} {CC-by-sa 3.0} {}
Wir wollen ausgehend von der Menge der ganzen Zahlen $\Z$, die einen \definitionsverweis {kommutativen Ring}{}{} bildet, die Menge der \stichwort {rationalen Zahlen} {} konstruieren. Wir gehen dabei ähnlich wie bei der Konstruktion der ganzen Zahlen aus den natürlichen Zahlen vor, indem wir auf einer \anfuehrung{zu großen}{} Menge eine \definitionsverweis {Äquivalenzrelation}{}{} einführen, sodass die \definitionsverweis {Quotientenmenge}{}{} ein Modell für die rationalen Zahlen ist. Die Konstruktion und die Beweise sind nicht wesentlich verschieden von den in der 23. Vorlesung durchgeführten, als wir die Sprache der Äquivalenzrelationen noch nicht zur Verfügung hatten.
Wir starten mit der Produktmenge
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \Z \times \N_+
}
{ =} { { \left\{ (a,b) \mid a \in \Z \text{ und } b \in \N_+ \right\} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Zur Orientierung sei schon jetzt gesagt, dass das Paar
\mathl{(a,b)}{} später den Bruch
\mathl{a/b}{} repräsentieren soll.
Man kann sich vorstellen, dass in $(a,b)$ die erste Zahl eine Anzahl an Kuchen und die zweite Zahl eine Anzahl an Personen bedeutet, oder die Anzahl der Frauen und die Anzahl der Männer auf einer Party, oder irgendein Paar, das einen proportionalen Zusammenhang repräsentiert.
Auf $P$ wollen wir eine Äquivalenzrelation definieren, wobei zwei Paare als äquivalent gelten sollen, wenn sie \anfuehrung{den gleichen Bruch}{} repräsentieren
\zusatzklammer {den es noch nicht gibt} {} {.}
Wir definieren
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc \text{ ist}} { . }
Diese Relation wird also unter Bezug auf die Gleichheit in $\Z$ erklärt. Es handelt sich dabei um eine Äquivalenzrelation, wie man direkt nachrechnen kann, siehe
Aufgabe 40.1.
Insbesondere sind
\mathl{(a,b)}{} und
\mathl{(ae,be)}{} für
\mavergleichskette
{\vergleichskette
{e
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zueinander äquivalent.
Es ist hilfreich, sich diese Situation zu veranschaulichen, indem man die diskrete obere Halbebene\zusatzfussnote {Man könnte auch $\Z \times (\Z \setminus \{0\})$ nehmen} {.} {}
\mavergleichskette
{\vergleichskette
{ \Z \times \N_+
}
{ \subset }{ \Z \times \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet. Ein Paar
\mathl{(a,b)}{} ist dann ein Gitterpunkt, wobei wir uns die ganzen Zahlen $\Z$ als die Punkte
\mathdisp {(n,1),\, n \in \Z} { , }
vorstellen. Die zugehörige durchgezogene \anfuehrung{Zahlengerade}{}
\zusatzklammer {wo also die zweite Komponente konstant $1$ ist} {.} {}
bezeichnen wir mit $G$. Ein jeder Punkt
\mavergleichskette
{\vergleichskette
{ (a,b)
}
{ \in }{ \Z \times \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert eine eindeutige Gerade, die durch diesen Punkt und durch den Nullpunkt
\mathl{(0,0)}{} verläuft. In dieser geometrischen Interpretation sind zwei Punkte
\mathkor {} {(a,b)} {und} {(c,d)} {}
genau dann äquivalent, wenn sie die gleiche Gerade definieren, und dies ist genau dann der Fall, wenn ihre \anfuehrung{Steigungen}{} übereinstimmen. Zwei Punkte liegen ja genau dann auf der gleichen Geraden, wenn sie, wenn man durch Streckung ihre zweite Koordinate zur Übereinstimmung bringt, dann auch die erste Koordinate übereinstimmt. Wenn man den ersten Punkt mit $d$ streckt
\zusatzklammer {multipliziert} {} {}
und den zweiten Punkt mit $b$, so erhält man die beiden Punkte
\mathkor {} {(da,db)} {und} {(bc,bd)} {,}
und die Gleichheit vorne war die Definition für die Relation. Die Äquivalenzklassen sind die \anfuehrung{diskreten Geraden}{} durch den Nullpunkt und einen weiteren Gitterpunkt.
Auch die Identifizierungsabbildung zu dieser Äquivalenzrelation kann man sich gut vorstellen. Der Schnittpunkt der durch einen Punkt
\mathl{(a,b)}{} und dem Nullpunkt definierten Geraden $H$ mit der Zahlengeraden $G$ ist ein Punkt, der dem Bruch $a/b$ entspricht
\zusatzklammer {die Steigung der Geraden $H$ ist aber \mathlk{{ \frac{ a }{ b } }}{}} {} {.}
Die Quotientenmenge unter dieser Äquivalenzrelation nennen wir $\Q$ und sprechen vom \stichwort {Äquivalenzklassenmodell} {} für $\Q$. Für die Elemente in $\Q$ schreiben wir vorläufig noch
\mathl{[(a,b)]}{.} Wir wollen nun auf $\Q$ eine Addition und eine Multiplikation definieren.
\inputfaktbeweis
{Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Addition/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] + [(c,d)]
}
{ \defeq} { [ ( ad + bc, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Q$ eine Verknüpfung, die kommutativ und assoziativ ist und die
\mathl{[(0,1)]}{} als neutrales Element besitzt. Darüber hinaus besitzt jedes Element ein inverses Element, und zwar sind
\mathkor {} {[(a,b)]} {und} {[(-a,b)]} {}
invers zueinander.}
\faktzusatz {}
\faktzusatz {}
}
{
Zum Nachweis der Wohldefiniertheit seien
\mavergleichskette
{\vergleichskette
{ [(a,b)]
}
{ = }{ [(a',b')]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ [(c,d)]
}
{ = }{ [(c',d')]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ab'
}
{ = }{a'b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{cd'
}
{ = }{c'd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ab'dd' + bb'cd'
}
{ =} { a'bdd' + bb'c'd
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{ [(ad+bc,bd)]
}
{ =} { [(a'd'+b'c',b'd')]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Kommutativität und die Eigenschaft, dass
\mathl{[(0,1)]}{} das neutrale Element der Verknüpfung ist, folgen unmittelbar aus der Definition. Zum Beweis der Assoziativität seien
\mathl{[(a,b)], [(c,d)], [(e,f)]}{} gegeben. Es ist dann
\mavergleichskettealign
{\vergleichskettealign
{\ [(a,b)] + { \left( [(c,d)] + [(e,f)] \right) }
}
{ =} {[(a,b)] + [(cf+ de,df)]
}
{ =} { [(bcf+ bde+adf ,b df)]
}
{ =} { [(ad+bc, bd)] + [(e,f)]
}
{ =} { { \left( [(a,b)] + [(c,d)] \right) } + [(e,f)]
}
}
{}
{}{.}
Ferner ist
\mavergleichskettedisp
{\vergleichskette
{[(a,b)] + [(-a,b)]
}
{ =} { [ab -ab, b^2]
}
{ =} { [(0,b^2)]
}
{ =} { [ (0, 1)]
}
{ =} { 0
}
}
{}{}{.}
{Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Multiplikation/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} { [ ( ac, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Q$ eine Verknüpfung, die kommutativ und assoziativ ist und die
\mathl{[(1,1)]}{} als neutrales Element besitzt. Darüber hinaus besitzt jedes Element $\neq 0$ ein inverses Element, und zwar sind bei
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Klassen
\mathkor {} {[(a,b)]} {und} {[(b,a)]} {}
und bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Klassen
\mathkor {} {[(a,b)]} {und} {[(-b,-a)]} {}
invers zueinander.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 40.8. }
\inputfaktbeweis
{Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Körper/Fakt}
{Satz}
{}
{
\faktsituation {Das Äquivalenzklassenmodell von $\Q$ ist mit der Addition
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] + [(c,d)]
}
{ \defeq} { [ ( ad + bc, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der Multiplikation
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} { [ ( ac, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dem Nullelement
\mathl{[(0,1)]}{} und dem Einselement
\mathl{[(1,1)]}{}}
\faktfolgerung {ein
\definitionsverweis {Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus
Lemma 40.6
und aus
Lemma 40.7,
es ist somit lediglich noch das Distributivgesetz zu begründen. Dies ergibt sich aus
\mavergleichskettealign
{\vergleichskettealign
{\, [(a,b)] { \left( [(c,d)] + [(e,f)] \right) }
}
{ =} { [(a,b)] [(cf+de , df )]
}
{ =} { [ (acf +ade , bdf ) ]
}
{ =} { [(a cf, bdf)] + [(ade ,bdf)]
}
{ =} { [(a c, bd)] + [(ae ,bf)]
}
}
{
\vergleichskettefortsetzungalign
{ =} { [(a,b)] [(c,d)] + [(a,b)][(e,f)]
}
{ } {}
{ } {}
{ } {}
}
{}{.}
{Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Anordnung/Fakt}
{Lemma}
{}
{
\faktsituation {Durch die Festlegung
\mavergleichskette
{\vergleichskette
{ [(a,b)]
}
{ \geq }{[(c,d)]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls
\mavergleichskette
{\vergleichskette
{a d
}
{ \geq }{ b c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}}
\faktfolgerung {erhält man auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Q$ eine
\definitionsverweis {totale Ordnung}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 40.11. }
\inputfaktbeweis
{Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Angeordneter Körper/Fakt}
{Satz}
{}
{
\faktsituation {Das Äquivalenzklassenmodell von $\Q$ ist mit der Addition
\mavergleichskettedisp
{\vergleichskette
{ [ (a, b) ] + [ (c, d) ]
}
{ \defeq} {[ (ad+bc, bd) ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der Multiplikation
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} {[(ac, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dem Nullelement
\mathl{[(0,1)]}{,} dem Einselement
\mathl{[(1,1)]}{} und der durch
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
falls
\mavergleichskettedisp
{\vergleichskette
{ad
}
{ \geq} { bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
definierten Ordnung}
\faktfolgerung {ein
\definitionsverweis {angeordneter Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus
Satz 40.8
und
Lemma 40.9,
es bleibt nur noch die Verträglichkeit der Ordnung mit den Verknüpfungen zu zeigen. Sei
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ad
}
{ \geq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und
\mathl{[(e,f)]}{} beliebig. Wegen
\mavergleichskette
{\vergleichskette
{f
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dann auch
\mavergleichskette
{\vergleichskette
{ adf
}
{ \geq }{ bcf
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskettealign
{\vergleichskettealign
{\, [(a,b)] + [(e,f)]
}
{ =} { [(af+be ,b f)]
}
{ =} { [(adf+bde ,b df)]
}
{ \geq} { [(bcf+ bde,b df)]
}
{ =} { [(cf+ de, df)]
}
}
{
\vergleichskettefortsetzungalign
{ =} { [(c,d)] + [(e,f)]
}
{ } {
}
{ } {}
{ } {}
}
{}{.}
Wenn
\mavergleichskette
{\vergleichskette
{[(a,b)]
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{[(c,d)]
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so sind $a,c$ positiv und dann ist auch $ac$ positiv, also
\mavergleichskettedisp
{\vergleichskette
{[(a,b)] [(c,d)]
}
{ =} {[ac,bd]
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Die ganzen Zahlen $\Z$ sind über die Zuordnung
\maabbeledisp {} {\Z} { \Q
} {n} { [(n,1)]
} {,}
in den rationalen Zahlen enthalten. Diese Zuordnung ist mit der Addition, der Multiplikation und der Ordnung verträglich, siehe
Aufgabe 40.12.
Für die Äquivalenzklasse
\mathl{[(a,b)]}{} schreibt man abkürzend
\mathl{{ \frac{ a }{ b } }}{.}
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II | >> |
|---|