Bourbaki

Exercise 25, § 5

Topological Vector Spaces, II, p. 80

Let EE be an infinite dimensional Fréchet space of enumerable type (therefore having an enumerable everywhere dense subset) (cf. I, p. 25, exerc. 1). Show that there exists an everywhere dense hyperplane HH of EE which meets every closed, infinite dimensional linear variety of EE. (Use the existence of a basis, having the cardinal of the continuum, in each of the direction subspaces of these varieties (exerc. 24, c)) and the fact that the set of closed, infinite dimensional, linear varieties of EE also has the cardinal of the continuum (GT, IX, § 5, exerc. 17); then apply a method of construction of a linear form on EE following from S, III, § 6, exerc. 24.) The hyperplane HH does not contain any infinite dimensional, closed, vector subspace.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.