Kurs:Analysis (Osnabrück 2013-2015)/Teil I/Vorlesung 3/latex
\setcounter{section}{3}
\zwischenueberschrift{Körper}
Wir werden nun die Eigenschaften der reellen Zahlen besprechen. Grundlegende Eigenschaften von mathematischen Strukturen werden als \stichwort {Axiome} {} bezeichnet. In der Mathematik werden sämtliche Eigenschaften aus den Axiomen logisch abgeleitet. Die Axiome für die reellen Zahlen gliedern sich in algebraische Axiome, Anordnungsaxiome und das Vollständigkeitsaxiom. Die algebraischen Axiome werden im Begriff des Körpers zusammengefasst. Unter algebraischen Eigenschaften versteht man solche Eigenschaften, die sich auf die Rechenoperationen, also die Addition, die Subtraktion, die Multiplikation und die Division, beziehen. Diese Operationen ordnen zwei reellen Zahlen eine weitere reelle Zahl zu, es handelt sich also um Verknüpfungen.
\inputdefinition
{}
{
Eine Menge $K$ heißt ein \definitionswort {Körper}{,} wenn es zwei
\definitionsverweis {Verknüpfungen}{}{}
\zusatzklammer {genannt Addition und Multiplikation} {} {}
\mathdisp {+: K \times K \longrightarrow K \text{ und } \cdot: K \times K \longrightarrow K} { }
und zwei verschiedene Elemente
\mavergleichskette
{\vergleichskette
{0,1
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, die die folgenden Eigenschaften erfüllen.
\aufzaehlungdrei{Axiome der Addition
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a + b) + c
}
{ = }{ a + (b + c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$0$ ist das neutrale Element der Addition, d.h. für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{a+0
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Negativen: Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Axiome der Multiplikation
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a \cdot b) \cdot c
}
{ = }{ a \cdot (b \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ a \cdot b
}
{ = }{b \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$1$ ist das neutrale Element der Multiplikation, d.h. für alle
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ a \cdot 1
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Inversen: Zu jedem
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a \cdot c
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Distributivgesetz:
Für alle
\mavergleichskette
{\vergleichskette
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{a \cdot (b+c)
}
{ = }{ (a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Dass all diese Axiome für die reellen Zahlen
\zusatzklammer {und die rationalen Zahlen} {} {}
mit den natürlichen Verknüpfungen gelten, ist aus der Schule bekannt. Unter Verwendung des Gruppenbegriffs kann man auch sagen, dass ein Körper eine Menge mit zwei Verknüpfungen
\mathkor {} {+} {und} {\cdot} {}
und zwei fixierten Elementen
\mathl{0 \neq 1}{} ist, derart, dass
\mathl{(K,+,0)}{} und
\mathl{K \setminus \{0\}, \cdot, 1}{} jeweils kommutative Gruppen sind und dass das Distributivgesetz gilt. Daher gelten für die Addition und die Multiplikation häufig strukturell ähnliche Eigenschaften. Da wir in dieser Vorlesung die Gruppentheorie nicht systematisch entwickeln werden, ist das nur eine Nebenbemerkung.
In einem Körper gilt die \stichwort {Klammerkonvention} {,} dass die Multiplikation stärker bindet als die Addition. Man kann daher
\mathl{a \cdot b + c \cdot d}{} statt
\mathl{(a \cdot b) +( c \cdot d)}{} schreiben. Zur weiteren Notationsvereinfachung wird das Produktzeichen häufig weggelassen. Die besonderen Elemente
\mathkor {} {0} {und} {1} {}
in einem Körper werden als \stichwort {Nullelement} {} und als \stichwort {Einselement} {} bezeichnet. Nach der Definition müssen sie verschieden sein.
Die wichtigsten Beispiele für einen Körper sind für uns die rationalen Zahlen, die reellen Zahlen und die komplexen Zahlen, die wir später kennenlernen werden.
\inputfaktbeweis
{Körpertheorie/Eindeutigkeit des Negativen und des Inversen/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {Körper}{}{}
$K$ ist zu einem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Element $y$ mit
\mavergleichskette
{\vergleichskette
{x+y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmt. Bei
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch das Element $z$ mit
\mavergleichskette
{\vergleichskette
{xz
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmt.
}
{
Es sei $x$ vorgegeben und seien
\mathkor {} {y} {und} {y'} {}
Elemente mit
\mavergleichskette
{\vergleichskette
{ x+y
}
{ = }{ 0
}
{ = }{x+y'
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {y+0
}
{ =} {y+(x+y')
}
{ =} {(y+x)+y'
}
{ =} {(x+y)+y'
}
}
{
\vergleichskettefortsetzung
{ =} { 0+y'
}
{ =} {y'
}
{ } {}
{ } {}
}{}{.}
Insgesamt ist also
\mavergleichskette
{\vergleichskette
{y
}
{ = }{y'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für den zweiten Teil sei $x$ mit
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Es seien
\mathkor {} {z} {und} {z'} {}
Elemente mit
\mavergleichskette
{\vergleichskette
{ xz
}
{ = }{ 1
}
{ = }{x z'
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {z1
}
{ =} {z(xz')
}
{ =} {(zx)z'
}
{ =} {1z'
}
}
{
\vergleichskettefortsetzung
{ =} {z'
}
{ } {}
{ } {}
{ } {}
}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{z
}
{ = }{z'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zu einem Element
\mathl{a \in K}{} nennt man das nach diesem Lemma eindeutig bestimmte Element $y$ mit
\mathl{a+y=0}{} das \stichwort {Negative} {} von $a$ und bezeichnet es mit $-a$. Es ist
\mathl{-(-a)=a}{,} da wegen
\mathl{a+(-a)=0}{} das Element $a$ gleich dem eindeutig bestimmten Negativen von $-a$ ist.
Statt
\mathl{b+(-a)}{} schreibt man abkürzend
\mathl{b-a}{} und spricht von der \stichwort {Differenz} {.} Die Differenz ist also keine grundlegende Verknüpfung, sondern wird auf die Addition mit dem Negativen zurückgeführt.
Das zu
\mathbed {a \in K} {}
{a \neq 0} {}
{} {} {} {,}
nach diesem Lemma eindeutig bestimmte Element $z$ mit
\mathl{az=1}{} nennt man das \stichwort {Inverse} {} von $a$ und bezeichnet es mit $a^{-1}$.
Für
\mathbed {a,b \in K} {}
{b \neq 0} {}
{} {} {} {,}
schreibt man auch abkürzend
\mavergleichskettedisp
{\vergleichskette
{ a/b
}
{ \defeq} { { \frac{ a }{ b } }
}
{ \defeq} {ab^{-1}
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden linken Ausdrücke sind also eine Abkürzung für den rechten Ausdruck.
Zu einem Körperelement
\mathl{a \in K}{} und
\mathl{n \in \N}{} wird
\mathl{a^n}{} als das $n$-fache Produkt von $a$ mit sich selbst definiert, und bei
\mathl{a\neq0}{} wird
\mathl{a^{-n}}{} als
\mathl{(a^{-1})^n}{} interpretiert.
Ein \anfuehrung{kurioser}{} Körper wird im folgenden Beispiel beschrieben. Dieser Körper mit zwei Elementen ist in der Informatik und der Kodierungstheorie wichtig, wird für uns aber keine große Rolle spielen. Er zeigt, dass es nicht für jeden Körper sinnvoll ist, seine Elemente auf der Zahlengeraden zu verorten.
\inputbeispiel{}
{
Wir suchen nach einer
\definitionsverweis {Körperstruktur}{}{}
auf der Menge
\mathl{\{0,1\}}{.} Wenn $0$ das neutrale Element einer Addition und $1$ das neutrale Element einer Multiplikation sein soll, so ist dadurch schon alles festgelegt, da
\mavergleichskette
{\vergleichskette
{1+1
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein muss, da $1$ ein inverses Element bezüglich der Addition besitzen muss, und da in jedem Körper
nach Lemma 3.4 (1)
\mavergleichskette
{\vergleichskette
{0 \cdot 0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gelten muss. Die Operationstafeln sehen also wie folgt aus.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $+$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\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}{ 1 }
\renewcommand{\aeinsxdrei}{ }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 0 }
\renewcommand{\azweixdrei}{ }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ }
\renewcommand{\adreixzwei}{ }
\renewcommand{\adreixdrei}{ }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ }
\renewcommand{\avierxzwei}{ }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitzweixzwei
und
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\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}{ }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ }
\renewcommand{\adreixzwei}{ }
\renewcommand{\adreixdrei}{ }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ }
\renewcommand{\avierxzwei}{ }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitzweixzwei
Durch etwas aufwändiges Nachrechnen stellt man fest, dass es sich in der Tat um einen \definitionsverweis {Körper}{}{}
handelt.
}
Die folgenden Eigenschaften sind für den Körper der reellen Zahlen vertraut, wir beweisen sie aber allein aus den Axiomen eines Körpers. Sie gelten daher für einen jeden Körper.
\inputfaktbeweis
{Körper/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und seien
\mathl{a,b,c,a_1 , \ldots , a_r, b_1 , \ldots , b_s}{} Elemente aus $K$.}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungsechs{
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Annullationsregel} {}} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)b
}
{ =} {-ab
}
{ =} { a(-b)
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {\stichwort {Vorzeichenregel} {}} {} {.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)(-b)
}
{ =} {ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ a(b-c)
}
{ =} { ab-ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}{Aus
\mavergleichskette
{\vergleichskette
{a \cdot b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Nichtnullteilereigenschaft} {}} {} {.}
}{
\mavergleichskette
{\vergleichskette
{ { \left( \sum_{i = 1}^r a_i \right) } { \left( \sum_{k = 1}^s b_k \right) }
}
{ = }{ \sum_{ 1 \leq i \leq r,\, 1 \leq k \leq s } a_ib_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {allgemeines Distributivgesetz} {}} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{a0
}
{ = }{a(0+0)
}
{ = }{a0+a0
}
{ }{}
{ }{}
}
{}{}{.}
Durch beidseitiges Abziehen
\zusatzklammer {also Addition mit dem Negativen von \mathlk{a0}{}} {} {}
von $a0$ ergibt sich die Behauptung.
}{
\mavergleichskettedisp
{\vergleichskette
{ (-a)b +ab
}
{ =} {(-a+a)b
}
{ =} { 0b
}
{ =} { 0
}
{ } {}
}
{}{}{} nach Teil (1). Daher ist
\mathl{(-a)b}{} das
\zusatzklammer {eindeutig bestimmte} {} {}
Negative von $ab$. Die zweite Gleichheit folgt analog.
}{Nach (2) ist
\mavergleichskette
{\vergleichskette
{ (-(-a))b
}
{ = }{(-a)(-b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{ -(-a)
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt die Behauptung.
}{Dies folgt auch aus dem bisher Bewiesenen.
}{ Nehmen wir an, dass
\mathkor {} {a} {und} {b} {}
beide von $0$ verschieden sind. Dann gibt es dazu inverse Elemente
\mathkor {} {a^{-1}} {und} {b^{-1}} {}
und daher ist
\mavergleichskette
{\vergleichskette
{ (ab) { \left( b^{-1} a^{-1} \right) }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Andererseits ist aber nach Voraussetzung
\mavergleichskette
{\vergleichskette
{ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist nach der Annullationsregel
\mavergleichskettedisp
{\vergleichskette
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,} so dass sich der Widerspruch
\mavergleichskette
{\vergleichskette
{0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt.
}{Dies folgt aus einer Doppelinduktion, siehe
Aufgabe 3.17.
}
\zwischenueberschrift{Die rationalen Zahlen}
Wir geben eine Definition der rationalen Zahlen allein unter Bezug auf die ganzen Zahlen.
\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, beispielsweise ist
\mavergleichskette
{\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.
Es gelten die folgenden Identitäten
\zusatzklammer {dabei seien
\mavergleichskettek
{\vergleichskettek
{c,d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ansonsten seien alle
\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 Addition und die Multiplikation auf rationalen Zahlen wird folgendermaßen festgelegt.
\aufzaehlungzwei {
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ c } } \cdot { \frac{ b }{ d } }
}
{ \defeq} { { \frac{ ab }{ cd } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ c } } + { \frac{ b }{ d } }
}
{ \defeq} { { \frac{ ad+bc }{ cd } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Man addiert also zwei rationale Zahlen, indem man die Nenner gleichnamig macht. Diese Operationen sind wohldefiniert und wie in $\Z$ assoziativ, kommutativ und es gilt das Distributivgesetz. Diese Eigenschaften kann man auf die entsprechenden Eigenschaften der ganzen Zahlen zurückführen, siehe
Aufgabe 3.1.
Die
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{ { \frac{ 0 }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hat wieder die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ 0 + { \frac{ a }{ b } }
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die
\mavergleichskette
{\vergleichskette
{1
}
{ = }{ { \frac{ 1 }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hat wieder die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{1 \cdot { \frac{ a }{ b } }
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ferner gibt es wieder zu einer rationalen Zahl
\mathl{{ \frac{ a }{ b } }}{} die negative Zahl
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ a }{ b } }
}
{ =} { { \frac{ -a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Sie besitzt die charakteristische Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ a }{ b } } + { \frac{ a }{ b } }
}
{ =} { { \frac{ -a+a }{ b } }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Zu einer rationalen Zahl
\mathl{{ \frac{ a }{ b } }}{} mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {also wenn Zähler und Nenner von $0$ verschieden sind} {} {}
ist auch der umgedrehte Bruch
\mathl{{ \frac{ b }{ a } }}{} eine rationale Zahl, und es gilt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \cdot { \frac{ b }{ a } }
}
{ =} { { \frac{ ab }{ ab } }
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{.}
Man nennt
\mathl{{ \frac{ b }{ a } }}{} die \stichwort {inverse rationale Zahl} {} zu ${ \frac{ a }{ b } }$. Mit all diesen Festlegungen ist $\Q$ ein Körper.
Man kann die rationalen Zahlen auf der Zahlengeraden platzieren
\zusatzklammer {die ganzen Zahlen seien dort schon platziert} {} {.}
Die rationale Zahl ${ \frac{ a }{ b } }$ mit
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
findet man so: Man unterteilt die Strecke von $0$ nach $a$ in $b$ gleichlange Teilstrecken. Die Zahl
\mathl{{ \frac{ a }{ b } }}{} ist dann die rechte Grenze der
\zusatzklammer {von links} {} {}
ersten Teilstrecke. Insbesondere ist ${ \frac{ 1 }{ b } }$ die Länge des Intervalls, dass $b$-fach nebeneinander gelegt die Einheitsstrecke
\zusatzklammer {oder das Einheitsintervall} {} {}
ergibt\zusatzfussnote {Die Frage, wie man diese Unterteilung elementar durchführt, besprechen wir hier nicht} {.} {.}
Als Punkte auf der Zahlengeraden lassen sich rationale Zahlen ihrer Größe nach vergleichen. Dabei gilt für
\mathkor {} {{ \frac{ a }{ b } }} {und} {{ \frac{ c }{ d } }} {}
mit
\mathkor {} {a,c \in \Z} {und} {b,d \in \N_+} {}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ \geq} { { \frac{ c }{ d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn in $\Z$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ ad
}
{ \geq} {bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Um dies von der Zahlengerade her einzusehen, bringt man die beiden rationalen Zahlen auf den Hauptnenner,
d.h. man vergleicht
\mathkor {} {{ \frac{ ad }{ bd } }} {und} {{ \frac{ cb }{ bd } }} {.}
Die Größerbeziehung hängt dann, wegen
\mathl{bd}{} positiv, allein von den beiden Zählern ab.
\zwischenueberschrift{Die Binomialkoeffizienten}
\inputdefinition
{}
{
Zu einer natürlichen Zahl $n$ nennt man die Zahl
\mavergleichskettedisp
{\vergleichskette
{n!
}
{ \defeq} { n(n-1)(n-2) \cdots 3 \cdot 2 \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Fakultät}{} von $n$
\zusatzklammer {sprich $n$ Fakultät} {} {.}
}
Dabei setzt man
\mathl{0!=1}{.} Bei einer $n$-elementigen Menge $M$ gibt es $n!$ bijektive Abbildungen von $M$ nach $M$. Gleichbedeutend damit ist, dass es $n!$ Möglichkeiten gibt, $n$ Objekte auf $n$ Plätze zu verteilen.
\inputdefinition
{}
{
Es seien
\mathkor {} {k} {und} {n} {}
natürliche Zahlen mit
\mavergleichskette
{\vergleichskette
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ \binom { n } { k }
}
{ \defeq} {{ \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Binomialkoeffizienten}{} \anfuehrung{$n$ über $k$}{.}
}
Diesen Bruch kann man auch als
\mathdisp {{ \frac{ n(n-1)(n-2) \cdots (n-k+2)(n-k+1) }{ k(k-1) (k-2) \cdots 2 \cdot 1 } }} { }
schreiben, da die Faktoren aus
\mathl{(n-k)!}{} auch in $n!$ vorkommen und daher kürzbar sind. In dieser Darstellung stehen im Zähler und im Nenner gleich viele Faktoren. Gelegentlich ist es sinnvoll, auch negative $k$ oder
\mavergleichskette
{\vergleichskette
{k
}
{ > }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zuzulassen und in diesen Fällen die Binomialkoeffizienten gleich $0$ zu setzen.
Von der Definition her ist es nicht sofort klar, dass es sich bei den Binomialkoeffizienten um natürliche Zahlen handelt. Dies folgt aus der folgenden Beziehung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pascal_triangle.svg} }
\end{center}
\bildtext {Das \stichwort {Dreieck der Binomialkoeffizienten} {} war in Indien und in Persien schon um 1000 bekannt,} }
\bildlizenz { Pascal triangle.svg } {} {Kazukiokumura} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Yanghui_triangle.gif} }
\end{center}
\bildtext {in China heißt es \stichwort {Yanghui-Dreieck} {}
\zusatzklammer {nach Yang Hui (um 1238-1298)} {} {,}} }
\bildlizenz { Yanghui triangle.gif } {} {Noe} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {TrianguloPascal.jpg} }
\end{center}
\bildtext {in Europa heißt es das \stichwort {Pascalsche Dreieck} {}
\zusatzklammer {nach Blaise Pascal (1623-1662)} {} {.}} }
\bildlizenz { TrianguloPascal.jpg } {Pascal} {Drini} {Commons} {PD} {}
{Binomialkoeffizient/Summe in Pascaldreieck/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Binomialkoeffizienten}{}{}}
\faktfolgerung {erfüllen die rekursive Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.11. }
Der Binomialkoeffizient
\mathl{\binom { n } { k }}{} hat die folgende inhaltliche Bedeutung: Er gibt für eine $n$-elementige Menge $M$ die Anzahl sämtlicher $k$-elementigen Teilmengen von $M$ an, siehe
Aufgabe 3.14.
Die folgende Formel bringt die Addition und die Multiplikation in einem Körper miteinander in Beziehung.
\inputfaktbeweis
{Körper/Binomi/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es seien
\mathl{a,b}{} Elemente in einem Körper. Ferner sei $n$ eine natürliche Zahl.}
\faktfolgerung {Dann gilt
\mathdisp {( a + b )^{n} = \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion nach $n$. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht einerseits
\mavergleichskette
{\vergleichskette
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{a^0b^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.} Es sei die Aussage bereits für $n$ bewiesen. Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (a+b)^{n+1}
}
{ =} { (a+b) (a+b)^n
}
{ =} { (a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { a { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } + b { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{ k= 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k=0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } { \left( \binom { n } { k-1 } + \binom { n } { k } \right) } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k=1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {A_plus_b_au_carre.svg} }
\end{center}
\bildtext {} }
\bildlizenz { A plus b au carre.svg } {} {Alkarex} {Commons} {CC-by-sa 2.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Binomio_al_cubo.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Binomio al cubo.svg } {Drini} {} {Commons} {PD} {}