Vektorraum/Skalarprodukt/Vollständige konvexe Teilmenge/Minimale Norm/Fakt

Aus Wikiversity

Es sei ein -Vektorraum mit Skalarprodukt und sei eine nichtleere konvexe vollständige Teilmenge.

Dann enthält einen eindeutigen Punkt , indem die Norm (unter allen Punkten aus ) das Minimum annimmt.