Lemma von Riesz

Lemma von Riesz

Gegeben seien ein normierter Raum $(X,\Vert \cdot \Vert )$, ein abgeschlossener echter Unterraum $U$ von $X$ und eine reelle Zahl $0<\delta <1$. Dann existiert ein normiertes Element $y_{\delta }\in X$ ($\Vert y_{\delta }\Vert =1$, so dass gilt :

$\Vert y_{\delta }-u\Vert \ge \delta$ für alle $u\in U$.

Bemerkung - Infimum

Mit der obigen Aussage im Lemma gilt auch die Ungleichung für das folgende Infimum:

$\underset{u\in U}{\inf }\Vert y_{\delta }-u\Vert \ge \delta$.

Das Lemma wird später für im Kurs für den Kompaktheitssatz von Riesz verwendet.

Bemerkung - Konvergente Teilfolgen

In endlich dimensionalen normierten Räumen sind abgeschlossenen und beschränkte Mengen kompakt und Folgen in abgeschlossenen und beschränkten Mengen besitzen konvergente Teilfolgen. Im unendlichdimensionalen Vektorräumen gilt das nicht mehr. Denn dort kann man mit dem Lemma von Riesz ein Folge in der abgeschlossenen Einheitskugel des normierten Raumes konstruieren, die keine konvergente Teilfolgen besitzt.

Beweis

Der Beweis gliedert sich in die folgenden zwei Teilschritte:

• (1) Abstands von Elementen zum Untervektorraum mit der Definition von $y_{\delta }$
• (2) Abschätzungen in einer Ungleichungskette

(1) Abstands von Elementen zum Untervektorraum

Da $U$ ein echter Untervektorraum von $X$ ist, dann gibt es einen Punkt z außerhalb der echten Teilmenge U mit

$d:=\underset{u\in U}{\inf }\Vert z-u\Vert >0.$

(2) Abstands von Elementen zum Untervektorraum

Der Abstand $d$ zu $U$ muss positiv sein, da U nach Voraussetzung abgeschlossen ist. Sei ein $0<\delta <1$ vorgegeben. Da d als Infimum definiert ist, gibt es ein $u_0\in U$ mit

$d\le \Vert z-u_0\Vert \le \frac{d}{\delta }(\ast )$

Man definiert nun $y_{\delta }$ wie folgt:

$y_{\delta }:=\frac{z-u_0}{\Vert z-u_0\Vert }$ mit $\Vert y_{\delta }\Vert =1$.

(3) Ungleichungskette

Damit ergibt sich folgende Ungleichung:

$\begin{array}{ccc}\Vert y_{\delta }-u\Vert & =& \Vert \frac{z-u_0}{\Vert z-u_0\Vert }-u\Vert =\Vert \frac{z-u_0}{\Vert z-u_0\Vert }-\frac{\Vert z-u_0\Vert }{\Vert z-u_0\Vert }\cdot u\Vert \\ & =& \frac{1}{\Vert z-u_0\Vert }\cdot \Vert z-\underset{\in U}{\underbrace{u_0-\Vert z-u_0\Vert \cdot u}}\Vert \\ & \ge & \frac{1}{\Vert z-u_0\Vert }\cdot \underset{u\in U}{\inf }\Vert z-u\Vert =\frac{1}{\Vert z-u_0\Vert }\cdot d\underset{(\ast )}{\underbrace{\ge }}\frac{\delta }{d}\cdot d=\delta \end{array}$ q.e.d.

Siehe auch

• Kompaktheitssatz von Riesz

Seiteninformation

Diese Lernresource wurde als Wiki2Reveal Foliensatz erstellt.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Lemma%20von%20Riesz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.
• Nächste Inhalte des Kurses Kompaktheitssatz von Riesz