Пусть X - евклидово пространство {eα}α∈I⊂X∖{0} {eα} называется ортонормированной, если она ортогональная и Связанные определения/теоремы/следствия: Норма Любое Евклидово пространство - линейное нормированное пространство