20.4

Симметричные операторы

[17/0%]
Показать
LaTeX
Задача 20.27

Проверьте (14).

?
Задача 20.28

Пусть T,S∈L(H)T, S \in \mathcal{L}(H) симметричны. Покажите, что T=ST = S тогда и только тогда, когда QT=QSQ_{T} = Q_{S}.

?
Задача 20.29

Покажите, что ограниченные симметричные операторы образуют замкнутое подпространство L(H)\mathcal{L}(H). Также покажите, что если TT и SS симметричны, то композиция S∘TS \circ T симметрична тогда и только тогда, когда TT коммутирует с SS относительно композиции, то есть S∘T=T∘SS \circ T = T \circ S.

?
Задача 20.30

Пусть HH — гильбертово пространство, а линейный оператор T:H→HT: H \rightarrow H обладает тем свойством, что ⟨T(u),v⟩=⟨u,T(v)⟩\left\langle T(u), v \right\rangle = \left\langle u, T(v) \right\rangle для всех u,v∈Hu, v \in H. Покажите, что TT принадлежит L(H)\mathcal{L}(H), то есть TT ограничен.

?
Задача 20.31

Приведите оператор T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right), для которого ∥T∥>sup⁡∥u∥=1∣⟨T(u),u⟩∣\left\| T\right\| > \sup_{\left\| u\right\| = 1}\left| \left\langle T(u), u \right\rangle \right|.

?
Задача 20.32

Пусть S,T∈L(H)S, T \in \mathcal{L}(H) симметричны. Предположим, что S≥TS \geq T и T≥ST \geq S. Докажите, что T=ST = S.

?
Задача 20.33

Пусть VV — замкнутое нетривиальное подпространство гильбертова пространства HH, а PP — ортогональная проекция HH на VV. Покажите, что P=P∗,P≥0P = P^{*}, P \geq 0 и ∥P∥=1\left\| P\right\| = 1.

?
Задача 20.34

Пусть P∈L(H)P \in \mathcal{L}(H) — проекция. Покажите, что PP является ортогональной проекцией HH на P(H)P(H) тогда и только тогда, когда P=P∗P = P^{*}.

?
Задача 20.35

Пусть {φk}\left\{ \varphi_{k}\right\} — ортонормированный базис гильбертова пространства HH, и для каждого натурального числа nn определите PnP_{n} как ортогональную проекцию HH на линейную оболочку {φ1,…,φn}\left\{ \varphi_{1}, \ldots , \varphi_{n}\right\}. Покажите, что PnP_{n} симметричен и

0≤Pn≤Pn+1≤ Id для всех n 0 \leq P_{n} \leq P_{n+1} \leq \text{ Id для всех } n

Покажите, что {Pn}\left\{ P_{n}\right\} сходится поточечно на HH к Id, но не сходится равномерно на единичном шаре.

?
Задача 20.36

Покажите, что если T∈L(H)T \in \mathcal{L}(H) обратим, то T∗∘TT^{*} \circ T также обратим, а значит, обратим и T∗T^{*}.

?
Задача 20.37

Пусть T∈L(H)T \in \mathcal{L}(H) симметричен и неотрицателен. Покажите, что для всех u,v∈Hu, v \in H

∣⟨T(u),v⟩∣2≤⟨T(u),u⟩⋅⟨T(v),v⟩. \left| \left\langle T(u), v \right\rangle \right|^{2} \leq \left\langle T(u), u \right\rangle \cdot \left\langle T(v), v \right\rangle .
?
Задача 20.38

Используя предыдущую задачу, покажите, что если S,T∈L(H)S, T \in \mathcal{L}(H) симметричны и S≥TS \geq T, то для каждого u∈Hu \in H ∥S(u)−T(u)∥4=⟨(S−T)(u),(S−T)(u)⟩2≤∣⟨(S−T)(u),u⟩∣∣⟨(S−T)2(u),(S−T)(u)⟩∣\left\| S(u)-T(u)\right\|^{4} = \left\langle (S-T)(u), (S-T)(u) \right\rangle^{2} \leq \left| \left\langle (S-T)(u), u \right\rangle \right|\left| \left\langle (S-T)^{2}(u), (S-T)(u) \right\rangle \right| и тем самым заключите, что

∥S(u)−T(u)∥4≤∣⟨S(u),u⟩−⟨T(u),u⟩∣⋅∥S−T∥3⋅∥u∥2. \left\| S(u)-T(u)\right\| ^{4} \leq \left| \left\langle S(u), u \right\rangle - \left\langle T(u), u \right\rangle \right| \cdot \left\| S-T\right\| ^{3} \cdot \left\| u\right\| ^{2} .
?
Задача 20.39

Последовательность {Tn}\left\{ T_{n}\right\} симметричных операторов в L(H)\mathcal{L}(H) называется монотонно возрастающей, если Tn+1≥TnT_{n+1} \geq T_{n} для каждого nn, и называется ограниченной сверху, если существует симметричный оператор SS в L(H)\mathcal{L}(H) такой, что Tn≤ST_{n} \leq S для всех nn.

?
(i)

Используя предыдущую задачу, покажите, что монотонно возрастающая последовательность {Tn}\left\{ T_{n}\right\} симметричных операторов в L(H)\mathcal{L}(H) сходится поточечно к симметричному оператору в L(H)\mathcal{L}(H) тогда и только тогда, когда она ограничена сверху.

(ii)

Покажите, что монотонно возрастающая последовательность {Tn}\left\{ T_{n}\right\} симметричных операторов в L(H)\mathcal{L}(H) ограничена сверху тогда и только тогда, когда она поточечно ограничена, то есть для каждого h∈Hh \in H последовательность {Tn(h)}\left\{ T_{n}(h)\right\} ограничена.

Задача 20.40

Пусть S∈L(H)S \in \mathcal{L}(H) — симметричный оператор, для которого 0≤S≤Id⁡0 \leq S \leq \operatorname {Id}. Определите последовательность {Tn}\left\{ T_{n}\right\} в L(H)\mathcal{L}(H), полагая T1=1/2(Id⁡−S)T_{1} = 1 / 2(\operatorname {Id}-S), и если nn — натуральное число, для которого Tn∈L(H)T_{n} \in \mathcal{L}(H) уже определен, определяя Tn+1=1/2(Id−S+Tn2)T_{n+1} = 1 / 2\left(\mathrm{Id}-S+T_{n}^{2}\right).

?
(i)

Покажите, что для каждого натурального числа nn операторы TnT_{n} и Tn+1−TnT_{n+1}-T_{n} являются многочленами от Id −S-S с неотрицательными коэффициентами.

(ii)

Покажите, что {Tn}\left\{ T_{n}\right\} — монотонно возрастающая последовательность симметричных операторов, ограниченная сверху оператором Id.

(iii)

Используя предыдущую задачу, покажите, что {Tn}\left\{ T_{n}\right\} сходится поточечно к симметричному оператору TT, для которого 0≤T≤Id⁡0 \leq T \leq \operatorname {Id} и T=1/2(Id⁡−S+T2)T = 1 / 2\left(\operatorname {Id}-S+T^{2}\right).

(iv)

Определите A=(Id⁡−T)A = (\operatorname {Id}-T). Покажите, что A2=SA^{2} = S.

Задача 20.41

Пусть T∈L(H)T \in \mathcal{L}(H) — неотрицательный симметричный оператор. Неотрицательный симметричный оператор A∈L(H)A \in \mathcal{L}(H) называется квадратным корнем из TT, если A2=TA^{2} = T. Используя индуктивное построение из предыдущей задачи, покажите, что TT имеет квадратный корень AA, который коммутирует с каждым оператором в L(H)\mathcal{L}(H), коммутирующим с TT. Покажите, что квадратный корень единствен: он обозначается T\sqrt{T}. Наконец, покажите, что TT обратим тогда и только тогда, когда T\sqrt{T} обратим.

?
Задача 20.42

Обратимый оператор T∈L(H)T \in \mathcal{L}(H) называется ортогональным, если T−1=T∗T^{-1} = T^{*}. Покажите, что обратимый оператор ортогонален тогда и только тогда, когда он является изометрией.

?
Задача 20.43

Пусть T∈L(H)T \in \mathcal{L}(H) обратим. Покажите, что существуют ортогональный обратимый оператор A∈L(H)A \in \mathcal{L}(H) и неотрицательный симметричный обратимый оператор B∈L(H)B \in \mathcal{L}(H) такие, что T=B∘AT = B \circ A.

?