0 Daumen
898 Aufrufe

ich bereite mich gerade auf eine Klausur in Mathematik vor und komme bei einem wichtigen Beweis nicht weiter und hoffe ihr mir weiterhelfen könnt.

Wir betrachten den $$ l_2(\mathbb{Z})=\{(u_n)_{n \in \mathbb{Z}} \in \mathbb{R}^\mathbb{Z}| \sum_{n\in \mathbb{Z}}^{}|u_n|^2 < \infty \} $$ Folgenraum und die Menge $$ M:= \{E^{(k)} | k \in \mathbb{Z}\}$$

wobei $$ E^{(k)}= (..,0,.......,0,....1,..) $$ die Folge in $$ \mathbb{R}^\mathbb{Z} $$ mit allen null Einträgen ausser der k-ten ist.

In der Aufgabe soll ich nun zeigen, dass M eine vollständige Orthonormalbasis von $$l_2(\mathbb{Z})$$ bildet. Die Orthogonalität und "normiertheit" habe ich bereits gezeigt. Da wir unendlichdimensionale Räume betrachten muss ich noch zeigen, dass M dicht in $$l_2(\mathbb{Z})$$ liegt bzgl. der induzierten Norm vom Skalarprodukt $$ <(a_n), (b_n)> := \sum_{n \in \mathbb{Z}}^{}a_n b_n$$

Um die Dichtheit zu zeigen, muss ja folgendes erfüllt sein:

$$\forall (a_n) \in l_2(\mathbb{Z}) \exists (E^{(k)}) \subset M : \lim\limits_{k \rightarrow \infty} E^{(k)} = (a_n)$$  was äquivalent zu $$ \lim_{k \rightarrow \infty} \left \| (a_n)-E^{(k)} \right \| \to 0 $$

ist

Falls das korrekt sein sollte, komme  ich dann am folgenden Schritt nicht mehr weiter

$$ || (a_n)-E^{(k)} || = [ \sum_{n \in \mathbb{Z}}^{}(a_n-E^{(k)}_n)^2]^{\frac{1}{2}}= [ \sum_{n \in \mathbb{Z}}^{}(a_n-\delta_{nk})^2]^{\frac{1}{2}}$$

was im Grenzwert ungleich 0 ist.

Bemerkung $$ E^{k}_n$$ ist das n Folgeglied der Folge $$ E^{(k)}$$

Avatar von

EDIT: Hier klappt etwas nicht mit der Umwandlung deines Codes:

Bild Mathematik

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community