- •Тема 8. Линейные операторы в евклидовых и в унитарных пространствах.
- •1. Сопряженные операторы.
- •2. Самосопряженные операторы.
- •3. Нормальные операторы.
- •4. Унитарные операторы.
- •5. Ортогональные операторы.
- •Тема 9. Линейные, билинейные и квадратичные формы.
- •1. Линейные формы.
- •2. Билинейные формы.
- •3. Квадратичные формы.
- •4. Методы приведения квадратичной формы к каноническому виду.
Тема 8. Линейные операторы в евклидовых и в унитарных пространствах.
1. Сопряженные операторы.
Новые свойства оператора появляются, если в и в ввести скалярные произведения. В случаях, когда и – евклидовы линейные пространства (), или когда и – унитарные пространства (), наиболее важными свойствами линейного оператора оказываются те, которые связаны с понятием ортогональности. Основную роль при изучении этих свойств будет играть оператор, сопряженный к данному оператору.
Определение. Пусть и – конечномерные евклидовы или унитарные пространства, . Отображение
: называют оператором, сопряженным к оператору , если для любых элементов , выполнено равенство .
Заметьте, что в определении ничего не говорится о линейности ; линейность надо еще доказать.
Теорема 1. Пусть , тогда существует оператор , сопряженный к , и притом только один. является линейным оператором: .
Доказательство. Выберем в пространстве произвольный ортонормированный базис . Разложение любого элемента по этому базису имеет вид
, (1)
где – коэффициенты Фурье элемента (см. тему 4).
Пусть существует оператор , сопряженный к оператору ; докажем, что единственный. Для любого его образ при отображении является элементом пространства : . Поэтому для выполнено разложение (1): . Пользуясь аксиомами скалярного произведения и определением сопряженного оператора, получаем
. (2)
(Черта в (2) означает комплексное сопряжение. Равенство (2) записано для случая унитарных пространств и . Если и – евклидовы пространства, то на операции комплексного сопряжения в (2) можно не обращать внимания.) Разложение элемента по базису единственно. Поэтому, если для оператора существует , то определен единственным образом формулой (2).
Примем формулу (2) за определение действия оператора в базисе пространства . Докажем, что так определенный оператор : удовлетворяет условию для любых , . В силу линейности оператора имеем (см. (1))
. (3)
Из задания оператора формулой (2) и в силу ортонормированности базиса имеем
. (4)
Сравнивая (3) и (4), получаем, что заданный формулой (2) оператор удовлетворяет определению сопряженного оператора.
Докажем, что построенный оператор является линейным. Для любых элементов и и для любых чисел имеем
. (5)
С другой стороны, по определению сопряженного оператора
. (6)
Обозначим . Мы только что доказали, что для любого элемента выполнено (вычесть из (5) равенство (6)). В частности, при имеем , Отсюда .
Теорема 2. (Свойства операции сопряжения.)
; ; ;
– в случае унитарных пространств ;
– в случае евклидовых пространств .
(Докажите самостоятельно, исходя из определения сопряженного оператора.)
Теорема 3. Пусть , и . Пусть существует обратный к оператор . Тогда и у оператора имеется обратный оператор , причем .
Доказательство. Докажем сначала, что если – невырожденный оператор, то и – невырожденный. Пусть . По формуле (2) получаем разложение нулевого элемента по ортонормированному базису : . Отсюда для всех . В силу невырожденности оператора образы базисных векторов образуют базис в . Тогда элемент оказывается ортогональным ко всем базисным векторам; поэтому . Итак, если оператор невырожденный, то , т.е. и оператор невырожденный.
Из невырожденности операторов и вытекает, что для любого существует единственный элемент , для которого , и что для любого существует единственный элемент , для которого . Поэтому для любого имеем . Отсюда для любого получаем , а это и означает, что .
Построим теперь матрицы операторов и . Выберем в пространстве ортонормированный базис , а в пространстве – ортонормированный базис . Если , то будем считать совпадающими базисы и . Пусть оператор в паре базисов и имеет матрицу ; это значит, что . Поскольку – ортонормированный базис, коэффициенты разложения элемента по базису являются его коэффициентами Фурье:
, . (7)
Пусть оператор в паре базисов и имеет матрицу ; это значит, что . Поскольку – ортонормированный базис, коэффициенты разложения элемента по базису являются его коэффициентами Фурье:
, . (8)
Сравним (7) и (8), пользуясь определением сопряженного оператора:
, .
Определение. Пусть матрица . Матрицей , сопряженной к матрице , называют матрицу : (черта означает комплексное сопряжение всех элементов матрицы).
Очевидно, что если матрицу транспонировать и взять комплексное сопряжение всех ее элементов, то ранг матрицы не изменится. Напомним, что ранг матрицы линейного оператора не зависит от выбора базисов. Тем самым доказана
Теорема 4. В любых ортонормированных базисах и сопряженным операторам и соответствуют сопряженные матрицы и . Ранги операторов и совпадают: . Если , то .
Теорема 5. ; .
Доказательство. Пусть и – конечномерные пространства, . Пусть , т.е. . Тогда для любого элемента имеем . В силу произвольности и это означает, что
. (9)
Вспоминая, что , точно так же получаем
. (10)
По теореме 6 темы 6 имеем , . По только что доказанной теореме 4 . Поэтому , т.е. из (9) получаем
;
и точно так же из равенства и из (10) получаем
.
(Символ означает ортогональную сумму подпространств; – см. тему 4.)
Теорема 6. Пусть . Если подпространство пространства инвариантно относительно оператора , то его ортогональное дополнение инвариантно относительно оператора .
Доказательство. Пусть , тогда и . Если , то . Но тогда и . В силу произвольности это означает, что , т.е. .