Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 3/latex
\setcounter{section}{3}
In dieser Vorlesung besprechen wir Körper, das sind kommutative Ringe, in denen jedes von $0$ verschiedene Element ein Inverses \zusatzklammer {bezüglich der Multiplikation} {} {} besitzt. Solche Elemente nennt man Einheiten. Als einen wichtigen Körper führen wir die komplexen Zahlen ein.
\zwischenueberschrift{Einheiten}
\inputdefinition
{}
{
Ein Element $u$ in einem
\definitionsverweis {Ring}{}{}
$R$ heißt \definitionswort {Einheit}{,} wenn es ein Element
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ uv
}
{ =} { vu
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
Das Element $v$ mit der Eigenschaft
\mavergleichskette
{\vergleichskette
{ uv
}
{ = }{ vu
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
ist dabei eindeutig bestimmt. Hat nämlich auch $w$ die Eigenschaft
\mavergleichskette
{\vergleichskette
{ uw
}
{ = }{ wu
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist
\mavergleichskettedisp
{\vergleichskette
{ v
}
{ =} { v 1
}
{ =} { v (u w)
}
{ =} { (v u) w
}
{ =} { 1w
}
}
{
\vergleichskettefortsetzung
{ =} { w
}
{ } {}
{ } {}
{ } {}
}{}{.}
Das im Falle der Existenz eindeutig bestimmte $v$ mit
\mavergleichskette
{\vergleichskette
{ uv
}
{ = }{ vu
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man das
\zusatzklammer {multiplikativ} {} {}
\definitionswortenp{Inverse}{} zu $u$ und bezeichnet es mit
\mathdisp {u^{-1}} { }
oder auch mit
\mathl{{ \frac{ 1 }{ u } }}{.} Im kommutativen Fall muss man natürlich nur die Eigenschaft
\mavergleichskette
{\vergleichskette
{ uv
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
überprüfen. Eine Einheit ist stets ein Nichtnullteiler. Aus
\mavergleichskette
{\vergleichskette
{ ux
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt ja sofort
\zusatzklammer {unter Verwendung von
Lemma 2.5 (1)} {} {}
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ u^{-1}ux
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputdefinition
{}
{
Die \definitionswort {Einheitengruppe}{} in einem \definitionsverweis {Ring}{}{} $R$ ist die Teilmenge aller \definitionsverweis {Einheiten}{}{} in $R$. Sie wird mit $R^{\times}$ bezeichnet.
}
Die Menge aller Einheiten in einem Ring bilden in der Tat eine Gruppe
\zusatzklammer {bezüglich der Multiplikation mit $1$ als neutralem Element} {} {.}
Wenn nämlich
\mathkor {} {v} {und} {w} {}
die Inversen
\mathkor {} {v^{-1}} {und} {w^{-1}} {}
haben, so ist das Inverse von $vw$ gleich
\mathl{w^{-1}v^{-1}}{} und somit ist das Produkt von zwei Einheiten wieder eine Einheit.
Zu einer Einheit
\mavergleichskette
{\vergleichskette
{ u
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
machen auch Potenzen mit einem negativen Exponenten Sinn, d.h. es ist dann $u^n$ für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert. Die Zahl $-1$
\zusatzklammer {also das Negative zu $1$} {} {}
ist stets eine Einheit, da ja
\zusatzklammer {nach
Lemma 2.5 (3)} {} {}
\mavergleichskette
{\vergleichskette
{ (-1)(-1)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Bei $\Z$ besteht die Einheitengruppe aus diesen beiden Elementen, also
\mavergleichskette
{\vergleichskette
{ \Z^{\times}
}
{ = }{ \{1,-1\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Null ist mit der Ausnahme des Nullrings nie eine Einheit.
\inputbeispiel{}
{
Wir betrachten den Ring
\mathl{\Z/(5)}{.} Die Elemente
\mathkor {} {1} {und} {4=-1} {}
sind wie in jedem Ring
\definitionsverweis {Einheiten}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{2 \cdot 3
}
{ =} {6
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
sind
\mathkor {} {2} {und} {3} {}
invers zueinander und insbesondere Einheiten. Die Einheitengruppe ist also
\mavergleichskette
{\vergleichskette
{ \{1,2,3,4\}
}
{ = }{ \Z/(5) \setminus \{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mathl{\Z/(12)}{} sind wieder
\mathkor {} {1} {und} {11=-1} {}
Einheiten. Ferner sind wegen
\mavergleichskettedisp
{\vergleichskette
{5 \cdot 5
}
{ =} {25
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{7 \cdot 7
}
{ =} {49
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
auch
\mathkor {} {5} {und} {7} {}
Einheiten. Die anderen acht Zahlen sind keine Einheiten.
}
Für eine Einheit ist auch die \stichwort {Bruchschreibweise} {} erlaubt und gebräuchlich. D.h. wenn $u$ eine Einheit ist und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beliebig, so setzt man
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ u } }
}
{ =} { xu^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
Wie gesagt, der Nenner muss eine Einheit sein!
Wenn außer der Null alle Elemente Einheiten sind, so verdient das einen eigenen Namen, wovon der folgende Abschnitt handelt.
\zwischenueberschrift{Körper}
Viele wichtige Zahlenbereiche wie \mathkor {} {\Q} {und} {\R} {} haben die Eigenschaft, dass man durch jede Zahl \zusatzgs {mit der Ausnahme der Null!} {} auch dividieren darf. Dies wird durch den Begriff des Körpers präzisiert.
\inputdefinition
{}
{
Ein
\definitionsverweis {kommutativer Ring}{}{}
$R$ heißt \definitionswort {Körper}{,} wenn
\mavergleichskette
{\vergleichskette
{R
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und wenn jedes von $0$ verschiedene Element ein multiplikatives Inverses besitzt.
}
Es wird also explizit gefordert, dass
\mavergleichskette
{\vergleichskette
{1
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und dass jedes von $0$ verschiedene Element eine Einheit ist. Die rationalen Zahlen $\Q$ und die reellen Zahlen $\R$ bilden einen Körper, die ganzen Zahlen dagegen nicht. Im obigen Beispiel haben wir gesehen, dass
\mathl{\Z/(5)}{} ein Körper ist, aber
\mathl{\Z/(12)}{} nicht. Wir werden im Laufe dieser Vorlesung noch viele weitere Körper kennenlernen. Einen Körper kann man auch charakterisieren als einen kommutativen Ring, bei der die von $0$ verschiedenen Elemente eine Gruppe
\zusatzklammer {mit der Multiplikation als Verknüpfung} {} {}
bilden.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.} Ein
\definitionsverweis {Unterring}{}{}
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
der zugleich ein Körper ist, heißt \definitionswort {Unterkörper}{} von $K$.
}
Beispielsweise ist $\Q$ ein Unterkörper von $\R$. Wenn ein Unterring
\mavergleichskette
{\vergleichskette
{ R
}
{ \subseteq }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem Körper vorliegt, so muss man nur noch schauen, ob $R$ mit jedem von null verschiedenen Element $x$ auch das Inverse $x^{-1}$
\zusatzklammer {das in $K$ existiert} {} {}
enthält. Bei einem Unterring
\mavergleichskette
{\vergleichskette
{ R
}
{ \subseteq }{ S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $R$ ein Körper ist, aber $S$ nicht, so spricht man nicht von einem Unterkörper. Die Situation, wo ein Körper in einem anderen Körper liegt, wird als Körpererweiterung bezeichnet.
\inputdefinition
{}
{
Es sei $L$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Unterkörper}{}{}
von $L$. Dann heißt $L$ ein \definitionswort {Erweiterungskörper}{}
\zusatzklammer {oder \definitionswort {Oberkörper}{}} {} {}
von $K$ und die Inklusion
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt eine \definitionswort {Körpererweiterung}{.}
}
\zwischenueberschrift{Komplexe Zahlen}
Die Produktmenge
\mavergleichskette
{\vergleichskette
{ \R^2
}
{ = }{ \R \times \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist mit komponentenweiser Addition und komponentenweiser Multiplikation ein kommutativer Ring
\zusatzklammer {wobei \mathlk{(0,0)}{} das Nullelement und \mathlk{(1,1)}{} das Einselement ist} {} {.}
Es handelt sich aber nicht um einen Körper, da beispielsweise
\mavergleichskette
{\vergleichskette
{ (1,0) \cdot (0,1)
}
{ = }{ (0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigt, dass es darin Nullteiler gibt. Allerdings kann man $\R^2$ mit einer anderen Multiplikation zu einem Körper machen.
\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.
{Komplexe Zahlen/Körper/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {komplexen Zahlen}{}{}}
\faktfolgerung {bilden einen
\definitionsverweis {Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.11. }
Hierbei sind nur das Assoziativgesetz für die Multiplikation, das Distibutivgesetz und die Existenz der Inversen nicht unmittelbar klar.
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
}
{ \subseteq }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Körpererweiterung. 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, das 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 3.16. }
\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 3.24. }
{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 *****. }
Das Quadrat
\mathl{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 nach
Fakt *****
eine eindeutige nichtnegative \stichwort {Quadratwurzel} {} $\sqrt{c}$. 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} {.} Es sei hier erwähnt, dass das Produkt von zwei komplexen Zahlen auf dem Einheitskreis sich ergibt, indem man die zugehörigen Winkel, gemessen von der positiven reellen Achse aus gegen den Uhrzeigersinn, addiert.
{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 3.18.
Zunächst gilt nach (5) 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
}
{ } {}
{ } {}
{ } {}
}
{}{.}