Raum der absolut konvergenten Reihen

l1(N):={aa=(aj)j=1K:j=1aj<}l_{1}(\N) := \{a \big| a=(a_{j})_{j=1}^{\infty} \subset \mathbb{K}: \sum\limits_{j=1}^{\infty}\ntxbraceI{a_{j}}<\infty\} (K=R\mathbb{K}=\R oder K=C\mathbb{K}=\C) ist die Menge aller absolut konvergenten Reihen. Als Norm bietet sich die Summennorm an a1:=j=1aj \ntxbraceII{a}_{1} := \sum\limits_{j=1}^{\infty}\ntxbraceI{a_{j}} . Es ist diml1(N)=\dim l_{1}(\N) = \infty, da (ej=(0,,0,1j-te Position,0,))(e_{j}=(0,\ldots,0, \underbrace{1}_{ {j\text{-te Position}}},0,\ldots)) mit jNj\in\N Teilmenge von l1(N)l_{1}(\N) ist und alle eje_j linear unabhängig sind.

Satz 16L1

Der Raum der absolut konvergenten Reihen l1(N) l_{1}(\N) ist vollständig, also ein Banachraum.

Beweis

Es sei (aj)jNl1(N)(a^{j})_{j\in\N}\subset l_{1}(\N) eine Cauchyfolge. Fürϵ>0\epsilon>0 gilt dann
j0(ϵ)j,kj0(ϵ):ajak1=n=1anjank<ϵ\exists j_{0}(\epsilon)\forall j,k \geq j_{0}(\epsilon): \ntxbraceII{a^{j}-a^{k}}_{1}=\sum\limits_{n=1}^{\infty}\ntxbraceI{a_{n}^{j}-a_{n}^{k}} < \epsilon(1)
\Rightarrow Für jedes feste nNn\in \N ist (anj)j(a_{n}^{j})_{j} Cauchyfolge in K\mathbb{K}. anK\Rightarrow \exists a_{n}\in \mathbb{K} mit anjanK a_{n}^{j} \rightarrow a_{n}\in\mathbb{K}. Wir setzen a:=(an)n a := (a_{n})_{n}\,
Wir zeigen: ajaa^{j}\rightarrow a in l1(N)l_{1}(\N). Aus (1) folgt für jedes NNN\in\N: j,kj0(ϵ) ⁣: j,k\geq j_{0}(\epsilon)\colonn=1Nanjankϵ \sum\limits_{n=1}^{N}\ntxbraceI{a_{n}^{j}-a_{n}^{k}}\leq \epsilon kn=1Nanjanϵ k\rightarrow\infty \Rightarrow \sum\limits_{n=1}^{N}\ntxbraceI{a_{n}^{j}-a_{n}}\leq \epsilon Nn=1anjanϵ N\rightarrow\infty \Rightarrow \sum\limits_{n=1}^{\infty}\ntxbraceI{a_{n}^{j}-a_{n}}\leq \epsilon für jj0(ϵ) j\geq j_{0}(\epsilon). Bleibt zu zeigen, dass die Reihe (an)(a_n) absolut konvergiert. anananjc+anjc \sum\limits\ntxbraceI{a_{n}} \leq \sum\limits\underbrace{\ntxbraceI{a_{n}-a_{n}^{j}}}_{\leq c}+\sum\limits\underbrace{\ntxbraceI{a_{n}^{j}}}_{\leq c}\leq \infty anjal1(N) \Rightarrow a_{n}^{j} \rightarrow a \in l_{1}(\N) \qed
 
 

Es ist unglaublich, wie unwissend die studirende Jugend auf Universitäten kommt, wenn ich nur 10 Minuten rechne oder geometrisire, so schläft 1/4 derselben sanft ein.

Georg Christoph Lichtenberg

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе