11.2

Изоморфизмы банаховых пространств

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