46

Ортогональные и унитарные операторы. Полярное разложение

[33/64%]
Показать
LaTeX
Задача 46.1

Доказать, что ортогональные (унитарные) операторы образуют группу относительно умножения.

?
Задача 46.2

Доказать, что если оператор в евклидовом (эрмитовом) пространстве сохраняет длины векторов, то он ортогонален (унитарен).

?
Задача 46.3

Доказать, что если векторы xx и yy евклидова (эрмитова) пространства имеют одинаковую длину, то существует ортогональный (унитарный) оператор, переводящий xx в yy.

?
Задача 46.4

Пусть x1,…,xkx_{1}, \ldots , x_{k} и y1,…,yky_{1}, \ldots , y_{k} — две системы векторов евклидова (эрмитова) пространства. Доказать, что ортогональный (унитарный) оператор, переводящий xix_{i} в yi(i=1,…,k)y_{i}(i=1, \ldots , k), существует тогда и только тогда, когда (xi,xj)=(yi,yj)\left(x_{i}, x_{j}\right)=\left(y_{i}, y_{j}\right) при всех ii и jj от 1 до kk.

?
Задача 46.5
?
(а)

Пусть ww — ненулевой вектор евклидова (эрмитова) пространства. Для любого вектора xx положим

Uw(x)=x−2(x,w)(w,w)w U_{w}(x)=x-2 \frac{(x, w)}{(w, w)} w

Доказать, что Uw(w)=−wU_{w}(w)=-w и Uw(y)=yU_{w}(y)=y, если x∈⟨w⟩⊥x \in \langle w\rangle^{\perp }.

(б)

Пусть x,yx, y — ненулевые векторы евклидова (эрмитова) пространства, причём y∉⟨x⟩y \notin \langle x\rangle. Доказать, что найдется такой вектор ww, что

Uw(x)=∥x∥∥y∥y U_{w}(x)=\frac{\left\| x\right\| }{\left\| y\right\| } y
Задача 46.6

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

?
(а)

13(22−12−12−122)\frac{1}{3}\left(\begin{array}{rrr}2 & 2 & -1 \\ 2 & -1 & 2 \\ -1 & 2 & 2\end{array}\right);

(б)

12(11−21122−20)\frac{1}{2}\left(\begin{array}{ccc}1 & 1 & -\sqrt{2} \\ 1 & 1 & \sqrt{2} \\ \sqrt{2} & -\sqrt{2} & 0\end{array}\right);

(в)

13(2−1222−1−122)\frac{1}{3}\left(\begin{array}{rrr}2 & -1 & 2 \\ 2 & 2 & -1 \\ -1 & 2 & 2\end{array}\right);

(г)

14(31−61366−62)\frac{1}{4}\left(\begin{array}{rrr}3 & 1 & -\sqrt{6} \\ 1 & 3 & \sqrt{6} \\ \sqrt{6} & -\sqrt{6} & 2\end{array}\right);

(д)

12(1−2−112−1202)\frac{1}{2}\left(\begin{array}{ccc}1 & -\sqrt{2} & -1 \\ 1 & \sqrt{2} & -1 \\ \sqrt{2} & 0 & \sqrt{2}\end{array}\right);

(е)

12(111111−1−11−11−11−1−11)\frac{1}{2}\left(\begin{array}{rrrr}1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 1 & -1 \\ 1 & -1 & -1 & 1\end{array}\right);

(ж)

12(111111−1−1−11−11−111−1)\frac{1}{2}\left(\begin{array}{rrrr}1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ -1 & 1 & -1 & 1 \\ -1 & 1 & 1 & -1\end{array}\right);

(з)

13(22−1−1222−12)\frac{1}{3}\left(\begin{array}{rrr}2 & 2 & -1 \\ -1 & 2 & 2 \\ 2 & -1 & 2\end{array}\right);

(и)

19(1−84447−814)\frac{1}{9}\left(\begin{array}{rrr}1 & -8 & 4 \\ 4 & 4 & 7 \\ -8 & 1 & 4\end{array}\right);

(к)

17(3−2663−2−263)\frac{1}{7}\left(\begin{array}{rrr}3 & -2 & 6 \\ 6 & 3 & -2 \\ -2 & 6 & 3\end{array}\right);

(л)

(120−1213243213223−1323)\left(\begin{array}{ccc}\frac{1}{\sqrt{2}} & 0 & -\frac{1}{\sqrt{2}} \\ \frac{1}{3 \sqrt{2}} & \frac{4}{3 \sqrt{2}} & \frac{1}{3 \sqrt{2}} \\ \frac{2}{3} & -\frac{1}{3} & \frac{2}{3}\end{array}\right);

(м)

(3414+641434−64−64+6412)\left(\begin{array}{ccc}\frac{3}{4} & \frac{1}{4} & +\frac{\sqrt{6}}{4} \\ \frac{1}{4} & \frac{3}{4} & -\frac{\sqrt{6}}{4} \\ -\frac{\sqrt{6}}{4} & +\frac{\sqrt{6}}{4} & \frac{1}{2}\end{array}\right).

Задача 46.7

Найти собственный ортонормированный базис и матрицу в этом базисе унитарного оператора, заданного в некотором ортонормированном базисе матрицей:

?
(а)

(cos⁡α−sin⁡αsin⁡αcos⁡α)(α≠kπ)\left(\begin{array}{rr}\cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{array}\right) \quad (\alpha \neq k \pi );

(б)

13(1+i1−11−i)\frac{1}{\sqrt{3}}\left(\begin{array}{cc}1+i & 1 \\ -1 & 1-i\end{array}\right);

(в)

19(4+3i4i−6−2i−4i4−3i−2−6i6+2i−2−6i1)\frac{1}{9}\left(\begin{array}{ccc}4+3 i & 4 i & -6-2 i \\ -4 i & 4-3 i & -2-6 i \\ 6+2 i & -2-6 i & 1\end{array}\right);

(г)

14(2+3i−332−3i)\frac{1}{4}\left(\begin{array}{cc}2+3 i & -\sqrt{3} \\ \sqrt{3} & 2-3 i\end{array}\right);

(д)

12(i1−1−i)\frac{1}{\sqrt{2}}\left(\begin{array}{rr}i & 1 \\ -1 & -i\end{array}\right).

Задача 46.8

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

?
Задача 46.9

Доказать, что если A\mathcal{A} — унитарный оператор в эрмитовом пространстве и оператор A−E\mathcal{A}-\mathcal{E} обратим, то оператор i(A−E)−1(A+E)i(\mathcal{A}-\mathcal{E})^{-1}(\mathcal{A}+\mathcal{E}) эрмитов.

?
Задача 46.10

Пусть A\mathcal{A} — эрмитов оператор. Доказать, что:

?
(а)

оператор A−iE\mathcal{A}-i \mathcal{E} обратим;

(б)

оператор B=(A−iE)−1(A+iE)\mathcal{B}=(\mathcal{A}-i \mathcal{E})^{-1}(\mathcal{A}+i \mathcal{E}) унитарен;

(в)

оператор B−E\mathcal{B}-\mathcal{E} обратим;

(г)

A=i(B−E)−1(B+E)\mathcal{A}=i(\mathcal{B}-\mathcal{E})^{-1}(\mathcal{B}+\mathcal{E}).

Задача 46.11

Доказать, что для всякого эрмитова оператора A\mathcal{A} оператор eiAe^{i \mathcal{A}} унитарен и, обратно, всякий унитарный оператор представим в виде eiAe^{i \mathcal{A}}, где A\mathcal{A} — эрмитов оператор.

?
Задача 46.12

Пусть VV — евклидово пространство с базисом (e1,e2,e3)(e_{1}, e_{2}, e_{3}) и A\mathcal{A} — ортогональный оператор в VV с определителем 1. Доказать, что

A=AφBθAψ \mathcal{A}=\mathcal{A}_{\varphi } \mathcal{B}_{\theta } \mathcal{A}_{\psi }

где Aφ\mathcal{A}_{\varphi } и Aψ\mathcal{A}_{\psi } — повороты в плоскости ⟨e1,e2⟩\left\langle e_{1}, e_{2}\right\rangle на углы φ\varphi и ψ,Bθ\psi , \mathcal{B}_{\theta } поворот плоскости ⟨e2,e3⟩\left\langle e_{2}, e_{3}\right\rangle на угол θ\theta.

?
Задача 46.13

Пусть VV — пространство эрмитовых матриц порядка 2 над полем R\mathbb {R} с нулевым следом и (A,B)=tr⁡AB(A,B∈V)(A, B)=\operatorname {tr} A B(A, B \in V). Доказать, что:

?
(а)

VV — евклидово пространство с ортонормированным базисом

e1=12[100−1],e2=12[0110],e3=12[0i−i0]; e_{1}=\frac{1}{\sqrt{2}}\left[\begin{smallmatrix} 1 & 0 \\ 0 & -1 \end{smallmatrix}\right], \quad e_{2}=\frac{1}{\sqrt{2}}\left[\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right], \quad e_{3}=\frac{1}{\sqrt{2}}\left[\begin{smallmatrix} 0 & i \\ -i & 0 \end{smallmatrix}\right] ;
(б)

оператор, определенный правилом X↦AXtAˉ(X∈V)X \mapsto A X^{t} \bar{A}(X \in V), где AA — унитарная матрица, является ортогональным;

(в)

для всякого ортогонального оператора A\mathcal{A} в пространстве VV существует такая унитарная матрица порядка 2 с определителем 1, что A(X)=AXtAˉ\mathcal{A}(X)=A X^{t} \bar{A} для всех X∈VX \in V.

Задача 46.14

Доказать, что всякий ортогональный оператор A\mathcal{A} в евклидовом пространстве является произведением отражений относительно гиперплоскостей и минимальное число множителей равно коразмерности подпространства Ker⁡(A−E)\operatorname {Ker}(\mathcal{A}-\mathcal{E}).

?
Задача 46.15

Доказать, что если A,B\mathcal{A}, \mathcal{B} — положительные самосопряжённые операторы, A=BC\mathcal{A}=\mathcal{B} \mathcal{C} и оператор C\mathcal{C} ортогонален (унитарен), то C=E\mathcal{C}=\mathcal{E}.

?
Задача 46.16

Представить в виде произведения положительного самосопряжённого и ортогонального операторов оператор, заданный в некотором ортонормированном базисе матрицей:

?
(а)

(2−121)\left(\begin{array}{rr}2 & -1 \\ 2 & 1\end{array}\right);

(б)

(1−414)\left(\begin{array}{rr}1 & -4 \\ 1 & 4\end{array}\right);

(в)

(4−2244−1−242)\left(\begin{array}{rrr}4 & -2 & 2 \\ 4 & 4 & -1 \\ -2 & 4 & 2\end{array}\right).

Задача 46.17

Доказать, что в разложении A=BC\mathcal{A}=\mathcal{B} \mathcal{C} оператора в евклидовом (эрмитовом) пространстве, где B\mathcal{B} — неотрицательный самосопряжённый (эрмитов) оператор, C\mathcal{C} — ортогональный (унитарный) оператор, оператор B\mathcal{B} определён однозначно.

?
Задача 46.18

Доказать, что для всякого унитарного оператора A\mathcal{A} и любого натурального числа kk существует унитарный оператор B\mathcal{B}, являющийся многочленом от A\mathcal{A} и такой, что Bk=E\mathcal{B}^{k}=\mathcal{E}.

?
Задача 46.19

Доказать, что самосопряжённый оператор A\mathcal{A} положителен, когда коэффициенты c1,…,cnc_{1}, \ldots , c_{n} его характеристического полинома tn+c1tn−1+…+cnt^{n}+c_{1} t^{n-1}+\ldots +c_{n} отличны от нуля и имеют чередующиеся знаки.

?
Задача 46.20

Пусть A,B\mathcal{A}, \mathcal{B} — самосопряжённые операторы, причём A\mathcal{A} положителен. Доказать, что собственные значения оператора AB\mathcal{A B} вещественны.

?
Задача 46.21

Пусть A\mathcal{A} — положительный и B\mathcal{B} — неотрицательный операторы. Доказать, что собственные значения AB\mathcal{A B} вещественны и неотрицательны.

?
Задача 46.22

Пусть A\mathcal{A} — самосопряжённый оператор. Доказать, что следующие условия эквивалентны:

?
(а)

все собственные значения A\mathcal{A} лежат в интервале [a,b][a, b];

(б)

оператор A−λE\mathcal{A}-\lambda \mathcal{E} отрицателен при λ>b\lambda >b и положителен при λ<a\lambda <a.

Задача 46.23

Пусть A,B\mathcal{A}, \mathcal{B} — самосопряжённые операторы, собственные значения которых лежат соответственно в интервалах [a,b][a, b] и [c,d][c, d]. Доказать, что собственные значения A+B\mathcal{A}+\mathcal{B} лежат в интервале [a+c[a+c, b+d]b+d].

?
Задача 46.24

Пусть A\mathcal{A} — самосопряжённый положительный оператор. Доказать, что оператор eAe^{\mathcal{A}} положителен и самосопряжён.

?
Задача 46.25

Пусть A=BU\mathcal{A}=\mathcal{B} \mathcal{U} — полярное разложение оператора A\mathcal{A}, где B\mathcal{B} — неотрицательный самосопряжённый оператор, U\mathcal{U} — унитарный оператор. Доказать, что A\mathcal{A} нормален тогда и только тогда, когда BU=UB\mathcal{B U}=\mathcal{U B}.

?
Задача 46.26

Пусть A=BU\mathcal{A}=\mathcal{B} \mathcal{U} — полярное разложение оператора A\mathcal{A}, где B\mathcal{B} — неотрицательный самосопряжённый оператор, U\mathcal{U} — унитарный оператор. Предположим, что λ1⩾…⩾λn⩾0\lambda_{1} \geqslant \ldots \geqslant \lambda_{n} \geqslant 0 — собственные значения B\mathcal{B}. Рассмотрим в пространстве операторов норму, соответствующую согласно утверждению задачи 42.5, б) норме в эрмитовом пространстве. Доказать, что:

?
(а)

∥A∥=λ1\left\| \mathcal{A}\right\| =\lambda_{1};

(б)

если оператор A\mathcal{A} обратим, то λn>0\lambda_{n}>0 и ∥A−1∥=1λn\left\| \mathcal{A}^{-1}\right\| =\frac{1}{\lambda_{n}}.

Задача 46.27

Пусть AA — невырожденная квадратная комплексная матрица размера nn. Рассмотрим систему линейных уравнений AX=bA X=b. Пусть X0X_{0} — точное решение, X1X_{1} — приближенное, r=b−AX1r=b-A X_{1} - вектор невязки. Доказать, что

∥X0−X1∥∥X0∥⩽∥A∥⋅∥A−1∥⋅∥r∥∥b∥ \frac{\left\| X_{0}-X_{1}\right\| }{\left\| X_{0}\right\| } \leqslant \left\| A\right\| \cdot \left\| A^{-1}\right\| \cdot \frac{\left\| r\right\| }{\left\| b\right\| }
?
Задача 46.28

Пусть AA — квадратная комплексная матрица. Доказать, что A=U1DU2A=U_{1} D U_{2}, где U1,U2U_{1}, U_{2} — унитарные матрицы, DD — диагональная матрица. По главной диагонали DD стоят квадратные корни из собственных значений матрицы A⋅tAA \cdot { }^{t} A.

?
Задача 46.29

Пусть A=(aij)A=\left(a_{i j}\right) — комплексная квадратная матрица порядка nn. Доказать, что:

?
(а)

det⁡(A⋅tAˉ)⩽(∑i=1n∣a1i∣2)…(∑i=1n∣ani∣2)\operatorname {det}\left(A \cdot { }^{t} \bar{A}\right) \leqslant \left(\sum_{i=1}^{n}\left|a_{1 i}\right|^{2}\right) \ldots \left(\sum_{i=1}^{n}\left|a_{n i}\right|^{2}\right);

(б)

∣det⁡A∣⩽nn/2⋅(max⁡ij∣aij∣)n\left|\operatorname {det} A\right| \leqslant n^{n / 2} \cdot \left(\max_{i j}\left|a_{i j}\right|\right)^{n};

(в)

указанная в б) оценка точная.

Задача 46.30

Пусть A∈Mn(C)A \in \mathbf{M}_{n}(\mathbb {C}). Доказать, что A=URA=U R, где UU — унитарная матрица, а RR — верхнетреугольная. Если A∈Mn(R)A \in \mathbf{M}_{n}(\mathbb {R}), то A=QRA=Q R, где QQ — ортогональная, а RR — вещественная верхнетреугольная матрица.

?
Задача 46.31

Пусть A∈Mn(C)A \in \mathbf{M}_{n}(\mathbb {C}). Доказать, что tAˉA=tRˉR{ }^{t} \bar{A} A={ }^{t} \bar{R} R, где RR верхнетреугольная матрица. Если A∈Mn(R)A \in \mathbf{M}_{n}(\mathbb {R}), то RR можно выбрать из Mn(R)\mathbf{M}_{n}(\mathbb {R}).

?
Задача 46.32

Доказать, что всякая унитарная матрица является произведением вещественной ортогональной и комплексной симметрической матриц.

?
Задача 46.33

Пусть VV — комплексное векторное пространство со скалярным произведением (в поле C\mathbb {C} рассматривается тождественный автоморфизм). Доказать, что для любого симметрического оператора A\mathcal{A} в пространстве VV существует жорданов базис, в котором матрица скалярного произведения клеточно-диагональна с клетками

[00…0100…10……………01…0010…00] \left[\begin{smallmatrix} 0 & 0 & \ldots & 0 & 1 \\ 0 & 0 & \ldots & 1 & 0 \\ \ldots & \ldots & \ldots & \ldots & \ldots \\ 0 & 1 & \ldots & 0 & 0 \\ 1 & 0 & \ldots & 0 & 0 \end{smallmatrix}\right]

того же размера, что и жордановы клетки матрицы оператора A\mathcal{A}.

?