# Order topology

In mathematics, the order topology is a topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.

If X is a totally ordered set, the order topology on X is generated by the subbase of open rays

[itex](a, \infty) = \{ x \mid a < x\}[itex]
[itex](-\infty, b) = \{x \mid x < b\}[itex]

for some a,b in X. This is equivalent to saying that the open intervals

[itex](a,b) = \{x \mid a < x < b\}[itex]

together with the above rays form a basis for the order topology. The open sets in X are the sets that are a union of (possibly infinitely many) such open intervals and rays.

The order topology makes X into a completely normal Hausdorff space.

The standard topologies on R, Q, and N are the order topologies.

## Ordinal space

For any ordinal number λ one can consider the spaces of ordinal numbers

[itex][0,\lambda) = \{\alpha \mid \alpha < \lambda\}\,[itex]
[itex][0,\lambda] = \{\alpha \mid \alpha \le \lambda\}\,[itex]

together with the natural order topology. These spaces are called ordinal spaces. (Note that in the usual set-theoretic construction of ordinal numbers we have λ = [0,λ) and λ + 1 = [0,λ]). Obviously, these spaces are mostly of interest when λ is an infinite ordinal.

When λ = ω (the first infinite ordinal), the space [0,ω) is just N with the usual topology, while [0,ω] is the one-point compactification of N.

Of particular interest is the case when λ = ω1, the first uncountable ordinal. The element ω1 is a limit point of the subset [0,ω1) even though no sequence of elements in [0,ω1) has the element ω1 as its limit. In particular, [0,ω1] is not first-countable. The subspace [0,ω1) is first-countable however, since the only point without a countable local base is ω1. Some further properties include

## Left and right order topologies

Several interesting variants of the order topology can be given:

• The left order topology on X is the topology whose open sets consist of intervals of the form (a, ∞).
• The right order topology on X is the topology whose open sets consist of intervals of the form (−∞, b).

The left and right order topologies can be used to give counterexamples in general topology. For example, the left or right order topology on a bounded set provides an example of a compact space that is not Hausdorff.

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy