Cтраница 4
Результат этой леммы мы будем тогда использовать в такой форме: если сумма взаимно ортогональных векторов равна нулю, то каждое из слагаемых равно нулю. [46]
Его можно формулировать следующим образом: сумма квадратов модулей проекций вектора на какие-либо единичные взаимно ортогональные векторы не больше квадрата длины ( нормы) самого проектируемого вектора. [47]
В n - мерном евклидовом пространстве всякая симметричная билинейная форма имеет канонический базис из взаимно ортогональных векторов. [48]