Trennungssatz von Hahn-Banach < Funktionalanalysis < Analysis < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:42 Mi 23.05.2018 | | Autor: | mathstu |
| Aufgabe | Sei M [mm] \subset [/mm] X abgeschlossen und konvex, sei X ein Hilbertraum und sei x [mm] \not\in [/mm] M. Beweise mit Hilfe des Projektionssatzes, dass [mm] \phi \in [/mm] X', also ein stetig lineares Funktional existiert mit
[mm] Re\phi(x) [/mm] < [mm] inf\{Re\phi(y) : y \in M\}. [/mm] |
Hallo,
Es geht um obige Aufgabe und ich habe damit so meine Probleme.
Der Projektionssatz den wir in der VL hatten sagt aus, dass wir zu jedem Element des Hilbertraumes ein nächstes Element in M finden.
Also existiert für unser x [mm] \not\in [/mm] M, [mm] x_{0} \in [/mm] M, so dass
[mm] \parallel x-x_{0}\parallel\le\parallel x-x_{1}\parallel [/mm] für alle [mm] x_{1} \in [/mm] M.
Ich sehe allerdings überhaupt nicht, wie ich diese Aussage des Projektionssatzes zum Beweis der Aufgabe benutzen kann oder wenigstens wie der nächste Schritt aussehen würde.
Ich würde mich freuen wenn mir jemand behilflich sein kann.
Viele Grüße, mathstu
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 13:37 Mi 23.05.2018 | | Autor: | fred97 |
Zur Orientierung schau Dir mal Satz 1.3 und Kor.1.4 in
http://num.math.uni-goettingen.de/werner/opti.pdf
an und nutze aus, wie man stetige lineare Funktionale auf Hilberträumen mit Hilfe des Skalarprodukts darstellen kann.
|
|
|
|
