Двумерные ортогональные операторы
Пусть
— Ортогональная матрица (). Тогда возможны два случая:
- — матрица поворота
- — матрица отражения; после выбора подходящего ортонормированного базиса она принимает один из видов
Доказательство
Общее уравнение для элементов матрицы.
Из равенства получаем
поэтому
Определитель и два случая.
То есть или . Рассмотрим их по отдельности.
Случай 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}.$$