ordinal space
Let be an ordinal. The set ordered by is a well-ordered set. becomes a topological space
if we equip with the interval topology. An ordinal space is a topological space such that (with the interval topology) for some ordinal . In this entry, we will always assume that , or .
Before examining some basic topological structures of , let us look at some of its order structures.
- 1.
First, it is easy to see that , for any . Here, is the upper set of .
- 2.
Another way of saying that is well-ordered is that for any non-empyt subset of , exists. Clearly, is its least element. If in addition , is also atomic, with as the sole atom.
- 3.
Next, is bounded complete. If is bounded from above by , then is an ordinal such that , therefore as well.
- 4.
Finally, we note that is a complete lattice
iff is not a limit ordinal
. If is complete
, then . So . This means that . If , then so that , a contradiction
. As a result, . On the other hand, if , then , so that is complete.
In any ordinal space where , a typical open interval may be written , where . If is not a limit ordinal, we can also write where . This means that is a clopen set if is not a limit ordinal. In particular, if is not a limit ordinal, then is clopen, where , so that is an isolated point. For example, any finite ordinal is an isolated point in .
Conversely, an isolated point can not be a limit ordinal. If is isolated, then is open. Write as the union of open intervals . So . Since covers , each must be or would contain more than a point. If is a limit ordinal, then so that, again, would contain more than just . Therefore, can not be a limit ordinal and all must be the same. Therefore , where is the predecessor of : .
Several basic properties of an ordinal space are:
- 1.
Isolated points in are exactly those points that are limit ordinals (just a summary of the last two paragraphs).
- 2.
is open in for any . is closed iff is not a limit ordinal.
- 3.
For any , the collection
of intervals of the form (where ) forms a neighborhood base of .
- 4.
is a normal space
for any ;
- 5.
is compact
iff is not a limit ordinal.
Some interesting ordinal spaces are
- •
, which is homeomorphic to the set of natural numbers .
- •
, where is the first uncountable ordinal. is often written . is not a compact space.
- •
, or . is compact, and, in fact, a one-point compactification of .
References
- 1 S. Willard, General Topology, Addison-Wesley, Publishing Company, 1970.