Унитарные операторы
Унитарный оператор
Def. Оператор комплексного пространства называется унитарным, если Иначе говоря, 12 .
- тождественный операторСсылка на оригинал Footnotes
Теорема 1. Сохранение скалярного произведения унитарным оператором
Теорема. Сохранение скалярного произведения унитарным оператором
Теорема
Ссылка на оригиналДоказательство
Пусть — Унитарный оператор: . Тогда для любых
Поскольку и , нормы и угол выражаются через скалярное произведение, следовательно, они также сохраняются после действия .
Теорема 2. Характеризация унитарного оператора
Теорема. Характеризация унитарного оператора
Характеризация унитарного оператора
Оператор комплексного пространства, сохраняющий скалярное произведение, является унитарным.
Доказательство
Предположим, что для любых выполняется
Тогда 1
Вычтя правую часть из левой, получаем
для всех . Следовательно, вектор ортогонален всем векторам пространства, что возможно лишь при
Так как произволен, имеем
Из равенства следует, что 2, то есть обратим.
Умножая равенство слева на и справа на , получаем
Таким образом, удовлетворяет условиям
то есть является унитарным.
Теорема доказана.Ссылка на оригинал Footnotes
Теорема 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
Собственные значения унитарных операторов
Теорема 4. Модуль собственного значения унитарного оператора
Теорема. Модуль собственного значения унитарного оператора
Теорема
Для любого собственного значения унитарного оператора выполняется .
Доказательство
Ссылка на оригинал Footnotes
Теорема 5. Инвариантность ортогонального дополнения собственного вектора
Теорема. Инвариантность ортогонального дополнения собственного вектора
Теорема
Пусть — Унитарный оператор -мерного пространства , — собственный вектор ;
— его Ортогональное дополнение. Тогда инвариантно относительно .Доказательство
Пусть и (см. теорему о модуле собственного значения).
Для любого имеем . 1 Тогда
откуда . Следовательно, , то есть инвариантно относительно .
Теорема доказана.Ссылка на оригинал Footnotes
Теорема 6. Ортогональный базис собственных векторов унитарного оператора
Теорема. Ортогональный базис собственных векторов унитарного оператора
Теорема
Пусть — Унитарный оператор -мерного пространства .
Тогда существуют попарно ортогональных собственных векторов.Доказательство
Повторяем действия из доказательство теоремы об ортонормированном базисе собственных векторов
- Выберем собственный вектор , , .
- Ортогональное дополнение
инвариантно, так как .- Сужение остаётся унитарным, поэтому в найдётся собственный вектор .
- Продолжая процесс, получаем ортогональные собственные векторы
Ссылка на оригиналСледствие
Для каждого унитарного оператора в -мерном евклидовом пространстве существует ортонормированный базис, в котором матрица оператора диагональна, причем все диагональные элементы по модулю равны 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. Двумерные ортогональные матрицы
Теорема. Двумерные ортогональные матрицы
Двумерные ортогональные операторы
Пусть
— Ортогональная матрица (). Тогда возможны два случая:
- — матрица поворота
- — матрица отражения; после выбора подходящего ортонормированного базиса она принимает один из видов
Доказательство
Общее уравнение для элементов матрицы.
Из равенства получаем
поэтому
Определитель и два случая.
То есть или . Рассмотрим их по отдельности.
Случай A: .
Существует угол , для которого
и получаем классическую матрицу поворотаСлучай B: тогда
\chi_A(\lambda) = \det(A-\lambda E) = \begin{vmatrix} \alpha-\lambda & \gamma \\
3. Характеристический многочлен.\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}.$$
По итогам лекции нужно знать:
-
Понятия:
-
Основные теоретические факты с доказательствами