Глава 7

Операторы на пространствах со скалярным произведением

[151/0%]
Показать
LaTeX
§
Задача 7A.1

Пусть nn — положительное целое число. Определим T∈L(Fn)T \in \mathcal{L}(\mathbf{F}^{n}) равенством

T(z1,…,zn)=(0,z1,…,zn−1). T(z_{1}, \ldots , z_{n}) = (0, z_{1}, \ldots , z_{n-1}).

Найдите формулу для T∗(z1,…,zn)T^{*}(z_{1}, \ldots , z_{n}).

?
Задача 7A.2

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что

T=0  ⟺  T∗=0  ⟺  T∗T=0  ⟺  TT∗=0. T = 0 \iff T^{*} = 0 \iff T^{*} T = 0 \iff T T^{*} = 0.
?
Задача 7A.3

Пусть T∈L(V)T \in \mathcal{L}(V) и λ∈F\lambda \in \mathbf{F}. Докажите, что

λ является собственным значением T  ⟺  λ‾ является собственным значением T∗. \lambda \text{ является собственным значением } T \iff \overline{\lambda } \text{ является собственным значением } T^{*}.
?
Задача 7A.4

Пусть T∈L(V)T \in \mathcal{L}(V) и UU — подпространство VV. Докажите, что

U инвариантно относительно T  ⟺  U⊥ инвариантно относительно T∗. U \text{ инвариантно относительно } T \iff U^{\perp } \text{ инвариантно относительно } T^{*}.
?
Задача 7A.5

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Пусть e1,…,ene_{1}, \ldots , e_{n} — ортонормированный базис VV, а f1,…,fmf_{1}, \ldots , f_{m} — ортонормированный базис WW. Докажите, что

∥Te1∥2+⋯+∥Ten∥2=∥T∗f1∥2+⋯+∥T∗fm∥2. \left\| T e_{1}\right\| ^{2}+\cdots +\left\| T e_{n}\right\| ^{2} = \left\| T^{*} f_{1}\right\| ^{2}+\cdots +\left\| T^{*} f_{m}\right\| ^{2}.
?
Примечание.
?

Числа ∥Te1∥2,…,∥Ten∥2\left\| T e_{1}\right\|^{2}, \ldots , \left\| T e_{n}\right\|^{2} в равенстве выше зависят от ортонормированного базиса e1,…,ene_{1}, \ldots , e_{n}, но правая часть от e1,…,ene_{1}, \ldots , e_{n} не зависит. Таким образом, равенство выше показывает, что сумма в левой части не зависит от того, какой ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} используется.

Задача 7A.6

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что

?
(a)

TT инъективен   ⟺  \iff T∗T^{*} сюръективен;

(b)

TT сюръективен   ⟺  \iff T∗T^{*} инъективен.

Задача 7A.7

Докажите, что если T∈L(V,W)T \in \mathcal{L}(V, W), то

?
(a)

dim⁡null⁡T∗=dim⁡null⁡T+dim⁡W−dim⁡V\operatorname {dim} \operatorname {null} T^{*} = \operatorname {dim} \operatorname {null} T + \operatorname {dim} W-\operatorname {dim} V;

(b)

dim⁡range⁡T∗=dim⁡range⁡T\operatorname {dim} \operatorname {range} T^{*} = \operatorname {dim} \operatorname {range} T.

Задача 7A.8

Пусть AA — матрица размера mm на nn с элементами из F\mathbf{F}. Используя пункт (b) задачи 7A.7, докажите, что ранг по строкам матрицы AA равен рангу по столбцам матрицы AA.

?
Примечание.
?

Эта задача предлагает ещё одно альтернативное доказательство результата, ранее доказанного в 3.57 и 3.133.

Задача 7A.9

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

?
Задача 7A.10

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT самосопряжён тогда и только тогда, когда

⟨Tv,v⟩=⟨T∗v,v⟩ \left\langle T v, v \right\rangle = \left\langle T^{*} v, v \right\rangle

для всех v∈Vv \in V.

?
Задача 7A.11

Определим оператор S:F2→F2S: \mathbf{F}^{2} \rightarrow \mathbf{F}^{2} равенством S(w,z)=(−z,w)S(w, z) = (-z, w).

?
(a)

Найдите формулу для S∗S^{*}.

(b)

Покажите, что SS нормален, но не самосопряжён.

(c)

Найдите все собственные значения SS.

Если F=R\mathbf{F} = \mathbb {R}, то SS — это оператор поворота на R2\mathbb {R}^{2} против часовой стрелки на 90∘90^{\circ }.

Задача 7A.12

Оператор B∈L(V)B \in \mathcal{L}(V) называется кососопряжённым, если

B∗=−B. B^{*} = -B.

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда существуют коммутирующие операторы AA и BB такие, что AA самосопряжён, BB кососопряжён и T=A+BT = A+B.

?
Задача 7A.13

Пусть F=R\mathbf{F} = \mathbb {R}. Определим A∈L(L(V))\mathcal{A} \in \mathcal{L}(\mathcal{L}(V)) равенством AT=T∗\mathcal{A} T = T^{*} для всех T∈L(V)T \in \mathcal{L}(V).

?
(a)

Найдите все собственные значения A\mathcal{A}.

(b)

Найдите минимальный многочлен A\mathcal{A}.

Задача 7A.14

Определим скалярное произведение на P2(R)\mathcal{P}_{2}(\mathbb {R}) равенством ⟨p,q⟩=∫01pq\left\langle p, q \right\rangle = \int_{0}^{1} p q. Определим оператор T∈L(P2(R))T \in \mathcal{L}(\mathcal{P}_{2}(\mathbb {R})) равенством

T(ax2+bx+c)=bx. T(a x^{2}+b x+c) = b x.
?
(a)

Покажите, что с этим скалярным произведением оператор TT не самосопряжён.

(b)

Матрица TT относительно базиса 1,x,x21, x, x^{2} равна

(000010000). \begin{pmatrix} 0 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 0 \end{pmatrix}.

Эта матрица равна своей сопряжённо-транспонированной, хотя TT не самосопряжён. Объясните, почему это не является противоречием.

Задача 7A.15

Пусть T∈L(V)T \in \mathcal{L}(V) обратим. Докажите, что

?
(a)

TT самосопряжён   ⟺  \iff T−1T^{-1} самосопряжён;

(b)

TT нормален   ⟺  \iff T−1T^{-1} нормален.

Задача 7A.16

Пусть F=R\mathbf{F} = \mathbb {R}.

?
(a)

Покажите, что множество самосопряжённых операторов на VV является подпространством L(V)\mathcal{L}(V).

(b)

Какова размерность подпространства L(V)\mathcal{L}(V) из пункта (a) (в терминах dim⁡V\operatorname {dim} V)?

Задача 7A.17

Пусть F=C\mathbf{F} = \mathbb {C}. Покажите, что множество самосопряжённых операторов на VV не является подпространством L(V)\mathcal{L}(V).

?
Задача 7A.18

Пусть dim⁡V≥2\operatorname {dim} V \geq 2. Покажите, что множество нормальных операторов на VV не является подпространством L(V)\mathcal{L}(V).

?
Задача 7A.19

Пусть T∈L(V)T \in \mathcal{L}(V) и ∥T∗v∥≤∥Tv∥\left\| T^{*} v\right\| \leq \left\| T v\right\| для всех v∈Vv \in V. Докажите, что TT нормален.

?
Примечание.
?

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

Задача 7A.20

Пусть P∈L(V)P \in \mathcal{L}(V) таков, что P2=PP^{2} = P. Докажите, что следующие условия эквивалентны.

  1. PP самосопряжён.

  2. PP нормален.

  3. Существует подпространство UU пространства VV такое, что P=PUP = P_{U}.

?
Задача 7A.21

Пусть D:P8(R)→P8(R)D: \mathcal{P}_{8}(\mathbb {R}) \rightarrow \mathcal{P}_{8}(\mathbb {R}) — оператор дифференцирования, определённый равенством Dp=p′D p = p^{\prime }. Докажите, что не существует скалярного произведения на P8(R)\mathcal{P}_{8}(\mathbb {R}), делающего DD нормальным оператором.

?
Задача 7A.22

Приведите пример оператора T∈L(R3)T \in \mathcal{L}(\mathbb {R}^{3}) такого, что TT нормален, но не самосопряжён.

?
Задача 7A.23

Пусть TT — нормальный оператор на VV. Пусть также v,w∈Vv, w \in V удовлетворяют равенствам

∥v∥=∥w∥=2,Tv=3v,Tw=4w. \left\| v\right\| = \left\| w\right\| = 2, \quad T v = 3 v, \quad T w = 4 w.

Покажите, что ∥T(v+w)∥=10\left\| T(v+w)\right\| = 10.

?
Задача 7A.24

Пусть T∈L(V)T \in \mathcal{L}(V) и

a0+a1z+a2z2+⋯+am−1zm−1+zm a_{0}+a_{1} z+a_{2} z^{2}+\cdots +a_{m-1} z^{m-1}+z^{m}

— минимальный многочлен TT. Докажите, что минимальный многочлен T∗T^{*} равен

a0‾+a1‾z+a2‾z2+⋯+am−1‾zm−1+zm. \overline{a_{0}}+\overline{a_{1}} z+\overline{a_{2}} z^{2}+\cdots +\overline{a_{m-1}} z^{m-1}+z^{m}.
?
Примечание.
?

Эта задача показывает, что минимальный многочлен T∗T^{*} совпадает с минимальным многочленом TT, если F=R\mathbf{F} = \mathbb {R}.

Задача 7A.25

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что TT диагонализируем тогда и только тогда, когда T∗T^{*} диагонализируем.

?
Задача 7A.26

Зафиксируем u,x∈Vu, x \in V. Определим T∈L(V)T \in \mathcal{L}(V) равенством Tv=⟨v,u⟩xT v = \left\langle v, u \right\rangle x для всех v∈Vv \in V.

?
(a)

Докажите, что если VV — вещественное векторное пространство, то TT самосопряжён тогда и только тогда, когда набор u,xu, x линейно зависим.

(b)

Докажите, что TT нормален тогда и только тогда, когда набор u,xu, x линейно зависим.

Задача 7A.27

Пусть T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что

null⁡Tk=null⁡T и range⁡Tk=range⁡T \operatorname {null} T^{k} = \operatorname {null} T \quad \text{ и } \quad \operatorname {range} T^{k} = \operatorname {range} T

для всех положительных целых kk.

?
Задача 7A.28

Пусть T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что если λ∈F\lambda \in \mathbf{F}, то минимальный многочлен TT не является произведением (x−λ)2(x-\lambda )^{2} на какой-либо многочлен.

?
Задача 7A.29

Докажите или приведите контрпример: если T∈L(V)T \in \mathcal{L}(V) и существует ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} пространства VV такой, что ∥Tek∥=∥T∗ek∥\left\| T e_{k}\right\| = \left\| T^{*} e_{k}\right\| для каждого k=1,…,nk = 1, \ldots , n, то TT нормален.

?
Задача 7A.30

Пусть T∈L(F3)T \in \mathcal{L}(\mathbf{F}^{3}) нормален и T(1,1,1)=(2,2,2)T(1,1,1) = (2,2,2). Пусть (z1,z2,z3)∈null⁡T(z_{1}, z_{2}, z_{3}) \in \operatorname {null} T. Докажите, что z1+z2+z3=0z_{1}+z_{2}+z_{3} = 0.

?
Задача 7A.31

Зафиксируем положительное целое число nn. В пространстве со скалярным произведением непрерывных вещественнозначных функций на [−π,π][-\pi , \pi ] со скалярным произведением ⟨f,g⟩=∫−ππfg\left\langle f, g \right\rangle = \int_{-\pi }^{\pi } f g пусть

V=span⁡(1,cos⁡x,cos⁡2x,…,cos⁡nx,sin⁡x,sin⁡2x,…,sin⁡nx). V = \operatorname {span}(1, \cos x, \cos 2 x, \ldots , \cos n x, \sin x, \sin 2 x, \ldots , \sin n x).
?
(a)

Определим D∈L(V)D \in \mathcal{L}(V) равенством Df=f′D f = f^{\prime }. Покажите, что D∗=−DD^{*} = -D. Сделайте вывод, что DD нормален, но не самосопряжён.

(b)

Определим T∈L(V)T \in \mathcal{L}(V) равенством Tf=f′′T f = f^{\prime \prime }. Покажите, что TT самосопряжён.

Задача 7A.32

Пусть T:V→WT: V \rightarrow W — линейное отображение. Покажите, что при стандартном отождествлении VV с V′V^{\prime } (см. 6.58) и соответствующем отождествлении WW с W′W^{\prime } сопряжённое отображение T∗:W→VT^{*}: W \rightarrow V соответствует двойственному отображению T′:W′→V′T^{\prime }: W^{\prime } \rightarrow V^{\prime }. Точнее, покажите, что

T′(φw)=φT∗w T^{\prime }(\varphi _{w}) = \varphi _{T^{*} w}

для всех w∈Ww \in W, где φw\varphi_{w} и φT∗w\varphi_{T^{*} w} определены как в 6.58.

6.58 (теорема Рисса о представлении, продолжение): пусть VV конечномерно. Для каждого v∈Vv \in V определим φv∈V′\varphi_{v} \in V^{\prime } равенством φv(u)=⟨u,v⟩\varphi_{v}(u) = \left\langle u, v \right\rangle для каждого u∈Vu \in V. Тогда v↦φvv \mapsto \varphi_{v} — взаимно однозначное отображение из VV на V′V^{\prime }.

?
§
Задача 7B.1

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

?
Примечание.
?

Эта задача усиливает аналогию (для нормальных операторов) между самосопряжёнными операторами и вещественными числами.

Задача 7B.2

Пусть F=C\mathbf{F} = \mathbb {C}. Пусть T∈L(V)T \in \mathcal{L}(V) нормален и имеет единственное собственное значение. Докажите, что TT является скалярным кратным тождественного оператора.

?
Задача 7B.3

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что множество собственных значений TT содержится в {0,1}\left\{ 0,1\right\} тогда и только тогда, когда существует подпространство UU пространства VV такое, что T=PUT = P_{U}.

?
Задача 7B.4

Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением кососопряжён (то есть равен минус своему сопряжённому) тогда и только тогда, когда все его собственные значения чисто мнимые (то есть их вещественная часть равна 00).

?
Задача 7B.5

Докажите или приведите контрпример: если T∈L(C3)T \in \mathcal{L}(\mathbb {C}^{3}) — диагонализируемый оператор, то TT нормален (относительно обычного скалярного произведения).

?
Задача 7B.6

Пусть VV — комплексное пространство со скалярным произведением, а T∈L(V)T \in \mathcal{L}(V) — нормальный оператор такой, что T9=T8T^{9} = T^{8}. Докажите, что TT самосопряжён и T2=TT^{2} = T.

?
Задача 7B.7

Приведите пример оператора TT на комплексном векторном пространстве такого, что T9=T8T^{9} = T^{8}, но T2≠TT^{2} \neq T.

?
Задача 7B.8

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда каждый собственный вектор TT является также собственным вектором T∗T^{*}.

?
Задача 7B.9

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда существует многочлен p∈P(C)p \in \mathcal{P}(\mathbb {C}) такой, что T∗=p(T)T^{*} = p(T).

?
Задача 7B.10

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

?
Примечание.
?

Оператор S∈L(V)S \in \mathcal{L}(V) называется квадратным корнем оператора T∈L(V)T \in \mathcal{L}(V), если S2=TS^{2} = T. Квадратные корни операторов обсуждаются подробнее в разделах 7C и 8C.

Задача 7B.11

Докажите, что у каждого самосопряжённого оператора на VV есть кубический корень.

?
Примечание.
?

Оператор S∈L(V)S \in \mathcal{L}(V) называется кубическим корнем оператора T∈L(V)T \in \mathcal{L}(V), если S3=TS^{3} = T.

Задача 7B.12

Пусть VV — комплексное векторное пространство, а T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что если SS — оператор на VV, коммутирующий с TT, то SS коммутирует с T∗T^{*}.

?
Примечание.
?

Результат этой задачи называется теоремой Фульгеде.

Задача 7B.13

Не используя комплексную спектральную теорему, воспользуйтесь версией теоремы Шура, применимой к двум коммутирующим операторам (взяв E={T,T∗}\mathcal{E} = \left\{ T, T^{*}\right\} в задаче 20 раздела 6B), чтобы дать другое доказательство того, что если F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален, то TT имеет диагональную матрицу относительно некоторого ортонормированного базиса VV.

?
Задача 7B.14

Пусть F=R\mathbf{F} = \mathbb {R} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT самосопряжён тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям TT, ортогональны и V=E(λ1,T)⊕⋯⊕E(λm,T)V = E(\lambda_{1}, T) \oplus \cdots \oplus E(\lambda_{m}, T), где λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные собственные значения TT.

?
Задача 7B.15

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям TT, ортогональны и V=E(λ1,T)⊕⋯⊕E(λm,T)V = E(\lambda_{1}, T) \oplus \cdots \oplus E(\lambda_{m}, T), где λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные собственные значения TT.

?
Задача 7B.16

Пусть F=C\mathbf{F} = \mathbb {C} и E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V). Докажите, что существует ортонормированный базис VV, относительно которого каждый элемент E\mathcal{E} имеет диагональную матрицу, тогда и только тогда, когда SS и TT являются коммутирующими нормальными операторами для всех S,T∈ES, T \in \mathcal{E}.

?
Примечание.
?

Эта задача расширяет комплексную спектральную теорему на случай набора коммутирующих нормальных операторов.

Задача 7B.17

Пусть F=R\mathbf{F} = \mathbb {R} и E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V). Докажите, что существует ортонормированный базис VV, относительно которого каждый элемент E\mathcal{E} имеет диагональную матрицу, тогда и только тогда, когда SS и TT являются коммутирующими самосопряжёнными операторами для всех S,T∈ES, T \in \mathcal{E}.

?
Примечание.
?

Эта задача расширяет вещественную спектральную теорему на случай набора коммутирующих самосопряжённых операторов.

Задача 7B.18

Приведите пример вещественного пространства со скалярным произведением VV, оператора T∈L(V)T \in \mathcal{L}(V) и вещественных чисел b,cb, c с b2<4cb^{2}<4 c таких, что

T2+bT+cI T^{2}+b T+c I

необратим.

?
Примечание.
?

Эта задача показывает, что предположение о самосопряжённости TT нельзя отбросить в 7.26, даже для вещественных векторных пространств.

7.26 (обратимость квадратичных выражений): пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён и b,c∈Rb, c \in \mathbb {R} таковы, что b2<4cb^{2}<4 c. Тогда T2+bT+cIT^{2}+b T+c I — обратимый оператор.

Задача 7B.19

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён и UU — подпространство VV, инвариантное относительно TT.

?
(a)

Докажите, что U⊥U^{\perp } инвариантно относительно TT.

(b)

Докажите, что T∣U∈L(U)\left.T\right|_{U} \in \mathcal{L}(U) самосопряжён.

(c)

Докажите, что T∣U⊥∈L(U⊥)\left.T\right|_{U^{\perp }} \in \mathcal{L}(U^{\perp }) самосопряжён.

Задача 7B.20

Пусть T∈L(V)T \in \mathcal{L}(V) нормален и UU — подпространство VV, инвариантное относительно TT.

?
(a)

Докажите, что U⊥U^{\perp } инвариантно относительно TT.

(b)

Докажите, что UU инвариантно относительно T∗T^{*}.

(c)

Докажите, что (T∣U)∗=(T∗)∣U\left(\left.T\right|_{U}\right)^{*} = \left.\left(T^{*}\right)\right|_{U}.

(d)

Докажите, что T∣U∈L(U)\left.T\right|_{U} \in \mathcal{L}(U) и T∣U⊥∈L(U⊥)\left.T\right|_{U^{\perp }} \in \mathcal{L}(U^{\perp }) являются нормальными операторами.

Эту задачу можно использовать для ещё одного доказательства комплексной спектральной теоремы (используя индукцию по dim⁡V\operatorname {dim} V и результат о том, что у TT есть собственный вектор).

Задача 7B.21

Пусть TT — самосопряжённый оператор на конечномерном пространстве со скалярным произведением, и пусть 22 и 33 — единственные собственные значения TT. Докажите, что

T2−5T+6I=0. T^{2}-5 T+6 I = 0.
?
Задача 7B.22

Приведите пример оператора T∈L(C3)T \in \mathcal{L}(\mathbb {C}^{3}) такого, что 22 и 33 — единственные собственные значения TT и T2−5T+6I≠0T^{2}-5 T+6 I \neq 0.

?
Задача 7B.23

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён, λ∈F\lambda \in \mathbf{F} и ϵ>0\epsilon >0. Пусть существует v∈Vv \in V такой, что ∥v∥=1\left\| v\right\| = 1 и

∥Tv−λv∥<ϵ. \left\| T v-\lambda v\right\| <\epsilon .

Докажите, что у TT есть собственное значение λ′\lambda^{\prime } такое, что ∣λ−λ′∣<ϵ\left|\lambda -\lambda^{\prime }\right|<\epsilon.

?
Примечание.
?

Эта задача показывает, что для самосопряжённого оператора число, близкое к удовлетворению равенства, которое сделало бы его собственным значением, близко к собственному значению.

Задача 7B.24

Пусть UU — конечномерное векторное пространство и T∈L(U)T \in \mathcal{L}(U).

?
(a)

Пусть F=R\mathbf{F} = \mathbb {R}. Докажите, что TT диагонализируем тогда и только тогда, когда существует базис UU, относительно которого матрица TT равна своей транспонированной.

(b)

Пусть F=C\mathbf{F} = \mathbb {C}. Докажите, что TT диагонализируем тогда и только тогда, когда существует базис UU, относительно которого матрица TT коммутирует со своей сопряжённо-транспонированной.

Эта задача добавляет ещё одно условие к списку условий, эквивалентных диагонализируемости, в 5.55.

Задача 7B.25

Пусть T∈L(V)T \in \mathcal{L}(V) и существует ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} пространства VV, состоящий из собственных векторов TT, с соответствующими собственными значениями λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}. Покажите, что если k∈{1,…,n}k \in \left\{ 1, \ldots , n\right\}, то псевдообратный оператор T†T^{\dagger } удовлетворяет равенству

T†ek={1λkek если λk≠0,0 если λk=0. T^{\dagger } e_{k} = \begin{cases} \frac{1}{\lambda _{k}} e_{k} & \text{ если } \lambda _{k} \neq 0, \\ 0 & \text{ если } \lambda _{k} = 0. \end{cases}
?
§
Задача 7C.1

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что если и TT, и −T-T являются положительными операторами, то T=0T = 0.

?
Задача 7C.2

Пусть T∈L(F4)T \in \mathcal{L}\left(\mathbf{F}^{4}\right) — оператор, матрица которого (относительно стандартного базиса) равна

(2−100−12−100−12−100−12). \begin{pmatrix} 2 & -1 & 0 & 0 \\ -1 & 2 & -1 & 0 \\ 0 & -1 & 2 & -1 \\ 0 & 0 & -1 & 2 \end{pmatrix}.

Покажите, что TT — обратимый положительный оператор.

?
Задача 7C.3

Пусть nn — положительное целое число и T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) — оператор, матрица которого (относительно стандартного базиса) состоит целиком из единиц. Покажите, что TT — положительный оператор.

?
Задача 7C.4

Пусть nn — целое число, n>1n > 1. Покажите, что существует nn-на-nn матрица AA, все элементы которой являются положительными числами и A=A∗A = A^{*}, но оператор на Fn\mathbf{F}^{n}, матрица которого (относительно стандартного базиса) равна AA, не является положительным оператором.

?
Задача 7C.5

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён. Докажите, что TT — положительный оператор тогда и только тогда, когда для каждого ортонормированного базиса e1,…,ene_{1}, \ldots , e_{n} пространства VV все элементы на диагонали M(T,(e1,…,en))\mathcal{M}(T, (e_{1}, \ldots , e_{n})) являются неотрицательными числами.

?
Задача 7C.6

Докажите, что сумма двух положительных операторов на VV является положительным оператором.

?
Задача 7C.7

Пусть S∈L(V)S \in \mathcal{L}(V) — обратимый положительный оператор, а T∈L(V)T \in \mathcal{L}(V) — положительный оператор. Докажите, что S+TS+T обратим.

?
Задача 7C.8

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что TT — положительный оператор тогда и только тогда, когда псевдообратный оператор T†T^{\dagger } является положительным оператором.

?
Задача 7C.9

Пусть T∈L(V)T \in \mathcal{L}(V) — положительный оператор, а S∈L(W,V)S \in \mathcal{L}(W, V). Докажите, что S∗TSS^{*} T S является положительным оператором на WW.

?
Задача 7C.10

Пусть TT — положительный оператор на VV. Пусть v,w∈Vv, w \in V таковы, что

Tv=w и Tw=v. T v = w \quad \text{ и } \quad T w = v .

Докажите, что v=wv = w.

?
Задача 7C.11

Пусть TT — положительный оператор на VV, а UU — подпространство VV, инвариантное относительно TT. Докажите, что T∣U∈L(U)T|_{U} \in \mathcal{L}(U) является положительным оператором на UU.

?
Задача 7C.12

Пусть T∈L(V)T \in \mathcal{L}(V) — положительный оператор. Докажите, что TkT^{k} является положительным оператором для каждого положительного целого числа kk.

?
Задача 7C.13

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён и α∈R\alpha \in \mathbf{R}.

?
(a)

Докажите, что T−αIT-\alpha I — положительный оператор тогда и только тогда, когда α\alpha меньше или равно каждому собственному значению TT.

(b)

Докажите, что αI−T\alpha I-T — положительный оператор тогда и только тогда, когда α\alpha больше или равно каждому собственному значению TT.

Задача 7C.14

Пусть TT — положительный оператор на VV и v1,…,vm∈Vv_{1}, \ldots , v_{m} \in V. Докажите, что

∑j=1m∑k=1m⟨Tvk,vj⟩≥0. \sum _{j = 1}^{m} \sum _{k = 1}^{m} \left\langle T v_{k}, v_{j} \right\rangle \geq 0 .
?
Задача 7C.15

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён. Докажите, что существуют положительные операторы A,B∈L(V)A, B \in \mathcal{L}(V), такие что

T=A−B и T∗T=A+B и AB=BA=0. T = A-B \quad \text{ и } \quad \sqrt{T^{*} T} = A+B \quad \text{ и } \quad A B = B A = 0 .
?
Задача 7C.16

Пусть TT — положительный оператор на VV. Докажите, что

null⁡T=null⁡T и range⁡T=range⁡T. \operatorname {null} \sqrt{T} = \operatorname {null} T \quad \text{ и } \quad \operatorname {range} \sqrt{T} = \operatorname {range} T .
?
Задача 7C.17

Пусть T∈L(V)T \in \mathcal{L}(V) — положительный оператор. Докажите, что существует многочлен pp с вещественными коэффициентами, такой что T=p(T)\sqrt{T} = p(T).

?
Задача 7C.18

Пусть SS и TT — положительные операторы на VV. Докажите, что STS T является положительным оператором тогда и только тогда, когда SS и TT коммутируют.

?
Задача 7C.19

Покажите, что тождественный оператор на F2\mathbf{F}^{2} имеет бесконечно много самосопряжённых квадратных корней.

?
Задача 7C.20

Пусть T∈L(V)T \in \mathcal{L}(V) и e1,…,ene_{1}, \ldots , e_{n} — ортонормированный базис VV. Докажите, что TT — положительный оператор тогда и только тогда, когда существуют v1,…,vn∈Vv_{1}, \ldots , v_{n} \in V, такие что

⟨Tek,ej⟩=⟨vk,vj⟩ \left\langle T e_{k}, e_{j} \right\rangle = \left\langle v_{k}, v_{j} \right\rangle

для всех j,k=1,…,nj, k = 1, \ldots , n.

?
Примечание.
?

Числа {⟨Tek,ej⟩}j,k=1,…,n\left\{ \left\langle T e_{k}, e_{j} \right\rangle \right\}_{j, k = 1, \ldots , n} являются элементами матрицы TT относительно ортонормированного базиса e1,…,ene_{1}, \ldots , e_{n}.

Задача 7C.21

Пусть nn — положительное целое число. nn-на-nn матрицей Гильберта называется nn-на-nn матрица, элемент которой в строке jj, столбце kk равен 1j+k−1\frac{1}{j+k-1}. Пусть T∈L(V)T \in \mathcal{L}(V) — оператор, матрица которого относительно некоторого ортонормированного базиса VV является nn-на-nn матрицей Гильберта. Докажите, что TT — положительный обратимый оператор.

?
Примечание.
?

Пример: 4-на-4 матрица Гильберта имеет вид

(1121314121314151314151614151617). \begin{pmatrix} 1 & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} \\ \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \frac{1}{5} \\ \frac{1}{3} & \frac{1}{4} & \frac{1}{5} & \frac{1}{6} \\ \frac{1}{4} & \frac{1}{5} & \frac{1}{6} & \frac{1}{7} \end{pmatrix}.
Задача 7C.22

Пусть T∈L(V)T \in \mathcal{L}(V) — положительный оператор и u∈Vu \in V таков, что ∥u∥=1\left\| u\right\| = 1 и ∥Tu∥≥∥Tv∥\left\| T u\right\| \geq \left\| T v\right\| для всех v∈Vv \in V с ∥v∥=1\left\| v\right\| = 1. Покажите, что uu — собственный вектор TT, соответствующий наибольшему собственному значению TT.

?
Задача 7C.23

Для T∈L(V)T \in \mathcal{L}(V) и u,v∈Vu, v \in V определим ⟨u,v⟩T\left\langle u, v \right\rangle_{T} по формуле ⟨u,v⟩T=⟨Tu,v⟩\left\langle u, v \right\rangle_{T} = \left\langle T u, v \right\rangle.

?
(a)

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что ⟨⋅,⋅⟩T\left\langle \cdot , \cdot \right\rangle_{T} является скалярным произведением на VV тогда и только тогда, когда TT — обратимый положительный оператор (относительно исходного скалярного произведения ⟨⋅,⋅⟩\left\langle \cdot , \cdot \right\rangle).

(b)

Докажите, что каждое скалярное произведение на VV имеет вид ⟨⋅,⋅⟩T\left\langle \cdot , \cdot \right\rangle_{T} для некоторого положительного обратимого оператора T∈L(V)T \in \mathcal{L}(V).

Задача 7C.24

Пусть SS и TT — положительные операторы на VV. Докажите, что

null⁡(S+T)=null⁡S∩null⁡T. \operatorname {null}(S+T) = \operatorname {null} S \cap \operatorname {null} T .
?
Задача 7C.25

Пусть TT — оператор второй производной из задачи 31(b) раздела 7A. Покажите, что −T-T является положительным оператором.

Задача 7A.31: зафиксируем положительное целое число nn. В пространстве непрерывных вещественнозначных функций на [−π,π][-\pi , \pi ] со скалярным произведением ⟨f,g⟩=∫−ππfg\left\langle f, g \right\rangle = \int_{-\pi }^{\pi } f g пусть V=span⁡(1,cos⁡x,cos⁡2x,…,cos⁡nx,sin⁡x,sin⁡2x,…,sin⁡nx)V = \operatorname {span}(1, \cos x, \cos 2 x, \ldots , \cos n x, \sin x, \sin 2 x, \ldots , \sin n x). Пункт (b) определяет T∈L(V)T \in \mathcal{L}(V) по формуле Tf=f′′T f = f''.

?
§
Задача 7D.1

Пусть dim⁡V≥2\dim V \geq 2 и S∈L(V,W)S \in \mathcal{L}(V, W). Докажите, что SS является изометрией тогда и только тогда, когда Se1,Se2S e_{1}, S e_{2} — ортонормированный набор в WW для каждого ортонормированного набора e1,e2e_{1}, e_{2} длины два в VV.

?
Задача 7D.2

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что TT является скалярным кратным изометрии тогда и только тогда, когда TT сохраняет ортогональность.

?
Примечание.
?

Фраза «TT сохраняет ортогональность» означает, что ⟨Tu,Tv⟩=0\left\langle T u, T v \right\rangle = 0 для всех u,v∈Vu, v \in V, таких что ⟨u,v⟩=0\left\langle u, v \right\rangle = 0.

Задача 7D.3
?
(a)

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

(b)

Покажите, что обратный к унитарному оператору на VV является унитарным оператором.

Примечание.
?

Эта задача показывает, что множество унитарных операторов на VV образует группу, где групповой операцией является обычное произведение двух операторов.

Задача 7D.4

Пусть F=C\mathbf{F} = \mathbb {C} и A,B∈L(V)A, B \in \mathcal{L}(V) самосопряжены. Покажите, что A+iBA+i B унитарен тогда и только тогда, когда AB=BAA B = B A и A2+B2=IA^{2}+B^{2} = I.

?
Задача 7D.5

Пусть S∈L(V)S \in \mathcal{L}(V). Докажите, что следующие утверждения эквивалентны.

  1. SS — самосопряжённый унитарный оператор.

  2. S=2P−IS = 2 P-I для некоторой ортогональной проекции PP на VV.

  3. Существует подпространство UU пространства VV, такое что Su=uS u = u для каждого u∈Uu \in U и Sw=−wS w = -w для каждого w∈U⊥w \in U^{\perp }.

?
Задача 7D.6

Пусть T1,T2T_{1}, T_{2} — оба нормальные операторы на F3\mathbf{F}^{3} с собственными значениями 2,5,72, 5, 7. Докажите, что существует унитарный оператор S∈L(F3)S \in \mathcal{L}\left(\mathbf{F}^{3}\right), такой что T1=S∗T2ST_{1} = S^{*} T_{2} S.

?
Задача 7D.7

Приведите пример двух самосопряжённых операторов T1,T2∈L(F4)T_{1}, T_{2} \in \mathcal{L}\left(\mathbf{F}^{4}\right), таких что собственные значения обоих операторов равны 2,5,72, 5, 7, но не существует унитарного оператора S∈L(F4)S \in \mathcal{L}\left(\mathbf{F}^{4}\right), такого что T1=S∗T2ST_{1} = S^{*} T_{2} S. Обязательно объясните, почему не существует унитарного оператора с требуемым свойством.

?
Задача 7D.8

Докажите или приведите контрпример: если S∈L(V)S \in \mathcal{L}(V) и существует ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} пространства VV, такой что ∥Sek∥=1\left\| S e_{k}\right\| = 1 для каждого eke_{k}, то SS — унитарный оператор.

?
Задача 7D.9

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Пусть каждое собственное значение TT по модулю равно 11 и ∥Tv∥≤∥v∥\left\| T v\right\| \leq \left\| v\right\| для каждого v∈Vv \in V. Докажите, что TT — унитарный оператор.

?
Задача 7D.10

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) — самосопряжённый оператор, такой что ∥Tv∥≤∥v∥\left\| T v\right\| \leq \left\| v\right\| для всех v∈Vv \in V.

?
(a)

Покажите, что I−T2I-T^{2} является положительным оператором.

(b)

Покажите, что T+iI−T2T+i \sqrt{I-T^{2}} является унитарным оператором.

Задача 7D.11

Пусть S∈L(V)S \in \mathcal{L}(V). Докажите, что SS — унитарный оператор тогда и только тогда, когда

{Sv:v∈V и ∥v∥≤1}={v∈V:∥v∥≤1}. \left\{ S v : v \in V \text{ и } \left\| v\right\| \leq 1\right\} = \left\{ v \in V : \left\| v\right\| \leq 1\right\} .
?
Задача 7D.12

Докажите или приведите контрпример: если S∈L(V)S \in \mathcal{L}(V) обратим и ∥S−1v∥=∥Sv∥\left\| S^{-1} v\right\| = \left\| S v\right\| для каждого v∈Vv \in V, то SS унитарен.

?
Задача 7D.13

Объясните, почему столбцы квадратной матрицы комплексных чисел образуют ортонормированный набор в Cn\mathbb {C}^{n} тогда и только тогда, когда строки этой матрицы образуют ортонормированный набор в Cn\mathbb {C}^{n}.

?
Задача 7D.14

Пусть v∈Vv \in V, ∥v∥=1\left\| v\right\| = 1, и b∈Fb \in \mathbf{F}. Также пусть dim⁡V≥2\dim V \geq 2. Докажите, что существует унитарный оператор S∈L(V)S \in \mathcal{L}(V), такой что ⟨Sv,v⟩=b\left\langle S v, v \right\rangle = b, тогда и только тогда, когда ∣b∣≤1\left|b\right| \leq 1.

?
Задача 7D.15

Пусть TT — унитарный оператор на VV, такой что T−IT-I обратим.

?
(a)

Докажите, что (T+I)(T−I)−1(T+I)(T-I)^{-1} является кососимметричным оператором (то есть равен противоположному своему сопряжённому).

(b)

Докажите, что если F=C\mathbf{F} = \mathbb {C}, то i(T+I)(T−I)−1i(T+I)(T-I)^{-1} является самосопряжённым оператором.

Примечание.
?

Функция z↦i(z+1)(z−1)−1z \mapsto i(z+1)(z-1)^{-1} отображает единичную окружность в C\mathbb {C} (за исключением точки 11) на R\mathbf{R}. Таким образом, пункт (b) иллюстрирует аналогию между унитарными операторами и единичной окружностью в C\mathbb {C}, наряду с аналогией между самосопряжёнными операторами и R\mathbf{R}.

Задача 7D.16

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) самосопряжён. Докажите, что (T+iI)(T−iI)−1(T+i I)(T-i I)^{-1} является унитарным оператором и 11 не является собственным значением этого оператора.

?
Задача 7D.17

Объясните, почему выполняются характеризации унитарных матриц, данные в 7.57.

7.57 (характеризации унитарных матриц): пусть QQ — nn-на-nn матрица. Тогда следующие утверждения эквивалентны: (a) QQ — унитарная матрица; (b) строки QQ образуют ортонормированный набор в Fn\mathbf{F}^{n}; (c) ∥Qv∥=∥v∥\left\| Q v\right\| = \left\| v\right\| для каждого v∈Fnv \in \mathbf{F}^{n}; (d) Q∗Q=QQ∗=IQ^{*} Q = Q Q^{*} = I, где II — nn-на-nn матрица с единицами на диагонали и нулями в остальных местах.

?
Задача 7D.18

Квадратная матрица AA называется симметричной, если она равна своей транспонированной. Докажите, что если AA — симметричная матрица с вещественными элементами, то существует унитарная матрица QQ с вещественными элементами, такая что Q∗AQQ^{*} A Q является диагональной матрицей.

?
Задача 7D.19

Пусть nn — положительное целое число. В этой задаче мы используем обозначение, при котором типичный элемент zz пространства Cn\mathbb {C}^{n} обозначается как z=(z0,z1,…,zn−1)z = (z_{0}, z_{1}, \ldots , z_{n-1}). Определим линейные функционалы ω0,ω1,…,ωn−1\omega_{0}, \omega_{1}, \ldots , \omega_{n-1} на Cn\mathbb {C}^{n} по формуле

ωj(z0,z1,…,zn−1)=1n∑m=0n−1zme−2πijm/n. \omega _{j}(z_{0}, z_{1}, \ldots , z_{n-1}) = \frac{1}{\sqrt{n}} \sum _{m = 0}^{n-1} z_{m} e^{-2 \pi i j m / n} .

Дискретным преобразованием Фурье называется оператор F:Cn→Cn\mathcal{F} : \mathbb {C}^{n} \rightarrow \mathbb {C}^{n}, определённый как

Fz=(ω0(z),ω1(z),…,ωn−1(z)). \mathcal{F} z = (\omega _{0}(z), \omega _{1}(z), \ldots , \omega _{n-1}(z)) .
?
(a)

Покажите, что F\mathcal{F} — унитарный оператор на Cn\mathbb {C}^{n}.

(b)

Покажите, что если (z0,…,zn−1)∈Cn(z_{0}, \ldots , z_{n-1}) \in \mathbb {C}^{n} и znz_{n} определено равным z0z_{0}, то

F−1(z0,z1,…,zn−1)=F(zn,zn−1,…,z1). \mathcal{F}^{-1}(z_{0}, z_{1}, \ldots , z_{n-1}) = \mathcal{F}(z_{n}, z_{n-1}, \ldots , z_{1}) .
(c)

Покажите, что F4=I\mathcal{F}^{4} = I.

Примечание.
?

Дискретное преобразование Фурье имеет много важных приложений в анализе данных. Обычное преобразование Фурье использует выражения вида ∫−∞∞f(x)e−2πitxdx\int_{-\infty }^{\infty } f(x) e^{-2 \pi i t x} d x для комплекснозначных интегрируемых функций ff, определённых на R\mathbf{R}.

Задача 7D.20

Пусть AA — квадратная матрица с линейно независимыми столбцами. Докажите, что существуют единственные матрицы RR и QQ, такие что RR нижнетреугольна и имеет только положительные числа на диагонали, QQ унитарна, и A=RQA = R Q.

?
§
Задача 7E.1

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Покажите, что T=0T = 0 тогда и только тогда, когда все сингулярные числа TT равны 00.

?
Задача 7E.2

Пусть T∈L(V,W)T \in \mathcal{L}(V, W) и s>0s > 0. Докажите, что ss — сингулярное число TT тогда и только тогда, когда существуют ненулевые векторы v∈Vv \in V и w∈Ww \in W, такие что

Tv=sw и T∗w=sv. T v = s w \quad \text{ и } \quad T^{*} w = s v.
?
Примечание.
?

Векторы v,wv, w, удовлетворяющие обоим равенствам выше, называются парой Шмидта. Эрхард Шмидт ввёл понятие сингулярного числа в 1907 году.

Задача 7E.3

Приведите пример T∈L(C2)T \in \mathcal{L}(\mathbb {C}^{2}), такого что 00 — единственное собственное значение TT, а сингулярные числа TT равны 5,05, 0.

?
Задача 7E.4

Пусть T∈L(V,W),s1T \in \mathcal{L}(V, W), s_{1} — наибольшее сингулярное число TT, а sns_{n} — наименьшее сингулярное число TT. Докажите, что

{∥Tv∥:v∈V и ∥v∥=1}=[sn,s1]. \left\{ \left\| T v\right\| : v \in V \text{ и } \left\| v\right\| = 1\right\} = \left[s_{n}, s_{1}\right].
?
Задача 7E.5

Пусть T∈L(C2)T \in \mathcal{L}(\mathbb {C}^{2}) определён формулой T(x,y)=(−4y,x)T(x, y) = (-4 y, x). Найдите сингулярные числа TT.

?
Задача 7E.6

Найдите сингулярные числа оператора дифференцирования D∈L(P2(R))D \in \mathcal{L}(\mathcal{P}_{2}(\mathbb {R})), определённого формулой Dp=p′D p = p^{\prime }, где скалярное произведение на P2(R)\mathcal{P}_{2}(\mathbb {R}) задано формулой

⟨p,q⟩=∫−11pq. \left\langle p, q \right\rangle = \int _{-1}^{1} p q.
?
Задача 7E.7

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён, либо F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален. Пусть λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} — собственные значения TT, причём каждое включено в этот список столько раз, какова размерность соответствующего собственного подпространства. Покажите, что сингулярные числа TT равны ∣λ1∣,…,∣λn∣\left|\lambda_{1}\right|, \ldots , \left|\lambda_{n}\right| после того, как эти числа отсортированы по убыванию.

?
Задача 7E.8

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Пусть s1≥s2≥⋯≥sm>0s_{1} \geq s_{2} \geq \cdots \geq s_{m} > 0, а e1,…,eme_{1}, \ldots , e_{m} — ортонормированный набор в VV и f1,…,fmf_{1}, \ldots , f_{m} — ортонормированный набор в WW, такие что

Tv=s1⟨v,e1⟩f1+⋯+sm⟨v,em⟩fm T v = s_{1} \left\langle v, e_{1} \right\rangle f_{1} + \cdots + s_{m} \left\langle v, e_{m} \right\rangle f_{m}

для каждого v∈Vv \in V.

?
(a)

Докажите, что f1,…,fmf_{1}, \ldots , f_{m} — ортонормированный базис range⁡T\operatorname {range} T.

(b)

Докажите, что e1,…,eme_{1}, \ldots , e_{m} — ортонормированный базис (null⁡T)⊥\left(\operatorname {null} T\right)^{\perp }.

(c)

Докажите, что s1,…,sms_{1}, \ldots , s_{m} — положительные сингулярные числа TT.

(d)

Докажите, что если k∈{1,…,m}k \in \left\{ 1, \ldots , m\right\}, то eke_{k} — собственный вектор T∗TT^{*} T с соответствующим собственным значением sk2s_{k}^{2}.

(e)

Докажите, что

TT∗w=s12⟨w,f1⟩f1+⋯+sm2⟨w,fm⟩fm T T^{*} w = s_{1}^{2} \left\langle w, f_{1} \right\rangle f_{1} + \cdots + s_{m}^{2} \left\langle w, f_{m} \right\rangle f_{m}

для всех w∈Ww \in W.

Задача 7E.9

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Покажите, что TT и T∗T^{*} имеют одни и те же положительные сингулярные числа.

?
Задача 7E.10

Пусть T∈L(V,W)T \in \mathcal{L}(V, W) имеет сингулярные числа s1,…,sns_{1}, \ldots , s_{n}. Докажите, что если TT — обратимое линейное отображение, то T−1T^{-1} имеет сингулярные числа

1sn,…,1s1. \frac{1}{s_{n}}, \ldots , \frac{1}{s_{1}}.
?
Задача 7E.11

Пусть T∈L(V,W)T \in \mathcal{L}(V, W) и v1,…,vnv_{1}, \ldots , v_{n} — ортонормированный базис VV. Пусть s1,…,sns_{1}, \ldots , s_{n} обозначают сингулярные числа TT.

?
(a)

Докажите, что ∥Tv1∥2+⋯+∥Tvn∥2=s12+⋯+sn2\left\| T v_{1}\right\|^{2} + \cdots + \left\| T v_{n}\right\|^{2} = s_{1}^{2} + \cdots + s_{n}^{2}.

(b)

Докажите, что если W=VW = V и TT — положительный оператор, то

⟨Tv1,v1⟩+⋯+⟨Tvn,vn⟩=s1+⋯+sn. \left\langle T v_{1}, v_{1} \right\rangle + \cdots + \left\langle T v_{n}, v_{n} \right\rangle = s_{1} + \cdots + s_{n}.
Примечание.
?

Задача 5 раздела 7A показывает, что если e1,…,ene_{1}, \ldots , e_{n} — ортонормированный базис VV, а f1,…,fmf_{1}, \ldots , f_{m} — ортонормированный базис WW, то ∥Te1∥2+⋯+∥Ten∥2=∥T∗f1∥2+⋯+∥T∗fm∥2\left\| T e_{1}\right\|^{2} + \cdots + \left\| T e_{n}\right\|^{2} = \left\| T^{*} f_{1}\right\|^{2} + \cdots + \left\| T^{*} f_{m}\right\|^{2}; в частности, левая часть не зависит от того, какой ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} пространства VV используется. Пункт (a) этой задачи определяет это общее значение.

Задача 7E.12
?
(a)

Приведите пример конечномерного векторного пространства и оператора TT на нём, такого что сингулярные числа T2T^{2} не равны квадратам сингулярных чисел TT.

(b)

Пусть T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что сингулярные числа T2T^{2} равны квадратам сингулярных чисел TT.

Задача 7E.13

Пусть T1,T2∈L(V)T_{1}, T_{2} \in \mathcal{L}(V). Докажите, что T1T_{1} и T2T_{2} имеют одни и те же сингулярные числа тогда и только тогда, когда существуют унитарные операторы S1,S2∈L(V)S_{1}, S_{2} \in \mathcal{L}(V), такие что T1=S1T2S2T_{1} = S_{1} T_{2} S_{2}.

?
Задача 7E.14

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Пусть sns_{n} обозначает наименьшее сингулярное число TT. Докажите, что sn∥v∥≤∥Tv∥s_{n} \left\| v\right\| \leq \left\| T v\right\| для каждого v∈Vv \in V.

?
Задача 7E.15

Пусть T∈L(V)T \in \mathcal{L}(V) и s1≥⋯≥sns_{1} \geq \cdots \geq s_{n} — сингулярные числа TT. Докажите, что если λ\lambda — собственное значение TT, то s1≥∣λ∣≥sns_{1} \geq \left|\lambda \right| \geq s_{n}.

?
Задача 7E.16

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Докажите, что (T∗)†=(T†)∗\left(T^{*}\right)^{\dagger } = \left(T^{\dagger }\right)^{*}.

?
Примечание.
?

Сравните результат этой задачи с аналогичным результатом для обратимых линейных отображений: если T∈L(V,W)T \in \mathcal{L}(V, W) обратимо, то T∗T^{*} обратим и (T∗)−1=(T−1)∗\left(T^{*}\right)^{-1} = \left(T^{-1}\right)^{*}.

Задача 7E.17

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что TT самосопряжён тогда и только тогда, когда T†T^{\dagger } самосопряжён.

?
§
Задача 7F.1

Докажите, что если S,T∈L(V,W)S, T \in \mathcal{L}(V, W), то ∣∥S∥−∥T∥∣≤∥S−T∥\left|\left\| S\right\| - \left\| T\right\| \right| \leq \left\| S - T\right\|.

?
Примечание.
?

Указанное выше неравенство называется обратным неравенством треугольника.

Задача 7F.2

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён, либо F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что

∥T∥=max⁡{∣λ∣:λ — собственное значение T}. \left\| T\right\| = \max \left\{ \left|\lambda \right| : \lambda \text{ — собственное значение } T\right\} .
?
Задача 7F.3

Пусть T∈L(V,W)T \in \mathcal{L}(V, W) и v∈Vv \in V. Докажите, что

∥Tv∥=∥T∥∥v∥  ⟺  T∗Tv=∥T∥2v. \left\| T v\right\| = \left\| T\right\| \left\| v\right\| \iff T^{*} T v = \left\| T\right\| ^{2} v.
?
Задача 7F.4

Пусть T∈L(V,W),v∈VT \in \mathcal{L}(V, W), v \in V и ∥Tv∥=∥T∥∥v∥\left\| T v\right\| = \left\| T\right\| \left\| v\right\|. Докажите, что если u∈Vu \in V и ⟨u,v⟩=0\left\langle u, v \right\rangle = 0, то ⟨Tu,Tv⟩=0\left\langle T u, T v \right\rangle = 0.

?
Задача 7F.5

Пусть UU — конечномерное пространство со скалярным произведением, T∈L(V,U)T \in \mathcal{L}(V, U) и S∈L(U,W)S \in \mathcal{L}(U, W). Докажите, что

∥ST∥≤∥S∥∥T∥. \left\| S T\right\| \leq \left\| S\right\| \left\| T\right\| .
?
Задача 7F.6

Докажите или приведите контрпример: если S,T∈L(V)S, T \in \mathcal{L}(V), то ∥ST∥=∥TS∥\left\| S T\right\| = \left\| T S\right\|.

?
Задача 7F.7

Покажите, что определение d(S,T)=∥S−T∥d(S, T) = \left\| S - T\right\| для S,T∈L(V,W)S, T \in \mathcal{L}(V, W) задаёт метрику dd на L(V,W)\mathcal{L}(V, W).

?
Примечание.
?

Эта задача требует знакомства с метрическими пространствами.

Задача 7F.8
?
(a)

Докажите, что если T∈L(V)T \in \mathcal{L}(V) и ∥I−T∥<1\left\| I - T\right\| < 1, то TT обратим.

(b)

Пусть S∈L(V)S \in \mathcal{L}(V) обратим. Докажите, что если T∈L(V)T \in \mathcal{L}(V) и ∥S−T∥<1/∥S−1∥\left\| S - T\right\| < 1 / \left\| S^{-1}\right\|, то TT обратим.

Примечание.
?

Эта задача показывает, что множество обратимых операторов в L(V)\mathcal{L}(V) является открытым подмножеством L(V)\mathcal{L}(V) относительно метрики, определённой в задаче 7.

Задача 7F.9

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что для каждого ϵ>0\epsilon > 0 существует обратимый оператор S∈L(V)S \in \mathcal{L}(V), такой что 0<∥T−S∥<ϵ0 < \left\| T - S\right\| < \epsilon.

?
Задача 7F.10

Пусть dim⁡V>1\operatorname {dim} V > 1 и T∈L(V)T \in \mathcal{L}(V) необратим. Докажите, что для каждого ϵ>0\epsilon > 0 существует S∈L(V)S \in \mathcal{L}(V), такой что 0<∥T−S∥<ϵ0 < \left\| T - S\right\| < \epsilon и SS необратим.

?
Задача 7F.11

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что для каждого ϵ>0\epsilon > 0 существует диагонализируемый оператор S∈L(V)S \in \mathcal{L}(V), такой что 0<∥T−S∥<ϵ0 < \left\| T - S\right\| < \epsilon.

?
Задача 7F.12

Пусть T∈L(V)T \in \mathcal{L}(V) — положительный оператор. Покажите, что ∥T∥=∥T∥\left\| \sqrt{T}\right\| = \sqrt{\left\| T\right\| }.

?
Задача 7F.13

Пусть S,T∈L(V)S, T \in \mathcal{L}(V) — положительные операторы. Покажите, что

∥S−T∥≤max⁡{∥S∥,∥T∥}≤∥S+T∥. \left\| S - T\right\| \leq \max \left\{ \left\| S\right\| , \left\| T\right\| \right\} \leq \left\| S + T\right\| .
?
Задача 7F.14

Пусть UU и WW — подпространства VV, такие что ∥PU−PW∥<1\left\| P_{U} - P_{W}\right\| < 1. Докажите, что dim⁡U=dim⁡W\operatorname {dim} U = \operatorname {dim} W.

?
Задача 7F.15

Определим T∈L(F3)T \in \mathcal{L}(\mathbf{F}^{3}) формулой

T(z1,z2,z3)=(z3,2z1,3z2). T(z_{1}, z_{2}, z_{3}) = (z_{3}, 2 z_{1}, 3 z_{2}).

Найдите (в явном виде) унитарный оператор S∈L(F3)S \in \mathcal{L}(\mathbf{F}^{3}), такой что T=ST∗TT = S \sqrt{T^{*} T}.

?
Задача 7F.16

Пусть S∈L(V)S \in \mathcal{L}(V) — положительный обратимый оператор. Докажите, что существует δ>0\delta > 0, такое что TT — положительный оператор для каждого самосопряжённого оператора T∈L(V)T \in \mathcal{L}(V) с ∥S−T∥<δ\left\| S - T\right\| < \delta.

?
Задача 7F.17

Докажите, что если u∈Vu \in V и φu\varphi_{u} — линейный функционал на VV, определённый равенством φu(v)=⟨v,u⟩\varphi_{u}(v) = \left\langle v, u \right\rangle, то ∥φu∥=∥u∥\left\| \varphi_{u}\right\| = \left\| u\right\|.

?
Примечание.
?

Здесь мы рассматриваем поле скаляров F\mathbf{F} как пространство со скалярным произведением ⟨α,β⟩=αβ‾\left\langle \alpha , \beta \right\rangle = \alpha \overline{\beta } для всех α,β∈F\alpha , \beta \in \mathbf{F}. Таким образом ∥φu∥\left\| \varphi_{u}\right\| означает норму φu\varphi_{u} как линейного отображения из VV в F\mathbf{F}.

Задача 7F.18

Пусть e1,…,ene_{1}, \ldots , e_{n} — ортонормированный базис VV и T∈L(V,W)T \in \mathcal{L}(V, W).

?
(a)

Докажите, что max⁡{∥Te1∥,…,∥Ten∥}≤∥T∥≤(∥Te1∥2+⋯+∥Ten∥2)1/2\max \left\{ \left\| T e_{1}\right\| , \ldots , \left\| T e_{n}\right\| \right\} \leq \left\| T\right\| \leq \left(\left\| T e_{1}\right\|^{2} + \cdots + \left\| T e_{n}\right\|^{2}\right)^{1/2}.

(b)

Докажите, что ∥T∥=(∥Te1∥2+⋯+∥Ten∥2)1/2\left\| T\right\| = \left(\left\| T e_{1}\right\|^{2} + \cdots + \left\| T e_{n}\right\|^{2}\right)^{1/2} тогда и только тогда, когда dim⁡range⁡T≤1\operatorname {dim} \operatorname {range} T \leq 1.

Примечание.
?

Здесь e1,…,ene_{1}, \ldots , e_{n} — произвольный ортонормированный базис VV, необязательно связанный с сингулярным разложением TT. Если s1,…,sns_{1}, \ldots , s_{n} — список сингулярных чисел TT, то правая часть неравенства выше равна (s12+⋯+sn2)1/2\left(s_{1}^{2} + \cdots + s_{n}^{2}\right)^{1/2}, как было показано в пункте (a) задачи 11 раздела 7E.

Задача 7F.19

Докажите, что если T∈L(V,W)T \in \mathcal{L}(V, W), то ∥T∗T∥=∥T∥2\left\| T^{*} T\right\| = \left\| T\right\|^{2}.

?
Примечание.
?

Эта формула для ∥T∗T∥\left\| T^{*} T\right\| ведёт к важному разделу теории C∗C^{*}-алгебр.

Задача 7F.20

Пусть T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что ∥Tk∥=∥T∥k\left\| T^{k}\right\| = \left\| T\right\|^{k} для каждого положительного целого kk.

?
Задача 7F.21

Пусть dim⁡V>1\operatorname {dim} V > 1 и dim⁡W>1\operatorname {dim} W > 1. Докажите, что норма на L(V,W)\mathcal{L}(V, W) не происходит от скалярного произведения. Иными словами, докажите, что не существует скалярного произведения на L(V,W)\mathcal{L}(V, W), такого что

max⁡{∥Tv∥:v∈V и ∥v∥≤1}=⟨T,T⟩ \max \left\{ \left\| T v\right\| : v \in V \text{ и } \left\| v\right\| \leq 1\right\} = \sqrt{ \left\langle T, T \right\rangle }

для всех T∈L(V,W)T \in \mathcal{L}(V, W).

?
Задача 7F.22

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Пусть n=dim⁡Vn = \operatorname {dim} V и пусть s1≥⋯≥sns_{1} \geq \cdots \geq s_{n} обозначают сингулярные числа TT. Докажите, что если 1≤k≤n1 \leq k \leq n, то

min⁡{∥T∣U∥:U — подпространство V с dim⁡U=k}=sn−k+1. \min \left\{ \left\| \left. T \right|_{U}\right\| : U \text{ — подпространство } V \text{ с } \operatorname {dim} U = k\right\} = s_{n-k+1}.
?
Задача 7F.23

Пусть T∈L(V,W)T \in \mathcal{L}(V, W). Покажите, что TT равномерно непрерывен относительно метрик на VV и WW, возникающих из норм на этих пространствах.

?
Примечание.
?

См. задачу 23 раздела 6B для соответствующих определений.

Задача 7F.24

Пусть T∈L(V)T \in \mathcal{L}(V) обратим. Докажите, что

∥T−1∥=∥T∥−1  ⟺  T∥T∥ — унитарный оператор. \left\| T^{-1}\right\| = \left\| T\right\| ^{-1} \iff \frac{T}{\left\| T\right\| } \text{ — унитарный оператор}.
?
Задача 7F.25

Зафиксируем u,x∈Vu, x \in V с u≠0u \neq 0. Определим T∈L(V)T \in \mathcal{L}(V) формулой Tv=⟨v,u⟩xT v = \left\langle v, u \right\rangle x для каждого v∈Vv \in V. Докажите, что

T∗Tv=∥x∥∥u∥⟨v,u⟩u \sqrt{T^{*} T} v = \frac{\left\| x\right\| }{\left\| u\right\| } \left\langle v, u \right\rangle u

для каждого v∈Vv \in V.

?
Задача 7F.26

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что TT обратим тогда и только тогда, когда существует единственный унитарный оператор S∈L(V)S \in \mathcal{L}(V), такой что T=ST∗TT = S \sqrt{T^{*} T}.

?
Задача 7F.27

Пусть T∈L(V)T \in \mathcal{L}(V) и s1,…,sns_{1}, \ldots , s_{n} — сингулярные числа TT. Пусть e1,…,ene_{1}, \ldots , e_{n} и f1,…,fnf_{1}, \ldots , f_{n} — ортонормированные базисы VV, такие что

Tv=s1⟨v,e1⟩f1+⋯+sn⟨v,en⟩fn T v = s_{1} \left\langle v, e_{1} \right\rangle f_{1} + \cdots + s_{n} \left\langle v, e_{n} \right\rangle f_{n}

для всех v∈Vv \in V. Определим S∈L(V)S \in \mathcal{L}(V) формулой

Sv=⟨v,e1⟩f1+⋯+⟨v,en⟩fn. S v = \left\langle v, e_{1} \right\rangle f_{1} + \cdots + \left\langle v, e_{n} \right\rangle f_{n}.
?
(a)

Покажите, что SS унитарен и ∥T−S∥=max⁡{∣s1−1∣,…,∣sn−1∣}\left\| T - S\right\| = \max \left\{ \left|s_{1} - 1\right|, \ldots , \left|s_{n} - 1\right|\right\}.

(b)

Покажите, что если E∈L(V)E \in \mathcal{L}(V) унитарен, то ∥T−E∥≥∥T−S∥\left\| T - E\right\| \geq \left\| T - S\right\|.

Примечание.
?

Эта задача находит унитарный оператор SS, максимально близкий (среди унитарных операторов) к данному оператору TT.

Задача 7F.28

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что существует унитарный оператор S∈L(V)S \in \mathcal{L}(V), такой что T=TT∗ST = \sqrt{T T^{*}} S.

?
Задача 7F.29

Пусть T∈L(V)T \in \mathcal{L}(V).

?
(a)

Используя полярное разложение, покажите, что существует унитарный оператор S∈L(V)S \in \mathcal{L}(V), такой что TT∗=ST∗TS∗T T^{*} = S T^{*} T S^{*}.

(b)

Покажите, как из (a) следует, что TT и T∗T^{*} имеют одни и те же сингулярные числа.

Задача 7F.30

Пусть T∈L(V),S∈L(V)T \in \mathcal{L}(V), S \in \mathcal{L}(V) — унитарный оператор, а R∈L(V)R \in \mathcal{L}(V) — положительный оператор, такие что T=SRT = S R. Докажите, что R=T∗TR = \sqrt{T^{*} T}.

?
Примечание.
?

Эта задача показывает, что если записать TT в виде произведения унитарного оператора и положительного оператора (как в полярном разложении), то этот положительный оператор равен T∗T\sqrt{T^{*} T}.

Задача 7F.31

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что существует унитарный оператор S∈L(V)S \in \mathcal{L}(V), такой что T=ST∗TT = S \sqrt{T^{*} T} и такой что SS и T∗T\sqrt{T^{*} T} оба имеют диагональные матрицы относительно одного и того же ортонормированного базиса VV.

?
Задача 7F.32

Пусть T∈L(V,W)T \in \mathcal{L}(V, W) и T≠0T \neq 0. Пусть s1,…,sms_{1}, \ldots , s_{m} обозначают положительные сингулярные числа TT. Покажите, что существует ортонормированный базис e1,…,eme_{1}, \ldots , e_{m} пространства (null⁡T)⊥\left(\operatorname {null} T\right)^{\perp }, такой что

T(E(e1s1,…,emsm)) T\left(E\left(\frac{e_{1}}{s_{1}}, \ldots , \frac{e_{m}}{s_{m}}\right)\right)

равно шару в range⁡T\operatorname {range} T радиуса 11 с центром в 00.

?