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

Der große Umordnungssatz

Satz

Es sei ${}a_{i}$, ${}i\in I$, eine summierbare Familie von komplexen Zahlen mit der Summe ${}s$. Es sei ${}J$ eine weitere Indexmenge und zu jedem ${}j\in J$ sei eine Teilmenge ${}I_{j}\subseteq I$ gegeben mit ${}\bigcup _{j\in J}I_{j}=I$ und ${}I_{j}\cap I_{j'}=\emptyset$ für ${}j\neq j'$.

Dann sind die Teilfamilien ${}a_{i}$, ${}i\in I_{j}$, summierbar und für ihre Summen ${}s_{j}=\sum _{i\in I_{j}}a_{i}$ gilt, dass die Familie ${}s_{j}$, ${}j\in J$, summierbar ist mit

$s=\sum _{j\in J}s_{j}.$

Beweis

Die Summierbarkeit der Teilfamilien folgt aus Korollar 24.16. Es sei ${}\epsilon >0$ vorgegeben. Da die Ausgangsfamilie summierbar ist, gibt es eine endliche Teilmenge ${}E_{0}\subseteq I$ mit

${}\vert {a_{E}-s}\vert \leq \epsilon /2\,$

für alle endlichen Teilmengen ${}E\subseteq I$ mit ${}E_{0}\subseteq E$. Es gibt eine endliche Teilmenge ${}F_{0}\subseteq J$ derart, dass

$E_{0}\subseteq \bigcup _{j\in F_{0}}I_{j}$

ist. Wir behaupten, dass dieses ${}F_{0}$ für die Familie ${}s_{j}$ , ${}j\in J$, die Summationseigenschaft für ${}\epsilon$ erfüllt. Sei dazu ${}F\subseteq J$ mit ${}F_{0}\subseteq F$ endlich und ${}n={\#\left(F\right)}$. Da die Familien ${}a_{i}$ , ${}i\in I_{j}$, summierbar sind mit den Summen ${}s_{j}$, gibt es für jedes ${}j\in F$ ein endliches ${}G_{j,0}\subseteq I_{j}$ mit

${}\vert {a_{G_{j}}-s_{j}}\vert \leq \epsilon /2n\,$

für alle endlichen ${}G_{j}\subseteq I_{j}$ mit ${}G_{j,0}\subseteq G_{j}$. Wir wählen nun für jedes ${}j\in F$ ein solches ${}G_{j}$ so, dass zusätzlich ${}E_{0}\cap I_{j}\subseteq G_{j}$ gilt. Dann ist ${}E_{0}\subseteq E:=\bigcup _{j\in F}G_{j}$ und daher ${}\vert {\sum _{j\in F}a_{G_{j}}-s}\vert =\vert {\sum _{i\in E}a_{i}-s}\vert \leq \epsilon /2$. Somit haben wir insgesamt die Abschätzungen

${}{\begin{aligned}\vert {\sum _{j\in F}s_{j}-s}\vert &=\vert {\sum _{j\in F}{\left(s_{j}-a_{G_{j}}\right)}+\sum _{j\in F}a_{G_{j}}-s}\vert \\&\leq \sum _{j\in F}\vert {s_{j}-a_{G_{j}}}\vert +\vert {\sum _{j\in F}a_{G_{j}}-s}\vert \\&\leq n\cdot \epsilon /2n+\vert {\sum _{i\in E}a_{i}-s}\vert \\&\leq n\cdot \epsilon /2n+\epsilon /2\\&=\epsilon .\end{aligned}}$

$\Box$

Cauchy-Produkt von Reihen

Definition (Cauchy-Produkt)

Zu zwei Reihen ${}\sum _{i=0}^{\infty }a_{i}$ und ${}\sum _{j=0}^{\infty }b_{j}$ komplexer Zahlen heißt die Reihe

$\sum _{k=0}^{\infty }c_{k}{\text{ mit }}c_{k}=\sum _{i=0}^{k}a_{i}b_{k-i}$

das Cauchy-Produkt der beiden Reihen.

Lemma

Es seien

$\sum _{k=0}^{\infty }a_{k}{\text{ und }}\sum _{k=0}^{\infty }b_{k}$

zwei absolut konvergente Reihen komplexer Zahlen.

Dann ist auch das Cauchy-Produkt ${}\sum _{k=0}^{\infty }c_{k}$ absolut konvergent und für die Summe gilt

${}\sum _{k=0}^{\infty }c_{k}={\left(\sum _{k=0}^{\infty }a_{k}\right)}\cdot {\left(\sum _{k=0}^{\infty }b_{k}\right)}\,.$

Beweis

Wir müssen für die Partialsummen

$x_{n}=\sum _{i=0}^{n}a_{i},\,y_{n}=\sum _{j=0}^{n}b_{j}{\text{ und }}z_{n}=\sum _{k=0}^{n}c_{k}$

zeigen, dass ${}z_{n}$ gegen den Limes der Folge ${}{\left(x_{n}y_{n}\right)}_{n\in \mathbb {N} }$ konvergiert. Es ist

${}{\begin{aligned}\vert {z_{n}-x_{n}y_{n}}\vert &=\vert {\sum _{k=0}^{n}c_{k}-{\left(\sum _{i=0}^{n}a_{i}\right)}{\left(\sum _{j=0}^{n}b_{j}\right)}}\vert \\&=\vert {\sum _{0\leq i,j\leq n,\,i+j>n}a_{i}b_{j}}\vert \\&\leq \sum _{0\leq i,j\leq n,\,i+j>n}\vert {a_{i}}\vert \vert {b_{j}}\vert \\&\leq {\left(\sum _{n/2<i\leq n}\vert {a_{i}}\vert \right)}{\left(\sum _{j=0}^{n}\vert {b_{j}}\vert \right)}+{\left(\sum _{n/2<j\leq n}\vert {b_{j}}\vert \right)}{\left(\sum _{i=0}^{n}\vert {a_{i}}\vert \right)}\\&\leq {\left(\sum _{n/2<i\leq n}\vert {a_{i}}\vert \right)}{\left(\sum _{j=0}^{\infty }\vert {b_{j}}\vert \right)}+{\left(\sum _{n/2<j\leq n}\vert {b_{j}}\vert \right)}{\left(\sum _{i=0}^{\infty }\vert {a_{i}}\vert \right)}.\end{aligned}}$

Da die beiden Reihen absolut konvergieren, und ${}\sum _{n/2<i\leq n}\vert {a_{i}}\vert$ und ${}\sum _{n/2<j\leq n}\vert {b_{j}}\vert$ Nullfolgen sind (siehe Aufgabe *****), ist die rechte Seite insgesamt eine Nullfolge. Daher konvergiert die Folge ${}{\left(z_{n}\right)}_{n\in \mathbb {N} }$ gegen das Produkt der Grenzwerte. Die absolute Konvergenz folgt aus dem bisher Bewiesenen mit dem Majorantenkriterium aus der Abschätzung ${}\vert {c_{k}}\vert \leq \sum _{i=0}^{k}\vert {a_{i}}\vert \vert {b_{k-i}}\vert$.

$\Box$

Potenzreihen

Definition

Es sei ${}(c_{n})_{n\in \mathbb {N} }$ eine Folge von komplexen Zahlen und ${}z$ eine weitere komplexe Zahl. Dann heißt die Reihe

$\sum _{n=0}^{\infty }c_{n}z^{n}$

die Potenzreihe in ${}z$ zu den Koeffizienten ${}(c_{n})_{n\in \mathbb {N} }$.

Durch Wahl geeigneter Koeffizienten kann man jede Reihe als Potenzreihe zu einer fixierten Basis ${}z\in \mathbb {C}$ ansehen. Bei Potenzreihen ist es aber wichtig, dass man ${}z$ variieren lässt und dann die Potenzreihe im Konvergenzbereich eine Funktion in ${}z$ darstellt.

Eine wichtige Potenzreihe haben wir schon das letzte Mal kennengelernt, nämlich die geometrische Reihe ${}\sum _{n=0}^{\infty }z^{n}$, die für ${}\vert {z}\vert <1$ konvergiert und dort die Funktion ${}1/(1-z)$ darstellt. Eine weitere besonders wichtige Potenzreihe ist die Exponentialreihe, die für jede komplexe Zahl konvergiert und zur komplexen Exponentialfunktion führt.

Die Exponentialreihe und die komplexe Exponentialfunktion

Definition

Für jedes ${}z\in \mathbb {C}$ heißt die Reihe

$\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$

die Exponentialreihe in ${}z$.

Dies ist also die Reihe

$1+z+{\frac {z^{2}}{2}}+{\frac {z^{3}}{6}}+{\frac {z^{4}}{24}}+{\frac {z^{5}}{120}}+{\frac {z^{6}}{720}}+{\frac {z^{7}}{5040}}+\cdots .$

Satz

Für jedes ${}z\in \mathbb {C}$ ist die Exponentialreihe

$\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$

absolut konvergent.

Beweis

Für ${}z=0$ ist die Aussage richtig. Andernfalls betrachten wir den Quotienten

${}\vert {\frac {\frac {z^{n+1}}{(n+1)!}}{\frac {z^{n}}{n!}}}\vert =\vert {\frac {z}{n+1}}\vert ={\frac {\vert {z}\vert }{n+1}}\,.$

Dies ist für ${}n\geq 2\vert {z}\vert$ kleiner als ${}1/2$. Aus dem Quotientenkriterium folgt daher die Konvergenz.

$\Box$

Aufgrund dieser Eigenschaft können wir die komplexe Exponentialfunktion definieren.

Der Graph der reellen Exponentialfunktion

Definition

Die Abbildung

$\mathbb {C} \longrightarrow \mathbb {C} ,\,z\longmapsto \exp z:=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}},$

heißt (komplexe) Exponentialfunktion.

 Wir werden später sehen, dass diese Funktion für reelle Argumente die Exponentialfunktion zur Basis ${}\exp 1$ ist, und dass ${}\exp 1$ mit der früher eingeführten eulerschen Zahl ${}e$ übereinstimmt.

Satz

Für komplexe Zahlen ${}z,w\in \mathbb {C}$ gilt

${}\exp {\left(z+w\right)}=\exp z\cdot \exp w\,.$

Beweis

Das Cauchy-Produkt der beiden Exponentialreihen ist

$\sum _{n=0}^{\infty }c_{n}$

mit ${}c_{n}=\sum _{i=0}^{n}{\frac {z^{i}}{i!}}{\frac {w^{n-i}}{(n-i)!}}$. Diese Reihe ist nach Lemma 25.3 absolut konvergent und der Grenzwert ist das Produkt der beiden Grenzwerte. Andererseits ist der ${}n$-te Summand der Exponentialreihe von ${}z+w$ nach der allgemeinen binomischen Formel gleich

${}{\frac {(z+w)^{n}}{n!}}={\frac {1}{n!}}\sum _{i=0}^{n}{\binom {n}{i}}z^{i}w^{n-i}=c_{n}\,,$

so dass die beiden Seiten übereinstimmen.

$\Box$

Korollar

Die Exponentialfunktion

$\mathbb {C} \longrightarrow \mathbb {C} ,\,z\longmapsto \exp z,$

besitzt folgende Eigenschaften.

1. Es ist ${}\exp 0=1$.
2. Für jedes ${}z\in \mathbb {C}$ ist ${}\exp {\left(-z\right)}=(\exp z)^{-1}$. Insbesondere ist ${}\exp z\neq 0$.
3. Für ganze Zahlen ${}n\in \mathbb {Z}$ ist ${}\exp n=(\exp 1)^{n}$.
4. Für reelles ${}z$ ist ${}\exp z\in \mathbb {R} _{+}$.
5. Für reelle Zahlen ${}z>0$ ist ${}\exp z>1$ und für ${}z<0$ ist ${}\exp z<1$.
6. Die reelle Exponentialfunktion ist streng wachsend.

Beweis

(1) folgt direkt aus der Definition.
(2) folgt aus

${}\exp z\cdot \exp {\left(-z\right)}=\exp {\left(z-z\right)}=\exp 0=1\,$

aufgrund von Satz 25.8.
(3) folgt aus Satz 25.8 und (2).
(4). Der Wert der Exponentialreihe für eine reelle Zahl ist wieder reell, da die reellen Zahlen in ${}\mathbb {C}$ abgeschlossen sind. Die Nichtnegativität ergibt sich aus

${}\exp z=\exp {\left({\frac {z}{2}}+{\frac {z}{2}}\right)}=\exp {\frac {z}{2}}\cdot \exp {\frac {z}{2}}={\left(\exp {\frac {z}{2}}\right)}^{2}\geq 0\,.$

(5). Für reelles ${}x$ ist ${}\exp x\cdot \exp {\left(-x\right)}=1$, so dass nach (4) ein Faktor ${}\geq 1$ sein muss und der andere Faktor ${}\leq 1$. Für ${}x>0$ ist

${}\exp x=\sum _{n=0}^{\infty }{\frac {1}{n!}}x^{n}>\sum _{n=0}^{\infty }{\frac {1}{n!}}(-x)^{n}=\exp {\left(-x\right)}\,,$

da ja für gerades ${}n$ die Summationsglieder übereinstimmen und für ungerades ${}n$ die linke Seite größer als die rechte ist. Also ist ${}\exp x>1$.
(6). Für reelle ${}x>y$ ist ${}x-y>0$ und daher nach (5) ${}\exp {\left(x-y\right)}>1$, also

${}\exp x=\exp {\left(x-y+y\right)}=\exp {\left(x-y\right)}\exp y>\exp y\,.$

$\Box$

Die trigonometrischen Reihen

Definition

Für ${}z\in \mathbb {C}$ heißt

$\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n}}{(2n)!}}$

die Kosinusreihe und

$\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n+1}}{(2n+1)!}}$

die Sinusreihe zu ${}z$.

Durch Vergleich mit der Exponentialreihe ergibt sich sofort, dass diese beiden Reihen für jedes ${}z$ absolut konvergieren. Die zugehörigen Funktionen

$\cos z:=\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n}}{(2n)!}}{\text{ und }}\sin z=\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n+1}}{(2n+1)!}}$

heißen Sinus und Kosinus. Beide Funktionen stehen unmittelbar in Zusammenhang mit der Exponentialfunktion, wobei man allerdings die komplexen Zahlen braucht, um diesen Zusammenhang zu erkennen.

Satz

Die Funktionen

$\mathbb {C} \longrightarrow \mathbb {C} ,\,z\longmapsto \cos z,$

und

$\mathbb {C} \longrightarrow \mathbb {C} ,\,z\longmapsto \sin z,$

besitzen für ${}z,w\in \mathbb {C}$ folgende Eigenschaften.

1. Für ${}z=x+{\mathrm {i} }y$ ist

   ${}\exp z=(\exp x)(\cos y+{\mathrm {i} }\sin y)\,.$

2. Es ist ${}\cos 0=1$ und ${}\sin 0=0$.
3. Es ist ${}\cos {\left(-z\right)}=\cos z$ und ${}\sin {\left(-z\right)}=-\sin z$.
4. Es ist

   $\cos z={\frac {\exp {\left({\mathrm {i} }z\right)}+\exp {\left(-{\mathrm {i} }z\right)}}{2}}$

   und

   $\sin z={\frac {\exp {\left({\mathrm {i} }z\right)}-\exp {\left(-{\mathrm {i} }z\right)}}{2{\mathrm {i} }}}.$

5. Es gelten die Additionstheoreme

   $\cos(z+w)=\cos z\,\cos w-\sin z\,\sin w.$

   und

   $\sin(z+w)=\sin z\,\cos w+\cos z\,\sin w.$

6. Es gilt

   ${}(\cos z)^{2}+(\sin z)^{2}=1\,.$

Beweis

(1). Aufgrund von Satz 25.8 gilt

${}\exp(x+{\mathrm {i} }y)=\exp x\cdot \exp {\left({\mathrm {i} }y\right)}\,,$

so dass wir nur noch den hinteren Faktor betrachten müssen. Nach Aufgabe ***** und Fakt *****  (1) gilt

${}{\begin{aligned}\sum _{n=0}^{\infty }{\frac {({\mathrm {i} }y)^{n}}{n!}}&=\sum _{k=0}^{\infty }{\left({\frac {({\mathrm {i} }y)^{2k}}{(2k)!}}+{\frac {({\mathrm {i} }y)^{2k+1}}{(2k+1)!}}\right)}\\&=\sum _{k=0}^{\infty }{\mathrm {i} }^{2k}{\frac {y^{2k}}{(2k)!}}+\sum _{k=0}^{\infty }{\mathrm {i} }^{2k+1}{\frac {y^{2k+1}}{(2k+1)!}}\\&=\sum _{k=0}^{\infty }(-1)^{k}{\frac {y^{2k}}{(2k)!}}+\sum _{k=0}^{\infty }{\mathrm {i} }(-1)^{k}{\frac {y^{2k+1}}{(2k+1)!}}\\&=\sum _{k=0}^{\infty }{\frac {(-1)^{k}y^{2k}}{(2k)!}}+{\mathrm {i} }\sum _{k=0}^{\infty }{\frac {(-1)^{k}y^{2k+1}}{(2k+1)!}}\\&=\cos y+{\mathrm {i} }\,\sin y.\end{aligned}}$

(2) und (3) folgen direkt aus der Definition der Reihen.
(4) folgt aus (1) und (3).
(5). Es ist

${}{\begin{aligned}\cos {\left(z+w\right)}&={\frac {\exp {\left({\mathrm {i} }(z+w)\right)}+\exp {\left(-{\mathrm {i} }(z+w)\right)}}{2}}\\&={\frac {\exp {\left({\mathrm {i} }z\right)}\exp {\left({\mathrm {i} }w\right)}+\exp {\left(-{\mathrm {i} }z\right)}\exp {\left(-{\mathrm {i} }w\right)}}{2}}\\&={\frac {1}{2}}((\cos z+{\mathrm {i} }\sin z)(\cos w+{\mathrm {i} }\sin w)+(\cos z-{\mathrm {i} }\sin z)(\cos w-{\mathrm {i} }\sin w))\\&={\frac {1}{2}}(\cos z\cos w+{\mathrm {i} }(\cos z\sin w+\sin z\cos w)-\sin z\sin w\\&\,\,\,\,\,\,+\cos z\cos w-{\mathrm {i} }(\cos z\sin w+\sin z\cos w)-\sin z\sin w)\\&=\cos z\cos w-\sin z\sin w.\end{aligned}}$

Das Additionstheorem für den Sinus folgt ähnlich.
(6). Aus dem Additionstheorem für den Kosinus angewendet auf ${}w=-z$ und aufgrund von (2) ergibt sich

${}1=\cos 0=\cos {\left(z-z\right)}=\cos z\cos {\left(-z\right)}-\sin z\sin {\left(-z\right)}=\cos z\cos z+\sin z\sin z\,.$

$\Box$

Für reelle ${}z$ sind ${}\sin z$ und ${}\cos z$ wieder reell, wie unmittelbar aus der Potenzreihendarstellung folgt. Die letzte Aussage im vorstehenden Satz besagt, dass für reelles ${}z$ das Paar ${}(\cos z,\sin z)$ ein Punkt auf dem Einheitskreis ${}{\left\{(x,y)\mid x^{2}+y^{2}=1\right\}}$ ist. Wir werden später sehen, dass sich jeder Punkt des Einheitskreises als ${}(\cos z,\sin z)$ schreiben lässt, wobei man ${}z$ als Winkel interpretieren kann. Dabei tritt die Periode ${}2\pi$ auf, wobei wir die Kreiszahl ${}\pi$ eben über die trigonometrischen Funktionen einführen werden.

Fußnoten

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