20.7

Теорема Рисса-Шаудера: характеризация операторов Фредгольма

[14/0%]
LaTeX
Задача 20.53

Пусть K∈L(H)K \in \mathcal{L}(H) компактен. Покажите, что T=K∗KT = K^{*} K компактен и симметричен. Затем, используя теорему Гильберта-Шмидта, покажите, что существует ортонормированная последовательность {φk}\left\{ \varphi_{k}\right\} в HH такая, что T(φk)=λkφkT\left(\varphi_{k}\right) = \lambda_{k} \varphi_{k} для всех kk и T(h)=0T(h) = 0, если hh ортогонален {φk}k=0∞\left\{ \varphi_{k}\right\}_{k = 0}^{\infty }. Заключите, что если hh ортогонален {φk}k=0∞\left\{ \varphi_{k}\right\}_{k = 0}^{\infty }, то

∥K(h)∥2=⟨K(h),K(h)⟩=⟨T(h),h⟩=0. \left\| K(h)\right\| ^{2} = \left\langle K(h), K(h) \right\rangle = \left\langle T(h), h \right\rangle = 0.

Определите H0H_{0} как замкнутую линейную оболочку {Km(φk)∣m≥0,k≥1}\left\{ K^{m}\left(\varphi_{k}\right) \mid m \geq 0, k \geq 1\right\}. Покажите, что H0H_{0} замкнуто и сепарабельно, K(H0)⊆H0K\left(H_{0}\right) \subseteq H_{0} и K=0K = 0 на H0⊥H_{0}^{\perp }.

?
Задача 20.54

Пусть K(H)\mathcal{K}(H) обозначает множество компактных операторов в L(H)\mathcal{L}(H). Покажите, что K(H)\mathcal{K}(H) — замкнутое подпространство L(H)\mathcal{L}(H), для которого множество операторов конечного ранга является плотным подпространством. Является ли K(H)\mathcal{K}(H) открытым подмножеством L(H)\mathcal{L}(H)?

?
Задача 20.55

Покажите, что композиция в любом порядке фредгольмова оператора индекса 0 с обратимым оператором также является фредгольмовой индекса 0.

?
Задача 20.56

Покажите, что композиция двух фредгольмовых операторов индекса 0 также является фредгольмовой индекса 0.

?
Задача 20.57

Покажите, что оператор T∈L(H)T \in \mathcal{L}(H) является фредгольмовым индекса 0 тогда и только тогда, когда он является возмущением обратимого оператора оператором конечного ранга.

?
Задача 20.58

Проведите следующее рассуждение, чтобы показать, что совокупность обратимых операторов в L(H)\mathcal{L}(H) является открытым подмножеством L(H)\mathcal{L}(H).

?
(i)

Для A∈L(H)A \in \mathcal{L}(H) с ∥A∥<1\left\| A\right\| < 1, используя полноту L(H)\mathcal{L}(H), покажите, что так называемый ряд Неймана ∑n=0∞An\sum_{n = 0}^{\infty } A^{n} сходится к оператору в L(H)\mathcal{L}(H), являющемуся обратным к Id⁡−A\operatorname {Id}-A.

(ii)

Для обратимого оператора S∈L(H)S \in \mathcal{L}(H) покажите, что для любого T∈L(H)T \in \mathcal{L}(H) выполняется T=S[Id⁡+S−1(T−S)]T = S\left[\operatorname {Id}+S^{-1}(T-S)\right].

(iii)

Используя (i) и (ii), покажите, что если S∈L(H)S \in \mathcal{L}(H) обратим, то обратим и любой T∈L(H)T \in \mathcal{L}(H), для которого ∥S−T∥<1/∥S−1∥\left\| S-T\right\| < 1 /\left\| S^{-1}\right\|.

Задача 20.59

Покажите, что множество операторов в L(H)\mathcal{L}(H), являющихся фредгольмовыми индекса 0, является открытым подмножеством L(H)\mathcal{L}(H).

?
Задача 20.60

Следуя методу ортогональной аппроксимирующей последовательности, использованному в доказательстве Предложения 22, приведите другое доказательство Леммы 14 в случае, когда HH сепарабельно.

?
Задача 20.61

Для T∈L(H)T \in \mathcal{L}(H) предположим, что ⟨T(h),h⟩≥∥h∥2\left\langle T(h), h \right\rangle \geq \left\| h\right\|^{2} для всех h∈Hh \in H. Предположим, что K∈L(H)K \in \mathcal{L}(H) компактен и T+KT+K инъективен. Покажите, что T+KT+K сюръективен.

?
Задача 20.62

Пусть K∈L(H)K \in \mathcal{L}(H) компактен, а μ∈R\mu \in \mathbb {R} таково, что ∣μ∣>∥K∥\left|\mu \right| > \left\| K\right\|. Покажите, что μ−K\mu -K обратим.

?
Задача 20.63

Пусть S∈L(H)S \in \mathcal{L}(H) таково, что ∥S∥<1\left\| S\right\| < 1, K∈L(H)K \in \mathcal{L}(H) компактен и (Id⁡+S+K)(H)=H(\operatorname {Id}+S+K)(H) = H. Покажите, что Id +S+K+S+K инъективен.

?
Задача 20.64

Пусть GL(H)\mathcal{G} L(H) обозначает множество обратимых операторов в L(H)\mathcal{L}(H).

?
(i)

Покажите, что относительно операции композиции операторов GL(H)\mathcal{G} L(H) является группой: она называется общей линейной группой пространства HH.

(ii)

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

Задача 20.65

Пусть T∈L(H)T \in \mathcal{L}(H) — фредгольмов оператор индекса нуль, а K∈L(H)K \in \mathcal{L}(H) компактен. Покажите, что T+KT+K — фредгольмов оператор индекса нуль.

?
Задача 20.66

Пусть X0X_{0} — подпространство конечной коразмерности линейного пространства XX. Покажите, что все конечномерные линейные дополнения к X0X_{0} в XX имеют одинаковую размерность.

?