Section 2.4

Constructions of Banach spaces. Direct sums of subspaces

[12/25%]
Show
LaTeX
Problem 2.77

Let the linear space X=X1×X2X = X_{1} \times X_{2}, where (X1,∥⋅∥1)(X_{1},\left\| \cdot \right\|_{1}) and (X2,∥⋅∥2)(X_{2},\left\| \cdot \right\|_{2}) are normed spaces. Verify the axioms of the norm ∥(x1x2)∥X=∥x1∥X1+∥x2∥X2\left\| \binom {x_{1}}{x_{2}}\right\|_{X} = \left\| x_{1}\right\|_{X_{1}}+\left\| x_{2}\right\|_{X_{2}} in the space XX. Prove that if X1X_{1} and X2X_{2} are Banach spaces, then the space XX is also a Banach space.

?
Problem 2.78

Prove that the Cartesian product c0×c0c_{0} \times c_{0} with the norm ∥(x1,x2)∥=∥x1∥c0+∥x2∥c0\left\| \left(x_{1}, x_{2}\right)\right\| = \left\| x_{1}\right\|_{c_{0}}+\left\| x_{2}\right\|_{c_{0}} is not isometrically isomorphic to the space c0c_{0}.

?
Problem 2.79

Give an example of a norm ∥(⋅⋅)∥\left\| \binom {\cdot }{\cdot }\right\| on the linear space R2\mathbb {R}^{2} and normed spaces (X1,∥⋅∥1),(X2,∥⋅∥2)\left(X_{1},\left\| \cdot \right\|_{1}\right),\left(X_{2},\left\| \cdot \right\|_{2}\right) such that the function p(x1,x2)=∥(∥x1∥1∥x2∥2)∥p\left(x_{1}, x_{2}\right) = \left\| \binom {\left\| x_{1}\right\|_{1}}{\left\| x_{2}\right\|_{2}}\right\| on the linear space X1×X2X_{1} \times X_{2} is not a norm. Prove that if the norm ∥(⋅⋅)∥\left\| \binom {\cdot }{\cdot }\right\| is monotonic in each coordinate, then for any normed spaces X1,X2X_{1}, X_{2} the function p(x1,x2)p\left(x_{1}, x_{2}\right) is a norm on the linear space X1×X2X_{1} \times X_{2}.

?
Problem 2.80

Give an example of a norm on the Cartesian product X1×X2X_{1} \times X_{2} of normed spaces that is not given by the method indicated in problem 2.79.

?
Problem 2.81

Let X0X_{0} be a closed subspace of a normed space XX. Prove that ∥[x]∥0=inf⁡x∈[x]∥x∥\left\| [x]\right\|_{0} = \inf_{x \in [x]}\left\| x\right\| defines a norm on the linear space X/X0X / X_{0}.

?
Problem 2.82

Let X0X_{0} be a closed subspace of a Banach space XX. Prove that the normed space X/X0X / X_{0} is complete.

?
Problem 2.83

Let X0X_{0} be a closed subspace of a normed space (X,∥⋅∥)(X,\left\| \cdot \right\| ). Prove that if the spaces (X0,∥⋅∥)(X_{0},\left\| \cdot \right\| ) and (X/X0,∥⋅∥0)\left(X / X_{0},\left\| \cdot \right\|_{0}\right) are complete, then XX is complete as well.

?
Problem 2.84

Prove that:

?
(a)

the quotient space c/c0c / c_{0} is isometrically isomorphic to the space C\mathbb {C};

(b)

the quotient space L∞[−1,1]/L∞[0,1]L_{\infty }[-1,1] / L_{\infty }[0,1] is isometrically isomorphic to the space L∞[0,1]L_{\infty }[0,1].

Problem 2.85

Prove Theorem 2.6.

Theorem 2.6: If XX is an arbitrary normed space and X1X_{1} and X2X_{2} are two of its subspaces, one of which is closed and the other finite-dimensional, then their linear direct sum is topological.

?
Problem 2.86

Prove that the linear direct sum of the subspaces c00c_{00} and Lin⁡(x0)\operatorname {Lin}\left(x_{0}\right), where x0=(1,12,13,…)x_{0} = \left(1, \frac{1}{2}, \frac{1}{3}, \ldots \right), in the space cc is not topological.

?
Problem 2.87

Let X1X_{1} and X2X_{2} be closed subspaces of a Banach space XX. Prove that X1⊕X2X_{1} \oplus X_{2} is a closed subspace. Prove the converse: if X1X_{1} and X2X_{2} are linear subspaces of a Banach space XX, and X1⊕X2X_{1} \oplus X_{2} is a closed subspace, then X1X_{1} and X2X_{2} are closed.

?
Problem 2.88

Give an example of an incomplete normed space XX and two closed subspaces in it X1X_{1} and X2X_{2} such that their topological direct sum X1⊕X2X_{1} \oplus X_{2} is a non-closed subspace.

?