46.6. Найти канонический базис и матрицу в этом базисе ортогонального оператора, заданного в некотором ортонормированном базисе матрицей:

a) \[\frac{1}{3} \begin{pmatrix} 2 & 2 & -1 \\ 2 & -1 & 2 \\ -1 & 2 & 2 \end{pmatrix};\]

б) \[\frac{1}{2} \begin{pmatrix} 1 & 1 & -\sqrt{2} \\ 1 & 1 & \sqrt{2} \\ \sqrt{2} & -\sqrt{2} & 0 \end{pmatrix}.\]

Матрица \(A = \frac{1}{3}\begin{pmatrix}2&2&-1\\2&-1&2\\-1&2&2\end{pmatrix}\) симметрична и ортогональна, поэтому \(A^2=I\). Собственные значения: \(\lambda=1\) (кратность 2) и \(\lambda=-1\) (кратность 1). Найдём ортонормированный базис из собственных векторов.

Для \(\lambda=1\): ядро \(A-I\) даёт векторы \((2,1,0)\) и \((-1,0,1)\). Ортогонализуем: \[ e_1 = \frac{(2,1,0)}{\sqrt{5}} = \left(\frac{2}{\sqrt{5}},\frac{1}{\sqrt{5}},0\right), \] \[ e_2 = \frac{(-1,0,1) - \bigl((-1,0,1)\cdot e_1\bigr)e_1}{\| \cdots \|} = \frac{(-1,2,5)}{\sqrt{30}} = \left(-\frac{1}{\sqrt{30}},\frac{2}{\sqrt{30}},\frac{5}{\sqrt{30}}\right). \]

Для \(\lambda=-1\): собственный вектор \((1,-2,1)\), нормируем: \[ e_3 = \frac{(1,-2,1)}{\sqrt{6}} = \left(\frac{1}{\sqrt{6}},-\frac{2}{\sqrt{6}},\frac{1}{\sqrt{6}}\right). \]

Базис \(\{e_1,e_2,e_3\}\) ортонормирован, матрица оператора в нём: \[ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & -1 \end{pmatrix}. \]

Матрица \(B = \frac{1}{2}\begin{pmatrix}1&1&-\sqrt{2}\\1&1&\sqrt{2}\\\sqrt{2}&-\sqrt{2}&0\end{pmatrix}\) ортогональна, \(\det B =1\). Собственное значение \(\lambda=1\): решая \((B-I)x=0\), находим \(x=(1,1,0)\). Нормируем: \[ e_1 = \left(\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}},0\right). \]

Ортогональное дополнение \(\langle e_1\rangle^\perp\) задаётся условием \(x+y=0\). Выберем в нём ортонормированный базис, на котором \(B\) действует как поворот на \(90^\circ\): \[ f_1 = \left(\frac{1}{\sqrt{2}},-\frac{1}{\sqrt{2}},0\right), \qquad f_2 = (0,0,1). \]

Проверка: \[ B f_1 = f_2,\quad B f_2 = -f_1. \]

Базис \(\{e_1,f_1,f_2\}\) ортонормирован. Матрица оператора в этом базисе: \[ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{pmatrix}. \]

Это канонический вид (блок \(1\) и блок поворота на \(90^\circ\)).