Freitag 13.12.2013
Freitag 13.12.2013
Freitag 13.12.2013
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Mathematik für Physiker I, WS 2013/2014 <strong>Freitag</strong> 13.12<br />
für alle k ∈ N, also p + 1 = m 0 < m 1 < m 2 < m 3 < . . .. Definiere jetzt die Umordnung<br />
⎧<br />
⎪⎨ n − l , 0 ≤ l ≤ p,<br />
π : N → N; l ↦→ n + q k +l−m k +1<br />
⎪⎩<br />
, m k ≤ l < m k+1 − 1 für ein k ∈ N,<br />
n − p+k+1 , l = m k+1 − 1 für ein k ∈ N.<br />
Setze M := ∑ p<br />
k=0 a n − . Für jedes k ∈ N gelten<br />
k<br />
m k+1 −2<br />
∑<br />
l=m k<br />
a π(l) =<br />
q∑<br />
k+1<br />
l=q k +1<br />
a n<br />
+<br />
l<br />
> 2 und<br />
m k+1 −1<br />
∑<br />
l=m k<br />
a π(l) =<br />
m k+1 −2<br />
∑<br />
l=m k<br />
a π(l) + a n<br />
− > 1,<br />
p+k+1<br />
also ist für alle k ∈ N und alle m ∈ N mit m ≥ m k+1 auch<br />
m∑<br />
a π(l) ≥ M + k.<br />
l=0<br />
Dies zeigt ∑ ∞<br />
n=0 a π(n) = +∞ und insbesondere ist die umgeordnete Reihe divergent.<br />
Damit haben wir bewiesen, dass man eine konvergente, aber nicht absolut konvergente,<br />
reelle Reihe immer so umordnen kann, dass die entstehende Reihe divergent ist.<br />
Dies kann man jetzt leicht auf den komplexen Fall ausdehnen. Ist ∑ ∞<br />
n=0 z n eine konvergente,<br />
aber nicht absolut konvergente, komplexe Reihe, so sind nach Lemma 2 auch<br />
die beiden reellen Reihen ∑ ∞<br />
n=0 Re(z n) und ∑ ∞<br />
n=0 Im(z n) konvergent und nach Lemma<br />
11 ist eine der beiden Reihen nicht absolut konvergent. Wie bereits gezeigt gibt es damit<br />
eine bijektive Abbildung π : N → N so, dass ∑ ∞<br />
n=0 Re(z π(n)) oder ∑ ∞<br />
divergiert, und wieder nach Lemma 2 ist damit auch ∑ ∞<br />
haben wir damit den folgenden Satz bewiesen:<br />
n=0 Im(z π(n))<br />
n=0 z π(n) divergent. Insgesamt<br />
Satz 5.13 (Absolute Konvergenz ist unbedingte Konvergenz)<br />
Sei K ∈ {R, C}. Dann ist eine Reihe ∑ ∞<br />
n=0 a n in K genau dann absolut konvergent<br />
wenn für jede bijektive Abbildung π : N → N auch die umgeordnete Reihe ∑ ∞<br />
n=0 a π(n)<br />
konvergent ist.<br />
Unsere Argumentation im reellen Fall des obigen Satzes kann man noch etwas verfeinern,<br />
und erhält dann den sogenannten Riemannschen Umordnungssatz:<br />
Satz 5.14 (Riemannscher Umordnungssatz)<br />
Sei ∑ ∞<br />
n=0 a n eine konvergente, aber nicht absolut konvergente, reelle Reihe. Dann gibt<br />
es für jedes a ∈ R stets eine bijektive Abbildung π : N → N mit ∑ ∞<br />
n=0 a π(n) = a.<br />
Beweis: Der Beweis wurde in der Vorlesung nur angedeutet, er soll hier aber vollständig<br />
angegeben werden.<br />
Wir übernehmen die Bezeichungen der obigen Überlegung. Ist a = +∞ so haben<br />
wir bereits alles bewiesen und für a = −∞ kann man alles analog zu oben beweisen.<br />
Wir müssen also nur noch den Fall a ∈ R betrachten. Wir setzen p + 0 := 0. Wegen<br />
∑ ∞<br />
k=0 a n − = −∞ existiert ein p − 0 ∈ N mit p − 0 > 0 und ∑ p − 0 −1<br />
k<br />
k=0 a n − < a.<br />
k<br />
13-14