Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 9

Die eulersche Zahl e

Wir besprechen eine Beschreibung der sogenannten eulerschen Zahl ${}e$.

Lemma

Die Intervalle ${}I_{n}=[a_{n},b_{n}]$, ${}n\geq 1$, mit den Grenzen

$a_{n}={\left(1+{\frac {1}{n}}\right)}^{n}{\text{ und }}b_{n}={\left(1+{\frac {1}{n}}\right)}^{n+1}$

definieren eine Intervallschachtelung.

Beweis

Wegen ${}1+{\frac {1}{n}}>1$ ist klar, dass

${}a_{n}<a_{n}{\left(1+{\frac {1}{n}}\right)}=b_{n}\,$

ist, sodass also wirklich Intervalle vorliegen.
Um zu zeigen, dass die Intervalle ineinander liegen, zeigen wir, dass die unteren Grenzen wachsend und die oberen Grenzen fallend sind. Wir betrachten zuerst ${}{\left(a_{n}\right)}_{n\in \mathbb {N} }$. Aufgrund der Bernoulli-Ungleichung gilt

${}{\left(1-{\frac {1}{n^{2}}}\right)}^{n}\geq 1-n{\frac {1}{n^{2}}}=1-{\frac {1}{n}}\,.$

Dies schreiben wir als

${}{\frac {n-1}{n}}\leq {\left({\frac {n^{2}-1}{n^{2}}}\right)}^{n}={\left({\frac {n+1}{n}}\cdot {\frac {n-1}{n}}\right)}^{n}={\left({\frac {n+1}{n}}\right)}^{n}{\left({\frac {n-1}{n}}\right)}^{n}\,.$

Daraus ergibt sich durch beidseitige Multiplikation mit ${}{\left({\frac {n}{n-1}}\right)}^{n}$ (es sei ${}n\geq 2$.) die Abschätzung

${}a_{n-1}={\left({\frac {n}{n-1}}\right)}^{n-1}\leq {\left({\frac {n+1}{n}}\right)}^{n}=a_{n}\,.$

Für die oberen Intervallgrenzen ${}b_{n}$ ergibt die Bernoullische Ungleichung die Abschätzung

${}{\left(1+{\frac {1}{n^{2}-1}}\right)}^{n}\geq 1+{\frac {n}{n^{2}-1}}\geq 1+{\frac {1}{n}}\,.$

Daraus folgt

${}1+{\frac {1}{n}}\leq {\left({\frac {n^{2}}{n^{2}-1}}\right)}^{n}={\left({\frac {n}{n-1}}\cdot {\frac {n}{n+1}}\right)}^{n}={\left({\frac {n}{n-1}}\right)^{n}\left({\frac {n}{n+1}}\right)}^{n}\,.$

Durch beidseitige Multiplikation mit ${}{\left({\frac {n+1}{n}}\right)}^{n}$ ergibt sich

${}b_{n}={\left({\frac {n+1}{n}}\right)}^{n+1}\leq {\left({\frac {n}{n-1}}\right)}^{n}=b_{n-1}\,.$

Wir betrachten schließlich die Intervalllängen. Diese sind

${}b_{n}-a_{n}=a_{n}{\left(1+{\frac {1}{n}}\right)}-a_{n}=a_{n}{\frac {1}{n}}\leq {\frac {b_{1}}{n}}\,$

und konvergieren somit gegen ${}0$.
  Also liegt insgesamt eine Intervallschachtelung vor.

$\Box$

Leonhard Euler (1707-1783)

Durch diese Intervallschachtelung ist aufgrund von Satz 8.12 eindeutig eine reelle Zahl bestimmt.

Definition

Die reelle Zahl

${}e:=\lim _{n\rightarrow \infty }{\left(1+{\frac {1}{n}}\right)}^{n}\,$

heißt Eulersche Zahl.

Ihr numerischer Wert ist

${}e=2{,}718281828459{\ldots }\,.$

Wir werden bei der Behandlung der Exponentialfunktion auf die eulersche Zahl zurückkommen und eine andere Beschreibung dafür kennenlernen.

Die komplexen Zahlen

In dieser Vorlesung führen wir aufbauend auf die reellen Zahlen die komplexen Zahlen ein. Damit haben wir alle für die Anfängervorlesungen relevanten Zahlbereiche zur Verfügung. Die Konstruktion der reellen Zahlen aus den rationalen Zahlen war einigermaßen kompliziert, obwohl die reellen Zahlen scheinbar vertraut sind. Dagegen ist die Einführung der komplexen Zahlen einfach, obwohl sie zunächst nicht vertraut aussehen.

Definition

Die Menge ${}\mathbb {R} ^{2}$ mit ${}0:=(0,0)$ und ${}1:=(1,0)$, mit der komponentenweisen Addition und der durch

${}(a,b)\cdot (c,d):=(ac-bd,ad+bc)\,$

definierten Multiplikation nennt man Körper der komplexen Zahlen. Er wird mit

${\mathbb {C} }$

bezeichnet.

Die Addition ist also einfach die vektorielle Addition im ${}\mathbb {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 Fakt ***** noch eine geometrische Interpretation für die komplexe Multiplikation kennenlernen.

Lemma

Die komplexen Zahlen

bilden einen Körper.

Beweis

Siehe Aufgabe 9.5.

$\Box$

Wir lösen uns von der Paarschreibweise und schreiben

${}a+b{\mathrm {i} }:=(a,b)\,.$

Insbesondere ist ${}{\mathrm {i} }=(0,1)$, diese Zahl heißt imaginäre Einheit. Diese Zahl hat die wichtige Eigenschaft

${}{\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

${}(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 ${}a+0{\mathrm {i} }=(a,0)$ auf. In diesem Sinne ist ${}\mathbb {R} \subset {\mathbb {C} }$. Es ist gleichgültig, ob man zwei reelle Zahlen als reelle Zahlen oder als komplexe Zahlen addiert oder multipliziert.

Definition

Zu einer komplexen Zahl

${}z=a+b{\mathrm {i} }\,$

heißt

${}\operatorname {Re} \,{\left(z\right)}=a\,$

der Realteil von ${}z$ und

${}\operatorname {Im} \,{\left(z\right)}=b\,$

heißt der 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.

Man kann sich die komplexen Zahlen als die Punkte in einer Ebene vorstellen; für die additive Struktur gilt ja einfach ${}{\mathbb {C} }=\mathbb {R} ^{2}$. In diesem Zusammenhang spricht man von der Gaussschen Zahlenebene. Die horizontale Achse nennt man dann die reelle Achse und die vertikale Achse die imaginäre Achse.

Lemma

Real- und Imaginärteil von komplexen Zahlen erfüllen folgende Eigenschaften (für ${}z$ und ${}w$ aus ${}{\mathbb {C} }$).

1. Es ist ${}z=\operatorname {Re} \,{\left(z\right)}+\operatorname {Im} \,{\left(z\right)}{\mathrm {i} }$.
2. Es ist ${}\operatorname {Re} \,{\left(z+w\right)}=\operatorname {Re} \,{\left(z\right)}+\operatorname {Re} \,{\left(w\right)}$.
3. Es ist ${}\operatorname {Im} \,{\left(z+w\right)}=\operatorname {Im} \,{\left(z\right)}+\operatorname {Im} \,{\left(w\right)}$.
4. Für ${}r\in \mathbb {R}$ ist

   $\operatorname {Re} \,{\left(rz\right)}=r\operatorname {Re} \,{\left(z\right)}{\text{ und }}\operatorname {Im} \,{\left(rz\right)}=r\operatorname {Im} \,{\left(z\right)}.$

5. Es ist ${}z=\operatorname {Re} \,{\left(z\right)}$ genau dann, wenn ${}z\in \mathbb {R}$ ist, und dies ist genau dann der Fall, wenn ${}\operatorname {Im} \,{\left(z\right)}=0$ ist.

Beweis

Siehe Aufgabe 9.7.

$\Box$

Definition

Die Abbildung

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z=a+b{\mathrm {i} }\longmapsto {\overline {z}}:=a-b{\mathrm {i} },$

heißt komplexe Konjugation.

Zu ${}z$ heißt ${}{\overline {z}}$ die konjugiert-komplexe Zahl von ${}z$. Geometrisch betrachtet ist die komplexe Konjugation zu ${}z\in {\mathbb {C} }$ einfach die Achsenspiegelung an der reellen Achse.

Lemma

Für die komplexe Konjugation gelten die folgenden Rechenregeln (für beliebige ${}z,w\in {\mathbb {C} }$).

1. Es ist ${}{\overline {z+w}}={\overline {z}}+{\overline {w}}$.
2. Es ist ${}{\overline {-z}}=-{\overline {z}}$.
3. Es ist ${}{\overline {z\cdot w}}={\overline {z}}\cdot {\overline {w}}$.
4. Für ${}z\neq 0$ ist ${}{\overline {1/z}}=1/{\overline {z}}$.
5. Es ist ${}{\overline {\overline {z}}}=z$.
6. Es ist ${}{\overline {z}}=z$ genau dann, wenn ${}z\in \mathbb {R}$ ist.

Beweis

Siehe Aufgabe 9.13.

$\Box$

Lemma

Für eine komplexe Zahl ${}z$ gelten die folgenden Beziehungen.

1. Es ist ${}{\overline {z}}=\operatorname {Re} \,{\left(z\right)}-\operatorname {Im} \,{\left(z\right)}{\mathrm {i} }$.
2. Es ist ${}\operatorname {Re} \,{\left(z\right)}={\frac {z+{\overline {z}}}{2}}$.
3. Es ist ${}\operatorname {Im} \,{\left(z\right)}={\frac {z-{\overline {z}}}{2{\mathrm {i} }}}$.

Beweis

Siehe Aufgabe *****.

$\Box$

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 Quadratwurzel ${}{\sqrt {c}}$, siehe Aufgabe 8.7. Daher liefert folgende Definition eine wohldefinierte nichtnegative reelle Zahl.

Definition

Zu einer komplexen Zahl

${}z=a+b{\mathrm {i} }\,$

ist der Betrag durch

${}\vert {z}\vert ={\sqrt {a^{2}+b^{2}}}\,$

definiert.

Der Betrag einer komplexen Zahl ${}z$ ist aufgrund des Satzes des Pythagoras der Abstand von ${}z$ zum Nullpunkt ${}0=(0,0)$. Insgesamt ist der Betrag eine Abbildung

${\mathbb {C} }\longrightarrow \mathbb {R} _{\geq 0},\,z\longmapsto \vert {z}\vert .$

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 komplexen Einheitskreis. Die Zahlen auf dem komplexen Einheitskreis stehen durch die eulersche Formel in Beziehung zur komplexen Exponentialfunktion und zu den trigonometrischen Funktionen, siehe Satz 25.11 und Satz 29.11. 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.

Lemma

Für den Betrag von komplexen Zahlen gelten folgende Eigenschaften.

1. Es ist ${}\vert {z}\vert ={\sqrt {z\ {\overline {z}}}}$.
2. Für reelles ${}z$ stimmen reeller und komplexer Betrag überein.
3. Es ist ${}\vert {z}\vert =0$ genau dann, wenn ${}z=0$ ist.
4. Es ist ${}\vert {z}\vert =\vert {\overline {z}}\vert$.
5. Es ist ${}\vert {zw}\vert =\vert {z}\vert \cdot \vert {w}\vert$.
6. Für ${}z\neq 0$ ist ${}\vert {1/z}\vert =1/\vert {z}\vert$.
7. Es ist ${}\vert {\operatorname {Re} \,{\left(z\right)}}\vert ,\vert {\operatorname {Im} \,{\left(z\right)}}\vert \leq \vert {z}\vert$.
8. Es ist ${}\vert {z+w}\vert \leq \vert {z}\vert +\vert {w}\vert$ (Dreiecksungleichung).

Beweis

Wir zeigen die Dreiecksungleichung, für die anderen Aussagen siehe Aufgabe 9.9. Zunächst gilt nach (7) für jede komplexe Zahl ${}u$ die Abschätzung ${}\operatorname {Re} \,{\left(u\right)}\leq \vert {u}\vert$. Daher ist

${}\operatorname {Re} \,{\left(z{\overline {w}}\right)}\leq \vert {z}\vert \vert {w}\vert \,,$

und somit ist

${}{\begin{aligned}\vert {z+w}\vert ^{2}&=(z+w)({\overline {z}}+{\overline {w}})\\&=z{\overline {z}}+z{\overline {w}}+w{\overline {z}}+w{\overline {w}}\\&=\vert {z}\vert ^{2}+2\operatorname {Re} \,{\left(z{\overline {w}}\right)}+\vert {w}\vert ^{2}\\&\leq \vert {z}\vert ^{2}+2\vert {z}\vert \vert {w}\vert +\vert {w}\vert ^{2}\\&=(\vert {z}\vert +\vert {w}\vert )^{2}.\end{aligned}}$

Durch Wurzelziehen ergibt sich die gewünschte Abschätzung.

$\Box$

Quadratwurzeln von komplexen Zahlen

Die imaginäre Einheit ${}{\mathrm {i} }$ hat die wichtige Eigenschaft ${}{\mathrm {i} }^{2}=-1$. Das Negative von ${}{\mathrm {i} }$ besitzt die gleiche Eigenschaft, nämlich

${}(-{\mathrm {i} })^{2}=(-1)^{2}{\mathrm {i} }^{2}=-1\,.$

Damit gibt es zu jeder negativen reellen Zahl ${}-c$ (mit ${}c$ positiv) in ${}{\mathbb {C} }$ die beiden Quadratwurzeln ${}{\sqrt {c}}{\mathrm {i} }$ und ${}-{\sqrt {c}}{\mathrm {i} }$. Im folgenden Beispiel zeigen wir, dass nicht nur jede reelle Zahl in ${}{\mathbb {C} }$ eine Quadratwurzel besitzt, sondern überhaupt jede komplexe Zahl.

Beispiel

Es sei ${}z=a+b{\mathrm {i} }$ eine komplexe Zahl. Dann hat die komplexe Zahl

${}u={\frac {1}{\sqrt {2}}}{\left(\sigma {\sqrt {\vert {z}\vert +a}}+{\mathrm {i} }{\sqrt {\vert {z}\vert -a}}\right)}\,$

mit dem Vorzeichen

${}\sigma ={\begin{cases}1,{\text{ falls }}b\geq 0\,,\\-1{\text{ falls }}b<0\,,\end{cases}}\,$

die Eigenschaft

${}u^{2}=z\,.$

Insbesondere besitzt also ${}z$ zwei Quadratwurzeln, nämlich ${}u$ und ${}-u$, die bei ${}z=0$ zusammenfallen.

Wir zeigen dies für den Fall

${}b\geq 0\,.$

Dann ist

${}{\begin{aligned}u^{2}&={\left({\frac {1}{\sqrt {2}}}{\left({\sqrt {\vert {z}\vert +a}}+{\mathrm {i} }{\sqrt {\vert {z}\vert -a}}\right)}\right)}^{2}\\&={\frac {1}{2}}{\left(\vert {z}\vert +a-{\left(\vert {z}\vert -a\right)}+2{\mathrm {i} }{\sqrt {{\left(\vert {z}\vert +a\right)}{\left(\vert {z}\vert -a\right)}}}\right)}\\&={\frac {1}{2}}{\left(2a+2{\mathrm {i} }{\sqrt {\vert {z}\vert ^{2}-a^{2}}}\right)}\\&={\frac {1}{2}}{\left(2a+2{\mathrm {i} }{\sqrt {b^{2}}}\right)}\\&={\frac {1}{2}}{\left(2a+2{\mathrm {i} }b\right)}\\&=a+b{\mathrm {i} }.\end{aligned}}$

Daraus ergibt sich, dass innerhalb von ${}{\mathbb {C} }$ jede quadratische Gleichung

${}az^{2}+bz+c=0\,$

mit ${}a,b,c\in {\mathbb {C} },\,a\neq 0$, mindestens eine komplexe Lösung besitzt, siehe Aufgabe 9.14.

Ein wichtiger Satz, der sogenannte Fundamentalsatz der Algebra besagt, dass überhaupt jede polynomiale Gleichung

$a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots +a_{2}z^{2}+a_{1}z+a_{0}=0$

mit ${}a_{0},a_{1},\ldots ,a_{n}\in {\mathbb {C} }$ und mit ${}n\geq 1$ und ${}a_{n}\neq 0$ mindestens eine Lösung in ${}{\mathbb {C} }$ besitzt. D.h., dass jedes nichtkonstante Polynom über den komplexen Zahlen eine Nullstelle besitzt. Diesen Satz können wir zum jetzigen Zeitpunkt noch nicht beweisen.

<< | Kurs:Mathematik (Osnabrück 2009-2011)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)