Example
Tag 07C8, permanent. Cite it as [Bourbaki, Tag 07C8].
Topological Vector Spaces, II, p. 16, § 2. Convex sets
The space with its usual topology and the order structure that is the product of the order structure of its factors is an ordered topological vector space. On the other hand, for , when carries the lexicographical order (S, III, § 2.6), the usual topology is not compatible with the ordered vector space structure of .
Let A be a set; the vector space of real valued bounded functions defined on A, with the topology defined by the norm and the order structure induced by the product order structure of , is an ordered topological vector space.
In an ordered topological vector space E, the set of elements is closed; since translations are homeomorphisms, we deduce that, for all , the set of elements (resp. ) is closed. Since is the intersection of the sets and , it follows that is closed and that E is Hausdorff.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.