Bourbaki

Exercise 31, § 1

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

Spectral Theories, III, p. 117

Let EE be a Banach space.

a) Prove that the following conditions are equivalent:

(i) Whatever the Banach space FF, every weakly compact mapping from E into F is semi-compact ;

(ii) If (xn)(x_n) is a sequence tending to 0 in E for the topology σ(E,E′)\sigma (E,E') and (xn′)(x'_n) is a sequence tending to 0 in E′E' for the topology σ(E′,E′′)\sigma (E',E''), the sequence ⟨xn,xn′⟩\langle x_n, x'_n\rangle tends to 0.

(To prove that (i) implies (ii), one will take F=c0F =c_0. If (i) is not satisfied, there exists a weakly compact mapping uu from E into a Banach space F and a sequence (xn)(x_n) in E tending weakly to 0, such that inf(∥u(xn)∥\|u(x_n)\|)>0>0; one will construct a sequence (yn)(y_n) in the unit ball of E′E', convergent for σ(E′,E′′)\sigma (E',E'') and such that ⟨u(xn),yn⟩=∥u(xn)∥\langle u(x_n), y_n\rangle =\|u(x_n)\|, and one will take xn′=yn−x'_n=y_n- lim yn.y_n.)

These conditions are verified in particular when E=CE =\mathscr{C}(T), where T is a compact space, and when E=L1(X,μ)E = L^1(X, \mu), or E=L∞(X,μ)E = L^{\infty}(X, \mu), where X is a locally compact space and μ\mu a measure on X (INT, VI, § 2, exerc. 23). b) Prove that a Banach space which possesses the above properties admits no direct reflexive factor of infinite dimension.

c) Let H be a reflexive Banach space, and let B be the unit ball of H′H', equipped with the weak topology. Show that H identifies with a closed non-direct subspace of C(B)\mathscr{C}(B).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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