Изометрии

Определение. Линейный оператор f евклидова пространства Е в себя называется изометрией, если он сохраняет скалярное произведение, т. е. если

(7.18)

Изометрии в комплексном евклидовом пространстве называются унитарными операторами, а в действительном – ортогональными.

Теорема 7.10. Если l – собственное значение изометрии, то |l|=1.

Замечание. Собственные значения ортогонального оператора равны 1 или –1. Ортогональный оператор в пространстве четной размерности может и не иметь собственных значений, но в пространстве нечетной размерности имеет хотя бы одно.

Теорема 7.11. Для того чтобы линейный оператор был изометрией, необходимо и достаточно, чтобы он сохранял длины векторов.

Теорема 7.12. Изометрия любой ортонормированный базис пространства переводит в ортонормированный базис. Обратно, если линейный оператор некоторый ортонормированный базис пространства переводит в ортонормированный базис, то f – изометрия.

Дата добавления: 2015-07-15