III.11

Рефлексивные пространства

[4/0%]
LaTeX
Задача III.11.1

Покажите, что (X)(\mathcal{X}^*)^{**} и (X)(\mathcal{X}^{**})^* равны.

?
Задача III.11.2

Покажите, что для локально компактного пространства XX, Cb(X)C_b(X) рефлексивно тогда и только тогда, когда XX конечно.

?
Задача III.11.3

Пусть MX\mathcal{M} \leq \mathcal{X}, и пусть ρX:XX\rho_{\mathcal{X}} : \mathcal{X} \to \mathcal{X}^{**} и ρM:MM\rho_{\mathcal{M}} : \mathcal{M} \to \mathcal{M}^{**} — естественные отображения. Если i:MXi : \mathcal{M} \to \mathcal{X} — отображение включения, покажите, что существует изометрия ϕ:MX\phi : \mathcal{M}^{**} \to \mathcal{X}^{**}, такая что диаграмма

X ρX XiϕM ρM M \begin{array}{ccc} \mathcal{X} & \xrightarrow {\ \rho _{\mathcal{X}}\ } & \mathcal{X}^{**} \\ \, \uparrow {\scriptstyle i} & & \uparrow {\scriptstyle \phi } \\ \mathcal{M} & \xrightarrow [\ \rho _{\mathcal{M}}\ ]{} & \mathcal{M}^{**} \end{array}

коммутативна. Докажите, что ϕ(M)=(M){xX:x(M)=0}\phi (\mathcal{M}^{**}) = (\mathcal{M}^\perp )^\perp \equiv \left\{ x^{**} \in \mathcal{X}^{**} : x^{**}(\mathcal{M}^\perp ) = 0\right\}.

?
Задача III.11.4

Используя упражнение 3, покажите, что если X\mathcal{X} рефлексивно, то любое замкнутое подпространство X\mathcal{X} также рефлексивно. См. Янг [1967].

?