Bourbaki

Exercise 30, § 1

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

Spectral Theories, III, p. 116

a) Let E and F be Banach spaces and u∈L(E;F)u\in \mathscr{L}(E; F). Now prove that the following properties are equivalent:

(i) The image by uu of a weakly compact subset of E is (strongly) compact ;

(ii) The image by uu of a weakly relatively compact subset of E is relatively compact in F ;

(iii) The image by uu of a weakly convergent sequence in E converges strongly in F.

(Use the theorem of Šmulian, EVT, IV, p. 36, th. 2.)

One will say that uu is semi-compact[^1] if it satisfies these properties.

b) Let E and F be Banach spaces. Exercise prove that the set Lsc(E;F)\mathscr{L}^{sc}(E; F) of semi-compact mappings is a closed subspace of L(E;F)\mathscr{L}(E; F).

c) Let E and F be Banach spaces and u∈L(E;F)u\in \mathscr{L}(E; F). Let E1,F1E_1, F_1 be Banach spaces, f∈L(E1;E)f\in \mathscr{L}(E_1; E) and g∈L(F;F1)g\in \mathscr{L}(F; F_1). If u:E→Fu: E\rightarrow F is semi-compact, the same is true of g∘u∘fg\circ u\circ f.

d) Let E and F be Banach spaces and u∈L(E;F)u\in \mathscr{L}(E; F). If uu is compact, it is semi-compact. Conversely, if E is reflexive and uu semi-compact, then uu is compact.

e) Let E and F be Banach spaces. If the space E′E' dual of E is of countable type then every completely continuous linear mapping E→FE\rightarrow F is compact.

f) Let I be an infinite set ; the identity mapping of ℓ1(I)\ell^1(I) is semi-compact, but is not weakly compact (cf. EVT, IV, p. 54, exerc. 15). g) The injection of ℓK1(N)\ell^1_K(\mathbf{N}) into ℓK2(N)\ell^2_K(\mathbf{N}) is semi-compact but is not compact (cf. loc. cit.).

h) Let E be a Banach space. Every continuous linear mapping E→E\rightarrow ℓK1(N)\ell^1_K(\mathbf{N}) is semi-compact, and every continuous linear mapping ℓK1(N)→E\ell^1_K(\mathbf{N})\rightarrow E is semi-compact. i) Let E be a Banach space. If E is reflexive or if its dual is of countable type, then every continuous linear mapping E→ℓK1(N)E\rightarrow \ell^1_K(\mathbf{N}) is compact.

[^1]: Some authors speak of completely continuous mappings.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6. Not checked by a person.