Vektorraum/Skalarprodukt/Vollständige konvexe Teilmenge/Minimale Norm/Fakt
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.