Bourbaki

Exercise 15, § 3

Topological Vector Spaces, IV, p. 61

Let E be an infinite-dimensional Banach space, (an)n≥1(a_n)_{n \geq 1} a countable total free family of points of E, FnF_n the subspace of E of dimension nn generated by the ama_m of index m≤nm \leq n. Let SnS_n be the sphere of equation ∥x∥=n\|x\| = n in E; in Sn∩FnS_n \cap F_n let AnA_n be a finite set such that every point of Sn∩FnS_n \cap F_n is at a distance ≤1/n\leq 1/n from AnA_n. Now prove that A=⋃n=1∞AnA = \bigcup_{n=1}^\infty A_n is such that its intersection with every closed bounded set is closed, but that 0 is adherent to A for the weak topology.

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.