Order Topology - Ordinal Space

Ordinal Space

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

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 λ = ). Obviously, these spaces are mostly of interest when λ is an infinite ordinal; otherwise (for finite ordinals), the order topology is simply the discrete topology.

When λ = ω (the first infinite ordinal), the space is the one-point compactification of N.

Of particular interest is the case when λ = ω1, the set of all countable ordinals, and the first uncountable ordinal. The element ω1 is a limit point of the subset 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

  • neither is separable or second-countable
  • is compact while [0,ω1) is sequentially compact and countably compact, but not compact or paracompact

Read more about this topic:  Order Topology

Famous quotes containing the word space:

    Here in the U.S., culture is not that delicious panacea which we Europeans consume in a sacramental mental space and which has its own special columns in the newspapers—and in people’s minds. Culture is space, speed, cinema, technology. This culture is authentic, if anything can be said to be authentic.
    Jean Baudrillard (b. 1929)