Глава VI

Линейные операторы в банаховом пространстве

[48/0%]
Показать
LaTeX
§
Задача VI.1.1

Докажите предложение 1.3: если X\mathscr {X} и Y\mathscr {Y} — банаховы пространства, A,BB(X,Y)A, B \in \mathcal{B}(\mathscr {X}, \mathscr {Y}) и α,βF\alpha , \beta \in \mathbb {F}, то (αA+βB)=αA+βB(\alpha A + \beta B)^* = \alpha A^* + \beta B^*. Более того, A:(Y,wk)(X,wk)A^*: (\mathscr {Y}^*, \mathrm{wk}^*) \to (\mathscr {X}^*, \mathrm{wk}^*) непрерывен.

?
Задача VI.1.2

Завершите доказательство предложения 1.4: если X\mathscr {X} и Y\mathscr {Y} — банаховы пространства и AB(X,Y)A \in \mathcal{B}(\mathscr {X}, \mathscr {Y}), то:

?
(a)

AX=AA^{**}|\mathscr {X} = A;

(b)

A=A\left\| A^*\right\| = \left\| A\right\|;

(c)

если AA обратим, то AA^* обратим и (A)1=(A1)(A^*)^{-1} = (A^{-1})^*;

(d)

если Z\mathscr {Z} — банахово пространство и BB(Y,Z)B \in \mathcal{B}(\mathscr {Y}, \mathscr {Z}), то (BA)=AB(BA)^* = A^*B^*.

Задача VI.1.3

Проверьте утверждение, сделанное в (1.5): пусть (X,Ω,μ)(X, \Omega , \mu ) и Mϕ:Lp(μ)Lp(μ)M_\phi : L^p(\mu ) \to L^p(\mu ) такие же, как в примере III.2.2. Если 1p<1 \le p < \infty и 1/p+1/q=11/p + 1/q = 1, то Mϕ:Lq(μ)Lq(μ)M_\phi^*: L^q(\mu ) \to L^q(\mu ) задаётся как Mϕf=ϕfM_\phi^* f = \phi f. То есть Mϕ=MϕM_\phi^* = M_\phi.

?
Задача VI.1.4

Проверьте утверждение, сделанное в (1.6): пусть KK и kk такие же, как в примере III.2.3. Если 1p<1 \le p < \infty и 1/p+1/q=11/p + 1/q = 1, то K:Lq(μ)Lq(μ)K^*: L^q(\mu ) \to L^q(\mu ) — интегральный оператор с ядром k(x,y)k(y,x)k^*(x, y) \equiv k(y, x).

?
Задача VI.1.5

Проверьте утверждение, сделанное в (1.7): пусть XX, YY, τ\tau и AA такие же, как в примере III.2.4. Тогда A:M(Y)M(X)A^*: M(Y) \to M(X) задаётся как

(Aμ)(Δ)=μ(τ1(Δ)) (A^*\mu )(\Delta ) = \mu (\tau ^{-1}(\Delta ))

для всякого борелевского подмножества Δ\Delta пространства XX и всякой μ\mu из M(Y)M(Y).

?
Задача VI.1.6

Пусть 1p<1 \le p < \infty и S:lplpS: l^p \to l^p определён как S(α1,α2,)=(0,α1,α2,)S(\alpha_1, \alpha_2, \ldots ) = (0, \alpha_1, \alpha_2, \ldots ). Вычислите SS^*.

?
Задача VI.1.7

Пусть AB(c0)A \in \mathcal{B}(c_0) и для n1n \ge 1 определим ene_n в c0c_0 как en(n)=1e_n(n) = 1 и en(m)=0e_n(m) = 0 при mnm \ne n. Положим αmn=(Aen)(m)\alpha_{mn} = (Ae_n)(m) для m,n1m, n \ge 1.

?
(a)

Докажите, что Msupmn=1αmn<M \equiv \sup_m \sum_{n=1}^{\infty } \left|\alpha_{mn}\right| < \infty;

(b)

Докажите, что для всякого nn, αmn0\alpha_{mn} \to 0 при mm \to \infty.

Обратно, если {αmn:m,n1}\{ \alpha_{mn}: m, n \ge 1\} — скаляры, удовлетворяющие (a) и (b), то

(Ax)(m)=n=1αmnx(n) (Ax)(m) = \sum _{n=1}^{\infty } \alpha _{mn} x(n)

определяет ограниченный оператор AA на c0c_0 и A=M\left\| A\right\| = M. Найдите AA^*.

Задача VI.1.8

Пусть AB(l1)A \in \mathcal{B}(l^1) и для n1n \ge 1 определим ene_n в l1l^1 как en(n)=1e_n(n) = 1, en(m)=0e_n(m) = 0 при mnm \ne n. Положим αmn=(Aen)(m)\alpha_{mn} = (Ae_n)(m) для m,n1m, n \ge 1.

?
(a)

Докажите, что Msupnm=1αmn<M \equiv \sup_n \sum_{m=1}^{\infty } \left|\alpha_{mn}\right| < \infty;

(b)

Докажите, что для всякого mm, supnαmn<\sup_n \left|\alpha_{mn}\right| < \infty.

Обратно, если {αmn:m,n1}\{ \alpha_{mn}: m, n \ge 1\} — скаляры, удовлетворяющие (a) и (b), то

(Af)(m)=n=1αmnf(n) (Af)(m) = \sum _{n=1}^{\infty } \alpha _{mn} f(n)

определяет ограниченный оператор AA на l1l^1 и A=M\left\| A\right\| = M. Найдите AA^*.

Задача VI.1.9

(Бонсолл [1986]) Пусть X\mathscr {X} — банахово пространство, ZZ — непустое множество и u:ZXu: Z \to \mathscr {X}. Если существуют положительные постоянные M1M_1 и M2M_2 такие, что (i) u(z)M1\left\| u(z)\right\| \le M_1 для всех zz из ZZ и (ii) для всякого xx^* из X\mathscr {X}, sup{u(z),x:zZ}M2x\sup \left\{ \left|\langle u(z), x^* \rangle \right|: z \in Z\right\} \ge M_2 \left\| x^*\right\|; тогда для всякого xx из X\mathscr {X} найдётся ff в l1(Z)l^1(Z) такое, что () x={f(z)u(z):zZ}(*)\ x = \sum \left\{ f(z)u(z): z \in Z\right\} и M2inff1xM1inff1M_2 \inf \left\| f\right\|_1 \le \left\| x\right\| \le M_1 \inf \left\| f\right\|_1, где инфимум берётся по всем ff в l1(Z)l^1(Z) таким, что ()(*) выполнено.

?
Задача VI.1.10

(Бонсолл [1986]) Пусть mm — нормированная мера Лебега на D\partial \mathbb {D} и при z<1\left|z\right| < 1 и w=1\left|w\right| = 1 положим pz(w)=(1z2)/1zˉw2p_z(w) = (1 - \left|z\right|^2)/\left|1 - \bar{z}w\right|^2. Таким образом, pzp_z — ядро Пуассона. Покажите, что если fL1(m)f \in L^1(m), то найдутся последовательность {zn}D\left\{ z_n\right\} \subseteq \mathbb {D} и последовательность {λn}\left\{ \lambda_n\right\} в l1l^1 такие, что () f=n=1λnpzn(*)\ f = \sum_{n=1}^{\infty } \lambda_n p_{z_n}. Более того, f1=infn=1λn\left\| f\right\|_1 = \inf \sum_{n=1}^{\infty } \left|\lambda_n\right|, где инфимум берётся по всем {λn}\left\{ \lambda_n\right\} в l1l^1 таким, что ()(*) выполнено.

?
Задача VI.1.11

Если X\mathscr {X} и Y\mathscr {Y} — банаховы пространства и BB(Y,X)B \in \mathcal{B}(\mathscr {Y}^*, \mathscr {X}^*), то существует оператор AA в B(X,Y)\mathcal{B}(\mathscr {X}, \mathscr {Y}) такой, что B=AB = A^*, тогда и только тогда, когда BB является wk\mathrm{wk}^*-непрерывным.

?
Задача VI.1.12

Если X\mathscr {X} — банахово пространство и M\mathscr {M} и N\mathscr {N} — замкнутые подпространства, покажите, что следующие утверждения эквивалентны.

?
(a)

M+N\mathscr {M} + \mathscr {N} замкнуто.

(b)

Образ линейного отображения x(x+M)(x+N)x \to (x + \mathscr {M}) \oplus (x + \mathscr {N}) из X\mathscr {X} в X/MX/N\mathscr {X}/\mathscr {M} \oplus \mathscr {X}/\mathscr {N} замкнут.

(c)

M+N\mathscr {M}^\perp + \mathscr {N}^\perp замкнуто по норме в X\mathscr {X}^*.

(d)

M+N\mathscr {M}^\perp + \mathscr {N}^\perp слабо-* замкнуто в X\mathscr {X}^*.

§
Задача VI.3.1

Если X\mathscr {X} рефлексивно и AB(X,Y)A \in \mathcal{B}(\mathscr {X}, \mathscr {Y}), покажите, что A(ball X)A(\mathrm{ball}\ \mathscr {X}) замкнуто в Y\mathscr {Y}.

?
Задача VI.3.2

Докажите предложение 3.5. Пусть X\mathscr {X}, Y\mathscr {Y} и Z\mathscr {Z} — банаховы пространства.

?
(a)

B0(X,Y)\mathcal{B}_0(\mathscr {X}, \mathscr {Y}) — замкнутое линейное подпространство B(X,Y)\mathcal{B}(\mathscr {X}, \mathscr {Y}).

(b)

Если KB0(X,Y)K \in \mathcal{B}_0(\mathscr {X}, \mathscr {Y}) и AB(Y,Z)A \in \mathcal{B}(\mathscr {Y}, \mathscr {Z}), то AKB0(X,Z)AK \in \mathcal{B}_0(\mathscr {X}, \mathscr {Z}).

(c)

Если KB0(X,Y)K \in \mathcal{B}_0(\mathscr {X}, \mathscr {Y}) и AB(Z,X)A \in \mathcal{B}(\mathscr {Z}, \mathscr {X}), то KAB0(Z,Y)KA \in \mathcal{B}_0(\mathscr {Z}, \mathscr {Y}).

Задача VI.3.3

Если AB0(X,Y)A \in \mathcal{B}_0(\mathscr {X}, \mathscr {Y}), покажите, что cl[ran A]\mathrm{cl}[\mathrm{ran}\ A] сепарабельно.

?
Задача VI.3.4

Если AB0(X,Y)A \in \mathcal{B}_0(\mathscr {X}, \mathscr {Y}) и ran A\mathrm{ran}\ A замкнут, покажите, что ran A\mathrm{ran}\ A конечномерен.

?
Задача VI.3.5

Если AB0(X)A \in \mathcal{B}_0(\mathscr {X}) и AA обратим, покажите, что dimX<\dim \mathscr {X} < \infty.

?
Задача VI.3.6

Пусть (X,Ω,μ)(X, \Omega , \mu ) — конечное пространство с мерой, 1<p<1 < p < \infty и 1/p+1/q=11/p + 1/q = 1. Если k:X×XFk: X \times X \to \mathbb {F}Ω×Ω\Omega \times \Omega-измеримая функция такая, что sup{k(x,y)qdμ(y):xX}<\sup \left\{ \int \left|k(x, y)\right|^q\, d\mu (y): x \in X\right\} < \infty, то (Kf)(x)=k(x,y)f(y)dμ(y)(Kf)(x) = \int k(x, y) f(y)\, d\mu (y) определяет компактный оператор на Lp(μ)L^p(\mu ).

?
Задача VI.3.7

Пусть (X,Ω,μ)(X, \Omega , \mu ) — произвольное пространство с мерой, 1<p<1 < p < \infty и 1/p+1/q=11/p + 1/q = 1. Если k:X×XFk: X \times X \to \mathbb {F}Ω×Ω\Omega \times \Omega-измеримая функция такая, что

M=[(k(x,y)pdμ(x))q/pdμ(y)]1/q< M = \left[ \int \left( \int \left|k(x, y)\right|^p\, d\mu (x) \right)^{q/p} d\mu (y) \right]^{1/q} < \infty

и если (Kf)(x)=k(x,y)f(y)dμ(y)(Kf)(x) = \int k(x, y) f(y)\, d\mu (y), то KB0(Lp(μ))K \in \mathcal{B}_0(L^p(\mu )) и KM\left\| K\right\| \le M.

?
Задача VI.3.8

Пусть XX — компактное пространство и μ\mu — положительная борелевская мера на XX. Пусть TB(Lp(μ),C(X))T \in \mathcal{B}(L^p(\mu ), C(X)), где 1<p<1 < p < \infty. Покажите, что если A:Lp(μ)Lp(μ)A: L^p(\mu ) \to L^p(\mu ) определён как Af=TfAf = Tf, то AA компактен.

?
Задача VI.3.9

(Б.Дж. Петтис) Если X\mathscr {X} рефлексивно и TB(X,l1)T \in \mathcal{B}(\mathscr {X}, l^1), то TT — компактный оператор. Кроме того, если Y\mathscr {Y} рефлексивно и TB(c0,Y)T \in \mathcal{B}(c_0, \mathscr {Y}), то TT компактен.

?
Задача VI.3.10

Если XX компактно и {f1,,fn,g1,,gn}C(X)\left\{ f_1, \ldots , f_n, g_1, \ldots , g_n\right\} \subseteq C(X), определим k(x,y)=j=1nfj(x)gj(y)k(x, y) = \sum_{j=1}^{n} f_j(x) g_j(y) для x,yXx, y \in X. Пусть μ\mu — регулярная борелевская мера на XX и положим Kf(x)=k(x,y)f(y)dμ(y)Kf(x) = \int k(x, y) f(y)\, d\mu (y). Покажите, что KB(C(X))K \in \mathcal{B}(C(X)) и KK имеет конечный ранг.

?
Задача VI.3.11

Если XX компактно, kC(X×X)k \in C(X \times X) и μ\mu — регулярная борелевская мера на XX, покажите, что Kf(x)=k(x,y)f(y)dμ(y)Kf(x) = \int k(x, y) f(y)\, d\mu (y) определяет компактный оператор на C(X)C(X).

?
Задача VI.3.12

Пусть (X,Ω,μ)(X, \Omega , \mu )σ\sigma-конечное пространство с мерой и для ϕ\phi из L(μ)L^\infty (\mu ) пусть Mϕ:Lp(μ)Lp(μ)M_\phi : L^p(\mu ) \to L^p(\mu ) — оператор умножения, определённый в примере III.2.2. Дайте необходимые и достаточные условия на (X,Ω,μ)(X, \Omega , \mu ) и ϕ\phi, при которых MϕM_\phi компактен.

?
Задача VI.3.13

Пусть τ:[0,1][0,1]\tau : [0, 1] \to [0, 1] непрерывно и A:C[0,1]C[0,1]A: C[0, 1] \to C[0, 1] определён как Af=fτAf = f \circ \tau. Дайте необходимые и достаточные условия на τ\tau, при которых AA компактен.

?
Задача VI.3.14

Пусть AB(c0)A \in \mathcal{B}(c_0) и (αmn)(\alpha_{mn}) — соответствующая матрица, как в упражнении 1.7. Дайте необходимые и достаточные условия на (αmn)(\alpha_{mn}), при которых AA компактен.

?
Задача VI.3.15

Пусть AB(l1)A \in \mathcal{B}(l^1) и (αmn)(\alpha_{mn}) — соответствующая матрица, как в упражнении 1.8. Дайте необходимое и достаточное условие на (αmn)(\alpha_{mn}), при котором AA компактен.

?
Задача VI.3.16

Если (X,d)(X, d) — компактное метрическое пространство и FC(X)\mathscr {F} \subseteq C(X), покажите, что F\mathscr {F} равностепенно непрерывно тогда и только тогда, когда для всякого ε>0\varepsilon > 0 найдётся δ>0\delta > 0 такое, что f(x)f(y)<ε\left|f(x) - f(y)\right| < \varepsilon, если d(x,y)<δd(x, y) < \delta и fFf \in \mathscr {F}.

?
Задача VI.3.17

Если XX локально компактно и FC0(X)\mathscr {F} \subseteq C_0(X), покажите, что F\mathscr {F} вполне ограничено тогда и только тогда, когда (a) F\mathscr {F} ограничено; (b) F\mathscr {F} равностепенно непрерывно; (c) для всякого ε>0\varepsilon > 0 найдётся компактное подмножество KK пространства XX такое, что f(x)<ε\left|f(x)\right| < \varepsilon для всех ff из F\mathscr {F} и xx из XKX \setminus K.

?
Задача VI.3.18

Если XX локально компактно и AB0(C0(X))A \in \mathcal{B}_0(C_0(X)), то существует последовательность {An}\left\{ A_n\right\} операторов конечного ранга такая, что AnA0\left\| A_n - A\right\| \to 0.

?
Задача VI.3.19

Пусть X\mathscr {X} — банахово пространство и предположим, что существует сеть {Fi}\left\{ F_i\right\} операторов конечного ранга на X\mathscr {X} такая, что (a) supiFi<\sup_i \left\| F_i\right\| < \infty; (b) Fixx0\left\| F_i x - x\right\| \to 0 для всех xx из X\mathscr {X}. Покажите, что если AB0(X)A \in \mathcal{B}_0(\mathscr {X}), то FiAA0\left\| F_i A - A\right\| \to 0, и, следовательно, существует последовательность {An}\left\{ A_n\right\} операторов конечного ранга на X\mathscr {X} такая, что AnA0\left\| A_n - A\right\| \to 0.

?
Задача VI.3.20

Пусть 1p1 \le p \le \infty и (X,Ω,μ)(X, \Omega , \mu )σ\sigma-конечное пространство с мерой. Если AB0(Lp(μ))A \in \mathcal{B}_0(L^p(\mu )), покажите, что существует последовательность {An}\left\{ A_n\right\} операторов конечного ранга такая, что AnA0\left\| A_n - A\right\| \to 0.

?
Задача VI.3.21

Пусть XX компактно и U\mathscr {U} — совокупность всех пар (C,F)(C, F), где C={U1,,Un}C = \left\{ U_1, \ldots , U_n\right\} — конечное открытое покрытие XX и F={x1,,xn}XF = \left\{ x_1, \ldots , x_n\right\} \subseteq X такое, что xjUjx_j \in U_j при 1jn1 \le j \le n. Если (C1,F1)(C_1, F_1) и (C2,F2)U(C_2, F_2) \in \mathscr {U}, определим (C1,F1)(C2,F2)(C_1, F_1) \le (C_2, F_2) следующим образом:

?
(a)

C2C_2 является измельчением C1C_1; то есть каждый элемент C2C_2 содержится в некотором элементе C1C_1.

(b)

F1F2F_1 \subseteq F_2.

(c)
(d)
(e)
(f)

Если α=(C,F)U\alpha = (C, F) \in \mathscr {U}, пусть {ϕ1,,ϕn}\left\{ \phi_1, \ldots , \phi_n\right\} — разбиение единицы, подчинённое CC. Если F={x1,,xn}F = \left\{ x_1, \ldots , x_n\right\}, определим Tα:C(X)C(X)T_\alpha : C(X) \to C(X) как

(Tαf)(x)=j=1nf(xj)ϕj(x). (T_\alpha f)(x) = \sum _{j=1}^{n} f(x_j) \phi _j(x).

Тогда: [(a)] TαB00(C(X))T_\alpha \in \mathcal{B}_{00}(C(X));

[(b)] Tα=1\left\| T_\alpha \right\| = 1;

[(c)] (U,)(\mathscr {U}, \le ) — направленное множество и {Tα:αU}\left\{ T_\alpha : \alpha \in \mathscr {U}\right\} — сеть;

[(d)] Tαff0\left\| T_\alpha f - f\right\| \to 0 для каждого ff. Теперь примените упражнение 19, чтобы получить новое доказательство теоремы 3.11.

§
Задача VI.4.1

Пусть A,B,TB(X)A, B, T \in \mathcal{B}(\mathscr {X}) таковы, что TA=BTTA = BT. Покажите, что graph(T)Lat(AB)\mathrm{graph}(T) \in \mathrm{Lat}(A \oplus B).

?
Задача VI.4.2

Докажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда MLat T\mathscr {M}^\perp \in \mathrm{Lat}\ T^*. Что делает отображение MM\mathscr {M} \mapsto \mathscr {M}^\perp из Lat T\mathrm{Lat}\ T в Lat T\mathrm{Lat}\ T^* с решёточными операциями?

?
Задача VI.4.3

Пусть {e1,e2,e3}\left\{ e_1, e_2, e_3\right\} — обычный базис для F3\mathbb {F}^3 и α1,α2,α3F\alpha_1, \alpha_2, \alpha_3 \in \mathbb {F}. Определим T:F3F3T: \mathbb {F}^3 \to \mathbb {F}^3 как Tej=αjejTe_j = \alpha_j e_j, 1j31 \le j \le 3.

?
(a)

Если α1,α2,α3\alpha_1, \alpha_2, \alpha_3 все различны, покажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда M=E\mathscr {M} = \bigvee E, где E{e1,e2,e3}E \subseteq \left\{ e_1, e_2, e_3\right\}.

(b)

Если α1=α2α3\alpha_1 = \alpha_2 \ne \alpha_3, покажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда M=N+L\mathscr {M} = \mathscr {N} + \mathscr {L}, где N{e1,e2}\mathscr {N} \le \bigvee \left\{ e_1, e_2\right\} и L{αe3:αF}\mathscr {L} \le \left\{ \alpha e_3: \alpha \in \mathbb {F}\right\}.

Задача VI.4.4

Обобщите упражнение 3, охарактеризовав Lat T\mathrm{Lat}\ T, где TT определён как Tej=αjejTe_j = \alpha_j e_j, 1jd1 \le j \le d, для произвольного выбора скаляров α1,,αd\alpha_1, \ldots , \alpha_d и где {e1,,ed}\left\{ e_1, \ldots , e_d\right\} — обычный базис для Fd\mathbb {F}^d.

?
Задача VI.4.5

Пусть {e1,,ed}\left\{ e_1, \ldots , e_d\right\} — обычный базис для Fd\mathbb {F}^d, {α1,,αd1}F\left\{ \alpha_1, \ldots , \alpha_{d-1}\right\} \subseteq \mathbb {F}, причём ни одно αj=0\alpha_j = 0. Если Tej=αjej+1Te_j = \alpha_j e_{j+1} при 1jd11 \le j \le d - 1 и Ted=0Te_d = 0, найдите Lat T\mathrm{Lat}\ T.

?
Задача VI.4.6

Если TB(Rd)T \in \mathcal{B}(\mathbb {R}^d) и d3d \ge 3, покажите, что TT имеет нетривиальное подпространство.

?
Задача VI.4.7

Покажите, что если TB(X)T \in \mathcal{B}(\mathscr {X}) и X\mathscr {X} не сепарабельно, то TT имеет нетривиальное инвариантное подпространство.

?
Задача VI.4.8

Приведите пример обратимого оператора TT на банаховом пространстве X\mathscr {X} и инвариантного подпространства M\mathscr {M} для TT такого, что M\mathscr {M} не инвариантно для T1T^{-1}.

?
Задача VI.4.9

Пусть X\mathscr {X} — банахово пространство над C\mathbb {C}, KB0(X)K \in \mathcal{B}_0(\mathscr {X}), и покажите, что если C\mathscr {C} — максимальная цепь в Lat K\mathrm{Lat}\ K, то C\mathscr {C} — максимальная цепь в решётке всех подпространств X\mathscr {X}.

?
§
Задача VI.5.1

Докажите предложение 5.2.

?
(a)

Если X\mathscr {X} или Y\mathscr {Y} рефлексивно, то всякий оператор из B(X,Y)\mathcal{B}(\mathscr {X}, \mathscr {Y}) слабо компактен.

(b)

Если T:XYT: \mathscr {X} \to \mathscr {Y} слабо компактен и AB(Y,Z)A \in \mathcal{B}(\mathscr {Y}, \mathscr {Z}), то ATAT слабо компактен.

(c)

Если T:XYT: \mathscr {X} \to \mathscr {Y} слабо компактен и BB(Z,X)B \in \mathcal{B}(\mathscr {Z}, \mathscr {X}), то TBTB слабо компактен.

Задача VI.5.2

Если R\mathscr {R} и X\mathscr {X} — банаховы пространства и Φ:RX\Phi : \mathscr {R} \to \mathscr {X} — изометрия, приведите элементарное доказательство того, что Φ\Phi^* сюръективен.

?
Задача VI.5.3

Пусть X\mathscr {X} — банахово пространство, вспомните определение слабо фундаментальной последовательности (V.4.4).

?
(a)

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

(b)

Покажите, что если TB(c0)T \in \mathcal{B}(c_0) и TT слабо компактен, то TT компактен.

Задача VI.5.4

Будем говорить, что банахово пространство X\mathscr {X} слабо компактно порождено (WCG), если существует слабо компактное подмножество KK пространства X\mathscr {X} такое, что X\mathscr {X} является замкнутой линейной оболочкой KK. Докажите (Дэвис, Фигель, Джонсон и Пелчинский, [1974]), что X\mathscr {X} является WCG тогда и только тогда, когда существуют рефлексивное пространство и инъективный ограниченный оператор T:RXT: \mathscr {R} \to \mathscr {X} такие, что ran T\mathrm{ran}\ T плотен.

?
Задача VI.5.5

Если (X,Ω,μ)(X, \Omega , \mu ) — конечное пространство с мерой, kL(X×X,Ω×Ω,μ×μ)k \in L^\infty (X \times X, \Omega \times \Omega , \mu \times \mu ) и K:L1(μ)L1(μ)K: L^1(\mu ) \to L^1(\mu ) определён как (Kf)(x)=k(x,y)f(y)dμ(y)(Kf)(x) = \int k(x, y) f(y)\, d\mu (y), покажите, что KK слабо компактен и K2K^2 компактен.

?
Задача VI.5.6

Пусть Y\mathscr {Y} — слабо секвенциально полное банахово пространство. То есть, если {yn}\left\{ y_n\right\} — последовательность в Y\mathscr {Y} такая, что {yn,y}\left\{ \langle y_n, y^* \rangle \right\} — фундаментальная последовательность в F\mathbb {F} для всякого yy^* из Y\mathscr {Y}^*, то найдётся yy из Y\mathscr {Y} такое, что ynyy_n \to y слабо.

?
(a)

Если TB(X,Y)T \in \mathcal{B}(\mathscr {X}, \mathscr {Y}) и xXx^{**} \in \mathscr {X}^{**} таковы, что xx^{**} является σ(X,X)\sigma (\mathscr {X}^{**}, \mathscr {X}^*)-пределом последовательности {xn}\left\{ x_n^{**}\right\} из X\mathscr {X}^{**} такой, что T(xn)YT^{**}(x_n^{**}) \in \mathscr {Y} для всякого nn, покажите, что T(x)YT^{**}(x^{**}) \in \mathscr {Y}. Пусть XX — компактное пространство и положим F=\mathscr {F} = все подмножества XX, являющиеся объединением счётного числа компактных множеств типа GδG_\delta. Пусть L=\mathscr {L} = линейная оболочка {χF:FF}\left\{ \chi_F: F \in \mathscr {F}\right\}, рассматриваемая как подмножество M(X)=C(X)M(X)^* = C(X)^{**}.

(b)

Покажите, что если TB(C(X),Y)T \in \mathcal{B}(C(X), \mathscr {Y}), то T(L)YT^{**}(\mathscr {L}) \subseteq \mathscr {Y}.

(c)

(Гротендик [1953].) Если TB(C(X),Y)T \in \mathcal{B}(C(X), \mathscr {Y}), то TT слабо компактен.