Euklidischer Vektorraum/Orthonormalbasis/Definition

Orthonormalbasis

Sei ein euklidischer Vektorraum. Eine Basis von heißt Orthonormalbasis, wenn

gilt.