Унитарные операторы

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

Def. Оператор комплексного пространства называется унитарным, если Иначе говоря, 12 .
- тождественный оператор

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

Footnotes

  1. - Обратная матрица оператора

  2. - Сопряжённый оператор

Ссылка на оригинал


Теорема 1. Сохранение скалярного произведения унитарным оператором

Теорема. Сохранение скалярного произведения унитарным оператором

Теорема

Доказательство

Пусть Унитарный оператор: . Тогда для любых

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

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

Ссылка на оригинал


Теорема 2. Характеризация унитарного оператора

Теорема. Характеризация унитарного оператора

Характеризация унитарного оператора

Оператор комплексного пространства, сохраняющий скалярное произведение, является унитарным.

Доказательство

Предположим, что для любых выполняется

Тогда 1

Вычтя правую часть из левой, получаем

для всех . Следовательно, вектор ортогонален всем векторам пространства, что возможно лишь при

Так как произволен, имеем

Из равенства следует, что 2, то есть обратим.
Умножая равенство слева на и справа на , получаем

Таким образом, удовлетворяет условиям

то есть является унитарным.
Теорема доказана.

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

Footnotes

  1. - тождественный оператора

  2. - Ядро линейного оператора

Ссылка на оригинал


Теорема 3. Нормосохраняющий оператор унитарен

Теорема. Нормосохраняющий оператор унитарен

Теорема

Если комплексный оператор сохраняет норму любого вектора, то он является унитарным.

Доказательство

Предположим, что 1 для всех , то есть

Используя разложение нормы, восстанавливаем скалярное произведение:

Нормы инвариантны 2 скалярные произведения тоже, поэтому

Тогда, как и в предыдущей теореме 3,

то есть унитарен.

Зафиксируем ортонормированный базис пространства и обозначим матрицу в нём через

Из равенства следуют два вида сумм:

\sum_{k=1}^{n} b_{ik}\bar b_{ik}=1\quad(i=j).$$ То есть строки (и аналогично столбцы) $B_{e}$ образуют ортонормированную систему. Читая матрицу по столбцам, получаем $$B(e_{i})=b_{1i}e_{1}+b_{2i}e_{2}+\dots+b_{ni}e_{n},$$ и $$\bigl(B(e_{k}),\,B(e_{l})\bigr)=\sum_{s=1}^{n} b_{sk}\bar b_{sl},$$ что равно 1 при $k=l$ и 0 при $k\neq l$. Следовательно, [[Линейный оператор#^5bf727|образ]] [[Базис линейного пространства|базиса]] $\{e_i\}$ под $B$ — тоже [[Ортогональный и ортонормированный базисы#^b58d53|ортонормированный базис]], что эквивалентно [[Унитарный оператор|унитарности]] $B$. [[Матрица]], столбцы которой удовлетворяют этим условиям (ортонормированы), называется **унитарной**

Замечание

В вещественном пространстве условие даёт ортогональную матрицу; все изложенные выше выводы остаются справедливыми.

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

Footnotes

  1. - Норма вектора

  2. Оператор не изменяет норму ни одного вектора пространства

  3. - Тождественный оператор

Ссылка на оригинал


Собственные значения унитарных операторов

Теорема 4. Модуль собственного значения унитарного оператора

Теорема. Модуль собственного значения унитарного оператора

Теорема

Для любого собственного значения унитарного оператора выполняется .

Доказательство

Пусть , где . Тогда

Поскольку 1, делим и получаем , откуда .

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

Footnotes

  1. - Скалярное произведение

Ссылка на оригинал


Теорема 5. Инвариантность ортогонального дополнения собственного вектора

Теорема. Инвариантность ортогонального дополнения собственного вектора

Теорема

Пусть Унитарный оператор -мерного пространства , собственный вектор ;

— его Ортогональное дополнение. Тогда инвариантно относительно .

Доказательство

Пусть и (см. теорему о модуле собственного значения).
Для любого имеем . 1 Тогда

откуда . Следовательно, , то есть инвариантно относительно .
Теорема доказана.

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

Footnotes

  1. Скалярное произведение

Ссылка на оригинал


Теорема 6. Ортогональный базис собственных векторов унитарного оператора

Теорема. Ортогональный базис собственных векторов унитарного оператора

Теорема

Пусть Унитарный оператор -мерного пространства .
Тогда существуют попарно ортогональных собственных векторов.

Доказательство

Повторяем действия из доказательство теоремы об ортонормированном базисе собственных векторов

  1. Выберем собственный вектор , , .
  2. Ортогональное дополнение

    инвариантно, так как .
  3. Сужение остаётся унитарным, поэтому в найдётся собственный вектор .
  4. Продолжая процесс, получаем ортогональные собственные векторы

Следствие

Для каждого унитарного оператора в -мерном евклидовом пространстве существует ортонормированный базис, в котором матрица оператора диагональна, причем все диагональные элементы по модулю равны 1.

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

Ссылка на оригинал


Ортогональные операторы

Ортогональный оператор

Def. Линейный оператор вещественного евклидова пространства называется ортогональным, если он сохраняет скалярное произведение, то есть для всех

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

Ссылка на оригинал


Теорема 7. Нормосохраняющий оператор ортогонален

Теорема. Нормосохраняющий оператор ортогонален

Теорема

Пусть линейный оператор -мерного евклидова пространства .
Если для любого , то ортогонален.

Доказательство

Для любых раскроем нормы:

=\|A(x)\|^{2}+2(A(x),A(y))+\|A(y)\|^{2}.$$ Поскольку $A$ сохраняет [[Норма вектора|норму]], $\|A(x)\|=\|x\|$ и $\|A(y)\|=\|y\|$, а также $$\|A(x)+A(y)\|=\|x+y\|,$$ имеем $$\|x\|^{2}+2(A(x),A(y))+\|y\|^{2}= \|x\|^{2}+2(x,y)+\|y\|^{2}.$$

Замечания

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

Ссылка на оригинал


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

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

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

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

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

Дополнение

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

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

Ссылка на оригинал


Теорема 8. Двумерные ортогональные матрицы

Теорема. Двумерные ортогональные матрицы

Двумерные ортогональные операторы

Пусть

Ортогональная матрица (). Тогда возможны два случая:

  1. — матрица поворота
  2. — матрица отражения; после выбора подходящего ортонормированного базиса она принимает один из видов

Доказательство

Общее уравнение для элементов матрицы.
Из равенства получаем

поэтому

Определитель и два случая.

То есть или . Рассмотрим их по отдельности.


Случай A: .

Существует угол , для которого

и получаем классическую матрицу поворота

Случай B: тогда
3. Характеристический многочлен.

\chi_A(\lambda) = \det(A-\lambda E) = \begin{vmatrix} \alpha-\lambda & \gamma \\

\beta & \delta-\lambda

\end{vmatrix}
= (\alpha-\lambda)(\delta-\lambda) - \beta\gamma = \
= \lambda^{2}-(\alpha+\delta) \lambda+\alpha \delta-\beta \gamma=\lambda^{2}-(\alpha+\delta) \lambda-1
= \lambda^{2} - 2\alpha \lambda - 1.
\end{array}\lambda_{1}=1,\qquad \lambda_{2}=-1.4. **[[Собственное число и собственный вектор|Собственные векторы]].** Существует ненулевой $u$ с $A(u)=u$ и ненулевой $v$ с $A(v)=-v$. 5. **Ортогональность.** Так как $A$ сохраняет [[Скалярное произведение]], $(u,v)=0$. 6. **Ортонормированный базис.** Берём e_{1} = \frac{u}{|u|},\qquad e_{2} = \frac{v}{|v|}; тогда $A(e_{1}) = e_{1}$ и $A(e_{2}) = -e_{2}$. 7. **Матрица в новом базисе.** В [[Базис линейного пространства|базисе]] $(e_{1},e_{2})$ A = \begin{pmatrix}1 & 0 \ 0 & -1\end{pmatrix}. Если заменить $v$ на $-v$, получаем вторую форму \begin{pmatrix}-1 & 0 \ 0 & 1\end{pmatrix}.$$

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

Ссылка на оригинал


По итогам лекции нужно знать:

  1. Понятия:

  2. Собственные значения унитарных операторов (Теоремы 4, 5, 6)

  3. Условие ортогональности оператора

  4. Свойства ортогональных операторов

  5. Матрица ортогонального оператора в двумерном пространстве

  6. Основные теоретические факты с доказательствами

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