Euklidischer Raum/Abstand zu Unterraum/Orthogonale Projektion/Fakt

Aus Wikiversity

Es sei ein euklidischer Vektorraum, ein Untervektorraum und .

Dann ist derjenige Punkt auf , der unter allen Punkten auf zu den minimalen Abstand besitzt.

Insbesondere ist