Bourbaki

Example

Tag 07C8, permanent. Cite it as [Bourbaki, Tag 07C8].

Topological Vector Spaces, II, p. 16, § 2. Convex sets

The space Rn\mathbf{R}^n 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 n≥2n \geq 2, when Rn\mathbf{R}^n carries the lexicographical order (S, III, § 2.6), the usual topology is not compatible with the ordered vector space structure of Rn\mathbf{R}^n.

Let A be a set; the vector space B(A;R)\mathscr{B}(A ; \mathbf{R}) of real valued bounded functions defined on A, with the topology defined by the norm ∥x∥=sup⁡t∈A∣x(t)∣\|x\| = \sup_{t \in A} |x(t)| and the order structure induced by the product order structure of RA\mathbf{R}^A, is an ordered topological vector space.

In an ordered topological vector space E, the set of elements x≤0x \leq 0 is closed; since translations are homeomorphisms, we deduce that, for all a∈Ea \in E, the set of elements x≥ax \geq a (resp. x≤ax \leq a) is closed. Since {0}\{0\} is the intersection of the sets x≥0x \geq 0 and x≤0x \leq 0, it follows that {0}\{0\} 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.

Cites

Transcribed from the printed volume. Not translated.