Hilbertraum/Abgeschlossener Untervektorraum/Projektion/Korollare/Textabschnitt
Es sei ein -Hilbertraum und sei eine nichtleere konvexe abgeschlossene Teilmenge.
Dann enthält einen eindeutigen Punkt , in dem die Norm (unter allen Punkten aus ) das Minimum annimmt.
Dies ist ein Spezialfall von Fakt.
Es sei ein -Hilbertraum und sei ein abgeschlossener Untervektorraum.
Dann gibt es zu jedem Punkt einen eindeutigen Punkt , für den der Abstand von zu Punkten aus minimal wird.
Dies ist ein Spezialfall von Fakt.
Es sei ein -Hilbertraum und sei ein abgeschlossener Untervektorraum.
Dann gibt es zu jedem eine eindeutige Darstellung
mit und .
Dies ist ein Spezialfall von Fakt.
Insbesondere gibt es zu einem abgeschlossener Untervektorraum
in einem Hilbertraum die
orthogonale Projektion
.