Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 24/latex
\setcounter{section}{24}
\zwischenueberschrift{Die Platzierung der rationalen Zahlen auf der Zahlengeraden}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Konstruktionen 007.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Konstruktionen 007.jpg } {} {Darapti} {Commons} {CC-by-sa 3.0} {}
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 ${ \frac{ a }{ b } }$ ist dann die rechte Grenze des
\zusatzklammer {von links} {} {}
ersten Teilintervalls. Insbesondere ist ${ \frac{ 1 }{ b } }$ die Länge des Intervalls, dass $b$-fach nebeneinander gelegt die Einheitsstrecke von
\mathkor {} {0} {bis} {1} {}
\zusatzklammer {das Einheitsintervall} {} {}
ergibt. Unter Bezugnahme auf elementargeometrische Eigenschaften der Ebene kann man diese Unterteilung folgendermaßen durchführen: Man betrachtet den linearen Graphen zum proportionalen Zusammenhang, der an der Stelle $a$ den Wert $b$ besitzt. Die Gerade, die senkrecht auf der $y$-Achse steht und durch den Punkt
\mathl{(0,1)}{} geht, trifft den Graphen in einem Punkt
\mathl{(s,1)}{,} wobei $s$ die Länge der Verbindungsstrecke von
\mathkor {} {(0,1)} {zu} {(s,1)} {}
ist. Aufgrund des Strahlensatzes, angewendet auf die Strahlen $y$-Achse und linearer Graph und die durch
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen parallelen Geraden, gilt die Verhältnisgleichheit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ s }{ 1 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Streckenlänge $s$ kann man dann parallel auf die $x$-Achse verschieben, das Ergebnis ist der gesuchte Platz für ${ \frac{ a }{ b } }$. Umgekehrt formuliert: Da das $b$-fache der Strecke von
\mathkor {} {0} {nach} {1} {}
die Länge $b$ besitzt, ist das $b$-fache der Strecke $s$ gleich der Länge $a$. Achtung! Die Steigung des proportionalen Zusammenhangs
\zusatzklammer {die Proportionalitätskonstante} {} {,}
der an der Stelle $a$ den Wert $b$ besitzt, ist
\mathl{{ \frac{ b }{ a } }}{.} Diese Zahl ergibt sich geometrisch, wenn man den Graphen mit der durch
\mavergleichskette
{\vergleichskette
{x
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen Geraden
\zusatzklammer {also die Gerade, die parallel zur $y$-Achse ist und durch den Punkt \mathlk{(1,0)}{} verläuft} {} {}
schneidet, als Abstand zwischen dem Schnittpunkt und
\mathl{(1,0)}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Constructrulercompassadd.pdf} }
\end{center}
\bildtext {Die geometrische Ausführung der vektoriellen Addition auf der Zahlengeraden. Man muss einen Zirkel einsetzen und parallele Geraden konstruieren können. Die $1$ spielt keine Rolle.} }
\bildlizenz { Constructrulercompassadd.pdf } {} {Darapti} {Commons} {} {}
Die Addition und die Multiplikation lassen sich ebenfalls auf der Zahlengeraden geometrisch deuten bzw. durchführen. Die Addition von zwei Punkten
\mathkor {} {P} {und} {Q} {}
ist die vektorielle Addition der Pfeile
\mathkor {} {\overrightarrow{ 0 P }} {und} {\overrightarrow{ 0 Q }} {,}
wobei der Startpunkt des einen Vektors parallel verschoben an den Endpunkt des anderen Vektors angelegt wird. Für positive Zahlen bedeutet das einfach, dass die zugehörigen, von $0$ ausgehenden Strecken aneinandergelegt werden. Die Korrektheit dieser Interpretation beruht
\zusatzklammer {für rationale Zahlen} {} {}
darauf, dass man die beiden Strecken als ganzzahlige Vielfache einer Vergleichsstrecke
\mathl{\overrightarrow{ 0 R }}{} darstellen kann
\zusatzklammer {Übergang zu einem Hauptnenner} {} {,}
also
\mathkor {} {\overrightarrow{ 0 P } = m \overrightarrow{ 0 R }} {und} {\overrightarrow{ 0 Q } = n \overrightarrow{ 0 R }} {}
mit
\mavergleichskette
{\vergleichskette
{ m,n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben kann. Dann ist die Hintereinanderlegung der Strecken einfach
\mathl{(m+n)\overrightarrow{ 0 R }}{.}
Für die geometrische Deutung der Multiplikation muss man den Strahlensatz heranziehen, man muss die $1$ fixiert haben und man muss Zirkel und Lineal zur Verfügung haben. Die zu multiplizierenden Punkte
\mathkor {} {a} {und} {b} {}
seien auf der Zahlengerade gegeben, die wir als $x$-Achse in einem Koordinatensystem auffassen. Auf der $y$-Achse
\zusatzklammer {man könnte auch eine andere Gerade durch den Nullpunkt nehmen} {} {}
markieren wir den Punkt $a'$, der zum Nullpunkt den Abstand $a$ und somit die Koordinaten
\mathl{(0,a)}{} besitzt. Wir zeichnen die Gerade durch die beiden Punkte
\mathkor {} {(0,1)} {und} {(b,0)} {.}
Zu dieser Geraden zeichnen wir die parallele Gerade durch den Punkt
\mathl{(0,a)}{.} Der Schnittpunkt dieser Geraden mit der $x$-Achse sei
\mathl{(z,0)}{.} Mit dem Strahlensatz gilt dann die Beziehung
\mavergleichskette
{\vergleichskette
{ { \frac{ z }{ b } }
}
{ = }{ { \frac{ a }{ 1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Produkt $ab$ ist also der konstruierte Punkt $z$. Für den Nachweis der Korrektheit dieser geometrischen Multiplikation, die keinen Bezug auf den Strahlensatz nimmt, siehe
Aufgabe 24.9.
Als Punkte auf der Zahlengeraden lassen sich rationale Zahlen ihrer Größe nach vergleichen. In der geometrischen Vorstellung bedeutet
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für beliebige Punkte
\mathkor {} {x} {und} {y} {}
aus der rechten Hälfte der Zahlengeraden
\zusatzklammer {dem positiven Zahlenstrahl} {} {,}
dass die Strecke
\mathl{[0,x]}{} in der Strecke
\mathl{[0,y]}{} enthalten ist, bzw., dass $y$ rechts von $x$ liegt. Für eine rationale Zahl wissen wir, dass ein ganzzahliges
\zusatzklammer {geometrisches} {} {}
Vielfaches davon, also die $n$-fache Hintereinanderlegung der Strecke, eine ganze Zahl ergibt. Für zwei rationale Zahlen
\mathkor {} {x} {und} {y} {}
gibt es daher eine natürliche Zahl $n$ mit der Eigenschaft, dass sowohl
\mathkor {} {nx} {als auch} {ny} {}
ganzzahlig sind. Damit können wir den Vergleich von rationalen Zahlen auf den Vergleich von ganzen Zahlen zurückführen. Wenn
\mathkor {} {x= { \frac{ a }{ b } }} {und} {y= { \frac{ c }{ d } }} {}
mit
\mathkor {} {a,c \in \Z} {und} {b,d \in \N_+} {}
ist, so kann man
\mavergleichskette
{\vergleichskette
{n
}
{ = }{bd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen und erhält die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ \geq} { { \frac{ c }{ d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn in $\Z$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ ad
}
{ \geq} {bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Hier begegnen wir wieder dem \stichwort {Überkreuzungsprinzip} {.}
\zwischenueberschrift{Die Ordnung auf den rationalen Zahlen}
Wir definieren eine Anordnung auf den rationalen Zahlen.
\inputdefinition
{}
{
Auf den
\definitionsverweis {rationalen Zahlen}{}{}
$\Q$ wird die
\definitionswort {Größergleichrelation}{}
$\geq$
durch
\mavergleichskette
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ \geq }{ { \frac{ c }{ d } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {bei positiven Nennern
\mavergleichskettek
{\vergleichskettek
{ b,d
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
falls
\mavergleichskette
{\vergleichskette
{ ad
}
{ \geq }{cb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $\Z$ gilt, definiert.
}
Wir müssen zuerst zeigen, dass diese Definition sinnvoll ist, also unabhängig von den gewählten Darstellungen der rationalen Zahlen als Brüche. Seien also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ a' }{ b' } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ c }{ d } }
}
{ =} { { \frac{ c' }{ d' } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit positiven Nennern. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ ab'
}
{ =} {a'b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{cd'
}
{ =} {c'd
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskettedisp
{\vergleichskette
{ ad
}
{ \geq} {bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich dann
gemäß Lemma 19.13 (6)
durch Multiplikation mit der positiven ganzen Zahl
\mathl{b'd'}{}
\mavergleichskettedisp
{\vergleichskette
{ad b'd'
}
{ \geq} {bc b'd'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies schreiben wir als
\mavergleichskettedisp
{\vergleichskette
{a' d bd'
}
{ \geq} {b c'b' d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus sich durch Kürzen mit der positiven ganzen Zahl
\mathl{db}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{a'd'
}
{ \geq} {b'c'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt, die
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a' }{ b' } }
}
{ \geq} { { \frac{ c' }{ d' } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet. Wegen der Symmetrie der Situation gilt auch die Umkehrung. Die Beziehung
\mathl{\geq}{} ist also unabhängig von dem gewählten Bruchrepräsentanten. Die zugrunde liegende Idee ist, die beiden zu vergleichenden Brüche auf einen gemeinsamen positiven Nenner zu bringen und dann die Zähler zu vergleichen. Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ ad }{ bd } }
}
{ =} { ad \cdot { \frac{ 1 }{ bd } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ c }{ d } }
}
{ =} { { \frac{ cb }{ bd } }
}
{ =} { cb \cdot { \frac{ 1 }{ bd } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Es liegt also einerseits das $ad$-Vielfache und andererseits das $cb$-Vielfache des gleichen
\definitionsverweis {Stammbruches}{}{}
\mathl{{ \frac{ 1 }{ bd } }}{.} Es leuchtet ein, dass die Größerbeziehung nur von dem ganzzahligen Vorfaktor abhängt. Daraus und aus der Tatsache, dass man auch drei rationale Zahlen auf einen gemeinsamen Nenner bringen kann, folgt auch direkt, dass es sich um eine totale Ordnung handelt, siehe
Aufgabe 24.35.
\inputbeispiel{}
{
Wir wollen die rationalen Zahlen
\mathdisp {{ \frac{ 11 }{ 7 } } , { \frac{ 3 }{ 2 } } , { \frac{ 8 }{ 5 } } , 2} { }
miteinander vergleichen. Man kann alle diese Zahlen auf den gemeinsamen Nenner $70$ bringen, wodurch man die Darstellungen
\mathdisp {{ \frac{ 110 }{ 70 } } , { \frac{ 105 }{ 70 } } , { \frac{ 112 }{ 70 } } , { \frac{ 140 }{ 70 } }} { }
erhält, aus denen man an den Zählern unmittelbar die Größenverhältnisse ablesen kann. Man kann auch die Brüche paarweise gemäß der Definition vergleichen, wegen
\mavergleichskettedisp
{\vergleichskette
{2 \cdot 11
}
{ =} {22
}
{ \geq} {21
}
{ =} { 3 \cdot 7
}
{ } {
}
}
{}{}{}
ist beispielsweise
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 11 }{ 7 } }
}
{ \geq} { { \frac{ 3 }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Um die Ordnungseigenschaften der rationalen Zahlen leichter erfassen zu können, empfiehlt es sich, mit angeordneten Körpern zu arbeiten. Dies ist einfach ein
\definitionsverweis {angeordneter Ring}{}{,}
der zugleich ein Körper ist.
\inputdefinition
{}
{
Ein
\definitionsverweis {Körper}{}{}
$K$ heißt \definitionswort {angeordnet}{,} wenn es eine
\definitionsverweis {totale Ordnung}{}{}
$\geq$ auf $K$ gibt, die die beiden Eigenschaften
\aufzaehlungzwei {Aus
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ x + z
}
{ \geq }{ y + z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{ x , y , z
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
} {Aus
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ y
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ x y
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{ x, y
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
}
erfüllt.
}
Die beiden Eigenschaften heißen wieder die \stichwort {Verträglichkeit mit der Addition} {} und die \stichwort {Verträglichkeit mit der Multiplikation} {.} Es wird sich später herausstellen, dass auch die reellen Zahlen einen angeordneten Körper bilden. Elemente
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \stichwort {positiv} {} und mit
\mavergleichskette
{\vergleichskette
{x
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \stichwort {negativ} {.}
\inputfaktbeweis
{Rationale Zahlen/Elementar/Angeordneter Körper/Fakt}
{Satz}
{}
{
\faktsituation {Die rationalen Zahlen $\Q$ bilden mit der in der
Definition 24.1
festgelegten
\definitionsverweis {Ordnung}{}{}}
\faktfolgerung {einen
\definitionsverweis {angeordneten Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dass eine totale Ordnung vorliegt wird in
Aufgabe 24.35
gezeigt. Es sei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ { \frac{ a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ { \frac{ c }{ d } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ { \frac{ e }{ f } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit positiven Nennern
\mathl{b,d,f}{.} Durch Übergang zu einem gemeinsamen Hauptnenner können wir direkt
\mavergleichskette
{\vergleichskette
{b
}
{ = }{d
}
{ = }{f
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Sei
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \geq} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
nach Lemma 19.11 (2)
auch
\mavergleichskettedisp
{\vergleichskette
{a+e
}
{ \geq} { c+e
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist
\mavergleichskettedisp
{\vergleichskette
{ x+z
}
{ =} { { \frac{ a }{ b } } + { \frac{ e }{ b } }
}
{ =} { { \frac{ a+e }{ b } }
}
{ \geq} {{ \frac{ c+e }{ b } }
}
{ =} { { \frac{ c }{ b } } + { \frac{ e }{ b } }
}
}
{
\vergleichskettefortsetzung
{ =} {y+z
}
{ } {}
{ } {}
{ } {}
}{}{.}
Wenn die beiden Brüche
\mathkor {} {{ \frac{ a }{ b } }} {und} {{ \frac{ c }{ d } }} {}
beide
\mathl{\geq 0}{} sind, so sind alle Zähler und Nenner aus $\N$ und dies überträgt sich auf
\mathl{{ \frac{ ac }{ bd } }}{,} also ist auch dies
\mathl{\geq 0}{.}
Da ein angeordneter Körper insbesondere ein
\definitionsverweis {angeordneter Ring}{}{}
ist, gelten die Eigenschaften aus
Lemma 19.13
unmittelbar auch für $\Q$ und für $\R$. Die dort angegebenen Regeln gelten bei einem angeordneten Körper auch dann, wenn man mit $>$ statt mit $\geq$ arbeitet. Wesentlich neue Aspekte bei einem angeordneten Körper treten in Bezug auf inverse Elemente auf.
\inputfaktbeweis
{Angeordneter Körper/Elementare Eigenschaften zu Inversen/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {angeordneten Körper}{}{}
gelten die folgenden Eigenschaften.
\aufzaehlungfuenf{Aus
\mavergleichskette
{\vergleichskette
{x
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt auch
\mavergleichskette
{\vergleichskette
{x^{-1}
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{x
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt auch
\mavergleichskette
{\vergleichskette
{x^{-1}
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x^{-1}
}
{ \leq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Aus
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{x^{-1}
}
{ \leq }{ y^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für positive Elemente $x,y$ ist
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent zu
\mavergleichskette
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
Siehe Aufgabe 24.15, Aufgabe 24.16, Aufgabe 24.17, Aufgabe 24.18 und Aufgabe 24.19.
\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
{}
{
In einem
\definitionsverweis {angeordneten Körper}{}{}
$K$ ist der \definitionswort {Betrag}{} eines Elementes
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
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
\zusatzklammer {da aus
\mavergleichskettek
{\vergleichskettek
{ x
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettek
{\vergleichskettek
{ -x
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, vergleiche
Lemma 19.13 (2)} {} {}
und hat nur bei
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Wert $0$, sonst ist er immer positiv. Die Gesamtabbildung
\maabbeledisp {} { K } { K
} { 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} {.}
{Angeordneter Körper/Betragseigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.}}
\faktfolgerung {Dann erfüllt die
\definitionsverweis {Betragsfunktion}{}{}
\maabbeledisp {} {K} {K
} {x} {\betrag { x }
} {,}
folgende Eigenschaften \zusatzklammer {dabei seien $x,y$ beliebige Elemente in $K$} {} {.} \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 24.26. }
Die Zahl
\mathl{\betrag { x-y }}{} nennt man auch den \stichwort {Abstand} {} der beiden Zahlen
\mathkor {} {x} {und} {y} {}
und die Länge der Strecke
\zusatzklammer {oder des \stichwort {Intervalls} {}} {} {}
von
\mathkor {} {x} {nach} {y} {}
bzw. von
\mathkor {} {y} {nach} {x} {.}
Bei
\mavergleichskette
{\vergleichskette
{x
}
{ < }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird die Strecke von $x$ nach $y$ in $n$
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
gleichlange Streckenabschnitte eingeteilt, wenn man die Zwischenpunkte
\mathbeddisp {x + i { \frac{ y-x }{ n } }} {}
{i = 0, 1 , \ldots , n} {}
{} {} {} {}
betrachtet
\zusatzklammer {bei
\mavergleichskettek
{\vergleichskettek
{ i
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bzw.
\mavergleichskettek
{\vergleichskettek
{ i
}
{ = }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergeben sich Randpunkte} {} {.}
\zwischenueberschrift{Das arithmetische Mittel}
\inputdefinition
{}
{
Zu $n$ Zahlen
\mathl{a_1 , \ldots , a_n}{} in einem
\definitionsverweis {angeordneten Körper}{}{}
$K$ nennt man
\mathdisp {{ \frac{ a_1 +a_2 + \cdots + a_n }{ n } }} { }
das
\definitionswort {arithmetische Mittel}{}
der Zahlen.
}
\zwischenueberschrift{Die Bernoullische Ungleichung}
Die folgende Aussage heißt Bernoullische Ungleichung.
\inputfaktbeweis
{Angeordneter Körper/Bernoulli Ungleichung/Fakt}
{Lemma}
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und $n$ eine natürliche Zahl. Dann gilt für jedes
\mathbed {x \in K} {mit}
{x \geq -1} {}
{} {} {} {}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ (1+x)^n
}
{ \geq} { 1 +nx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{
Wir führen Induktion über $n$. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht beidseitig $1$, sodass die Aussage gilt. Es sei nun die Aussage für $n$ bereits bewiesen. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ (1+x)^{n+1}
}
{ =} { (1+x)^{n} (1+x)
}
{ \geq} { (1+nx)(1+x)
}
{ =} { 1+(n+1)x + nx^2
}
{ \geq} { 1+(n+1)x
}
}
{}
{}{,}
da Quadrate
\zusatzklammer {und positive Vielfache davon} {} {}
in einem angeordneten Körper nichtnegativ sind.