III.13

Дополняемые подпространства банахова пространства

[7/0%]
LaTeX
Задача III.13.1

Если X\mathcal{X} — векторное пространство, а M\mathcal{M} — линейное многообразие в X\mathcal{X}, покажите, что существует линейное многообразие N\mathcal{N} в X\mathcal{X}, такое что MN=(0)\mathcal{M} \cap \mathcal{N} = (0) и M+N=X\mathcal{M} + \mathcal{N} = \mathcal{X}.

?
Задача III.13.2

Пусть X\mathcal{X} — банахово пространство, и пусть E:XXE : \mathcal{X} \to \mathcal{X} — линейное отображение, такое что E2=EE^2 = E, и оба ranE\mathrm{ran}\, E и kerE\ker E замкнуты. Покажите, что EE непрерывен.

?
Задача III.13.3

Докажите теорему 13.2:

?
(a)

Если M\mathcal{M} и N\mathcal{N} — дополняющие друг друга подпространства банахова пространства X\mathcal{X}, и E:XXE : \mathcal{X} \to \mathcal{X} определён формулой E(m+n)=mE(m+n) = m для mm из M\mathcal{M} и nn из N\mathcal{N}, то EE — непрерывный линейный оператор, такой что E2=EE^2 = E, ranE=M\mathrm{ran}\, E = \mathcal{M}, и kerE=N\ker E = \mathcal{N}.

(b)

Если EB(X)E \in \mathcal{B}(\mathcal{X}) и E2=EE^2 = E, то M=ranE\mathcal{M} = \mathrm{ran}\, E и N=kerE\mathcal{N} = \ker E — дополняющие друг друга подпространства X\mathcal{X}.

Задача III.13.4

Пусть X\mathcal{X} — банахово пространство; покажите, что если M\mathcal{M} — дополняемое подпространство X\mathcal{X}, то каждое дополняющее подпространство изоморфно X/M\mathcal{X}/\mathcal{M}.

?
Задача III.13.5

Пусть XX — компактное множество, а YY — замкнутое подмножество XX. Одновременным продолжением для YY называется ограниченное линейное отображение T:C(Y)C(X)T : C(Y) \to C(X), такое что для каждого gg из C(Y)C(Y), T(g)Y=gT(g)|Y = g. Пусть C0(XY)={fC(X):f(y)=0 для всех y из Y}C_0(X \setminus Y) = \left\{ f \in C(X) : f(y) = 0 \text{ для всех } y \text{ из } Y\right\}. Покажите, что если существует одновременное продолжение для YY, то C0(XY)C_0(X \setminus Y) дополняемо в C(X)C(X).

?
Задача III.13.6

Покажите, что если YY — замкнутое подмножество [0,1][0,1], то существует одновременное продолжение для YY (см. упражнение 5). (Указание: представьте [0,1]Y[0,1] \setminus Y как объединение непересекающихся интервалов.)

?
Задача III.13.7

Используя обозначения упражнения 5, покажите, что если YY является ретрактом XX, то C0(XY)C_0(X \setminus Y) дополняемо в C(X)C(X).

?