Euklidischer Vektorraum/Orthonormalbasis/Definition

Orthonormalbasis

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

gilt.