Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 23/latex
\setcounter{section}{23}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller6.jpg} }
\end{center}
\bildtext {Doch dann hat sie das Beste daraus gemacht. Vermutlich hängt ihre Zugänglichkeit und Menschenbezogenheit auch mit ihren frühen Erfahrungen zusammen.} }
\bildlizenz { Waeller6.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Die rationalen Zahlen}
Eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{b x
}
{ =} {a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit fixierten ganzen Zahlen $a,b$ besitzt innerhalb der ganzen Zahlen im Allgemeinen keine Lösung für $x$. Bei
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es auch keine Lösung innerhalb einer sinnvollen Zahlenbereichserweiterung. Bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es hingegen innerhalb der rationalen Zahlen eine eindeutige Lösung, nämlich
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir führen nun die rationalen Zahlen, ausgehend von $\Z$, ein und zwar zunächst als Menge von Brüchen mit einer bestimmten Identifikation. Anschließend definieren wir eine Addition und eine Multiplikation auf dieser Menge und weisen, ebenfalls unter Bezug auf die ganzen Zahlen, die Gültigkeit der wichtigsten Rechengesetze nach.
Als eine Motivation für die folgende Gleichsetzung von unterschiedlichen Brüchen betrachten wir nochmal die Proportionalität. Zwei ganze Zahlen
\mathkor {} {r \neq 0} {und} {s} {}
definieren einen proportionalen Zusammenhang $\varphi$, der an der Stelle $r$ den Wert $s$ besitzt. Er besitzt dann an der Stelle $n r$ den Wert $n s$. Dieser Zusammenhang besteht unabhängig davon, ob er durch eine ganzzahlige Konstante $c$ in der Form
\mavergleichskette
{\vergleichskette
{\varphi (x)
}
{ = }{cx
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beschrieben werden kann. Ein proportionaler Zusammenhang ist durch ein einziges von
\mathl{(0,0)}{} verschiedenes Zahlenpaar eindeutig festgelegt, er kann durch die Gerade, die durch
\mathkor {} {(0,0)} {und} {(r,s)} {}
verläuft, graphisch dargestellt werden, unabhängig davon, ob der proportionale Zusammenhang auf ganz $\Z$ definiert ist oder nicht. Dabei bestimmen zwei ganzzahlige Paare
\mathkor {} {(r,s)} {und} {(r',s')} {}
genau dann den gleichen Zusammenhang
\zusatzklammer {die Steigungen der zugehörigen linearen Graphen stimmen überein} {} {,}
wenn sie an der Stelle
\mathl{r r'}{,} wo man die Werte unmittelbar vergleichen kann, den gleichen Wert besitzen. Die Werte sind an dieser Stelle
\mathkor {} {s r'} {bzw.} {s'r} {,}
sodass genau im Fall
\mavergleichskettedisp
{\vergleichskette
{r' s
}
{ =} {r s'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die beiden proportionalen Zusammenhänge als gleich zu betrachten sind. Dies ist eine Grundlage für die in der folgenden Definition auftretenden \stichwort {Überkreuzregel} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {FractionStrips.PNG} }
\end{center}
\bildtext {} }
\bildlizenz { FractionStrips.PNG } {} {Zapotz} {Commons} {PD} {}
\inputdefinition
{}
{
Unter einer
\definitionswort {rationalen Zahl}{}
versteht man einen Ausdruck der Form
\mathdisp {{ \frac{ a }{ b } }} { , }
wobei
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind, und wobei zwei Ausdrücke
\mathkor {} {{ \frac{ a }{ b } }} {und} {{ \frac{ c }{ d } }} {}
genau dann als gleich betrachtet werden, wenn
\mavergleichskette
{\vergleichskette
{ ad
}
{ = }{ bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {in $\Z$} {} {}
gilt. Die Menge aller rationalen Zahlen wird mit $\Q$ bezeichnet.
}
Einen Ausdruck
\mathl{{ \frac{ a }{ b } }}{} nennt man Bruch, wobei $a$ der \stichwort {Zähler} {} und $b$ der \stichwort {Nenner} {} des Bruches heißt. Eine rationale Zahl wird durch verschiedene Brüche beschrieben und kann mit unterschiedlichen Zählern und Nennern dargestellt werden, beispielsweise ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 5 }{ 10 } }
}
{ =} { { \frac{ 1 }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Man sagt auch, dass diese beiden Brüche gleichwertig sind. Für die rationale Zahl ${ \frac{ a }{ 1 } }$ schreibt man einfach $a$. In diesem Sinne sind ganze Zahlen insbesondere auch rationale Zahlen. Insbesondere gibt es die Null
\mavergleichskette
{\vergleichskette
{0
}
{ = }{ { \frac{ 0 }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Eins
\mavergleichskette
{\vergleichskette
{1
}
{ = }{ { \frac{ 1 }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gelten die folgenden Identitäten
\zusatzklammer {dabei seien
\mavergleichskettek
{\vergleichskettek
{ c,d
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ansonsten seien
\mavergleichskette
{\vergleichskette
{ a,b,c,d
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beliebig} {} {.}
\aufzaehlungvier{
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ -1 } }
}
{ =} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 0 }{ c } }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ c }{ c } }
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ c } }
}
{ =} { { \frac{ ad }{ cd } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Die Begründung für de Richtigkeit dieser Regeln liegt in der Überkreuzregel. Die letzte Regel heißt \stichwort {Erweiterungsregel} {}
\zusatzklammer {wenn man sie von links nach rechts liest} {} {}
bzw. \stichwort {Kürzungsregel} {}
\zusatzklammer {wenn man sie von rechts nach links liest} {} {.}
Der Wert eines Bruches
\zusatzklammer {also die rationale Zahl, die durch den Bruch festgelegt ist} {} {}
ändert sich also nicht, wenn man sowohl den Zähler als auch den Nenner mit der gleichen, von $0$ verschiedenen ganzen Zahl multipliziert. Wegen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ -a }{ -b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man jede rationale Zahl mit einem positiven Nenner schreiben. Zwei Brüche mit einem gemeinsamen Nenner, also von der Form
\mathkor {} {{ \frac{ a }{ r } }} {und} {{ \frac{ c }{ r } }} {,}
heißen \stichwort {gleichnamig} {.} Zwei beliebige Brüche
\mathkor {} {{ \frac{ a }{ b } }} {und} {{ \frac{ c }{ d } }} {}
kann man gleichnamig machen, indem man sie durch Erweiterung auf einen \stichwort {Hauptnenner} {} bringt. Eine Möglichkeit ist, die beiden Nenner miteinander zu multiplizieren und zu den gleichwertigen Brüchen
\mathkor {} {{ \frac{ ad }{ bd } }} {und} {{ \frac{ cb }{ bd } }} {}
überzugehen. Statt mit $bd$ kann man mit jedem gemeinsamen Vielfachen der beiden Nenner arbeiten.
\inputdefinition
{}
{
Ein Bruch
\mathl{a/b}{} heißt
\definitionswort {gekürzt}{,}
wenn
\mathkor {} {a} {und} {b} {}
\definitionsverweis {teilerfremd}{}{}
sind.
}
Zu jeder rationalen Zahl gibt es eine gekürzte Darstellung. Wenn man den Nenner positiv wählt, ist diese Darstellung sogar eindeutig. Man erhält sie, indem man in einer beliebigen Darstellung durch den größten gemeinsamen Teiler des Zählers und des Nenners dividiert und das Vorzeichen anpasst.
\inputdefinition
{}
{
Eine \definitionsverweis {rationale Zahl}{}{} der Form ${ \frac{ 1 }{ n } }$, $n \in \N_+$, heißt \definitionswort {Stammbruch}{.}
}
\zwischenueberschrift{Rechenoperationen auf den rationalen Zahlen}
Eine über $\Z$ formulierte Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{b x
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $a,b \in \Z$ soll bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige Lösung besitzen, nämlich ${ \frac{ a }{ b } }$. Um dies formulieren zu können, müssen wir natürlich erstmal eine Multiplikation und eine Addition auf den rationalen Zahlen definieren. Bei gleichnamigen Nenner addiert man einfach die Zähler, auf diesen Fall kann die allgemeine Definition zurückgeführt werden. Mit diesem Übergang, endlich viele rationale Zahlen mit einem gemeinsamen Nenner zu schreiben, kann man häufig Rechnungen und auch theoretische Überlegungen vereinfachen.
\inputdefinition
{}
{
Die
\definitionswort {Addition}{}
der
\definitionsverweis {rationalen Zahlen}{}{}
\mathkor {} {x = { \frac{ a }{ b } }} {und} {y = { \frac{ c }{ d } }} {}
ist durch
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } + { \frac{ c }{ d } }
}
{ \defeq} { { \frac{ ad+bc }{ bd } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}
Man addiert also zwei rationale Zahlen, indem man die Nenner gleichnamig macht. Diese Operation ist wohldefiniert! Was soll das bedeuten? Es gibt hier das folgende Problem, das gerne übersehen wird. Die beiden rationalen Zahlen
\mathkor {} {x} {und} {y} {,}
die miteinander addiert werden sollen, besitzen unterschiedliche Darstellungen als Brüche, beispielsweise ist
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { { \frac{ a }{ b } }
}
{ =} { { \frac{ a' }{ b' } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { { \frac{ c }{ d } }
}
{ =} { { \frac{ c' }{ d' } }
}
{ } {
}
{ } {
}
}
{}{}{.}
In der Definition der Addition kann man mit einer beliebigen Bruchdarstellung arbeiten. Dann ergibt sich einerseits, wenn man jeweils die erste Darstellung nimmt, die Summe
\mathdisp {{ \frac{ ad+bc }{ bd } }} { }
und andererseits, wenn man jeweils die zweite Darstellung nimmt, die Summe
\mathdisp {{ \frac{ a'd'+b'c' }{ b'd' } }} { . }
Es ist nicht unmittelbar klar, dass hier die gleiche rationale Zahl steht. Wegen
\mavergleichskette
{\vergleichskette
{ab'
}
{ = }{a'b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{cd'
}
{ = }{c'd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist aber nach Erweitern mit $b'd'$ und Kürzen durch $bd$
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ ad+bc }{ bd } }
}
{ =} { { \frac{ adb'd'+bcb'd' }{ bdb'd' } }
}
{ =} { { \frac{ a'dbd'+bc'b'd }{ bdb'd' } }
}
{ =} { { \frac{ a'd'+b'c' }{ b'd' } }
}
{ } {
}
}
{}{}{,}
sodass das Ergebnis als rationale Zahl wohldefiniert ist. Nach der Definition nimmt man für den Nenner das Produkt der beiden Nenner. Man kann aber genauso gut ein beliebiges gemeinsames Vielfaches der beiden Nenner und die entsprechende Erweiterung nehmen. Bei gleichem Nenner ist insbesondere
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ r } } + { \frac{ b }{ r } }
}
{ =} { { \frac{ a+b }{ r } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputdefinition
{}
{
Die
\definitionswort {Multiplikation}{}
von
\definitionsverweis {rationalen Zahlen}{}{}
\mathkor {} {x = { \frac{ a }{ b } }} {und} {y = { \frac{ c }{ d } }} {}
ist durch
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \cdot { \frac{ c }{ d } }
}
{ \defeq} { { \frac{ a \cdot c }{ b \cdot d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}
Auch hier muss man die Wohldefiniertheit der Verknüpfung nachweisen, siehe
Aufgabe 23.21.
Mit der Multiplikation kann man einen Bruch auch als
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { a \cdot { \frac{ 1 }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Bei positivem $a$ ist dies die $a$-fache Summe des Stammbruches ${ \frac{ 1 }{ b } }$ mit sich selbst.
\inputbemerkung
{}
{
Die Addition von rationalen Zahlen kann man über die Proportionalitäten begründen. Es sei ein proportionaler Zusammenhang $\varphi$ durch
\mavergleichskettedisp
{\vergleichskette
{\varphi( r)
}
{ =} {s
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und ein weiterer
\zusatzklammer {gleichskaliger} {} {}
proportionaler Zusammenhang durch
\mavergleichskettedisp
{\vergleichskette
{\psi(r')
}
{ =} {s'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Beispielsweise seien
\zusatzklammer {vergleiche
Bemerkung 22.12} {} {}
die Übernachtungskosten dadurch beschrieben, dass $7$ Tage
\zusatzklammer {und Nächte} {} {}
\mathl{320}{} Euro kosten und die Verpflegungskosten dadurch beschrieben, dass $10$ Tage $258$ Euro kosten. Wie kann man die beiden Zusammenhänge sinnvoll addieren, also wie viel kostet Übernachtung und Verpflegung zusammen in einem bestimmten Zeitabschnitt? Die beiden Einzelangaben kann man nur dann sinnvoll miteinander verarbeiten, wenn sie sich auf die gleiche Tagesanzahl beziehen. Dies kann man erreichen, indem man zum Produkt der beiden Tagesanzahlen übergeht. Die Übernachtungskosten sind für $70$ Tage gleich
\mavergleichskette
{\vergleichskette
{320 \cdot 10
}
{ = }{3200
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Verpflegungskosten sind für $70$ Tage gleich
\mavergleichskette
{\vergleichskette
{258 \cdot 7
}
{ = }{1806
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die Gesamtkosten für $70$ Tage sind also
\mathl{5006}{} Euro.
Für eine entsprechende Interpretation der Multiplikation von rationalen Zahlen muss man die Hintereinanderschaltung von proportionalen Zusammen\-hängen wie in Bemerkung 22.13 betrachten.
}
Die Addition und die Multiplikation von rationalen Zahlen erfüllen weitere wichtige algebraische Eigenschaften. Letztlich werden diese auf die entsprechenden Gesetzmäßigkeiten von $\Z$ zurückgeführt.
\inputfaktbeweis
{Rationale Zahlen/Brüche/Direkt/Körpereigenschaften/Fakt}
{Satz}
{}
{
\faktsituation {Die
\definitionsverweis {rationalen Zahlen}{}{}
$\Q$ erfüllen die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Die Addition ist eine kommutative assoziative Verknüpfung mit $0$ als neutralem Element. Zu jedem
\mathl{x \in \Q}{} gibt es ein
\mathl{y \in \Q}{} mit
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die Multiplikation ist eine kommutative assoziative Verknüpfung mit $1$ als neutralem Element. Zu jedem
\mathkor {} {z \in \Q} {,} {z \neq 0} {,}
gibt es ein
\mathl{w \in \Q}{} mit
\mavergleichskettedisp
{\vergleichskette
{ z \cdot w
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es gilt das Distributivgesetz.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Die Kommutativität der Addition folgt unmittelbar aus der Definition und der Kommutativität der ganzzahligen Addition und der ganzzahligen Multiplikation. Zum Nachweis der Assoziativität können wir annehmen, dass alle drei beteiligten rationalen Zahlen den gleichen Nenner haben. Es sei also
\mathdisp {x = { \frac{ a }{ r } } ,\, y = { \frac{ b }{ r } } , \, z = { \frac{ c }{ r } }} { . }
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( x+y \right) } +z
}
{ =} { { \left( { \frac{ a }{ r } } + { \frac{ b }{ r } } \right) } + { \frac{ c }{ r } }
}
{ =} { { \frac{ a+b }{ r } } + { \frac{ c }{ r } }
}
{ =} { { \frac{ a+b+c }{ r } }
}
{ =} { x + { \left( y+z \right) }
}
}
{}{}{.}
Ferner ist
\mavergleichskettedisp
{\vergleichskette
{0 + { \frac{ a }{ b } }
}
{ =} { { \frac{ 0 }{ b } } + { \frac{ a }{ b } }
}
{ =} { { \frac{ 0+a }{ b } }
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
}
{}{}{.}
Zu
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ { \frac{ a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet man
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{ { \frac{ -a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{x+y
}
{ =} { { \frac{ a }{ b } } + { \frac{ -a }{ b } }
}
{ =} { { \frac{ a-a }{ b } }
}
{ =} { { \frac{ 0 }{ b } }
}
{ =} { 0
}
}
{}{}{.}
}{Die Kommutativität und die Assoziativität der Multiplikation ergeben sich unmittelbar aus der Definition und den entsprechenden Eigenschaften der ganzzahligen Verknüpfungen. Die
\mavergleichskette
{\vergleichskette
{1
}
{ = }{ { \frac{ 1 }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hat die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{1 \cdot { \frac{ a }{ b } }
}
{ =} { { \frac{ 1 }{ 1 } } \cdot { \frac{ a }{ b } }
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
}
{}{}{,}
es ist also das neutrale Element der Multiplikation. Zu einer rationalen Zahl
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ { \frac{ a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {also sowohl der Zähler als auch der Nenner sind von $0$ verschieden} {} {}
und daher ist auch der umgedrehte Bruch
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { { \frac{ b }{ a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine rationale Zahl, und es gilt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \cdot { \frac{ b }{ a } }
}
{ =} { { \frac{ ab }{ ab } }
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Zum Nachweis des Distributivgesetzes sei
\mathdisp {x = { \frac{ a }{ r } } ,\, y = { \frac{ b }{ r } } , \, z = { \frac{ c }{ r } }} { . }
Damit ist unter Verwendung des Distributivgesetzes der ganzen Zahlen
\mavergleichskettealign
{\vergleichskettealign
{ x \cdot (y+z)
}
{ =} { { \frac{ a }{ r } } \cdot { \left( { \frac{ b }{ r } } + { \frac{ c }{ r } } \right) }
}
{ =} { { \frac{ a }{ r } } \cdot { \frac{ b+c }{ r } }
}
{ =} { { \frac{ a(b+c) }{ r^2 } }
}
{ =} { { \frac{ ab+ac }{ r^2 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ ab }{ r^2 } } + { \frac{ ac }{ r^2 } }
}
{ =} { { \frac{ a }{ r } } \cdot { \frac{ b }{ r } } + { \frac{ a }{ r } } \cdot { \frac{ c }{ r } }
}
{ =} { x \cdot y + x \cdot z
}
{ } {}
}
{}{.}
}
Man nennt
\mathl{{ \frac{ -a }{ b } }}{} die \stichwort {negative rationale Zahl} {} zu ${ \frac{ a }{ b } }$ und man nennt bei
\mavergleichskette
{\vergleichskette
{a,b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zahl
\mathl{{ \frac{ b }{ a } }}{} die \stichwort {inverse rationale Zahl} {}
\zusatzklammer {oder den \stichwort {Kehrwert} {}} {} {}
zu ${ \frac{ a }{ b } }$.
\zwischenueberschrift{Körper}
Wir erfassen die algebraischen Eigenschaften, die für die rationalen Zahlen gelten, mit einem eigenen Begriff.
\inputdefinition
{}
{
Ein
\definitionsverweis {kommutativer Ring}{}{}
$R$ heißt \definitionswort {Körper}{,} wenn
\mavergleichskette
{\vergleichskette
{R
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und wenn jedes von $0$ verschiedene Element ein multiplikatives Inverses besitzt.
}
Ein Körper ist also insbesondere ein kommutativer Ring. Jede Eigenschaft, die in einem kommutativen Ring gilt, gilt auch in einem Körper \zusatzklammer {aber nicht umgekehrt} {} {.}
Die beiden wichtigsten Körper sind für uns der Körper der rationalen Zahlen und der Körper der reellen Zahlen, der Körper mit zwei Elementen wurde in
Beispiel 11.4
besprochen. Zu einem Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bezeichnet man, wie in jedem kommutativen Ring, dasjenige Element, das mit $x$ addiert die $0$ ergibt, als das Negative von $x$, geschrieben $-x$. Zu einem Element
\mathbed {x \in K} {}
{x \neq 0} {}
{} {} {} {,}
bezeichnet man dasjenige Element, das mit $x$ multipliziert die $1$ ergibt, als das Inverse von $x$
\zusatzklammer {oder den \stichwort {Kehrwert} {} von $x$ oder die zu $x$ \stichwort {reziproke Zahl} {}} {} {,}
geschrieben $x^{-1}$. Auch dieses ist eindeutig bestimmt.
\inputbemerkung
{}
{
In einem
\definitionsverweis {Körper}{}{}
$K$ wird für beliebige Elemente
\mathbed {x,y \in K} {mit}
{y \neq 0} {}
{} {} {} {,}
die \stichwort {Bruchschreibweise} {}
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ \defeq} { x \cdot y^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
verwendet. Es handelt sich also um eine Abkürzung für das Produkt von $x$ mit dem inversen Element von $y$. Die Zahl
\mathl{{ \frac{ x }{ y } }}{} ist das eindeutig bestimmte Element, das mit $y$ multipliziert das Element $x$ ergibt. Diese Schreibweise passt mit der Bruchschreibweise für rationale Zahlen zusammen, da ja
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \cdot b
}
{ =} { { \frac{ a }{ b } } \cdot { \frac{ b }{ 1 } }
}
{ =} { { \frac{ a b }{ b } }
}
{ =} { a
}
{ } {
}
}
{}{}{}
ist.
Die Berechnung von
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ =} { x:y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man \stichwort {Division} {,} wobei $x$ der \stichwort {Dividend} {} und $y$ der \stichwort {Divisor} {} der Division heißt, das Ergebnis heißt \stichwort {Quotient} {.}
}
\inputbemerkung
{}
{
In einem
\definitionsverweis {Körper}{}{}
$K$ ist wie in jedem kommutativen Ring die additive Struktur
\mathl{(K,0,+)}{} eine
\definitionsverweis {kommutative Gruppe}{}{.}
Insbesondere besitzt in jedem Körper eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{a+x
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige Lösung, nämlich
\mavergleichskettedisp
{\vergleichskette
{b-a
}
{ =} {b+(-a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wie sich direkt aus
Lemma 19.8
ergibt. Darüber hinaus ist zu jedem Körper $K$ die multiplikative Struktur, wenn man die $0$ herausnimmt, also
\mathl{(K \setminus \{0\}, \cdot ,1)}{} eine kommutative Gruppe. Dies bedeutet wiederum, dass eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{c \cdot x
}
{ =} {d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{c,d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige Lösung in $K$ besitzt, nämlich
\mavergleichskettedisp
{\vergleichskette
{ d c^{-1}
}
{ =} { { \frac{ d }{ c } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Die folgende Eigenschaft heißt die \stichwort {Nichtnullteilereigenschaft} {} eines Körpers. Sie gilt auch für $\Z$, im Allgemeinen aber nicht für jeden kommutativen Ring, siehe Aufgabe 19.5.
{Körper/Integritätsbereich/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{.}}
\faktvoraussetzung {Aus
\mavergleichskette
{\vergleichskette
{a \cdot b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {folgt
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 23.39. }
In einem Körper $K$ kann man die Potenzschreibweise erweitern. Zu
\mathbed {x \in K} {}
{x \neq 0} {}
{} {} {} {,}
und einer natürlichen Zahl
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
versteht man, wie in jedem kommutativen Ring, unter
\mathl{x^n}{} das $n$-fache Produkt von $x$ mit sich selbst
\zusatzklammer {$n$ Faktoren} {} {.}
Für negatives
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z_-
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man
\mavergleichskette
{\vergleichskette
{n
}
{ = }{-k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und setzt
\mavergleichskettedisp
{\vergleichskette
{ x^n
}
{ \defeq} { { \left( x^{-1} \right) }^{k}
}
{ =} { { \left( x^{-1} \right) }^{-n}
}
{ =} { { \left( x^{-n} \right) }^{-1}
}
{ } {
}
}
{}{}{.}
Für diese Potenzen gelten die folgenden \stichwort {Potenzgesetze} {,} die die Potenzgesetze für positive Exponenten
\zusatzklammer {siehe
Lemma 11.8} {} {,}
die in jedem kommutativen Halbring gelten, wesentlich erweitern.
\inputfaktbeweis
{Körper/Potenzgesetze/Einheitengruppe/Direkt/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und seien
\mavergleichskette
{\vergleichskette
{a,b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Elemente aus $K$.}
\faktuebergang {Dann gelten die folgenden Potenzgesetze für
\mavergleichskette
{\vergleichskette
{m,n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {\aufzaehlungfuenf{Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( a^{-1} \right) }^{-1}
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ a^{-n}
}
{ = }{ { \left( a^{-1} \right) }^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das inverse Element zu $a^n$.
}{
\mavergleichskettedisp
{\vergleichskette
{a^{m+n}
}
{ =} { a^m \cdot a^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{(a^{m})^n
}
{ =} { a^{m n }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{(a\cdot b)^n
}
{ =} { a^n \cdot b^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
(1) folgt aus
Aufgabe 19.13,
da
\mathl{K \setminus \{0\}}{} eine
\definitionsverweis {Gruppe}{}{}
ist. (2). Bei
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die linke Gleichheit eine Definition und die Behauptung folgt aus
\mavergleichskettedisp
{\vergleichskette
{ { \left( a^{-1} \right) }^n \cdot a^n
}
{ =} { { \left( a^{-1} a \right) }^n
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{.}
Daraus folgt auch die Aussage für negatives $n$. Für (3), (4), (5) siehe
Aufgabe 23.42.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Half-integer house.jpg} }
\end{center}
\bildtext {Auch bei der Nummerierung von Häusern ergeben sich mit rationalen Zahlen neue Möglichkeiten.} }
\bildlizenz { Half-integer house.jpg } {Stuart Chalmers} {} {Commons} {CC-by-sa 2.0} {}