Paper 2, Section II, G

Linear Analysis | Part II, 2014

(a) Let XX and YY be Banach spaces, and let T:X→YT: X \rightarrow Y be a surjective linear map. Assume that there is a constant c>0c>0 such that ∥Tx∥⩾c∥x∥\|T x\| \geqslant c\|x\| for all x∈Xx \in X. Show that TT is continuous. [You may use any standard result from general Banach space theory provided you clearly state it.] Give an example to show that the assumption that XX and YY are complete is necessary.

(b) Let CC be a closed subset of a Banach space XX such that

(i) x1+x2∈Cx_{1}+x_{2} \in C for each x1,x2∈Cx_{1}, x_{2} \in C;

(ii) λx∈C\lambda x \in C for each x∈Cx \in C and λ>0\lambda>0;

(iii) for each x∈Xx \in X, there exist x1,x2∈Cx_{1}, x_{2} \in C such that x=x1−x2x=x_{1}-x_{2}.

Prove that, for some M>0M>0, the unit ball of XX is contained in the closure of the set

{x1−x2:xi∈C,∥xi∥⩽M(i=1,2)}.\left\{x_{1}-x_{2}: x_{i} \in C, \quad\left\|x_{i}\right\| \leqslant M(i=1,2)\right\} .

[You may use without proof any version of the Baire Category Theorem.] Deduce that, for some K>0K>0, every x∈Xx \in X can be written as x=x1−x2x=x_{1}-x_{2} with xi∈Cx_{i} \in C and ∥xi∥⩽K∥x∥(i=1,2).\left\|x_{i}\right\| \leqslant K\|x\|(i=1,2) .

Typos? Please submit corrections to this page on GitHub.