Euklidischer Vektorraum/Orthonormalisierungsverfahren/Fakt/Name/Inhalt

Es sei ein euklidischer Vektorraum und es sei eine Basis von . Dann gibt es eine Orthonormalbasis von mit

für alle .