Bourbaki

Exercise 11, § 1

Tag 02PT, permanent. Cite it as [Bourbaki, Tag 02PT].

Spectral Theories, III, p. 107

Let EE and FF be Banach spaces over K. A linear mapping u∈L(E;F)u\in \mathscr{L}(E; F) is said to be completely continuous if, for every sequence (xn)n∈N(x_n)_{n\in N} in E, weakly convergent, the sequence (u(xn))n∈N(u(x_n))_{n\in\mathbf{N}} converges in F.

a) Every compact linear mapping is completely continuous.

b) If the dual space E′E' of E is of countable type then every completely continuous linear mapping E→FE\rightarrow F is compact.

c) Let (un)n∈N(u_n)_{n\in\mathbf{N}} be a sequence of elements of ℓK1(N)\ell^1_K(\mathbf{N}). Now prove that (un)(u_n) converges if and only if it converges weakly (« Schur theorem »; cf. EVT, IV, p. 54, exercise 15).

d) Deduce that the injection of ℓK1(N)\ell^1_K(\mathbf{N}) into ℓK2(N)\ell^2_K(\mathbf{N}) is completely continuous but is not compact.

e) For every Banach space, every continuous linear mapping E→ℓK1(N)E\rightarrow \ell^1_K(\mathbf{N}) is completely continuous, and every continuous linear mapping ℓK1(N)→E\ell^1_K(\mathbf{N})\rightarrow E is completely continuous.

f ) If E is reflexive or if its dual is of countable type, every continuous linear mapping E→ℓK1(N)E\rightarrow \ell^1_K(\mathbf{N}) is compact.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.