19.2

Рефлексивность и слабая компактность: теорема Какутани

[7/0%]
LaTeX
Задача 19.6

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

?
Задача 19.7

Покажите, что замкнутый единичный шар B∗B^{*} сопряженного пространства X∗X^{*} банахова пространства XX имеет крайнюю точку.

?
Задача 19.8

Пусть T1\mathcal{T}_{1} и T2\mathcal{T}_{2} — две компактные хаусдорфовы топологии на множестве S\mathcal{S}, для которых T1⊆T2\mathcal{T}_{1} \subseteq \mathcal{T}_{2}. Покажите, что T1=T2\mathcal{T}_{1} = \mathcal{T}_{2}.

?
Задача 19.9

Пусть XX — нормированное линейное пространство, содержащее подпространство YY. Для A⊆YA \subseteq Y покажите, что слабая топология на AA, индуцированная Y∗Y^{*}, совпадает с топологией, которую AA наследует как подпространство XX с его слабой топологией.

?
Задача 19.10

Проведите следующее рассуждение, чтобы показать, что банахово пространство XX рефлексивно тогда и только тогда, когда рефлексивно его сопряженное пространство X∗X^{*}.

?
(i)

Если XX рефлексивно, покажите, что слабая и слабая-* топологии на B∗B^{*} совпадают, и выведите отсюда, что X∗X^{*} рефлексивно.

(ii)

Если X∗X^{*} рефлексивно, используйте пункт (i) и Предложение 15 из Главы 18, чтобы показать, что XX рефлексивно. (Предложение 15 из Главы 18: замкнутое подпространство рефлексивного банахова пространства рефлексивно.)

Задача 19.11

Для банахова пространства XX, согласно предыдущей задаче, если XX рефлексивно, то и X∗X^{*} тоже. Заключите, что XX не рефлексивно, если существует замкнутое подпространство X∗X^{*}, которое не рефлексивно. Пусть KK — бесконечное компактное хаусдорфово пространство, а {xn}\left\{ x_{n}\right\} — нумерация счетного бесконечного подмножества KK. Определите оператор T:l1→[C(K)]∗T: l^{1} \rightarrow [C(K)]^{*} формулой

[T({ηk})](f)=∑k=1∞ηk⋅f(xk) для всех {ηk}∈l1 и f∈C(k) \left[T\left(\left\{ \eta _{k}\right\} \right)\right](f) = \sum _{k = 1}^{\infty } \eta _{k} \cdot f\left(x_{k}\right) \text{ для всех }\left\{ \eta _{k}\right\} \in l^{1} \text{ и } f \in C(k)

Покажите, что TT является изоморфизмом, и поэтому, поскольку l1l^{1} не рефлексивно, T(l1)T\left(l^{1}\right) тоже не рефлексивно, а значит, и C(K)C(K) не рефлексивно. С помощью аргумента подсчета размерности покажите, что C(K)C(K) рефлексивно, если KK — конечное множество.

?
Задача 19.12

Если YY — линейное подпространство банахова пространства XX, определим аннулятор Y⊥Y^{\perp } как подпространство X∗X^{*}, состоящее из тех ψ∈X∗\psi \in X^{*}, для которых ψ=0\psi = 0 на YY. Если YY — подпространство X∗X^{*}, определим Y0Y^{0} как подпространство векторов в XX, для которых ψ(x)=0\psi (x) = 0 для всех ψ∈Y\psi \in Y.

?
(i)

Покажите, что Y⊥Y^{\perp } — замкнутое линейное подпространство X∗X^{*}.

(ii)

Покажите, что (Y⊥)0=Yˉ\left(Y^{\perp }\right)^{0} = \bar{Y}.

(iii)

Если XX рефлексивно, а YY — подпространство X∗X^{*}, покажите, что Y⊥=J(Y0)Y^{\perp } = J\left(Y^{0}\right).