Bourbaki

Exercise 3, § 3

Topological Vector Spaces, IV, p. 58

Bourbaki marks this one as harder than the rest.

Let EE be a locally convex metrizable space, Eb′E'_b its strong dual. a) Prove that every convex balanced subset V′V' of Eb′E'_b absorbing the strongly bounded subsets of Eb′E'_b contains a barrel (for the strong topology) absorbing the strongly bounded subsets of Eb′E'_b. (Let (Kn′)(K'_n) be a countable base of the canonical bornology of Eb′E'_b, and let λn\lambda_n be such that λnKn′⊂12V′\lambda_n K'_n \subset \frac{1}{2} V'; apply exercise 2, b) to the sequence of An′A'_n, where An′A'_n is the convex hull of the union of the λjKj′\lambda_j K'_j for j≤nj \leq n.) b) Deduce from a) that the following properties are equivalent: α) E is distinguished (IV, p. 52, exercise.

Solution

No solution has been written yet.

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.