Basis (v i) i∈I eines euklidischen oder unitären Vektorraumes (V, 〈·, ·〉) aus paarweise orthogonalen Vektoren v i, d. h., aus Vektoren für die gilt: \begin ...