Absolutbetrag komplexer Zahlen

Der Absolutbetrag oder einfach Betrag einer komplexen Zahl $z=x+\i y$, geschrieben $|z|$ ist die folgende nichtnegative reelle Zahl:

$|z|=\sqrt{z\cdot \overline {z}}=\sqrt{x^2+y^2}$

Mit dem Absolutbetrag erhalten wir auch eine einfache Formel für $\dfrac 1 z$:

Seien $z=x+\i y$, $z_1=x_1+\i y_1$ und $z_2=x_2+\i y_2$ komplexe Zahlen, dann gilt:

Der Absolutbetrag ist damit eine Norm in den komplexen Zahlen. Diese kann man also als normierten Vektorraum und natürlich als metrischen Raum auffassen.

Vorbemerkung: Da wir es bei Beträgen mit nichtnegativen reellen Zahlen zu tun haben, bleiben Ungleichungsrelationen beim Wurzelziehen erhalten. Wir werden darauf im Beweis nicht explizit hinweisen.

i. $|z|=\sqrt{x^2+y^2}$. Wenn $z\neq 0$ ist $x$ oder $y$ verschieden von $0$, womit die rechte Seite verschieden von $0$ ist.

ii. Unter Benutzung von Satz 5228C erhalten wir $|z_1\cdot z_2|=\sqrt{(z_1\cdot z_2)\overline{(z_1\cdot z_2)}}$ $=\sqrt{(z_1\cdot\overline{z_1})(z_2\cdot\overline{z_2})}=|z_1|\cdot |z_2|$

iii. $|z|^2=|x+\i y|^2$ $=|x|^2+|y|^2\geq \max(|x|,|y|)^2=\max(|\Re(z)|,|\Im(z)|)$.

$|z|^2=|x+\i y|^2$ $=|x|^2+|y|^2$ $\leq|x|^2+|y|^2+2|x||y|$ $=(|x|+|y|)^2=(|\Re(z)|+|\Im(z)|)^2$.

iv. Zuerst eine kleine Vorüberlegung:

$|z_1\overlineI{z_2}+z_2\overlineI{z_1}|=|z_1\overlineI{z_2}+\overline{z_1\overlineI{z_2}}|$ (Satz 5228C)

$=2|\Re(z_1\overlineI{z_2})|$ (Satz 5228D)

$\leq 2 |z_1\overlineI{z_2}|=2|z_1||z_2|$ (Satz 5228C sowie (iii) und $|z|=|\overlineI{z}|$). Also:

Und jetzt der eigentliche Beweis:

$|z_1+z_2|^2 = (z_1+z_2)(\overlineI{z_1+z_2})$

$=(z_1+z_2)(\overlineI{z_1}+\overlineI{z_2})$ (Satz 5228C)

$=|z_1\overlineI{z_1}+z_2\overlineI{z_2}+z_1\overlineI{z_2}+z_2\overlineI{z_1}|$ (ist als nichtnegative reelle Zahl ihrem Betrag gleich)

$=\ntxbraceI{ |z_1|^2+|z_2|^2+z_1\overlineI{z_2}+z_2\overlineI{z_1}}$

$\leq |z_1|^2+|z_2|^2+|z_1\overlineI{z_2}+z_2\overlineI{z_1}|$ (wegen der reellen Dreiecksungleichung)

$\leq |z_1|^2+|z_2|^2+2|z_1||z_2|$ (nach (1))

$=(|z_1|+|z_2|)^2$ $\qed$

Wir wollen jetzt untersuchen, was Betragsgleichheit für die komplexen Zahlen bedeutet. Dazu definieren wir eine Relation $~$ wie folgt:

zwei komplexe Zahlen sollen also in Relation stehen, wenn ihre Beträge gleich sind.

Man überzeugt sich schnell, dass es sich bei der Relation (2) um eine Äquivalenzrelation handelt.

Die Äquivalenzklassen dieser Relation sind alle komplexen Zahlen mit einem festen Betrag. Veranschaulicht man sich diese in der Gaußschen Zahlenebene, dann handelt es sich um konzentrische Kreise um den Ursprung. Zwei komplexe Zahlen sind also unter der Relation (2) äquivalent, wenn sie auf einem Kreis mit dem gleichen Radius liegen. (Der Kreis mit dem Radius 0 ist dabei der entartete Fall. Er entspricht dem Ursprung und der Äquivalenzklasse, die nur die komplexe Zahl 0 enthält.) Damit befinden sich betragsgleiche komplexe Zahlen auf einem Kreis um den Ursprung der Zahlenebene mit dem gleichen Radius (der dem Betrag der Zahlen entspricht).