Kurs:Mathematik für Anwender (Osnabrück 2023-2024)/Teil I/Vorlesung 5/latex
\setcounter{section}{5}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller5.jpg} }
\end{center}
\bildtext {... dass jeder und jede meint, dass Vorli ihn oder sie ganz besonders mag.} }
\bildlizenz { Waeller5.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\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.
\inputdefinition
{}
{
Ein
\definitionsverweis {Körper}{}{}
$K$ heißt \definitionswort {angeordneter Körper}{,} wenn es zwischen den Elementen von $K$ eine Beziehung $>$
\zusatzklammer {\anfuehrung{größer als}{}} {} {}
gibt, die die folgenden Eigenschaften erfüllt
\zusatzklammer {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
\aufzaehlungvier{Für je zwei Elemente
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt 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 }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{ a
}
{ \geq }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ a + c
}
{ \geq }{ b + c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{ a , b , c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}{Aus
\mavergleichskette
{\vergleichskette
{ a
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ a b
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{ a, b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}
}
Die rationalen Zahlen $\Q$ als auch die reellen Zahlen $\R$ bilden mit den natürlichen Vergleichsordnungen einen angeordneten Körper. Im Zahlenstrahl bedeutet
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
dass $a$ mindestens so weit rechts wie $b$ liegt. Die ersten beiden Eigenschaften drücken aus, dass auf $K$ eine \stichwort {totale} {}
\zusatzklammer {oder \stichwort {lineare} {}} {} {}
\stichwort {Ordnung} {} vorliegt; die in (2) beschriebene Eigenschaft heißt Transitivität.
Statt
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man auch
\mavergleichskette
{\vergleichskette
{b
}
{ < }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\anfuehrung{kleiner als}{}} {} {}
und statt
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man auch
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ein Element
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem angeordneten Körper 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 gleich $0$. 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}{.}
{Angeordneter Körper/Elementare Eigenschaften/3/Fakt}
{Lemma}
{}
{
In einem
\definitionsverweis {angeordneten Körper}{}{}
gelten die folgenden Eigenschaften.
\aufzaehlungzweireihe {\itemfuenf {
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{a-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{a +c
}
{ \geq }{b+d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} } {\itemfuenf {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
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} }
{ Siehe Aufgabe 5.5. }
\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 5.8, Aufgabe 5.37, Aufgabe 5.9, Aufgabe 5.10 und Aufgabe 5.11.
Wir besprechen nun eine weitere Anordungseigenschaft der reellen Zahlen, das sogenannte \stichwort {Archimedes-Axiom} {.} Um dieses formulieren zu können, müssen wir uns zunächst klar machen, dass in jedem Körper $K$ jede natürliche Zahl $n$ eine sinnvolle und eindeutige Interpretation hat. Dies ist nicht selbstverständlich, da ja in der Axiomatik eines Körpers zwar eine $0$ und eine $1$ vorkommt, aber keine $2,3, ...$. Wir legen daher einfach über die Addition im Körper die Bedeutung dieser Zahlen fest, also
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} {1+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{3
}
{ = }{2+1
}
{ = }{1+1+1
}
{ }{
}
{ }{
}
}
{}{}{,}
u.s.w. Dabei kann passieren, dass eine positive natürliche Zahl in einem Körper gleich $0$ ist, im Körper mit zwei Elementen ist beispielsweise
\mavergleichskette
{\vergleichskette
{0
}
{ = }{2
}
{ = }{4
}
{ = }{6
}
{ = }{\ldots
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{1
}
{ = }{3
}
{ = }{5
}
{ = }{7
}
{ = }{\ldots
}
}
{}{}{.}
Eine negative ganze Zahlen
\mathl{-n}{} kann man in jedem Körper als das Negative
\zusatzklammer {im Körper} {} {}
von $n$ interpretieren. Bei einem angeordneten Körper $K$ ist aber die natürliche Abbildung
\maabb {} {\Z} {K
} {}
injektiv. Damit können wir das noch ausstehende Axiom formulieren.
\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} {}
\inputdefinition
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Dann heißt $K$ \definitionswort {archimedisch angeordnet}{,} wenn das folgende \definitionswort {Archimedische Axiom}{} gilt, d.h. wenn es zu jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine natürliche Zahl $n$ mit
\mavergleichskettedisp
{\vergleichskette
{n
}
{ \geq} {x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
Die reellen Zahlen \zusatzklammer {ebenso die rationalen Zahlen} {} {} erfüllen das Archimedische Axiom, sie bilden also einen archimedisch angeordneten Körper. Die folgenden Folgerungen aus dem Archimedes-Axiom gelten also für die reellen Zahlen. Wir werden sie direkt nur für die reellen Zahlen selbst formulieren, da man sogar jeden archimedisch angeordneten Körper als Unterkörper der reellen Zahlen erhalten kann. In Aufgabe 6.23 wird ein angeordneter Körper beschrieben, der nicht archimedisch angeordnet ist. Aufgrund von Aufgabe 5.13 enthält ein angeordneter Körper nicht nur die ganzen Zahlen, sondern auch die rationalen Zahlen.
\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 {}
}
{
(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 5.2 (6)
auch
\mavergleichskette
{\vergleichskette
{nx
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für (2) und (3) siehe
Aufgabe 5.21.
\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
\mathl{{ \left\{ x \in \R \mid x \geq a \right\} }}{.} Ferner verwendet man Schreibweisen wie
\mathdisp {\R_+,\, \R_-,\, \R_{\geq 0} = \R_+^0,\, \R_{\leq 0} = \R_-^0} { }
oder Ähnliches.
Für die reellen Zahlen bilden die ganzzahligen Intervalle
\mathbed {[n,n+1[} {}
{n \in \Z} {}
{} {} {} {,}
eine disjunkte \stichwort {Überdeckung} {.} Deshalb ist die folgende Definition sinnvoll.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Floor_function.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Floor function.svg } {} {Omegatron} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Zu einer
\definitionsverweis {reellen Zahl}{}{}
$x$ ist die \definitionswort {Gaußklammer}{}
\mathl{\left \lfloor x \right \rfloor}{} durch
\mathdisp {\left \lfloor x \right \rfloor = n, \text{ falls } x \in [n,n+1[ \text{ und } n \in \Z} { , }
definiert.
}
Die Anordnungseigenschaften erlauben es auch, von wachsenden und fallenden Funktionen zu sprechen.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Intervall}{}{}
und
\maabbdisp {f} {I} {\R
} {}
eine
\definitionsverweis {Funktion}{}{.}
Dann heißt $f$ \definitionswort {wachsend}{,} wenn
\mathdisp {f(x') \geq f(x) \text { für alle } x,x' \in I \text{ mit } x' \geq x \text{ gilt}} { , }
\definitionswort {streng wachsend}{,} wenn
\mathdisp {f(x') > f(x) \text { für alle } x,x' \in I \text{ mit } x'> x \text{ gilt}} { , }
\definitionswort {fallend}{,} wenn
\mathdisp {f(x') \leq f(x) \text { für alle } x,x' \in I \text{ mit } x' \geq x \text{ gilt}} { , }
\definitionswort {streng fallend}{,} wenn
\mathdisp {f(x') < f(x) \text { für alle } x,x' \in I \text{ mit } x'> x \text{ gilt}} { . }
}
\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 Gesamtabbildung
\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 5.23. }
\zwischenueberschrift{Bernoullische Ungleichung}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bernoulli_inequality.svg} }
\end{center}
\bildtext {Die Bernoullische Ungleichung für \mathlk{n =3}{.}} }
\bildlizenz { Bernoulli inequality.svg } {} {Oleg Alexandrov} {Commons} {gemeinfrei} {}
Die folgende Aussage heißt \stichwort {Bernoulli-Ungleichung} {.}
\inputfaktbeweis
{Reelle Zahlen/Bernoulli Ungleichung/Fakt}
{Satz}
{}
{
\faktsituation {Für jede reelle Zahl
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine natürliche Zahl $n$}
\faktfolgerung {gilt die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ (1+x)^n
}
{ \geq} { 1 +nx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
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.
\zwischenueberschrift{Die komplexen Zahlen}
Wir führen nun ausgehend von den reellen Zahlen die komplexen Zahlen ein. Zwar haben wir noch nicht alle Eigenschaften der reellen Zahlen kennengelernt, insbesondere haben wir noch nicht die Vollständigkeit diskutiert, die $\R$ von $\Q$ unterscheidet, doch ist dies für die Konstruktion von ${\mathbb C}$ unerheblich. Verwenden werden weiter unten, dass jede nichtnegative reelle Zahl eine eindeutige Quadratwurzel besitzt. Damit haben wir alle für die Anfängervorlesungen relevanten Zahlenbereiche zur Verfügung.
\inputdefinition
{}
{
Die Menge $\R^2$ mit
\mathkor {} {0 \defeq (0,0)} {und} {1 \defeq (1,0)} {,}
mit der komponentenweisen Addition und der durch
\mavergleichskettedisp
{\vergleichskette
{ (a,b) \cdot (c,d)
}
{ \defeq} { (ac-bd, ad+bc)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definierten Multiplikation nennt man \definitionswort {Körper der komplexen Zahlen}{.} Er wird mit
\mathdisp {{\mathbb C}} { }
bezeichnet.
}
Die Addition ist also einfach die vektorielle Addition im $\R^2$, während die Multiplikation eine neuartige Verknüpfung ist, die zwar numerisch einfach durchführbar ist, an die man sich aber dennoch gewöhnen muss. Wir werden in Korollar 21.8 (Analysis (Osnabrück 2021-2023)) noch eine geometrische Interpretation für die komplexe Multiplikation kennenlernen.
{Komplexe Zahlen/Körper/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {komplexen Zahlen}{}{}}
\faktfolgerung {bilden einen
\definitionsverweis {Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 5.32. }
Wir lösen uns von der Paarschreibweise und schreiben
\mavergleichskettedisp
{\vergleichskette
{ a+b { \mathrm i}
}
{ \defeq} { (a,b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere ist
\mavergleichskette
{\vergleichskette
{ { \mathrm i}
}
{ = }{ (0,1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
diese Zahl heißt \stichwort {imaginäre Einheit} {.} Diese Zahl hat die wichtige Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ { \mathrm i}^2
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus dieser Eigenschaft ergeben sich sämtliche algebraischen Eigenschaften der komplexen Zahlen durch die Körpergesetze. So kann man sich auch die obige Multiplikationsregel merken, es ist ja
\mavergleichskettedisp
{\vergleichskette
{ (a+b { \mathrm i} )(c+d { \mathrm i} )
}
{ =} { ac+ad { \mathrm i} +b { \mathrm i} c+b { \mathrm i} d { \mathrm i}
}
{ =} { ac+bd { \mathrm i}^2 +(ad+bc) { \mathrm i}
}
{ =} { ac-bd +(ad+bc) { \mathrm i} }
{ } {
}
}
{}{}{.}
Wir fassen eine reelle Zahl $a$ als die komplexe Zahl
\mavergleichskette
{\vergleichskette
{ a+0 { \mathrm i}
}
{ = }{ (a,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf. In diesem Sinne ist
\mavergleichskette
{\vergleichskette
{\R
}
{ \subset }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist gleichgültig, ob man zwei reelle Zahlen als reelle Zahlen oder als komplexe Zahlen addiert oder multipliziert.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {komplexen Zahl}{}{}
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { a+b { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{
\operatorname{Re} \, { \left( z \right) }
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \definitionswort {Realteil}{} von $z$ und
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ =} { b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt der \definitionswort {Imaginärteil}{} von $z$.
}
Man sollte sich allerdings die Menge der komplexen Zahlen nicht als etwas vorstellen, was weniger real als andere Zahlensysteme ist. Die Konstruktion der komplexen Zahlen aus den reellen Zahlen ist bei Weitem einfacher als die Konstruktion der reellen Zahlen aus den rationalen Zahlen. Allerdings war es historisch ein langer Prozess, bis die komplexen Zahlen als Zahlen anerkannt wurden; das Irreale daran ist, dass sie einen Körper bilden, der nicht angeordnet werden kann, und dass es sich daher scheinbar um keine Größen handelt, mit denen man sinnvollerweise etwas messen kann.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Complex_number_illustration.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Complex number illustration.svg } {} {Wolfkeeper} {en. Wikipedia} {CC-by-sa 3.0} {}
Man kann sich die komplexen Zahlen als die Punkte in einer Ebene vorstellen; für die additive Struktur gilt ja einfach
\mavergleichskette
{\vergleichskette
{ {\mathbb C}
}
{ = }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In diesem Zusammenhang spricht man von der \stichwort {Gaussschen Zahlenebene} {.} Die horizontale Achse nennt man dann die \stichwort {reelle Achse} {} und die vertikale Achse die \stichwort {imaginäre Achse} {.}
{Komplexe Zahlen/Real und Imaginärteil/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {\definitionsverweis {Real}{}{-}
und
\definitionsverweis {Imaginärteil}{}{}
von
\definitionsverweis {komplexen Zahlen}{}{}
erfüllen folgende Eigenschaften
\zusatzklammer {für
\mathkork {} {z} {und} {w} {}
aus ${\mathbb C}$} {} {.}}
\faktfolgerung {\aufzaehlungfuenf{Es ist
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) } + \operatorname{Im} \, { \left( z \right) } { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z+w \right) }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } +
\operatorname{Re} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z+w \right) }
}
{ = }{ \operatorname{Im} \, { \left( z \right) } + \operatorname{Im} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathdisp {\operatorname{Re} \, { \left( rz \right) } =r
\operatorname{Re} \, { \left( z \right) } \text{ und } \operatorname{Im} \, { \left( rz \right) } =r \operatorname{Im} \, { \left( z \right) }} { . }
}{Es ist
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, und dies ist genau dann der Fall, wenn
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 5.34. }
\inputdefinition
{}
{
Die \definitionsverweis {Abbildung}{}{} \maabbeledisp {} {{\mathbb C}} {{\mathbb C} } {z = a+b { \mathrm i} } { \overline{ z } \defeq a-b { \mathrm i} } {,} heißt \definitionswort {komplexe Konjugation}{.}
}
Zu $z$ heißt $\overline{ z }$ die \stichwort {konjugiert-komplexe Zahl} {} von $z$. Geometrisch betrachtet ist die komplexe Konjugation zu
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einfach die Achsenspiegelung an der reellen Achse.
{Komplexe Konjugation/Rechenregeln/Fakt}
{Lemma}
{}
{
\faktsituation {Für die
\definitionsverweis {komplexe Konjugation}{}{}
gelten die folgenden Rechenregeln
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{z,w
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}}
\faktfolgerung {\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z+w }
}
{ = }{ \overline{ z } + \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ -z }
}
{ = }{ - \overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z \cdot w }
}
{ = }{ \overline{ z } \cdot \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \overline{ 1/z }
}
{ = }{ 1/\overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ \overline{ z } }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 5.41. }
{Komplexe Zahlen/Konjugation/Realteil Imaginärteil/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Für eine
\definitionsverweis {komplexe Zahl}{}{}
$z$ gelten die folgenden Beziehungen.}
\faktfolgerung {\aufzaehlungdrei{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } - \operatorname{Im} \, { \left( z \right) } { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z \right) }
}
{ = }{ \frac{z+ \overline{ z } }{2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ = }{ \frac{z - \overline{ z } }{2 { \mathrm i} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 5.34. }
Das Quadrat $d^2$ einer reellen Zahl ist stets nichtnegativ, und die Summe von zwei nichtnegativen reellen Zahlen ist wieder nichtnegativ. Zu einer nichtnegativen reellen Zahl $c$ gibt es eine eindeutige nichtnegative \stichwort {Quadratwurzel} {} $\sqrt{c}$, siehe
Aufgabe 8.9 \zusatzklammer {das werden wir später beweisen.} {} {}
Daher liefert folgende Definition eine wohldefinierte nichtnegative reelle Zahl.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {komplexen Zahl}{}{}
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {a+b { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist der \definitionswort {Betrag}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { z }
}
{ =} { \sqrt{a^2+b^2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}
Der Betrag einer komplexen Zahl $z$ ist aufgrund des \stichwort {Satzes des Pythagoras} {} der Abstand von $z$ zum Nullpunkt
\mavergleichskette
{\vergleichskette
{0
}
{ = }{ (0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Insgesamt ist der Betrag eine Abbildung
\maabbeledisp {} {{\mathbb C}} {\R_{\geq 0}
} {z} { \betrag { z }
} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Eulers_formula.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Euler's formula.svg } {} {Wereon} {Commons} {CC-by-sa 3.0} {}
Die Menge aller komplexen Zahlen mit einem bestimmten Betrag bilden einen Kreis mit dem Nullpunkt als Mittelpunkt und mit dem Betrag als Radius. Insbesondere bilden alle komplexen Zahlen mit dem Betrag $1$ den \stichwort {komplexen Einheitskreis} {.}
\inputfaktbeweis
{Komplexe Zahlen/Rechenregeln für Betrag/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Für den
\definitionsverweis {Betrag}{}{}
von
\definitionsverweis {komplexen Zahlen}{}{}
gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ \sqrt{ z \ \overline{ z } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für reelles $z$ stimmen reeller und komplexer Betrag überein.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ \betrag { \overline{ z } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { zw }
}
{ = }{ \betrag { z } \cdot \betrag { w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \betrag { 1/z }
}
{ = }{ 1/\betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag {
\operatorname{Re} \, { \left( z \right) } }, \betrag { \operatorname{Im} \, { \left( z \right) } }
}
{ \leq }{ \betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z+w }
}
{ \leq }{ \betrag { z } + \betrag { w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {Dreiecksungleichung} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir zeigen die Dreiecksungleichung, für die anderen Aussagen siehe
Aufgabe 5.36.
Zunächst gilt nach (7) für jede komplexe Zahl $u$ die Abschätzung
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( u \right) }
}
{ \leq }{ \betrag { u }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{
\operatorname{Re} \, { \left( z \overline{ w } \right) }
}
{ \leq} { \betrag { z } \betrag { w }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und somit ist
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { z+w } ^2
}
{ =} { (z+w)( \overline{ z } + \overline{ w } )
}
{ =} { z \overline{ z } + z \overline{ w } + w \overline{ z } + w \overline{ w }
}
{ =} { \betrag { z }^2 + 2
\operatorname{Re} \, { \left( z \overline{ w } \right) } + \betrag { w } ^2
}
{ \leq} { \betrag { z }^2 + 2 \betrag { z } \betrag { w } + \betrag { w } ^2
}
}
{
\vergleichskettefortsetzungalign
{ =} { ( \betrag { z } + \betrag { w } )^2
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Durch Wurzelziehen ergibt sich die gewünschte Abschätzung.