Определение. Оператор
называется сопряженным к линейному
оператору А, если
.
Свойства операции:
1)
;
Доказательство.
2)
;
3)
;
4)
;
5)
.
13. Основные свойства самосопряженных операторов.
Определение.
Линейный оператор А называется самосопряженным или эрмитовым, если.
Утверждения.
1)
Для того, чтобы линейный оператор А
был эрмитовым необходимо и достаточно, чтобы соответствующая ему билинейная
форма была эрмитовой:.
Доказательство.
Необходимость.;
Достаточность.
2)
Всякий линейный оператор А может
быть записан в виде.
Замечание. Пусть А и В – самосопряженные линейные операторы. Для того, чтобы оператор АВ был самосопряженным необходимо и достаточно, чтобы АВ=ВА, т.е. чтобы линейные операторы А и В были перестановочными.
Лемма 1. Собственные значения самосопряженного линейного оператора вещественные.
Доказательство. Пусть
х – собственный вектор линейного оператора А и - его
собственное значение:
Лемма 2. – самосопряженный линейный оператор, а е –
его собственный вектор. Тогда совокупность
есть (n-1)-мерное
подпространство, инвариантное относительно линейного оператора А.
Доказательство.
Х, как ортогональное дополнение к есть (n-1)-мерное
подпространство в Х. Покажем, что это подпространство инвариантно относительно
оператора А:
.
Теорема 1. Для любого самосопряженного линейного оператора в n-мерном унитарном пространстве существует n попарно ортогональных собственных векторов, соответствующие им собственные значения вещественны.
Доказательство. В
Х существует хотя бы собственный вектор линейного
оператора А. По лемме 2 совокупность векторов ортогональных
образует (n-1)-мерное
инвариантное подпространство
. Будем рассматривать
линейный оператор
. Продолжая этот процесс, мы
получим в результате n попарно ортогональных собственных векторов
. Согласно лемме 1, соответствующие
собственные значения вещественны.
Теорема 2. А – самосопряженный линейный оператор в n-мерном унитарном пространстве, тогда существует ортогональный базис, в котором матрица линейного оператора А диагональна и вещественно. Верно и обратное.
Доказательство.
Необходимость.
Выберем в качестве базиса построенные при доказательстве теоремы 1 собственные
векторы и пронормируем их. В этом базисе матрица
оператора имеет вид:
(1).
Достаточность. Пусть
матрица оператора А в ортонормированном базисе имеет вид (1). Итак, в
ортонормированном базисе матрица получается из матрицы
линейного оператора А транспонированием и заменой каждого элемента комплексным
сопряжением. Проделав эти операции над матрицей вида (1), где все
- вещественные, мы получим ту же матрицу,
следовательно А и
соответствует одна и та же
матрица, т.е.
.
Теорема 3. Собственные векторы самосопряженного оператора, соответствующие различным собственным значениям, взаимно ортогональны.
Доказательство.
Пусть у линейного оператора А имеются
Определение.
Матрица называется эрмитовой, если
.
Теорема 4. Для того, чтобы линейный оператор А был самосопряженным необходимо и достаточно, чтобы его матрица была эрмитовой.
Теорема 5.
Пусть в n-мерном унитарном пространстве Х задана эрмитова билинейная
форма. Тогда в Х существует ортонормированный базис, в котором соответствующая
билинейная квадратичная форма, записывается в виде: -
координаты Х.
Доказательство.
Пусть - эрмитова билинейная форма, т.е.
. Тогда существует самосопряженный линейный
оператор А такой, что
. Выберем в качестве базиса Х
ортонормированную систему собственных векторов самосопряженного линейного
оператора А (по теореме 1). Тогда
.
.
14. Унитарные операторы и их свойства.
Определение.
Линейный оператор U называется унитарным, если.
Утверждения.
1)
Всякий унитарный оператор U в
унитарном пространстве сохраняет скалярное произведение. Всякий линейный оператор
U, сохраняющий скалярное произведение, унитарен.
Доказательство.
Необходимость..
Достаточность.
2)
Унитарный оператор не меняет длину
векторов.
Доказательство. Заменим условие унитарности линейного оператора в
матричном виде: выберем ортогональный базис в Х и
построим линейный оператор U в этом базисе:
(1).
(2).
Вывод. (3). Условие
эквивалентно ортонормированности строк
матрицы унитарного оператора. Условие
(4)
эквивалентно ортонормированности строк матрицы унитарного оператора.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.