Bourbaki

Corollary

Tag 0791, permanent. Cite it as [Bourbaki, Tag 0791].

Topological Vector Spaces, chapter I, § 2. Linear varieties in a topological vector space

— In a topological vector space EE, every hyperplane is either closed or everywhere dense.

In fact, the closure of a homogeneous hyperplane HH can only be HH or the whole space EE, since it is a vector subspace containing HH (prop. 1).

A hyperplane HH is closed in EE if, and only if, ∁H\complement H contains an interior point.

The vector subspace MM generated by a set AA, in a topological vector space EE, is the set of linear combinations of points of AA (A, II, § 1.7, prop. 9); the closure of MM in EE is, by prop. 1, the smallest closed vector subspace containing AA; we say that this is the closed vector subspace generated by AA.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.