Канонический базис для ортогонального оператора.

Date: 2015-10-07; view: 604.

Основные понятия

ОРТОГОНАЛЬНЫЕ ОПЕРАТОРЫ

Пусть — линейный оператор в евклидовом пространстве .

Опр. Оператор ортогонален, если он сохраняет скалярное произведение, то есть .

Лемма 4. ортогонален имеет ортогональную матрицу в ортонормированном базисе.

Пусть — ортонормированный базис , — матрица в этом базисе, , . Тогда . Поэтому ортогонален .

Лемма 5.Пусть — ортогональный оператор на евклидовом пространстве , — инвариантное подпространство для . Тогда и также инвариантно для .

По лемме 4 оператор — не вырожден. Тогда , и значит . Поэтому . Пусть — любой вектор, . Тогда и

, то есть .

12 марта 2005

Теорема.Пусть — ортогональный оператор в . Тогда существует ортонормированный базис, в котором матрица имеет вид:

(1) По лемме 1 (см. самосопряжённые операторы) у есть инвариантное подпространство . По лемме 5: . Следовательно, — инвариантные подпространства, или . Кроме того, не содержат инвариантных подпространств и . При этом .

(2) Пусть . Тогда и .

(3) , — ортонормированный базис , — матрица в этом базисе, по лемме 4. Тогда .

(а) Предположим, что . Вычислим :

. Отсюда корни на — вещественные, следовательно, существует собственный вектор в в есть 1-мерное — инвариантное подпространство. Противоречие.

(б) остался случай . Тогда

, поэтому . Значит, система имеет единственное решение. Подходит .