11.4

Теоремы об открытом отображении и замкнутом графике

[45/20%]
Показать
LaTeX
Задача 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 ограничен.

?