Hilbertraum/Orthonormalsystem/Ergänzung/Fakt

Es sei ${}v_{i}$, ${}i\in I$, ein Orthonormalsystem in einem ${}{\mathbb {K} }$-Hilbertraum ${}V$.

Dann kann man das System zu einem vollständigen Orthonormalsystem ergänzen.

Einen Beweis erstellen