7F

Следствия сингулярного разложения

[32/0%]
Показать
LaTeX
Задача 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.

?