Из теоремы об ортогональности нормосохраняющего оператора следуют свойства

Свойства ортогонального оператора

1.Ортогональность матрицы. В любом ортонормированном базисе выполняется ; строки и столбцы матрицы взаимно ортонормированы .
2. Невырожденность. Из равенства следует , а значит и обратим.
3. Тождественный оператор. Для очевидно , следовательно ортогонален.
4. Произведение ортогональных операторов ортогонально. Если и , то .
5. Ортогональность обратного. Из получаем ; значит .
6. Определитель . Так как и , имеем .
7. Собственные числа. Собственные числа ортогонального оператора, если существуют, равны .
8. Сохранение углов. Так как и нормы сохраняются, то — углы не меняются .

Дополнение

Здесь используются свойства сопряжённого оператора из предыдущей лекции

линейныйоператор