Kurs:Vorkurs Mathematik (Osnabrück 2014)/Vorlesung 3/latex
\setcounter{section}{3}
\zwischenueberschrift{Die rationalen 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.7.
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 } }$.
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 reellen Zahlen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Real_number_line.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Real number line.svg } {} {Phrood} {Commons} {PD} {}
Wir werden nun die reellen Zahlen besprechen, die wir uns durch alle Punkte der Zahlengeraden vorstellen. Diese Vorstellung ist keineswegs unproblematisch, sie ist aber intuitiv sehr wertvoll. Allerdings ist die Intuition in der Mathematik kein Beweismittel. Ferner wird die Intuition häufig überschätzt und mit Gewohnheit verwechselt. Haben Sie eine sichere intuitive Vorstellung zur Multiplikation auf der Zahlengeraden?
Unsere Vorgehensweise ist daher, grundlegende Eigenschaften der reellen Zahlen ein für allemal zu formulieren und dann alle weiteren Eigenschaften aus diesen Grundeigenschaften abzuleiten. Diese grundlegenden Eigenschaften decken sich mit unserer intuitiven Vorstellung einer kontinuierlichen Zahlengeraden und mit unserer Rechenerfahrung mit reellen Zahlen.
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. 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, man spricht auch von \stichwort {Verknüpfungen} {.} Es genügt, nur Gesetzmäßigkeiten für die Addition und die Multiplikation aufzulisten, Subtraktion und Division ergeben sich als abgeleitete Operationen. Die Existenz der Addition und der Multiplikation ist Teil der Axiome.
\inputfakt{Reelle Zahlen/Algebraische Axiome/Fakt}{Proposition}{
}
{
\faktsituation {Die Addition und die Multiplikation auf den reellen Zahlen $\R$
\zusatzklammer {mit den Elementen
\mavergleichskettek
{\vergleichskettek
{0
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
erfüllen die folgenden Eigenschaften
\zusatzklammer {bzw. Axiome} {} {.}}
\faktfolgerung {\aufzaehlungdrei{Axiome der Addition
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a + b) + c
}
{ = }{a + (b + c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ a+b
}
{ = }{ b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$0$ ist das neutrale Element der Addition, d.h. für alle
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{a+0
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Negativen: Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{b
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Axiome der Multiplikation
\aufzaehlungvier{Assoziativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt:
\mavergleichskette
{\vergleichskette
{ (a \cdot b) \cdot c
}
{ = }{ a \cdot (b \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Kommutativgesetz: Für alle
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
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 }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ a \cdot 1
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Existenz des Inversen: Zu jedem
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein Element
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a \cdot c
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Distributivgesetz:
Für alle
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskette
{\vergleichskette
{ a \cdot (b+c)
}
{ = }{ (a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
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 vertraut.
Zur Vereinfachung der Schreibweisen verwenden wir 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 Elemente
\mathkor {} {0} {und} {1} {}
werden als \stichwort {Nullelement} {} und als \stichwort {Einselement} {} bezeichnet. Es ist Teil der Axiomatik, dass sie verschieden sind.
Zu einer reellen Zahl $a$ nennt man das Element $b$ mit
\mavergleichskette
{\vergleichskette
{a+b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \stichwort {Negative} {} von $a$. Es ist durch diese Eigenschaft eindeutig bestimmt und man bezeichnet es mit $-a$. Es ist
\mavergleichskette
{\vergleichskette
{ -(-a)
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da wegen
\mavergleichskette
{\vergleichskette
{ a+(-a)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Element $a$ gleich dem
\zusatzklammer {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.
Zu einer reellen Zahl
\mathbed {a} {}
{a \neq 0} {}
{} {} {} {,}
nennt man das Element $c$ mit
\mavergleichskette
{\vergleichskette
{ac
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \stichwort {Inverse} {} von $a$ und bezeichnet es mit $a^{-1}$. Für
\mathbed {a,b \in \R} {}
{b \neq 0} {}
{} {} {} {,}
schreibt man auch abkürzend
\mavergleichskettedisp
{\vergleichskette
{ a/b
}
{ \defeq} { { \frac{ a }{ b } }
}
{ \defeq} {a b^{-1}
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden linken Ausdrücke sind also Abkürzungen für den rechten Ausdruck.
Zu einer reellen Zahl $a$ und
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird die Potenz
\mathl{a^n}{} als das $n$-fache Produkt von $a$ mit sich selbst definiert, und bei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird
\mathl{a^{-n}}{} als
\mathl{(a^{-1})^n}{} interpretiert.
\zwischenueberschrift{Anordnungseigenschaften der reellen Zahlen}
Bekanntlich kann man die reellen Zahlen mit einer Geraden identifizieren. Auf der Zahlengeraden liegen von zwei Punkten einer weiter rechts als der andere, was bedeutet, dass sein Wert größer ist. Wir besprechen nun diese Anordnungseigenschaften der reellen Zahlen.
\inputaxiom
{}
{
Die reellen Zahlen $\R$ erfüllen die folgenden \definitionswort {Anordnungsaxiome}{.}
\aufzaehlungfuenf{Für je zwei reelle Zahlen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist entweder
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{b
}
{ > }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \geq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{a,b,c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a+c
}
{ \geq }{ b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskette
{\vergleichskette
{a,b,c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{ a
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ ab
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}{Für jede reelle Zahl
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine natürliche Zahl $n$ mit
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Archimedes (Idealportrait).jpg} }
\end{center}
\bildtext {Archimedes (ca. 287 -212 v. C.)} }
\bildlizenz { Archimedes (Idealportrait).jpg } {} {Ixitixel} {Commons} {PD} {}
Die ersten beiden Eigenschaften drücken aus, dass auf $\R$ eine \stichwort {totale} {} \zusatzklammer {oder \stichwort {lineare} {}} {} {} \stichwort {Ordnung} {} vorliegt; die in (2) beschriebene Eigenschaft heißt Transitivität. Die fünfte Eigenschaft heißt \stichwort {Archimedes-Axiom} {.}
Statt
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man auch
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Schreibweise
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet
\mathkor {} {a \geq b} {und} {a \neq b} {.}
Eine wichtige Beziehung in $\R$ ist, dass
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent\zusatzfussnote {Man sagt, dass zwei Aussagen
\mathkor {} {A} {und} {B} {}
zueinander \stichwort {äquivalent} {} sind, wenn die Aussage $A$ genau dann wahr ist, wenn die Aussage $B$ wahr ist. Dabei sind die beiden Aussagen häufig abhängig von gewissen Variablenbelegungen, und die Äquivalenz bedeutet dann, dass
\mathl{A(x)}{} genau dann wahr ist, wenn
\mathl{B(x)}{} wahr ist.} {} {} zu
\mavergleichskette
{\vergleichskette
{a-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Diese Äquivalenz ergibt sich durch beidseitiges Addieren von
\mathkor {} {-b} {bzw.} {b} {}
aus dem dritten Axiom. Eine reelle Zahl
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man
\definitionswortenp{positiv}{,} wenn
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, und
\definitionswortenp{negativ}{,} wenn
\mavergleichskette
{\vergleichskette
{a
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Die $0$ ist demnach weder positiv noch negativ, und jedes Element ist entweder positiv oder negativ oder null. Die Elemente
\mathbed {a} {mit}
{a \geq 0} {}
{} {} {} {}
nennt man dann einfach
\definitionswortenp{nichtnegativ}{} und die Elemente
\mathbed {a} {mit}
{a \leq 0} {}
{} {} {} {}
\definitionswortenp{nichtpositiv}{.} Für die entsprechenden Teilmengen der reellen Zahlen schreibt man
\mathdisp {\R_+,\, \R_-,\, \R_{\geq 0} = \R_+^0,\, \R_{\leq 0} = \R_-^0} { }
oder Ähnliches.
{Reelle Zahlen/Anordnungseigenschaften/Folgerungen/Fakt}
{Lemma}
{}
{
Für reelle Zahlen gelten die folgenden Eigenschaften.
\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \leq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{a^2
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a^n
}
{ \geq }{b^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a^n
}
{ \geq }{a^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ganze Zahlen
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ a } }
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ a } }
}
{ > }{ { \frac{ 1 }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{ Siehe Aufgabe 3.14. }
Das folgende Lemma fasst Folgerungen aus dem Archimedes-Axiom zusammen.
\inputfaktbeweis
{Reelle Zahlen/Anordnungsaxiome/Archimedes/Folgerungen/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {\aufzaehlungdrei{Zu
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es ein
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{nx
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Zu
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine natürliche Zahl $n$ mit
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ n } }
}
{ < }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Zu zwei reellen Zahlen
\mavergleichskette
{\vergleichskette
{x
}
{ < }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es auch eine rationale Zahl
\mathl{n/k}{}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskettek
{\vergleichskettek
{k
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
mit
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} { { \frac{ n }{ k } }
}
{ <} {y
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1). Wir betrachten
\mathl{y/x}{.} Aufgrund des
\definitionsverweis {Archimedes-Axioms}{}{}
gibt es ein $n$ mit
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{ y/x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $x$ positiv ist, gilt nach
Lemma 3.4 (2)
auch
\mavergleichskette
{\vergleichskette
{nx
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{(2). Es ist $x^{-1}$ eine wohldefinierte, nach
Lemma 3.4 (7)
positive reelle Zahl. Aufgrund des Archimedes-Axioms gibt es eine natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{n
}
{ > }{x^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies ist nach
Lemma 3.4 (8)
äquivalent zuzusatz2
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ n } }
}
{ =} {n^{-1}
}
{ <} { (x^{-1})^{-1}
}
{ =} {x
}
{ } {}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{(3).
Wegen
\mavergleichskette
{\vergleichskette
{y
}
{ > }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{y-x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher gibt es nach (2) ein
\mavergleichskette
{\vergleichskette
{k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ k } }
}
{ = }{ y-x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen (1) gibt es auch ein
\mavergleichskette
{\vergleichskette
{n'
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{n' { \frac{ 1 }{ k } }
}
{ > }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Archimedes-Eigenschaft gibt es ein
\mavergleichskette
{\vergleichskette
{ \tilde{n}
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{\tilde{n}
}
{ \geq }{ -xk
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nach
Lemma 3.4 (3)
gilt daher
\mavergleichskette
{\vergleichskette
{ (- \tilde{n} ) { \frac{ 1 }{ k } }
}
{ \leq }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher gibt es auch ein
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} derart, dass
\mathdisp {n { \frac{ 1 }{ k } } > x \text{ und } (n-1) { \frac{ 1 }{ k } } \leq x} { }
ist. Damit ist einerseits
\mavergleichskette
{\vergleichskette
{ x
}
{ < }{ { \frac{ n }{ k } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ n }{ k } }
}
{ =} { { \frac{ n-1 }{ k } } + { \frac{ 1 }{ k } }
}
{ <} { x + y-x
}
{ =} { y
}
{ } {
}
}
{}{}{,}
wie gewünscht.}
{}
\inputdefinition
{}
{
Für reelle Zahlen
\mathbed {a,b} {}
{a \leq b} {}
{} {} {} {,}
nennt man
\auflistungvier{
\mavergleichskette
{\vergleichskette
{ [a,b]
}
{ = }{ { \left\{ x \in \R \mid x \geq a \text{ und } x \leq b \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \definitionswort {abgeschlossene Intervall}{.}
}{
\mavergleichskette
{\vergleichskette
{ ]a,b[
}
{ = }{ { \left\{ x \in \R \mid x >a \text{ und } x < b \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \definitionswort {offene Intervall}{.}
}{
\mavergleichskette
{\vergleichskette
{ ]a,b]
}
{ = }{ { \left\{ x \in \R \mid x > a \text{ und } x \leq b \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \definitionswort {linksseitig offene Intervall}{.}
}{
\mavergleichskette
{\vergleichskette
{ [a,b[
}
{ = }{ { \left\{ x \in \R \mid x \geq a \text{ und } x < b \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das \definitionswort {rechtsseitig offene Intervall}{.}
}
}
Für das offene Intervall wird häufig auch
\mathl{(a,b)}{} geschrieben. Die Zahlen
\mathkor {} {a} {und} {b} {}
heißen die \stichwort {Grenzen des Intervalls} {}
\zusatzklammer {oder \stichwort {Randpunkte} {} des Intervalls} {} {,}
genauer spricht man von \stichwort {unterer} {} und \stichwort {oberer Grenze} {.} Die Bezeichnung linksseitig und rechtsseitig bei den beiden letzten Intervallen
\zusatzklammer {die man auch als \stichwort {halboffen} {} bezeichnet} {} {}
rühren von der üblichen Repräsentierung der reellen Zahlen als Zahlengerade her, bei der rechts die positiven Zahlen stehen. Manchmal werden auch Schreibweisen wie
\mathl{(a, \infty)}{} verwendet. Dies bedeutet
\betonung{nicht}{,} dass es in $\R$ ein Element $\infty$ gibt, sondern ist lediglich eine kurze Schreibweise für ${ \left\{ x \in \R \mid x >a \right\} }$.
\zwischenueberschrift{Der Betrag}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Absolute_value.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Absolute value.svg } {} {Ævar Arnfjörð Bjarmason} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Für eine reelle Zahl
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der \definitionswort {Betrag}{} folgendermaßen definiert.
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x }
}
{ =} {\begin{cases} x \, ,\text{ falls } x \geq 0 \, , \\ -x,\, \text{ falls } x < 0 \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
Der Betrag ist also nie negativ und hat nur bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Wert $0$, sonst ist er immer positiv. Die
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {} {\R} {\R
} {x} {\betrag { x }
} {,}
nennt man auch \stichwort {Betragsfunktion} {.} Der Funktionsgraph setzt sich aus zwei Halbgeraden zusammen; eine solche Funktion nennt man auch \stichwort {stückweise linear} {.}
{Reelle Zahlen/Betragseigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {reelle Betragsfunktion}{}{}
\maabbeledisp {} {\R} {\R
} {x} {\betrag { x }
} {,}
erfüllt folgende Eigenschaften \zusatzklammer {dabei seien $x,y$ beliebige reelle Zahlen} {} {.}}
\faktfolgerung {\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{ \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { y-x }
}
{ = }{ \betrag { x-y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { xy }
}
{ = }{ \betrag { x } \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \betrag { x^{-1} }
}
{ = }{ \betrag { x }^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \leq }{ \betrag { x } + \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Dreiecksungleichung für den Betrag} {}} {} {.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \geq }{ \betrag { x } - \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.17. }
| << | Kurs:Vorkurs Mathematik (Osnabrück 2014) | >> |
|---|