Выдержка из книги
Кострикин А.И.
Линейная алгебра и геометрия
Так как в L имеется ортогональный базис, существует разложение L Li ф L - в ортогональную прямую сумму подпространств ненулевой размерности. Так как f - изометрия, то L L ф Lz, где Li f ( /, ), и эта сумма ортогональна.
