VI.3

Компактные операторы

[21/0%]
Показать
LaTeX
Задача 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.