09.02.2014 Aufrufe

Freitag 13.12.2013

Freitag 13.12.2013

Freitag 13.12.2013

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!