Глава 20

Непрерывные линейные операторы на гильбертовых пространствах

[66/0%]
Показать
LaTeX
§
Задача 20.1

Пусть [a,b][a, b] — замкнутый ограниченный интервал вещественных чисел. Покажите, что скалярное произведение L2[a,b]L^{2}[a, b] также является скалярным произведением на C[a,b]C[a, b]. Является ли C[a,b]C[a, b], рассматриваемое как пространство со скалярным произведением L2[a,b]L^{2}[a, b], гильбертовым пространством?

?
Задача 20.2

Покажите, что максимум-норма на C[a,b]C[a, b] не индуцируется скалярным произведением, как и обычная норма на ℓ1\ell^{1}.

?
Задача 20.3

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства. Покажите, что декартово произведение H1×H2H_{1} \times H_{2} также является гильбертовым пространством со скалярным произведением, относительно которого H1×{0}=[{0}×H2]⊥H_{1} \times \left\{ 0\right\} = \left[\left\{ 0\right\} \times H_{2}\right]^{\perp }.

?
Задача 20.4

Покажите, что если SS — подмножество пространства HH со скалярным произведением, то S⊥S^{\perp } — замкнутое подпространство HH.

?
Задача 20.5

Пусть SS — подмножество HH. Покажите, что S=(S⊥)⊥S = \left(S^{\perp }\right)^{\perp } тогда и только тогда, когда SS — замкнутое подпространство HH.

?
Задача 20.6

Покажите, что для любых двух векторов u,v∈Hu, v \in H

⟨u,v⟩=14[∥u+v∥2−∥u−v∥2]. \left\langle u, v \right\rangle = \frac{1}{4}\left[\left\| u+v\right\| ^{2}-\left\| u-v\right\| ^{2}\right] .
?
Задача 20.7

Пусть XX — линейное пространство с нормой ∥⋅∥\left\| \cdot \right\|. Используя тождество поляризации, покажите, что норма ∥⋅∥\left\| \cdot \right\| индуцируется скалярным произведением тогда и только тогда, когда выполняется тождество параллелограмма.

?
Задача 20.8

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

?
Задача 20.9

Пусть TT принадлежит L(H)\mathcal{L}(H). Покажите, что TT является изометрией тогда и только тогда, когда

⟨T(u),T(v)⟩=⟨u,v⟩ для всех u,v∈H. \left\langle T(u), T(v) \right\rangle = \left\langle u, v \right\rangle \text{ для всех } u, v \in H .
?
Задача 20.10

Пусть VV — конечномерное подпространство HH, а φ1,…,φn\varphi_{1}, \ldots , \varphi_{n} — базис VV, состоящий из единичных векторов, каждая пара которых ортогональна. Покажите, что ортогональная проекция PP пространства HH на VV задается формулой

P(h)=∑k=1n⟨h,φk⟩φk для всех h∈V. P(h) = \sum _{k = 1}^{n} \left\langle h, \varphi _{k} \right\rangle \varphi _{k} \text{ для всех } h \in V .
?
Задача 20.11

Для вектора hh в HH покажите, что функция u↦⟨h,u⟩u \mapsto \left\langle h, u \right\rangle принадлежит H∗H^{*}.

?
Задача 20.12

Для любого вектора h∈Hh \in H покажите, что существует ограниченный линейный функционал ψ∈H∗\psi \in H^{*}, для которого

∥ψ∥=1 и ψ(h)=∥h∥. \left\| \psi \right\| = 1 \text{ и } \psi (h) = \left\| h\right\| .
?
Задача 20.13

Пусть VV — замкнутое подпространство HH, а PP — ортогональная проекция HH на VV. Для любого нормированного линейного пространства XX и T∈L(V,X)T \in \mathcal{L}(V, X) покажите, что T∘PT \circ P принадлежит L(H,X)\mathcal{L}(H, X) и является продолжением T:V→XT: V \rightarrow X, для которого ∥T∘P∥=∥T∥\left\| T \circ P\right\| = \left\| T\right\|.

?
Задача 20.14

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

Предложение 1: Пусть KK — непустое замкнутое выпуклое подмножество гильбертова пространства HH, а h0h_{0} — вектор в HH, лежащий вне KK. Тогда существует ровно один вектор h∗∈Kh^{*} \in K, ближайший к h0h_{0}, в том смысле, что ∥h0−h∗∥=dist⁡K(h0)=inf⁡h∈K∥h0−h∥\left\| h_{0} - h^{*}\right\| = \operatorname {dist}_{K}(h_{0}) = \inf_{h \in K} \left\| h_{0} - h\right\|.

?
Задача 20.15

Используя Предложение 1, докажите лемму Крейна-Мильмана в гильбертовом пространстве.

Предложение 1: Пусть KK — непустое замкнутое выпуклое подмножество гильбертова пространства HH, а h0h_{0} — вектор в HH, лежащий вне KK. Тогда существует ровно один вектор h∗∈Kh^{*} \in K, ближайший к h0h_{0}, в том смысле, что ∥h0−h∗∥=dist⁡K(h0)=inf⁡h∈K∥h0−h∥\left\| h_{0} - h^{*}\right\| = \operatorname {dist}_{K}(h_{0}) = \inf_{h \in K} \left\| h_{0} - h\right\|.

?
§
Задача 20.16

Покажите, что ортонормированное подмножество сепарабельного гильбертова пространства HH должно быть счетным.

?
Задача 20.17

Пусть {φk}\left\{ \varphi_{k}\right\} — ортонормированная последовательность в гильбертовом пространстве HH. Покажите, что {φk}\left\{ \varphi_{k}\right\} слабо сходится к 0 в HH.

?
Задача 20.18

Пусть {φk}\left\{ \varphi_{k}\right\} — ортонормированный базис сепарабельного гильбертова пространства HH. Покажите, что {un}→u\left\{ u_{n}\right\} \rightarrow u слабо тогда и только тогда, когда {un}\left\{ u_{n}\right\} ограничена и для каждого kk выполняется lim⁡n→∞⟨un,φk⟩=⟨u,φk⟩\lim_{n \rightarrow \infty } \left\langle u_{n}, \varphi_{k} \right\rangle = \left\langle u, \varphi_{k} \right\rangle.

?
Задача 20.19

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

?
Задача 20.20

Пусть VV — замкнутое сепарабельное подпространство HH, для которого {φk}\left\{ \varphi_{k}\right\} является ортонормированным базисом. Покажите, что ортогональная проекция HH на V,PV, P, задается формулой

P(h)=∑k=1∞⟨φk,h⟩φk для всех h∈H. P(h) = \sum _{k = 1}^{\infty } \left\langle \varphi _{k}, h \right\rangle \varphi _{k} \text{ для всех } h \in H .
?
Задача 20.21

Пусть {φk}\left\{ \varphi_{k}\right\} — ортонормированный базис гильбертова пространства HH. Проверьте, что

∥h∥2=∑k=1∞⟨φk,h⟩2 для всех h∈H. \left\| h\right\| ^{2} = \sum _{k = 1}^{\infty } \left\langle \varphi _{k}, h \right\rangle ^{2} \text{ для всех } h \in H .

Также проверьте, что

⟨u,v⟩=∑k=1∞ak⋅bk для всех u,v∈H, \left\langle u, v \right\rangle = \sum _{k = 1}^{\infty } a_{k} \cdot b_{k} \text{ для всех } u, v \in H,

где при каждом натуральном kk имеем ak=⟨u,φk⟩a_{k} = \left\langle u, \varphi_{k} \right\rangle и bk=⟨v,φk⟩b_{k} = \left\langle v, \varphi_{k} \right\rangle.

?
Задача 20.22

Проверьте утверждения в примере ортонормированного базиса для L2[0,2π]L^{2}[0,2 \pi ].

?
Задача 20.23

Используя Предложение 5 и теорему Стоуна-Вейерштрасса, покажите, что для каждой f∈L2[−π,π]f \in L^{2}[-\pi , \pi ]

f(x)=a0/2+∑k=1∞[ak⋅cos⁡kx+bk⋅sin⁡kx], f(x) = a_{0} / 2+\sum _{k = 1}^{\infty }\left[a_{k} \cdot \cos k x+b_{k} \cdot \sin k x\right],

где сходимость понимается в L2[−π,π]L^{2}[-\pi , \pi ] и каждое

ak=1π∫−ππf(x)cos⁡kxdx и bk=1π∫−ππf(x)sin⁡kxdx. a_{k} = \frac{1}{\pi } \int _{-\pi }^{\pi } f(x) \cos k x d x \text{ и } b_{k} = \frac{1}{\pi } \int _{-\pi }^{\pi } f(x) \sin k x d x .

Предложение 5: Ортонормированная последовательность {φk}\left\{ \varphi_{k}\right\} в гильбертовом пространстве HH полна тогда и только тогда, когда она является ортонормированным базисом.

?
§
Задача 20.24

Покажите, что ни ℓ1,ℓ∞,L1[a,b]\ell^{1}, \ell^{\infty }, L^{1}[a, b], ни L∞[a,b]L^{\infty }[a, b] не являются гильбертизуемыми.

?
Задача 20.25

Пусть HH — пространство со скалярным произведением. Покажите, что поскольку HH является плотным подмножеством банахова пространства XX, норма которого сужается до нормы, индуцированной скалярным произведением на HH, скалярное произведение на HH продолжается до XX и индуцирует норму на XX. Следовательно, пространства со скалярным произведением имеют гильбертовы пополнения.

?
Задача 20.26

Доказательство основано на теореме представления Рисса-Фреше. Пусть (X,M,μX, \mathcal{M}, \mu) — конечное пространство с мерой, а ν:M→[0,∞)\nu : \mathcal{M} \rightarrow [0, \infty ) — конечная мера, абсолютно непрерывная относительно μ\mu. Заполните следующий план доказательства того, что существует неотрицательная измеримая функция h:X→[0,∞)h: X \rightarrow [0, \infty ), для которой ν(E)=∫Ehdμ\nu (E) = \int_{E} h d \mu для всех E∈ME \in \mathcal{M}.

?
(i)

Определите меру λ=μ+ν\lambda = \mu +\nu на σ\sigma-алгебре M\mathcal{M} и функционал ψ\psi на L2(X,λ)L^{2}(X, \lambda ) формулой

ψ(f)=∫Xfdμ для всех f∈L2(X,λ) \psi (f) = \int _{X} f d \mu \text{ для всех } f \in L^{2}(X, \lambda )

Покажите, что, поскольку λ(X)<∞\lambda (X) < \infty, ψ\psi — ограниченный линейный функционал на L2(X,λ)L^{2}(X, \lambda ).

(ii)

По теореме представления Рисса-Фреше для гильбертова пространства L2(X,λ)L^{2}(X, \lambda ) существует функция g∈L2(X,λ)g \in L^{2}(X, \lambda ) такая, что

∫Xfdμ=∫Xf⋅gdλ для всех f∈L2(X,λ) \int _{X} f d \mu = \int _{X} f \cdot g d \lambda \text{ для всех } f \in L^{2}(X, \lambda )

и, следовательно,

∫Xfdμ=∫Xf⋅gdμ+∫Xf⋅gdν для всех f∈L2(X,λ)(*) \int _{X} f d \mu = \int _{X} f \cdot g d \mu +\int _{X} f \cdot g d \nu \text{ для всех } f \in L^{2}(X, \lambda ) \tag {*}
(iii)

Заключите, что, поскольку λ(X)<∞\lambda (X) < \infty,

μ(E)=∫Egdμ+∫Egdν для всех E∈M \mu (E) = \int _{E} g d \mu +\int _{E} g d \nu \text{ для всех } E \in \mathcal{M}

Следовательно, λ{x∈X∣g(x)>1}=0\lambda \left\{ x \in X \mid g(x) > 1\right\} = 0, и, используя абсолютную непрерывность ν\nu относительно μ\mu, мы также получаем λ{x∈X∣g(x)=0}=0\lambda \left\{ x \in X \mid g(x) = 0\right\} = 0. Следовательно, можно считать, что 0<g≤10 < g \leq 1 на XX.

(iv)

Для натурального числа nn и E∈ME \in \mathcal{M} подставьте f=χE⋅1g+1/nf = \chi_{E} \cdot \frac{1}{g+1 / n} в (*) и, используя теорему о монотонной сходимости, перейдите к пределу при n→∞n \rightarrow \infty, чтобы заключить, что

ν(E)=∫Ehdμ для всех E∈M, где h=[1/g−1] \nu (E) = \int _{E} h d \mu \text{ для всех } E \in \mathcal{M}, \text{ где } h = [1 / g-1]

и hh неотрицательна и измерима.

(v)

Покажите, что, взяв счетное измеримое разбиение XX такое, что μ\mu и ν\nu конечны на каждом множестве разбиения, приведенный выше частный случай теоремы Радона-Никодима распространяется на случай, когда меры μ\mu и ν\nu σ\sigma-конечны.

§
Задача 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.

?
§
Задача 20.44

Покажите, что если HH бесконечномерно, а T∈L(H)T \in \mathcal{L}(H) обратим, то TT не компактен.

?
Задача 20.45

Докажите Предложение 17.

Предложение 17: Для T∈L(H)T \in \mathcal{L}(H) следующие три свойства эквивалентны: (i) TT компактен; (ii) T(B)T(B) вполне ограничено, где BB — замкнутый единичный шар в HH; (iii) если {hn}\left\{ h_{n}\right\} — ограниченная последовательность в HH, то {T(hn)}\left\{ T(h_{n})\right\} имеет сильно сходящуюся подпоследовательность.

?
Задача 20.46

Пусть K(H)\mathcal{K}(H) обозначает множество компактных операторов в L(H)\mathcal{L}(H). Покажите, что K(H)\mathcal{K}(H) — линейное подпространство L(H)\mathcal{L}(H). Более того, покажите, что для K∈K(H)K \in \mathcal{K}(H) и T∈L(H)T \in \mathcal{L}(H) оба оператора K∘TK \circ T и T∘KT \circ K принадлежат K(H)\mathcal{K}(H).

?
Задача 20.47

Покажите, что линейный оператор T:H→HT: H \rightarrow H непрерывен тогда и только тогда, когда он переводит слабо сходящиеся последовательности в слабо сходящиеся последовательности.

?
Задача 20.48

Покажите, что K∈L(H)K \in \mathcal{L}(H) компактен тогда и только тогда, когда всякий раз, когда {un}→u\left\{ u_{n}\right\} \rightarrow u слабо и {vn}→v\left\{ v_{n}\right\} \rightarrow v слабо, выполняется ⟨K(un),vn⟩→⟨K(u),v⟩\left\langle K\left(u_{n}\right), v_{n} \right\rangle \rightarrow \left\langle K(u), v \right\rangle.

?
Задача 20.49

Пусть {Pn}\left\{ P_{n}\right\} — последовательность ортогональных проекций в L(H)\mathcal{L}(H), обладающая тем свойством, что для натуральных чисел nn и mm, Pn(H)P_{n}(H) и Pm(H)P_{m}(H) — ортогональные конечномерные подпространства HH. Пусть {λn}\left\{ \lambda_{n}\right\} — ограниченная последовательность вещественных чисел. Покажите, что

K=∑n=1∞λn⋅Pn K = \sum _{n = 1}^{\infty } \lambda _{n} \cdot P_{n}

является корректно определенным симметричным оператором в L(H)\mathcal{L}(H), который компактен тогда и только тогда, когда {λn}\left\{ \lambda_{n}\right\} сходится к 0.

?
Задача 20.50

Для банахова пространства XX назовем оператор T∈L(X)T \in \mathcal{L}(X) компактным, если T(B)T(B) имеет компактное замыкание. Покажите, что Предложение 17 выполняется для общего банахова пространства, а Предложение 18 выполняется для рефлексивного банахова пространства.

Предложение 17: Для T∈L(H)T \in \mathcal{L}(H) следующие три свойства эквивалентны: (i) TT компактен; (ii) T(B)T(B) вполне ограничено, где BB — замкнутый единичный шар в HH; (iii) если {hn}\left\{ h_{n}\right\} — ограниченная последовательность в HH, то {T(hn)}\left\{ T(h_{n})\right\} имеет сильно сходящуюся подпоследовательность. Предложение 18: Оператор TT в L(H)\mathcal{L}(H) компактен тогда и только тогда, когда он переводит слабо сходящиеся последовательности в сильно сходящиеся последовательности, то есть если {hn}→h\left\{ h_{n}\right\} \rightarrow h слабо, то {T(hn)}→T(h)\left\{ T(h_{n})\right\} \rightarrow T(h) сильно.

?
§
Задача 20.51

Пусть T∈L(H)T \in \mathcal{L}(H) компактен и симметричен. Определите

α=inf⁡∥h∥=1⟨T(h),h⟩ и β=sup⁡∥h∥=1⟨T(h),h⟩. \alpha = \inf _{\left\| h\right\| = 1} \left\langle T(h), h \right\rangle \text{ и } \beta = \sup _{\left\| h\right\| = 1} \left\langle T(h), h \right\rangle .

Покажите, что если α<0\alpha < 0, то α\alpha является собственным значением TT, а если β>0\beta > 0, то β\beta является собственным значением TT. Приведите пример, где α=0\alpha = 0, и тем не менее α\alpha не является собственным значением TT, то есть TT инъективен.

?
Задача 20.52

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

sup⁡∥h∥=1⟨K(h),h⟩=β>0 \sup _{\left\| h\right\| = 1} \left\langle K(h), h \right\rangle = \beta > 0

Пусть {hn}\left\{ h_{n}\right\} — последовательность единичных векторов, для которой lim⁡n→∞⟨K(hn),hn⟩=β\lim_{n \rightarrow \infty } \left\langle K\left(h_{n}\right), h_{n} \right\rangle = \beta. Покажите, что некоторая подпоследовательность {hn}\left\{ h_{n}\right\} сильно сходится к собственному вектору TT с соответствующим собственным значением β\beta.

?
§
Задача 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 имеют одинаковую размерность.

?