Chapter 2

Banach Spaces

[9/100%]
Show
LaTeX
Problem 15

Let XX be a normed space. Prove that XX is a Banach space if and only if the series ∑n=1∞an\sum_{n = 1}^{\infty } a_{n} converges, where (an)(a_{n}) is any sequence in XX satisfying ∑n=1∞∥an∥<∞\sum_{n = 1}^{\infty }\left\| a_{n}\right\| < \infty.

?
Problem 16

Let XX be a Banach space. Prove that the closed unit ball B(0;1)‾⊂X\overline{B(0 ; 1)} \subset X is compact if and only if XX is finite dimensional.

?
Problem 17

Let XX be a Banach space and MM a closed subspace of XX. Prove that the quotient space X/MX / M is also a Banach space under the quotient norm.

?
Problem 18

Show that ℓp,1≤p<∞\ell^{p}, 1 \leq p < \infty equipped with the norm ∥.∥p\left\| .\right\|_{p} is a Banach space.

?
Problem 19
?
(a)

Show that ℓ∞\ell^{\infty } equipped with the norm ∥.∥∞\left\| .\right\|_{\infty } is a Banach space.

(b)

Let c0c_{0} be the space of sequences converging to 0. Show that c0c_{0} is a closed subspace of ℓ∞\ell^{\infty }.

Problem 20
?
(a)

Let c00c_{00} be the space of sequences such that if x=(xn)n∈N∈c00x = \left(x_{n}\right)_{n \in \mathbb {N}} \in c_{00} then xn=0x_{n} = 0 for all n≥n0n \geq n_{0}, where n0n_{0} is some integer number. Show that c00c_{00} with the norm ∥.∥∞\left\| .\right\|_{\infty } is NOT a Banach space.

(b)

What is the closure of c00c_{00} in ℓ∞\ell^{\infty }?

Problem 21

Prove that:

?
(a)

If 1≤p<q<∞1 \leq p < q < \infty, then ℓp⊂ℓq\ell^{p} \subset \ell^{q} and ∥x∥q≤∥x∥p\left\| x\right\|_{q} \leq \left\| x\right\|_{p}.

(b)

If x∈⋃1≤p<∞ℓpx \in \bigcup_{1 \leq p < \infty } \ell^{p} then ∥x∥p→∥x∥∞\left\| x\right\|_{p} \rightarrow \left\| x\right\|_{\infty } as p→∞p \rightarrow \infty.

Problem 22

Prove that:

?
(a)

If 1≤p<∞1 \leq p < \infty then ℓp\ell^{p} is separable.

(b)

ℓ∞\ell^{\infty } is not separable.

Problem 23

Let C[0,1]C[0,1] be the space of all continuous functions on [0,1][0,1].

?
(a)

Prove that if C[0,1]C[0,1] is equipped with the uniform norm

∥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]

then C[0,1]C[0,1] is a Banach space.

(b)

Give an example to show that C[0,1]C[0,1] equipped with the L1L^{1}-norm

∥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]

is not a Banach space.