2

Банаховы пространства

[9/100%]
Показать
LaTeX
Задача 15

Пусть XX — нормированное пространство. Докажите, что XX является банаховым пространством тогда и только тогда, когда ряд ∑n=1∞an\sum_{n = 1}^{\infty } a_{n} сходится, где (an)(a_{n}) — произвольная последовательность в XX, удовлетворяющая условию ∑n=1∞∥an∥<∞\sum_{n = 1}^{\infty }\left\| a_{n}\right\| < \infty.

?
Задача 16

Пусть XX — банахово пространство. Докажите, что замкнутый единичный шар B(0;1)‾⊂X\overline{B(0 ; 1)} \subset X компактен тогда и только тогда, когда XX конечномерно.

?
Задача 17

Пусть XX — банахово пространство, а MM — замкнутое подпространство XX. Докажите, что фактор-пространство X/MX / M также является банаховым пространством относительно фактор-нормы.

?
Задача 18

Покажите, что ℓp,1≤p<∞\ell^{p}, 1 \leq p < \infty, с нормой ∥.∥p\left\| .\right\|_{p} является банаховым пространством.

?
Задача 19
?
(a)

Покажите, что ℓ∞\ell^{\infty } с нормой ∥.∥∞\left\| .\right\|_{\infty } является банаховым пространством.

(b)

Пусть c0c_{0} — пространство последовательностей, сходящихся к 0. Покажите, что c0c_{0} является замкнутым подпространством ℓ∞\ell^{\infty }.

Задача 20
?
(a)

Пусть c00c_{00} — пространство последовательностей таких, что если x=(xn)n∈N∈c00x = \left(x_{n}\right)_{n \in \mathbb {N}} \in c_{00}, то xn=0x_{n} = 0 для всех n≥n0n \geq n_{0}, где n0n_{0} — некоторое целое число. Покажите, что c00c_{00} с нормой ∥.∥∞\left\| .\right\|_{\infty } НЕ является банаховым пространством.

(b)

Чему равно замыкание c00c_{00} в ℓ∞\ell^{\infty }?

Задача 21

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

?
(a)

если 1≤p<q<∞1 \leq p < q < \infty, то ℓp⊂ℓq\ell^{p} \subset \ell^{q} и ∥x∥q≤∥x∥p\left\| x\right\|_{q} \leq \left\| x\right\|_{p}.

(b)

если x∈⋃1≤p<∞ℓpx \in \bigcup_{1 \leq p < \infty } \ell^{p}, то ∥x∥p→∥x∥∞\left\| x\right\|_{p} \rightarrow \left\| x\right\|_{\infty } при p→∞p \rightarrow \infty.

Задача 22

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

?
(a)

если 1≤p<∞1 \leq p < \infty, то ℓp\ell^{p} сепарабельно.

(b)

ℓ∞\ell^{\infty } не сепарабельно.

Задача 23

Пусть C[0,1]C[0,1] — пространство всех непрерывных функций на [0,1][0,1].

?
(a)

Докажите, что если C[0,1]C[0,1] снабжено равномерной нормой

∥f∥=max⁡x∈[0,1]∣f(x)∣,f∈C[0,1] \left\| f\right\| = \max _{x \in [0,1]}\left|f(x)\right|, \quad f \in C[0,1]

то C[0,1]C[0,1] является банаховым пространством.

(b)

Приведите пример, показывающий, что C[0,1]C[0,1] с нормой L1L^{1}

∥f∥1=∫01∣f(x)∣dx,f∈C[0,1] \left\| f\right\| _{1} = \int _{0}^{1}\left|f(x)\right| d x, \quad f \in C[0,1]

не является банаховым пространством.