Глава 11

Непрерывные линейные операторы между банаховыми пространствами

[147/18%]
Показать
LaTeX
§
Задача 11.1.1

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

Предложение 11.1.10: Пусть X,YX, Y — нормированные линейные пространства. Операторная норма на L(X,Y)\mathcal{L}(X, Y) является нормой.

?
Задача 11.1.2

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

Предложение 11.1.11: Пусть X,YX, Y — нормированные линейные пространства и T∈L(X,Y)T \in \mathcal{L}(X, Y). Тогда (a) ∥T∥=sup⁡{∥Tx∥:∥x∥≤1}=sup⁡{∥Tx∥:∥x∥=1}\left\| T\right\| = \sup \left\{ \left\| Tx\right\| : \left\| x\right\| \leq 1\right\} = \sup \left\{ \left\| Tx\right\| : \left\| x\right\| = 1\right\}. (b) ∥Tx∥≤∥T∥∥x∥\left\| Tx\right\| \leq \left\| T\right\| \left\| x\right\| для всех x∈Xx \in X.

?
Задача 11.1.3

Пусть X,YX, Y — нормированные линейные пространства и T∈L(X,Y)T \in \mathcal{L}(X, Y). Предположим, что M>0M>0 и ∥T∥≤M\left\| T\right\| \leq M.

?
(a)

Докажите, что если существует вектор xx такой, что ∥Tx∥=M∥x∥\left\| T x\right\| =M\left\| x\right\|, то ∥T∥=M\left\| T\right\| = M;

(b)

Докажите, что ∥T∥=M\left\| T\right\| =M тогда и только тогда, когда существует последовательность {xn}n=1∞⊂X\left\{ x_{n}\right\}_{n=1}^{\infty } \subset X такая, что ∥xn∥=1\left\| x_{n}\right\| =1 для всех n∈Nn \in \mathbb {N} и lim⁡n∥Txn∥=M\lim_{n}\left\| T x_{n}\right\| =M;

(c)

Докажите, что ∥T∥=M\left\| T\right\| =M тогда и только тогда, когда для каждого ε>0\varepsilon >0 существует x∈Xx \in X такой, что ∥x∥=1\left\| x\right\| =1 и ∥Tx∥>∥T∥−ε\left\| T x\right\| >\left\| T\right\| -\varepsilon.

(d)

Приведите пример, показывающий, что обратное утверждение к (a) не обязано быть верным.

Задача 11.1.4

Пусть X,YX, Y — нормированные линейные пространства, и пусть T:X→YT: X \rightarrow Y — линейный оператор. Докажите, что TT ограничен тогда и только тогда, когда он переводит ограниченные множества в ограниченные.

?
Задача 11.1.5

Пусть XX — нормированное линейное пространство и x0∈Xx_{0} \in X. Докажите, что линейный оператор на нормированном пространстве непрерывен тогда и только тогда, когда он непрерывен в точке x0x_{0}.

?
Задача 11.1.6

Пусть XX — нормированное линейное пространство и T,S∈L(X,X)T, S \in \mathcal{L}(X, X). Докажите, что композиция STS T принадлежит L(X,X)\mathcal{L}(X, X) и что ∥ST∥≤∥S∥∥T∥\left\| S T\right\| \leq \left\| S\right\| \left\| T\right\|. (Мы пишем STS T вместо S∘TS \circ T, так же как когда SS и TT — матрицы.)

?
Задача 11.1.7

Пусть XX — банахово пространство, а F\mathcal{F} — семейство ограниченных линейных операторов из XX в нормированное линейное пространство YY. Докажите, что F\mathcal{F} равностепенно непрерывно тогда и только тогда, когда оно равномерно ограничено.

?
Задача 11.1.8

Пусть H\mathcal{H} — гильбертово пространство и T∈L(H)T \in \mathcal{L}(\mathcal{H}). Докажите, что

∥T∥=sup⁡{∣⟨Tx,y⟩∣:∥x∥=∥y∥=1}. \left\| T\right\| =\sup \left\{ \left| \left\langle T x, y \right\rangle \right|:\left\| x\right\| =\left\| y\right\| =1\right\} .
?
Задача 11.1.9

Пусть X,YX, Y — нормированные линейные пространства и T:X→YT: X \rightarrow Y — линейное отображение такое, что {Txn}\left\{ T x_{n}\right\} ограничена в YY всякий раз, когда последовательность {xn}\left\{ x_{n}\right\} сходится к 0 в XX. Докажите, что T∈L(X,Y)T \in \mathcal{L}(X, Y).

?
Задача 11.1.10

Пусть X,YX, Y — нормированные линейные пространства, и пусть T:X→YT: X \rightarrow Y — линейный оператор. Докажите, что TT ограничен тогда и только тогда, когда он переводит всякую фундаментальную последовательность в XX в фундаментальную последовательность в YY.

?
Задача 11.1.11

Докажите, что множество всех линейных отображений из векторного пространства XX в векторное пространство YY является векторным пространством.

?
Задача 11.1.12

Пусть ZZ — подпространство нормированного линейного пространства XX, пусть YY — банахово пространство, и пусть A:Z→YA: Z \rightarrow Y — непрерывный линейный оператор. Докажите, что существует единственный непрерывный линейный оператор Aˉ:Zˉ→Y\bar{A}: \bar{Z} \rightarrow Y такой, что Aˉ∣Z=A\bar{A} \mid Z=A и ∥Aˉ∥=∥A∥\left\| \bar{A}\right\| =\left\| A\right\|.

?
Задача 11.1.13

Пусть X,YX, Y — нормированные пространства, пусть T∈L(X,Y)T \in \mathcal{L}(X, Y), и пусть T~:X/ker⁡T→Y\tilde{T}: X / \operatorname {ker} T \rightarrow Y определён формулой T~([x])=Tx\tilde{T}([x])=T x (см. упражнение 10.1.13). Докажите, что T~\tilde{T} является корректно определённым, инъективным, ограниченным линейным оператором, для которого ∥T~∥=∥T∥\left\| \tilde{T}\right\| =\left\| T\right\|.

?
Задача 11.1.14

Пусть XX — нормированное пространство и VV — замкнутое подпространство XX (см. упражнение 10.1.13). Докажите, что:

?
(a)

Проекция π(x):=[x]\pi (x):=[x] из XX в X/VX / V имеет норму 1.

(b)

Если YY — нормированное линейное пространство, T∈L(X,Y)T \in \mathcal{L}(X, Y), а VV — замкнутое подпространство ker⁡T\operatorname {ker} T, то существует единственный S∈L(X/V,Y)S \in \mathcal{L}(X / V, Y) такой, что T=S∘πT=S \circ \pi и ∥S∥=∥T∥\left\| S\right\| =\left\| T\right\|.

Задача 11.1.15

Пусть H\mathcal{H} — гильбертово пространство и пусть T∈L(H)T \in \mathcal{L}(\mathcal{H}). Докажите, что T=0T=0 тогда и только тогда, когда ⟨Tx,y⟩=0\left\langle T x, y \right\rangle =0 для всех x,y∈Hx, y \in \mathcal{H}.

?
Задача 11.1.16

Пусть XX — банахово пространство и T∈L(X,X)T \in \mathcal{L}(X, X) с ∥T∥<1\left\| T\right\| <1. Определим T0=Id⁡T^{0}=\operatorname {Id}. Докажите, что ∑n=0∞Tn\sum_{n=0}^{\infty } T^{n} сходится в L(X,X)\mathcal{L}(X, X).

?
Задача 11.1.17

Пусть X,YX, Y — нормированные линейные пространства, пусть {Tn}\left\{ T_{n}\right\} сходится к TT в L(X,Y)\mathcal{L}(X, Y), и пусть {xn}\left\{ x_{n}\right\} сходится к xx в XX. Докажите, что {Tnxn}\left\{ T_{n} x_{n}\right\} сходится к TxT x в YY.

?
Задача 11.1.18

Пусть X,YX, Y — нормированные линейные пространства и {Tn},T∈L(X,Y)\left\{ T_{n}\right\} , T \in \mathcal{L}(X, Y). Докажите, что lim⁡nTn=T\lim_{n} T_{n}=T тогда и только тогда, когда {Tnx}\left\{ T_{n} x\right\} сходится к TxT x равномерно на единичном шаре XX.

?
Задача 11.1.19

Пусть gg — непрерывная функция на [0,1][0,1], и пусть T:Lp([0,1])→Lp([0,1])T: L^{p}\left({[0,1]}\right) \rightarrow L^{p}\left({[0,1]}\right) определён формулой T(f)=gfT(f)=g f. Докажите, что TT — ограниченный оператор и ∥T∥=∥g∥max⁡\left\| T\right\| =\left\| g\right\|_{\max }.

?
Задача 11.1.20

Пусть p,qp, q — вещественные числа такие, что q>1q>1 и 1/p+1/q=11 / p+1 / q=1, и пусть (aij)\left(a_{i j}\right) — бесконечная матрица вещественных чисел такая, что

∑j=1∞∑i=1∞∣aij∣q<+∞ \sum _{j=1}^{\infty } \sum _{i=1}^{\infty }\left|a_{i j}\right|^{q}<+\infty

Докажите, что

yj=∑i=1∞aijxi,j=1,2,… y_{j}=\sum _{i=1}^{\infty } a_{i j} x_{i}, \quad j=1,2, \ldots

задаёт ограниченный линейный оператор

y=Tx,x={xn},y={yn} y=T x, \quad x=\left\{ x_{n}\right\} , \quad y=\left\{ y_{n}\right\}

из ℓp\ell^{p} в ℓq\ell^{q}.

?
Задача 11.1.21

Пусть K:[0,1]×[0,1]→RK:[0,1] \times [0,1] \rightarrow \mathbb {R} — измеримая функция такая, что

∫01∣K(s,t)∣dt≤M для всех s∈[0,1] \int _{0}^{1}\left|K(s, t)\right| d t \leq M \quad \text{ для всех } s \in [0,1]

Докажите, что

y(s)=∫01K(s,t)x(t)dt y(s)=\int _{0}^{1} K(s, t) x(t) d t

задаёт оператор в L(L∞)\mathcal{L}\left(L^{\infty }\right),

y=Ax,x=x(t),y=y(t). y=A x, \quad x=x(t), \quad y=y(t) .
?
Задача 11.1.22

Пусть K:[0,1]×[0,1]→RK:[0,1] \times [0,1] \rightarrow \mathbb {R} — непрерывная функция. Докажите, что

y(x)=∫01K(s,t)x(t)dt y(x)=\int _{0}^{1} K(s, t) x(t) d t

задаёт оператор в L(C[0,1])\mathcal{L}(C[0,1]),

y=Ax,x=x(t),y=y(t). y=A x, \quad x=x(t), \quad y=y(t) .
?
Задача 11.1.23

Пусть K:[0,1]×[0,1]→RK:[0,1] \times [0,1] \rightarrow \mathbb {R} — измеримая функция такая, что

∫01∥K(s,t)∥t,∞ds<+∞ \int _{0}^{1}\left\| K(s, t)\right\| _{t, \infty } d s<+\infty

где ∥K(s,t)∥t,∞\left\| K(s, t)\right\|_{t, \infty } означает L∞L^{\infty }-норму KK как функции от tt при фиксированном ss. Докажите, что

y(s)=∫01K(s,t)x(t)dt y(s)=\int _{0}^{1} K(s, t) x(t) d t

задаёт оператор в L(L1([0,1]))\mathcal{L}\left(L^{1}\left({[0,1]}\right)\right),

y=Ax,x=x(t),y=y(t) y=A x, \quad x=x(t), \quad y=y(t)
?
Задача 11.1.24

Пусть q>1q>1 и пусть K:[0,1]×[0,1]→RK:[0,1] \times [0,1] \rightarrow \mathbb {R} — измеримая функция такая, что

∫01∫01∣K(s,t)∣qdsdt<+∞ \int _{0}^{1} \int _{0}^{1}\left|K(s, t)\right|^{q} d s d t<+\infty

Докажите, что

y(s)=∫01K(s,t)x(t)dt y(s)=\int _{0}^{1} K(s, t) x(t) d t

задаёт оператор в L(Lp([0,1]),Lq([0,1])),(1/p+1/q=1)\mathcal{L}\left(L^{p}\left({[0,1]}\right), L^{q}\left({[0,1]}\right)\right),(1 / p+1 / q=1)

y=Ax,x=x(t),y=y(t) y=A x, \quad x=x(t), \quad y=y(t)
?
Задача 11.1.25

Пусть K:[0,1]×[0,1]→RK:[0,1] \times [0,1] \rightarrow \mathbb {R} — измеримая функция такая, что

∫01∫01∣K(s,t)∣2dsdt<+∞ \int _{0}^{1} \int _{0}^{1}\left|K(s, t)\right|^{2} d s d t<+\infty

Докажите, что

y(s)=x(s)−∫01K(s,t)x(t)dt y(s)=x(s)-\int _{0}^{1} K(s, t) x(t) d t

задаёт оператор в L(L2([0,1]))\mathcal{L}\left(L^{2}\left({[0,1]}\right)\right).

?
Задача 11.1.26

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с мерой, пусть hh — ограниченная измеримая функция на XX, и пусть TT — оператор на Lp(X,μ)L^{p}\left(X, \mu \right), определённый формулой Tf=hfT f=h f. Докажите, что:

?
(a)

TT ограничен и ∥T∥≤∥h∥∞\left\| T\right\| \leq \left\| h\right\|_{\infty }.

(b)

∥T∥=∥h∥∞\left\| T\right\| =\left\| h\right\|_{\infty } тогда и только тогда, когда всякое измеримое множество EE бесконечной меры содержит измеримое подмножество AA конечной положительной меры, т.е. 0<μ(A)<∞0<\mu (A)< \infty.

Задача 11.1.27

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с конечной мерой и пусть p≥qp \geq q. Найдите норму тождественного оператора Id⁡:Lp(X,μ)→Lq(X,μ)\operatorname {Id}: L^{p}\left(X, \mu \right) \rightarrow L^{q}\left(X, \mu \right).

?
Задача 11.1.28

Пусть 1≤p≤q<∞1 \leq p \leq q<\infty. Определите, для каких функций hh на [0,1][0,1] умножение на hh является ограниченным оператором из Lp[0,1]L^{p}[0,1] в Lq[0,1]L^{q}[0,1].

?
Задача 11.1.29

Пусть T:C[0,1]→C[0,1]T: C[0,1] \rightarrow C[0,1] определён формулой Tf(x)=x3f(x)T f(x)=x^{3} f(x) для всех f∈C[0,1]f \in C[0,1] и каждого x∈[0,1]x \in [0,1].

?
(a)

Докажите, что TT — ограниченный линейный оператор.

(b)

Пусть Id⁡:C[0,1]→C[0,1]\operatorname {Id}: C[0,1] \rightarrow C[0,1] обозначает тождественный оператор, т.е. Id⁡(f)=f\operatorname {Id}(f)=f для каждого f∈C[0,1]f \in C[0,1]. Докажите, что ∥Id⁡+T∥=1+∥T∥\left\| \operatorname {Id}+T\right\| =1+\left\| T\right\|.

Задача 11.1.30

Пусть T:C[0,1]→C[0,1]T: C[0,1] \rightarrow C[0,1] определён формулой Tf(x)=∫0xf(t)dtT f(x)=\int_{0}^{x} f(t) d t для всех f∈C[0,1]f \in C[0,1] и каждого x∈[0,1]x \in [0,1]. Докажите, что TT — ограниченный линейный оператор, и найдите его норму.

?
Задача 11.1.31

Пусть T:L1[0,1]→L1[0,1]T: L^{1}[0,1] \rightarrow L^{1}[0,1] определён формулой Tf(x)=f(x)T f(x)=f(\sqrt{x}) для всех f∈C[0,1]f \in C[0,1] и каждого x∈[0,1]x \in [0,1]. Докажите, что TT — ограниченный линейный оператор, и найдите его норму.

?
Задача 11.1.32

Для f∈L1[0,1]f \in L^{1}[0,1] пусть xn=∫01f(t)tndtx_{n}=\int_{0}^{1} f(t) t^{n} d t, и пусть T(f)={xn}T(f)=\left\{ x_{n}\right\}. Докажите, что оператор TT является ограниченным линейным оператором, отображающим L1[0,1]L^{1}[0,1] в c0c_{0}, и найдите его норму. (См. упражнение 10.1.15.)

?
Задача 11.1.33

Пусть ( X,M,μX, \mathfrak {M}, \mu ) и ( Y,N,νY, \mathfrak {N}, \nu ) — σ\sigma-конечные пространства с мерой, пусть KK — M⊗N\mathfrak {M} \otimes \mathfrak {N}-измеримая функция на X×YX \times Y, и пусть C>0C>0. Предположим, что

∫X∣K(x,y)∣dμ(x)≤C для п.  в. y∈Y, и ∫Y∣K(x,y)∣dν(y)≤C для п.  в. x∈X \begin{gathered} \int _{X}\left|K(x, y)\right| d \mu (x) \leq C \text{ для п.\, в. } y \in Y, \text{ и } \\ \int _{Y}\left|K(x, y)\right| d \nu (y) \leq C \text{ для п.\, в. } x \in X \end{gathered}

Докажите, что оператор TT, определённый на Lp(X,μ)L^{p}\left(X, \mu \right) формулой

Tf(x)=∫YK(x,y)f(y)dν(y) T f(x)=\int _{Y} K(x, y) f(y) d \nu (y)

является ограниченным оператором и что ∥Tf∥p≤C∥f∥p\left\| T f\right\|_{p} \leq C\left\| f\right\|_{p}.

?
Задача 11.1.34

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с мерой и пусть 1≤p<r≤∞1 \leq p<r \leq \infty. Докажите, что:

?
(a)

Lp(X,μ)∩Lr(X,μ)L^{p}\left(X, \mu \right) \cap L^{r}\left(X, \mu \right) является банаховым пространством с нормой ∥f∥:=∥f∥p+∥f∥r\left\| f\right\| :=\left\| f\right\|_{p}+\left\| f\right\|_{r}.

(b)

Если p<q<rp<q<r, то отображение включения Lp(X,μ)∩Lr(X,μ)→Lq(X,μ)L^{p}\left(X, \mu \right) \cap L^{r}\left(X, \mu \right) \rightarrow L^{q}\left(X, \mu \right) непрерывно.

Задача 11.1.35

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с мерой и пусть 1≤p<r≤∞1 \leq p<r \leq \infty. Докажите, что:

?
(a)

Lp(X,μ)+Lr(X,μ)L^{p}\left(X, \mu \right)+L^{r}\left(X, \mu \right) является банаховым пространством с нормой ∥f∥:=inf⁡{∥g∥p+∥h∥r:f=g+h}\left\| f\right\| :=\inf \left\{ \left\| g\right\|_{p}+\left\| h\right\|_{r}: f=g+h\right\}.

(b)

Если p<q<rp<q<r, то отображение включения Lq(X,μ)→Lp(X,μ)+Lr(X,μ)L^{q}\left(X, \mu \right) \rightarrow L^{p}\left(X, \mu \right)+L^{r}\left(X, \mu \right) непрерывно.

§
Задача 11.2.1

Пусть X,YX, Y — банаховы пространства и пусть S,T∈L(X,Y)S, T \in \mathcal{L}(X, Y). Предположим, что оператор STS T обратим. Докажите или опровергните: TT обратим.

?
Задача 11.2.2

Пусть XX — банахово пространство и пусть T∈L(X)T \in \mathcal{L}(X) удовлетворяет ∥T∥≤η<1\left\| T\right\| \leq \eta <1. Докажите, что оператор Id⁡−T\operatorname {Id}-T имеет ограниченный обратный (Id⁡−T)−1(\operatorname {Id}-T)^{-1} и что ∥(Id⁡−T)−1∥≤1/(1−η)\left\| (\operatorname {Id}-T)^{-1}\right\| \leq 1 /(1-\eta ).

?
Задача 11.2.3

Пусть X,YX, Y — нормированные пространства и T:X→YT: X \rightarrow Y — линейное отображение, имеющее единственный левый обратный SS. Докажите, что TT обратим.

?
Задача 11.2.4

Приведите пример нормированных пространств X,YX, Y и оператора T:X→YT: X \rightarrow Y, который:

?
(a)

обратим слева, но не обратим справа;

(b)

обратим справа, но не обратим слева.

Задача 11.2.5

Пусть XX — линейное пространство, и пусть S,T:X→XS, T: X \rightarrow X — линейные отображения. Докажите:

?
(a)

Id⁡−ST\operatorname {Id}-S T инъективно тогда и только тогда, когда Id⁡−TS\operatorname {Id}-T S инъективно;

(b)

Id⁡−ST\operatorname {Id}-S T сюръективно тогда и только тогда, когда Id⁡−TS\operatorname {Id}-T S сюръективно.

Задача 11.2.6

Пусть XX — линейное пространство, и пусть T:X→XT: X \rightarrow X — линейное отображение, удовлетворяющее уравнению p(T)=0p(T)=0 для некоторого многочлена pp с p(0)≠0p(0) \neq 0. Докажите, что TT обратим.

?
Задача 11.2.7

Пусть XX — линейное пространство, пусть T:X→XT: X \rightarrow X — ограниченное отображение, удовлетворяющее уравнению T2=TT^{2}=T, и пусть 0<∣λ∣<10<\left|\lambda \right|<1. Найдите обратный к λId⁡−T\lambda \operatorname {Id}-T.

?
Задача 11.2.8

Пусть XX — линейное пространство, пусть T:X→XT: X \rightarrow X — ограниченный оператор с ∥T∥<1\left\| T\right\| <1. Докажите или опровергните: уравнение x−Tx=yx-T x=y имеет решение xx для каждого y∈Xy \in X.

?
Задача 11.2.9

Пусть XX — банахово пространство. Докажите, что множество обратимых операторов в L(X,X)\mathcal{L}(X, X) открыто.

?
Задача 11.2.10

Пусть H\mathcal{H} — гильбертово пространство, пусть {xn}n=1∞\left\{ x_{n}\right\}_{n=1}^{\infty } — ортонормированный базис H\mathcal{H}, пусть 0≤C<10 \leq C<1, и пусть {yn}n=1∞\left\{ y_{n}\right\}_{n=1}^{\infty } — последовательность в H\mathcal{H}, такая что для любых скаляров {αn}\left\{ \alpha_{n}\right\},

∥∑k=1nαk(xk−yk)∥≤C∥∑k=1nαkxk∥. \left\| \sum _{k=1}^{n} \alpha _{k}\left(x_{k}-y_{k}\right)\right\| \leq C\left\| \sum _{k=1}^{n} \alpha _{k} x_{k}\right\| .

Докажите, что для каждого x∈Hx \in \mathcal{H} найдутся скаляры {βn}\left\{ \beta_{n}\right\}, такие что x=∑k=1∞βkykx=\sum_{k=1}^{\infty } \beta_{k} y_{k}, причём ряд сходится по норме H\mathcal{H}.

?
Задача 11.2.11

Пусть XX — нормированное линейное пространство размерности nn, пусть {e1,…,en}\left\{ e_{1}, \ldots , e_{n}\right\} — базис XX, и пусть T:Rn→(X,∥⋅∥)T: \mathbb {R}^{n} \rightarrow (X,\left\| \cdot \right\| ) определён формулой T(x1,…,xn)=∑k=1nxkekT\left(x_{1}, \ldots , x_{n}\right)= \sum_{k=1}^{n} x_{k} e_{k}. Докажите, что TT — обратимый линейный оператор.

?
Задача 11.2.12

Докажите следствие 11.2.6.

Следствие 11.2.6: Два нормированных линейных пространства изоморфны тогда и только тогда, когда существует линейный оператор TT, отображающий XX на YY, и положительные константы m,Mm, M, такие что m∥x∥≤∥Tx∥≤M∥x∥m\left\| x\right\| \leq \left\| Tx\right\| \leq M\left\| x\right\| для всех x∈Xx \in X.

?
Задача 11.2.13

Докажите следствие 11.2.7.

Следствие 11.2.7: Пусть XX — векторное пространство, и пусть ∥⋅∥α\left\| \cdot \right\|_{\alpha } и ∥⋅∥β\left\| \cdot \right\|_{\beta } — две нормы на XX. Нормированные пространства (X,∥⋅∥α)(X, \left\| \cdot \right\|_{\alpha }) и (X,∥⋅∥β)(X, \left\| \cdot \right\|_{\beta }) изоморфны тогда и только тогда, когда существуют положительные константы m,Mm, M, такие что m∥x∥α≤∥x∥β≤M∥x∥αm\left\| x\right\|_{\alpha } \leq \left\| x\right\|_{\beta } \leq M\left\| x\right\|_{\alpha } для всех x∈Xx \in X.

?
Задача 11.2.14

Докажите, что любые два бесконечномерных сепарабельных гильбертовых пространства изометрически изоморфны и что любой такой изоморфизм сохраняет скалярное произведение.

?
Задача 11.2.15

Докажите, что пространство C[0,1]C[0,1] изометрически изоморфно своему подпространству A={f∈C[0,1]:f(t)=f(1−t)}A=\left\{ f \in C[0,1]: f(t)=f(1-t)\right\}.

?
Задача 11.2.16

Пусть B(ℓ1)B\left(\ell^{1}\right) обозначает векторное пространство ограниченных последовательностей {an}\left\{ a_{n}\right\}, где для каждого n∈N,an∈ℓ1n \in \mathbb {N}, a_{n} \in \ell^{1}. Норма на B(ℓ1)B\left(\ell^{1}\right) определена формулой

∥{an}∥=sup⁡n∥an∥1 \left\| \left\{ a_{n}\right\} \right\| =\sup _{n}\left\| a_{n}\right\| _{1}

Докажите, что нормированные пространства B(ℓ1)B\left(\ell^{1}\right) и L(ℓ1)\mathcal{L}\left(\ell^{1}\right) изометрически изоморфны.

?
Задача 11.2.17

Пусть X,YX, Y — банаховы пространства, и пусть T∈L(X,Y)T \in \mathcal{L}(X, Y) — изометрия. Докажите, что образ TT — замкнутое подпространство YY.

?
Задача 11.2.18

Пусть X,Y,ZX, Y, Z — нормированные линейные пространства, пусть F:X→YF: X \rightarrow Y — изометрический изоморфизм, и пусть G∈L(Y,Z)G \in \mathcal{L}(Y, Z). Докажите, что ∥G∥=∥G∘F∥\left\| G\right\| =\left\| G \circ F\right\|.

?
Задача 11.2.19

Пусть H\mathcal{H} — гильбертово пространство. Докажите, что существует пространство с мерой ( X,M,μX, \mathfrak {M}, \mu ), для которого H\mathcal{H} изометрически изоморфно L2(X,μ)L^{2}\left(X, \mu \right).

?
Задача 11.2.20

Пусть H\mathcal{H} — бесконечномерное гильбертово пространство. Докажите, что существует непрерывное инъективное отображение γ:[0,1]→H\gamma :[0,1] \rightarrow \mathcal{H}, такое что γ(b)−γ(a)\gamma (b)-\gamma (a) ортогонально γ(d)−γ(c)\gamma (d)-\gamma (c) всякий раз, когда 0≤a≤b≤c≤d≤10 \leq a \leq b \leq c \leq d \leq 1.

?
Задача 11.2.21

Докажите, что если T∈L(H)T \in \mathcal{L}(\mathcal{H}), то TT является изометрией на гильбертовом пространстве H\mathcal{H} тогда и только тогда, когда ⟨Tu,Tv⟩=⟨u,v⟩\left\langle T u, T v \right\rangle = \left\langle u, v \right\rangle для всех u,v∈Hu, v \in \mathcal{H}.

?
Задача 11.2.22

Пусть XX — векторное пространство, и пусть ∥⋅∥α\left\| \cdot \right\|_{\alpha } и ∥⋅∥β\left\| \cdot \right\|_{\beta } — две эквивалентные нормы на XX. Докажите, что последовательность {xn}n=1∞\left\{ x_{n}\right\}_{n=1}^{\infty } в XX является последовательностью Коши относительно ∥⋅∥α\left\| \cdot \right\|_{\alpha } тогда и только тогда, когда она является последовательностью Коши относительно ∥⋅∥β\left\| \cdot \right\|_{\beta }. Заключите, что ( X,∥⋅∥αX,\left\| \cdot \right\|_{\alpha } ) полно тогда и только тогда, когда полно ( X,∥⋅∥βX,\left\| \cdot \right\|_{\beta } ).

?
Задача 11.2.23

Пусть XX — векторное пространство, и пусть ∥⋅∥α\left\| \cdot \right\|_{\alpha } и ∥⋅∥β\left\| \cdot \right\|_{\beta } — две эквивалентные нормы на XX. Пусть Tα\mathcal{T}_{\alpha } и Tβ\mathcal{T}_{\beta } — соответствующие топологии. Докажите, что Tα=Tβ\mathcal{T}_{\alpha }=\mathcal{T}_{\beta }.

?
Задача 11.2.24

Докажите, что эквивалентность норм является отношением эквивалентности.

?
Задача 11.2.25

Пусть XX — нормированное линейное пространство, и пусть TT — линейный обратимый оператор на XX, такой что

∥Tnx∥≤M∥x∥, для всех x∈X,n∈Z. \left\| T^{n} x\right\| \leq M\left\| x\right\| , \quad \text{ для всех } x \in X, n \in \mathbb {Z} .

Докажите, что существует эквивалентная норма на XX, которая делает TT изометрией.

?
Задача 11.2.26

Докажите, что ∥f∥=∣f(0)∣+∥f′∥∞\left\| f\right\| =\left|f(0)\right|+\left\| f^{\prime }\right\|_{\infty } задаёт норму на C1[0,1]C^{1}[0,1], эквивалентную норме, определённой как ∥f∥α:=∥f∥∞+∥f′∥∞\left\| f\right\|_{\alpha }:=\left\| f\right\|_{\infty }+\left\| f^{\prime }\right\|_{\infty }.

?
Задача 11.2.27

Пусть XX — линейное пространство, снабжённое двумя нормами ∥⋅∥1\left\| \cdot \right\|_{1} и ∥⋅∥2\left\| \cdot \right\|_{2}, такими что ( X,∥⋅∥1X,\left\| \cdot \right\|_{1} ) полно, а тождественное отображение Id⁡:(X,∥⋅∥1)→(X,∥⋅∥2)\operatorname {Id}:\left(X,\left\| \cdot \right\|_{1}\right) \rightarrow \left(X,\left\| \cdot \right\|_{2}\right) непрерывно. Предположим, что существует r>0r>0, такое что B2(0,1)⊂B1(0,r)+B2(0,1/2)B_{2}(0,1) \subset B_{1}(0, r)+ B_{2}(0,1 / 2). Докажите, что эти нормы эквивалентны.

?
Задача 11.2.28

Докажите, что существует M>0M>0, такое что если p(t)=a0+a1t+⋯+antnp(t)=a_{0}+a_{1} t+\cdots +a_{n} t^{n}, то

∫−11∣p(t)∣dt≤Mmax⁡{∣p(t)∣:t=0,1,…,n} \int _{-1}^{1}\left|p(t)\right| d t \leq M \max \left\{ \left|p(t)\right|: t=0,1, \ldots , n\right\}
?
Задача 11.2.29

Пусть

X=L1(R)+L2(R)={g+h:g∈L1(R) и h∈L2(R)}. X=L^{1}\left(\mathbb {R}\right)+L^{2}\left(\mathbb {R}\right)=\left\{ g+h: g \in L^{1}\left(\mathbb {R}\right) \text{ и } h \in L^{2}\left(\mathbb {R}\right)\right\} .

Для данного p∈[1,∞)p \in [1, \infty ) определим

∥f∥pinf:=inf⁡{(∥g∥1p+∥h∥2p)1/p:f=g+h,g∈L1(R) и h∈L2(R)} \left\| f\right\| _{p}^{i n f}:=\inf \left\{ \left(\left\| g\right\| _{1}^{p}+\left\| h\right\| _{2}^{p}\right)^{1 / p}: f=g+h, g \in L^{1}\left(\mathbb {R}\right) \text{ и } h \in L^{2}\left(\mathbb {R}\right)\right\}

Покажите, что ∥⋅∥pinf\left\| \cdot \right\|_{p}^{i n f} является нормой для каждого pp, и что все эти нормы эквивалентны.

?
Задача 11.2.30

Приведите пример открытого покрытия замкнутого единичного шара в ℓ2\ell^{2}, не имеющего конечного подпокрытия.

?
Задача 11.2.31

Приведите пример открытого покрытия замкнутого единичного шара в C[0,1]C[0,1], не имеющего конечного подпокрытия.

?
Задача 11.2.32

Гильбертов куб — это подмножество ℓ2\ell^{2}, состоящее из всех последовательностей {xn}\left\{ x_{n}\right\}, таких что ∣xn∣≤1/n\left|x_{n}\right| \leq 1 / n для всех n∈Nn \in \mathbb {N}. Докажите, что это компактное множество.

?
Задача 11.2.33

Пусть {en}\left\{ e_{n}\right\} — ортонормированный базис гильбертова пространства H\mathcal{H}, пусть {an}⊂\left\{ a_{n}\right\} \subset ( 0,+∞0,+\infty ), и пусть

A={∑n=1∞cnen:{cn}⊂R,∣cn∣≤an,n∈N}. A=\left\{ \sum _{n=1}^{\infty } c_{n} e_{n}:\left\{ c_{n}\right\} \subset \mathbb {R},\left|c_{n}\right| \leq a_{n}, n \in \mathbb {N}\right\} .

Докажите, что AA компактно тогда и только тогда, когда ∑nan2\sum_{n} a_{n}^{2} сходится.

?
Задача 11.2.34

Пусть XX — бесконечномерное нормированное линейное пространство. Докажите, что существует последовательность {xn}⊂X\left\{ x_{n}\right\} \subset X, такая что ∥xn∥=1\left\| x_{n}\right\| =1 для всех n∈Nn \in \mathbb {N} и ∥xm−xn∥≥1/2\left\| x_{m}-x_{n}\right\| \geq 1 / 2 при m≠nm \neq n.

?
Задача 11.2.35

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

?
Задача 11.2.36

Пусть X,YX, Y — нормированные линейные пространства. Докажите, что:

?
(a)

∥(x,y)∥=∥x∥+∥y∥\left\| (x, y)\right\| =\left\| x\right\| +\left\| y\right\| задаёт норму на X×YX \times Y.

(b)

∥(x,y)∥p:=(∥x∥p+∥y∥p)1/p\left\| (x, y)\right\|_{p}:=\left(\left\| x\right\|^{p}+\left\| y\right\|^{p}\right)^{1 / p} при p>1p>1 задаёт норму на X×YX \times Y.

(c)

∥(x,y)∥max⁡:=max⁡{∥x∥,∥y∥}\left\| (x, y)\right\|_{\max }:=\max \left\{ \left\| x\right\| ,\left\| y\right\| \right\} задаёт норму на X×YX \times Y.

(d)

Все эти нормы эквивалентны.

(e)

Если X,YX, Y — банаховы пространства, то и X×YX \times Y таково (относительно любой из этих норм).

Задача 11.2.37

Пусть F\mathcal{F} — замкнутое подпространство Lp(R,M,m),1≤p<∞L^{p}\left(\mathbb {R}, \mathcal{M}, m\right), 1 \leq p<\infty. Докажите, что F\mathcal{F} компактно тогда и только тогда, когда выполняются все следующие условия:

?
(a)

Существует M>0M>0, такое что ∥f∥p≤M\left\| f\right\|_{p} \leq M для всех f∈Ff \in \mathcal{F};

(b)

для любого ε>0\varepsilon >0 существует R>0R>0, для которого

∫∣x∣>R∣f∣p<εp \int _{\left|x\right|>R}\left|f\right|^{p}<\varepsilon ^{p}

для всех f∈Ff \in \mathcal{F};

(c)

для любого ε>0\varepsilon >0 существует δ>0\delta >0, такое что

∣t∣<δ⇒∫R∣f(x+t)−f(x)∣p<εp \left|t\right|<\delta \Rightarrow \quad \int _{\mathbb {R}}\left|f(x+t)-f(x)\right|^{p}<\varepsilon ^{p}

для всех f∈Ff \in \mathcal{F}.

§
Задача 11.3.1

Пусть XX — банахово пространство, а YY — нормированное линейное пространство, и пусть TnT_{n} : X→Y,n∈NX \rightarrow Y, n \in \mathbb {N}, — ограниченные линейные операторы. Предположим, что для каждого x∈Xx \in X последовательность TnxT_{n} x сходится, и пусть TT — оператор, определённый как Tx=lim⁡TnxT x= \lim T_{n} x. Докажите, что TT — ограниченный линейный оператор.

?
Задача 11.3.2

Пусть XX — банахово пространство, а F\mathcal{F} — неограниченное семейство ограниченных линейных операторов из XX в нормированное линейное пространство YY. Докажите, что множество x∈Xx \in X, для которых sup⁡{∥Tx∥:T∈F}=∞\sup \left\{ \left\| T x\right\| : T \in \mathcal{F}\right\} =\infty, плотно в XX.

?
Задача 11.3.3

Пусть X,Y,ZX, Y, Z — банаховы пространства, и пусть F:X×Y→ZF: X \times Y \rightarrow Z — раздельно непрерывное билинейное отображение, т.е. Fx∈L(Y,Z)F_{x} \in \mathcal{L}(Y, Z) для каждого x∈Xx \in X и Fy∈L(X,Z)F^{y} \in \mathcal{L}(X, Z) для каждого y∈Yy \in Y. Докажите, что FF непрерывно.

?
Задача 11.3.4

Приведите пример, показывающий, что принцип равномерной ограниченности (теорема 11.3.1) не выполняется, если XX не является банаховым пространством.

Теорема 11.3.1 (Принцип равномерной ограниченности): Пусть XX — банахово пространство, а F\mathcal{F} — семейство ограниченных линейных операторов из XX в нормированное линейное пространство YY. Если для каждого x∈Xx \in X sup⁡{∥Tx∥:T∈F}<∞\sup \left\{ \left\| Tx\right\| : T \in \mathcal{F}\right\} < \infty, то sup⁡{∥T∥:T∈F}<∞\sup \left\{ \left\| T\right\| : T \in \mathcal{F}\right\} < \infty.

?
Задача 11.3.5

Пусть X,YX, Y — банаховы пространства и {Tj,k}⊂L(X,Y)\left\{ T_{j, k}\right\} \subset \mathcal{L}(X, Y). Предположим, что для каждого k∈Nk \in \mathbb {N} найдётся x∈Xx \in X, такой что sup⁡j∥Tj,kx∥=∞\sup_{j}\left\| T_{j, k} x\right\| =\infty. Докажите, что существует x∈Xx \in X, такой что sup⁡j∥Tj,kx∥=∞\sup_{j}\left\| T_{j, k} x\right\| =\infty для всех k∈Nk \in \mathbb {N}.

Если XX — банахово пространство, последовательность {Tn}⊂L(X)\left\{ T_{n}\right\} \subset \mathcal{L}(X) сходится сильно к линейному оператору T:X→XT: X \rightarrow X, если lim⁡Tnx=Tx\lim T_{n} x=T x для всех x∈Xx \in X. Если H\mathcal{H} — гильбертово пространство, последовательность {Tn}⊂L(H)\left\{ T_{n}\right\} \subset \mathcal{L}(\mathcal{H}) сходится слабо к линейному оператору T:H→HT: \mathcal{H} \rightarrow \mathcal{H}, если lim⁡⟨Tnx,y⟩=⟨Tx,y⟩\lim \left\langle T_{n} x, y \right\rangle = \left\langle T x, y \right\rangle для всех x,y∈Hx, y \in \mathcal{H}.

?
Задача 11.3.6

Пусть XX — банахово пространство. Докажите, что если {Tn}\left\{ T_{n}\right\} сходится сильно к TT и lim⁡xn=x\lim x_{n}=x, то lim⁡Tnxn=Tx\lim T_{n} x_{n}=T x.

?
Задача 11.3.7

Пусть XX — банахово пространство. Докажите, что если {Tn}\left\{ T_{n}\right\} сходится сильно к TT и {Sn}\left\{ S_{n}\right\} сходится сильно к SS, то {TnSn}\left\{ T_{n} S_{n}\right\} сходится сильно к TST S.

?
Задача 11.3.8

Пусть H\mathcal{H} — гильбертово пространство, и пусть A,B:H→HA, B: \mathcal{H} \rightarrow \mathcal{H} — линейные операторы, удовлетворяющие ⟨Bx,y⟩=⟨x,Ay⟩\left\langle B x, y \right\rangle = \left\langle x, A y \right\rangle для всех x,y∈Hx, y \in \mathcal{H}. Докажите, что AA и BB оба ограничены.

?
Задача 11.3.9

Пусть H\mathcal{H} — гильбертово пространство с ортонормированным базисом {en}\left\{ e_{n}\right\}, и пусть {Tn},{Sn}\left\{ T_{n}\right\} ,\left\{ S_{n}\right\} — последовательности в L(H)\mathcal{L}(\mathcal{H}), определённые формулами Tn(∑kakek)=anenT_{n}\left(\sum_{k} a_{k} e_{k}\right)=a_{n} e_{n} и Sn(∑kakek)=∑kaken+kS_{n}\left(\sum_{k} a_{k} e_{k}\right)= \sum_{k} a_{k} e_{n+k}. Докажите, что:

?
(a)

{Tn}\left\{ T_{n}\right\} сходится к 0 сильно, но не по норме.

(b)

{Sn}\left\{ S_{n}\right\} сходится к 0 слабо, но не сильно.

Задача 11.3.10

Пусть X,YX, Y — банаховы пространства, пусть T∈L(X,Y)T \in \mathcal{L}(X, Y), пусть {Tn}\left\{ T_{n}\right\} — ограниченная последовательность в L(X,Y)\mathcal{L}(X, Y), и предположим, что lim⁡n∥Tnx−Tx∥=0\lim_{n}\left\| T_{n} x-T x\right\| =0 для всех xx из плотного подмножества XX. Докажите или опровергните: lim⁡n∥Tn−T∥=0\lim_{n}\left\| T_{n}-T\right\| =0.

?
Задача 11.3.11

Докажите утверждения (a)–(c), сделанные в доказательстве теоремы 11.3.5.

Теорема 11.3.5: Пусть A=[aij]A=[a_{ij}] — матрица. Необходимым и достаточным условием того, что для каждой сходящейся последовательности {xn}\left\{ x_{n}\right\} каждый ряд yi=∑k=1∞aikxky_{i} = \sum_{k=1}^{\infty } a_{ik} x_{k} сходится и lim⁡yn=lim⁡xn\lim y_{n} = \lim x_{n}, является выполнение следующих 3 условий: (i) Существует M>0M > 0, такое что ∑k=1∞∣aik∣≤M\sum_{k=1}^{\infty } \left|a_{ik}\right| \leq M для всех i=1,2,…i=1,2,\ldots. (ii) lim⁡iaik=0\lim_{i} a_{ik} = 0 для всех k=1,2,…k=1,2,\ldots. (iii) lim⁡i∑k=1∞aik=1\lim_{i} \sum_{k=1}^{\infty } a_{ik} = 1.

В доказательстве для сходящейся последовательности x={xn}x=\left\{ x_{n}\right\} вводятся линейные операторы Ti(x)=∑k=1∞aikxkT_{i}(x) = \sum_{k=1}^{\infty } a_{ik} x_{k} и T(x)=lim⁡xnT(x) = \lim x_{n}, а также e=(1,1,1,…)e=(1,1,1,\ldots ) и, для каждого kk, eke_{k} — последовательность с 11 на kk-м месте и нулями в остальных. Требуется доказать три утверждения: (a) ∥Ti∥=∑k=1∞∣aik∣\left\| T_{i}\right\| = \sum_{k=1}^{\infty } \left|a_{ik}\right| для всех i=1,2,…i=1,2,\ldots. (b) Ti(ek)=aikT_{i}(e_{k}) = a_{ik} для всех k=1,2,…k=1,2,\ldots. (c) Ti(e)=∑k=1∞aikT_{i}(e) = \sum_{k=1}^{\infty } a_{ik}.

?
Задача 11.3.12

Пусть X,YX, Y — банаховы пространства и пусть {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y) — операторы, такие что для всех x∈Xx \in X ряд ∑nTn(x)\sum_{n} T_{n}(x) сходится. Докажите, что ∑n=1∞∥Tn∥/2n\sum_{n=1}^{\infty }\left\| T_{n}\right\| / 2^{n} сходится.

?
Задача 11.3.13

Пусть p,qp, q — вещественные числа, такие что p>1p>1 и 1/p+1/q=11 / p+1 / q=1. Докажите, что функция fg∈L1(a,b)f g \in L^{1}\left(a, b\right) для каждого g∈Lpg \in L^{p} тогда и только тогда, когда f∈Lqf \in L^{q}.

?
Задача 11.3.14

Докажите, что функция fg∈L1(a,b)f g \in L^{1}\left(a, b\right) для каждого g∈L1g \in L^{1} тогда и только тогда, когда f∈L∞f \in L^{\infty }.

?
Задача 11.3.15

Пусть p,qp, q — вещественные числа, такие что p>1p>1 и 1/p+1/q=11 / p+1 / q=1. Докажите, что ряд ∑n=1∞anbn\sum_{n=1}^{\infty } a_{n} b_{n} абсолютно сходится для каждой последовательности {bn}∈ℓp\left\{ b_{n}\right\} \in \ell^{p} тогда и только тогда, когда {an}∈ℓq\left\{ a_{n}\right\} \in \ell^{q}.

?
Задача 11.3.16

Докажите, что ряд ∑n=1∞anbn\sum_{n=1}^{\infty } a_{n} b_{n} абсолютно сходится для каждой последовательности {bn}∈ℓ1\left\{ b_{n}\right\} \in \ell^{1} тогда и только тогда, когда {an}∈ℓ∞\left\{ a_{n}\right\} \in \ell^{\infty }.

?
Задача 11.3.17

Докажите, что если ряд ∑n=1∞anbn\sum_{n=1}^{\infty } a_{n} b_{n} сходится для каждой последовательности {bn}∈c0\left\{ b_{n}\right\} \in c_{0}, то {an}∈ℓ1\left\{ a_{n}\right\} \in \ell^{1}.

?
Задача 11.3.18

Докажите, что Sk:=∑n=1∞an(k)bnS_{k}:=\sum_{n=1}^{\infty } a_{n}^{(k)} b_{n} сходится для каждой последовательности {bn}∈c0\left\{ b_{n}\right\} \in c_{0} и lim⁡kSk=0\lim_{k} S_{k}=0 тогда и только тогда, когда sup⁡k∥a(k)∥1<∞\sup_{k}\left\| a^{(k)}\right\|_{1}<\infty и lim⁡kan(k)=0\lim_{k} a_{n}^{(k)}=0 для всех n∈Nn \in \mathbb {N}.

?
Задача 11.3.19

Пусть 1≤q<p<∞1 \leq q<p<\infty. Определите, для каких функций hh на [0,1][0,1] умножение на hh является ограниченным оператором из Lp[0,1]L^{p}[0,1] в Lq[0,1]L^{q}[0,1].

?
Задача 11.3.20

Пусть sns_{n} обозначает nn-ю частичную сумму ряда Фурье функции f∈C[0,2π]f \in C[0,2 \pi ], пусть DnD_{n} обозначает ядро Дирихле, и пусть ∥⋅∥1\left\| \cdot \right\|_{1} — норма в L1(0,2π)L^{1}\left(0,2 \pi \right). Докажите, что:

?
(a)

существуют константы m,M>0m, M>0, такие что mln⁡(n+1)≤∥Dn∥1≤Mln⁡(n+1)m \ln (n+1) \leq \left\| D_{n}\right\|_{1} \leq M \ln (n+1);

(b)

lim⁡n∥sn∥max⁡/ln⁡(n+1)=0\lim_{n}\left\| s_{n}\right\|_{\max } / \ln (n+1)=0;

(c)

если {λn}\left\{ \lambda_{n}\right\} — последовательность вещественных чисел, такая что lim⁡λn/ln⁡(n+1)=0\lim \lambda_{n} / \ln (n+1)=0, то существует f∈C[0,2π]f \in C[0,2 \pi ], для которой последовательность {sn(0)/λn}\left\{ s_{n}(0) / \lambda_{n}\right\} неограничена.

Задача 11.3.21

Пусть XX — банахово пространство, а YY — нормированное линейное пространство, и пусть {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y). Предположим, что всякий раз, когда {xn}⊂X\left\{ x_{n}\right\} \subset X и lim⁡n∥xn∥=0\lim_{n}\left\| x_{n}\right\| =0, получаем lim⁡n∥Tnxn∥=0\lim_{n}\left\| T_{n} x_{n}\right\| =0. Докажите, что sup⁡n∥Tn∥<∞\sup_{n}\left\| T_{n}\right\| <\infty.

?
Задача 11.3.22

Пусть XX — банахово пространство, а YY — нормированное линейное пространство, и пусть {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y). Докажите, что следующие утверждения эквивалентны:

?
(a)

Для каждого сходящегося по норме ряда ∑nxn\sum_{n} x_{n} следует, что Tnxn→0T_{n} x_{n} \rightarrow 0 по норме.

(b)

sup⁡n∥Tn∥<∞\sup_{n}\left\| T_{n}\right\| <\infty.

Задача 11.3.23

Пусть {an}⊂R\left\{ a_{n}\right\} \subset \mathbb {R} обладает тем свойством, что если {xn}∈c0\left\{ x_{n}\right\} \in c_{0}, то {anxn}∈c0\left\{ a_{n} x_{n}\right\} \in c_{0}. Докажите, что {an}∈ℓ∞\left\{ a_{n}\right\} \in \ell^{\infty }.

?
Задача 11.3.24

Пусть XX — банахово пространство и {Tn}⊂L(X,R)\left\{ T_{n}\right\} \subset \mathcal{L}(X, \mathbb {R}). Докажите, что следующие утверждения эквивалентны:

?
(a)

Если lim⁡n∥xn∥=0\lim_{n}\left\| x_{n}\right\| =0, то ряд ∑n=1∞Tn(xn)\sum_{n=1}^{\infty } T_{n}\left(x_{n}\right) сходится.

(b)

Ряд ∑n=1∞∥Tn∥\sum_{n=1}^{\infty }\left\| T_{n}\right\| сходится.

Задача 11.3.25

Приведите пример того, что импликация (a) ⇒ (b) в упражнении 11.3.24 неверна, если {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y), где YY — банахово пространство.

?
Задача 11.3.26

Пусть XX — нормированное линейное пространство, и пусть {xn}⊂X\left\{ x_{n}\right\} \subset X обладает тем свойством, что если T∈L(X,R)T \in \mathcal{L}(X, \mathbb {R}), то ∑k=1∞∣T(xk)∣\sum_{k=1}^{\infty }\left|T\left(x_{k}\right)\right| сходится. Докажите, что

sup⁡∥T∥≤1∑k=1∞∣T(xk)∣<∞ \sup _{\left\| T\right\| \leq 1} \sum _{k=1}^{\infty }\left|T\left(x_{k}\right)\right|<\infty
?
Задача 11.3.27

Пусть XX и YY — банаховы пространства, и пусть {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y). Докажите, что следующие утверждения эквивалентны:

?
(a)

Если ∑n∥xn∥\sum_{n}\left\| x_{n}\right\| сходится, то последовательность {∑k=1nTk(xk)}\left\{ \sum_{k=1}^{n} T_{k}\left(x_{k}\right)\right\} ограничена.

(b)

Последовательность {Tk}\left\{ T_{k}\right\} ограничена.

Задача 11.3.28

Пусть XX — банахово пространство и {Tn}⊂L(X,R)\left\{ T_{n}\right\} \subset \mathcal{L}(X, \mathbb {R}). Предположим, что 1<p<∞1< p<\infty и 1/p+1/q=11 / p+1 / q=1. Докажите, что следующие утверждения эквивалентны:

?
(a)

Если ∑n∥xn∥p\sum_{n}\left\| x_{n}\right\|^{p} сходится, то ряд ∑n=1∞Tn(xn)\sum_{n=1}^{\infty } T_{n}\left(x_{n}\right) сходится.

(b)

Ряд ∑n=1∞∥Tn∥q\sum_{n=1}^{\infty }\left\| T_{n}\right\|^{q} сходится.

Задача 11.3.29

Приведите пример того, что импликация (a) ⇒ (b) в упражнении 11.3.28 неверна, если {Tn}⊂L(X,Y)\left\{ T_{n}\right\} \subset \mathcal{L}(X, Y), где YY — банахово пространство.

?
Задача 11.3.30

Пусть 1≤p<∞1 \leq p<\infty, пусть [aij]i,j=1∞\left[a_{i j}\right]_{i, j=1}^{\infty } — бесконечная матрица вещественных чисел, и предположим, что для любого x∈ℓp\mathbf{x} \in \ell^{p} последовательность AxA \mathbf{x} принадлежит ℓp\ell^{p}. Используя принцип равномерной ограниченности, докажите, что оператор TT, определённый как T(x)=AxT(\mathbf{x})=A \mathbf{x}, является ограниченным оператором на ℓp\ell^{p}.

?
§
Задача 11.4.1

Пусть X,YX, Y — нормированные линейные пространства, пусть T∈L(X,Y)T \in \mathcal{L}(X, Y) — открытое отображение, и пусть WW — плотное подмножество YY. Докажите, что T−1(W)T^{-1}(W) плотно в XX.

?
Задача 11.4.2

Пусть TT — оператор на ℓ2\ell^{2}, определённый как T({xn})={xn/n}T\left(\left\{ x_{n}\right\} \right)=\left\{ x_{n} / n\right\}. Докажите, что:

?
(a)

TT — ограниченный оператор на ℓ2\ell^{2}.

(b)

Образ TT не замкнут.

(c)

TT не является открытым.

Задача 11.4.3

Пусть X,YX, Y — нормированные линейные пространства, и предположим, что XX конечномерно. Докажите, что каждый линейный оператор T:X→YT: X \rightarrow Y непрерывен и открыт.

?
Задача 11.4.4

Пусть X,YX, Y — банаховы пространства, и пусть T∈L(X,Y)T \in \mathcal{L}(X, Y). Докажите, что TT открыт тогда и только тогда, когда 0 является внутренней точкой T(BX)‾\overline{T\left(B_{X}\right)}.

?
Задача 11.4.5

Пусть X,YX, Y — банаховы пространства, и пусть T∈L(X,Y)T \in \mathcal{L}(X, Y). Докажите, что либо TT сюръективен, либо T(X)T(X) — множество первой категории.

?
Задача 11.4.6

Докажите или опровергните: существует последовательность a={an}∈ℓ1a=\left\{ a_{n}\right\} \in \ell_{1} с an>0a_{n}>0 для всех n∈Nn \in \mathbb {N}, такая что

∑n=1∞an∣xn∣<∞ тогда и только тогда, когда x={xn}∈ℓ∞. \sum _{n=1}^{\infty } a_{n}\left|x_{n}\right|<\infty \quad \text{ тогда и только тогда, когда } \quad x=\left\{ x_{n}\right\} \in \ell ^{\infty } .
?
Задача 11.4.7

Пусть XX — банахово пространство, и пусть P∈L(X)P \in \mathcal{L}(X) — проекция (т.е. линейный оператор, удовлетворяющий P2=PP^{2}=P ). Докажите, что PP открыт, т.е. что образ каждого открытого подмножества XX является относительно открытым множеством в P(X)P(X).

?
Задача 11.4.8

Приведите пример банахова пространства XX, замкнутого подпространства V⊂XV \subset X и линейного оператора T∈L(X)T \in \mathcal{L}(X), который открыт, но ограничение T∣VT \mid V не является таковым.

?
Задача 11.4.9

Пусть X,YX, Y — банаховы пространства, пусть T∈L(X,Y)T \in \mathcal{L}(X, Y) сюръективен, и пусть T~:X/ker⁡T→Y\tilde{T}: X / \operatorname {ker} T \rightarrow Y определён как T~([x])=Tx\tilde{T}([x])=T x. Докажите, что T~\tilde{T} — изоморфизм на YY.

?
Задача 11.4.10

Пусть XX — нормированное линейное пространство. Докажите, что XX является банаховым пространством тогда и только тогда, когда существует банахово пространство YY и непрерывное линейное открытое отображение YY на XX.

?
Задача 11.4.11

Докажите, что тождественный оператор Id⁡:(C[0,1],∥⋅∥∞)→(C[0,1],∥⋅∥1)\operatorname {Id}:\left(C[0,1],\left\| \cdot \right\|_{\infty }\right) \rightarrow \left(C[0,1],\left\| \cdot \right\|_{1}\right) непрерывен и сюръективен, но не открыт.

?
Задача 11.4.12

Пусть p≥2p \geq 2 и пусть XX — подпространство Lp(0,1)L^{p}\left(0,1\right), замкнутое в L1(0,1)L^{1}\left(0,1\right). Докажите, что ( X,∥⋅∥pX,\left\| \cdot \right\|_{p} ) изоморфно гильбертову пространству.

?
Задача 11.4.13

Пусть XX — подпространство L∞(0,1)L^{\infty }\left(0,1\right), замкнутое в L2(0,1)L^{2}\left(0,1\right). Докажите, что ( X,∥⋅∥∞X,\left\| \cdot \right\|_{\infty } ) конечномерно.

?
Задача 11.4.14

Пусть XX — линейное пространство, такое что ( X,∥⋅∥1X,\left\| \cdot \right\|_{1} ) и ( X,∥⋅∥2X,\left\| \cdot \right\|_{2} ) оба полны. Докажите, что эти нормы эквивалентны тогда и только тогда, когда ∥xn∥1→0\left\| x_{n}\right\|_{1} \rightarrow 0 влечёт ∥xn∥2→0\left\| x_{n}\right\|_{2} \rightarrow 0.

?
Задача 11.4.15

Пусть ∥∥\left\| \right\| — норма на C[a,b]C[a, b], такая что ( C[a,b]C[a, b],∥∥)полно,и\left\| \right\| ) полно, и предположим, что всякий раз, когда ∥fn−f∥→0\left\| f_{n}-f\right\| \rightarrow 0, существует подпоследовательность {fnk}\left\{ f_{n_{k}}\right\}, сходящаяся поточечно к ff на [a,b][a, b]. Докажите, что ∥∥\left\| \right\| эквивалентна ∥⋅∥max⁡\left\| \cdot \right\|_{\max }.

?
Задача 11.4.16

Пусть X,YX, Y — банаховы пространства, и пусть T∈L(X,Y)T \in \mathcal{L}(X, Y). Докажите, что X/ker⁡TX / \operatorname {ker} T изоморфно ran⁡T\operatorname {ran} T тогда и только тогда, когда ran⁡T\operatorname {ran} T замкнуто.

?
Задача 11.4.17

Пусть XX — сепарабельное банахово пространство, пусть {xn}\left\{ x_{n}\right\} — счётное плотное подмножество единичного шара XX, и пусть T:ℓ1→XT: \ell^{1} \rightarrow X определён как T({an})=∑nanxnT\left(\left\{ a_{n}\right\} \right)= \sum_{n} a_{n} x_{n}. Докажите, что:

?
(a)

TT ограничен.

(b)

TT сюръективен.

(c)

XX изоморфно факторпространству ℓ1\ell^{1}.

Задача 11.4.18

Пусть X,YX, Y — нормированные пространства, и пусть T:X→YT: X \rightarrow Y — замкнутый линейный оператор. Докажите, что ker⁡T\operatorname {ker} T замкнуто.

?
Задача 11.4.19

Пусть D\mathcal{D} — подмножество L2(0,1)L^{2}\left(0,1\right), определённое следующим образом. Функция ff принадлежит D\mathcal{D} тогда и только тогда, когда ff почти всюду равна функции gg, абсолютно непрерывной на [0,1][0,1], g(0)=g(1)g(0)=g(1), и g′∈L2(0,1)g^{\prime } \in L^{2}\left(0,1\right). Пусть TT — оператор, определённый на D\mathcal{D} формулой T(f)=g′T(f)=g^{\prime }. Докажите, что TT — корректно определённый линейный оператор на D\mathcal{D}, и что TT замкнут.

?
Задача 11.4.20

Пусть XX — нормированное линейное пространство, и пусть T:X→XT: X \rightarrow X — линейное отображение, такое что Id⁡−T\operatorname {Id}-T обратимо. Докажите, что TT замкнут.

?
Задача 11.4.21

Пусть XX — подмножество ℓ1\ell^{1}, состоящее из последовательностей {an}\left\{ a_{n}\right\}, для которых ∑n∣an∣<∞\sum n\left|a_{n}\right|<\infty, и пусть T:X→ℓ1T: X \rightarrow \ell^{1} определён как T({xn})={nxn}T\left(\left\{ x_{n}\right\} \right)=\left\{ n x_{n}\right\}. (См. упражнение 10.1.28.) Докажите, что:

?
(a)

TT замкнут, но не ограничен.

(b)

TT обратим, и T−1:ℓ1→XT^{-1}: \ell^{1} \rightarrow X ограничен и сюръективен, но не открыт.

Задача 11.4.22

Пусть XX — нормированное линейное пространство, пусть DD — подпространство XX, и пусть T:D→YT: D \rightarrow Y — замкнутый линейный оператор. Предположим, что A∈L(X,Y)A \in \mathcal{L}(X, Y). Докажите, что T+AT+A замкнут.

?
Задача 11.4.23

Пусть X,YX, Y — нормированные линейные пространства, пусть T:X→YT: X \rightarrow Y — замкнутый линейный оператор, и пусть FF — компактное множество в XX. Докажите, что T(F)T(F) — замкнутое подмножество YY. Остаётся ли утверждение верным, если предположить лишь, что FF замкнуто в XX?

?
Задача 11.4.24

Докажите, что оператор в примере 11.4.9 имеет замкнутый график.

Пример 11.4.9 (замкнутый оператор, не являющийся непрерывным): Пусть X=C1[0,1]X=C^{1}[0,1], Y=C[0,1]Y=C[0,1], оба с нормой ∥⋅∥max⁡\left\| \cdot \right\|_{\max }, и пусть T:X→YT: X \rightarrow Y определён как Tf=f′Tf = f'. Оператор TT не непрерывен.

?
Задача 11.4.25

Пусть X,YX, Y — банаховы пространства, пусть DD — подпространство XX, и T:D→YT: D \rightarrow Y — замкнутый линейный оператор. Докажите, что если TT обратим, то его образ должен быть замкнут в YY.

?
Задача 11.4.26

Пусть X,YX, Y — банаховы пространства, пусть T:X→YT: X \rightarrow Y — линейный оператор, и предположим, что TT отображает замкнутые множества в замкнутые множества. Докажите, что TT — замкнутый оператор.

?
Задача 11.4.27

Пусть X,YX, Y — нормированные линейные пространства, пусть DD — подпространство XX, и пусть T:D→YT: D \rightarrow Y — замкнутый обратимый линейный оператор. Докажите, что T−1T^{-1} замкнут.

?
Задача 11.4.28

Пусть XX — нормированное линейное пространство, пусть DA,DBD_{A}, D_{B} — подпространства XX, и пусть A:DA→YA: D_{A} \rightarrow Y и B:DB→YB: D_{B} \rightarrow Y — замкнутые линейные операторы. Докажите или опровергните: оператор A+B:DA∩DB→YA+B: D_{A} \cap D_{B} \rightarrow Y замкнут.

?
Задача 11.4.29

Пусть X,YX, Y — банаховы пространства, пусть DD — подпространство XX, и пусть AA : D→YD \rightarrow Y — замкнутый линейный оператор. Если DD — замкнутое подпространство XX, докажите, что AA ограничен.

?
Задача 11.4.30

Пусть XX и YY — банаховы пространства, и пусть T:X→YT: X \rightarrow Y — ограниченный линейный оператор. Покажите, что существует константа c>0c>0, такая что ∥Tx∥≥c∥x∥\left\| T x\right\| \geq c\left\| x\right\| для всех x∈Xx \in X тогда и только тогда, когда TT имеет тривиальное ядро и замкнутый образ.

?
Задача 11.4.31

Пусть X,Y,ZX, Y, Z — банаховы пространства, пусть T:X→YT: X \rightarrow Y — линейный оператор, и пусть SS — инъективный оператор в L(Y,Z)\mathcal{L}(Y, Z). Докажите, что S∘TS \circ T ограничен тогда и только тогда, когда TT ограничен.

?
Задача 11.4.32

Пусть XX — банахово пространство, и пусть P:X→XP: X \rightarrow X — проекция (т.е. линейный оператор, удовлетворяющий P2=PP^{2}=P ). Докажите, что PP ограничен тогда и только тогда, когда его образ и ядро являются замкнутыми подпространствами XX.

?
Задача 11.4.33

Пусть {Xk}k=1N\left\{ X_{k}\right\}_{k=1}^{N} — замкнутые подпространства банахова пространства XX, пусть XX — прямая сумма X=X1+X2+⋯+XNX=X_{1}+X_{2}+\cdots +X_{N}, и пусть Pk:X→XkP_{k}: X \rightarrow X_{k} — проекции (т.е. линейные операторы, удовлетворяющие Pk2=PkP_{k}^{2}=P_{k} ) такие, что Pk(X)=XkP_{k}(X)=X_{k} и Pk∣Xj=0P_{k} \mid X_{j}=0 для каждого j≠kj \neq k. Докажите, что каждый PkP_{k} является ограниченным оператором.

?
Задача 11.4.34

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с мерой, пусть 1≤p,q≤∞1 \leq p, q \leq \infty, и пусть YY — подпространство Lp(X,μ)∩Lq(X,μ)L^{p}\left(X, \mu \right) \cap L^{q}\left(X, \mu \right), замкнутое как в LpL^{p}, так и в LqL^{q}. Докажите, что нормы LpL^{p} и LqL^{q} эквивалентны на YY.

?
Задача 11.4.35

Пусть X,YX, Y — нормированные пространства и T:X→YT: X \rightarrow Y — замкнутый линейный оператор, такой что T−1:T(X)→XT^{-1}: T(X) \rightarrow X корректно определён. Докажите, что:

?
(a)

T−1T^{-1} замкнут;

(b)

если X,YX, Y — банаховы пространства и T(X)=YT(X)=Y, то T−1T^{-1} ограничен.

Задача 11.4.36

Приведите пример, показывающий, что теорема о замкнутом графике не обязана выполняться, если XX не полно.

?
Задача 11.4.37

Пусть X,Y,ZX, Y, Z — банаховы пространства, и пусть {Ai}i∈I⊂L(Y,Z)\left\{ A_{i}\right\}_{i \in I} \subset \mathcal{L}(Y, Z) обладает тем свойством, что если Aix=0A_{i} x=0 для всех i∈Ii \in I, то x=0x=0. Предположим, что A:X→YA: X \rightarrow Y — линейный оператор, такой что для всех i∈Ii \in I оператор AiAA_{i} A непрерывен. Докажите, что AA непрерывен.

?
Задача 11.4.38

Пусть ( X,M,μX, \mathfrak {M}, \mu ) — пространство с мерой, p,q∈[1,∞],p≠qp, q \in [1, \infty ], p \neq q, и пусть Lp(X,μ)⊂Lq(X,μ)L^{p}\left(X, \mu \right) \subset L^{q}\left(X, \mu \right). Докажите, что существует C>0C>0, такое что ∥f∥q≤C∥f∥p\left\| f\right\|_{q} \leq C\left\| f\right\|_{p} для всех f∈Lp(X,μ)f \in L^{p}\left(X, \mu \right).

?
Задача 11.4.39

Пусть X,YX, Y — банаховы пространства, пусть S:X→YS: X \rightarrow Y — неограниченный линейный оператор, и пусть GG — график SS. Докажите, что:

?
(a)

GG не полон.

(b)

Если T:X→GT: X \rightarrow G определён как Tx=(x,Sx)T x=(x, S x), то TT замкнут, но не ограничен.

(c)

TT обратим, и T−1:G→XT^{-1}: G \rightarrow X ограничен и сюръективен, но не открыт.

Задача 11.4.40

Докажите, что тождественный оператор Id⁡:C1[0,1]→AC[0,1]\operatorname {Id}: C^{1}[0,1] \rightarrow A C[0,1] непрерывен, где норма на AC[0,1]A C[0,1] есть ∥f∥=∥f∥1+∥f′∥1\left\| f\right\| =\left\| f\right\|_{1}+\left\| f^{\prime }\right\|_{1} (см. упражнение 10.3.36), а норма на C1[0,1]C^{1}[0,1] есть ∥f∥:=max⁡x∈[0,1]∣f(x)∣+max⁡x∈[0,1]∣f′(x)∣\left\| f\right\| :=\max_{x \in [0,1]}\left|f(x)\right|+\max_{x \in [0,1]}\left|f^{\prime }(x)\right| (см. упражнение 10.1.23).

?
Задача 11.4.41

Пусть 1≤p≤∞1 \leq p \leq \infty, пусть [aij]i,j=1∞\left[a_{i j}\right]_{i, j=1}^{\infty } — бесконечная матрица вещественных чисел, и предположим, что для любого x∈ℓp\mathbf{x} \in \ell^{p} последовательность AxA \mathbf{x} принадлежит ℓp\ell^{p}. Используя теорему о замкнутом графике, докажите, что оператор TT, определённый как T(x)=AxT(\mathbf{x})=A \mathbf{x}, является ограниченным оператором на ℓp\ell^{p}.

?
Задача 11.4.42

Пусть X,YX, Y — банаховы пространства, и пусть T∈L(X,Y)T \in \mathcal{L}(X, Y). Докажите, что образ TT замкнут в YY тогда и только тогда, когда существует C>0C>0, такое что inf⁡{∥x−y∥:Ty=0}≤C∥Tx∥\inf \left\{ \left\| x-y\right\| : T y=0\right\} \leq C\left\| T x\right\| для всех x∈Xx \in X.

?
Задача 11.4.43

Пусть 1≤p<∞1 \leq p<\infty, пусть k:[0,1]×[0,1]→Rk:[0,1] \times [0,1] \rightarrow \mathbb {R}, и предположим, что для почти каждого x∈[0,1]x \in [0,1] функция k(x,y)f(y)k(x, y) f(y) интегрируема (как функция yy ) на [0,1][0,1]. Докажите, что оператор TT, определённый как Tf(x)=∫01k(x,y)f(y)dyT f(x)=\int_{0}^{1} k(x, y) f(y) d y, является ограниченным оператором на Lp([0,1])L^{p}\left({[0,1]}\right).

?
Задача 11.4.44

Пусть H\mathcal{H} — гильбертово пространство, пусть T:H→HT: \mathcal{H} \rightarrow \mathcal{H} — линейный оператор, являющийся симметричным, т.е. ⟨Tx,y⟩=⟨x,Ty⟩\left\langle T x, y \right\rangle = \left\langle x, T y \right\rangle для всех x,y∈Hx, y \in \mathcal{H}. Докажите, что TT ограничен. Приведите пример, показывающий, что утверждение неверно, если DD — плотное подпространство H\mathcal{H} и T:D→HT: D \rightarrow \mathcal{H} симметричен.

?
Задача 11.4.45

Пусть H\mathcal{H} — гильбертово пространство, пусть T:H→HT: \mathcal{H} \rightarrow \mathcal{H} — линейный оператор, такой что ⟨Tx,x⟩≥0\left\langle T x, x \right\rangle \geq 0 для всех x∈Hx \in \mathcal{H}. Докажите, что TT ограничен.

?