This is a basic discussion on the first uncountable ordinal and its immediate successor . The goal here is to consider these two ordinals as topological spaces with the order topology. These are interesting examples often presented in beginning courses in topology. Both spaces are rich ground for counterexamples. I can still remember the moment when these two spaces were presented in my first graduate level topology course.

Without thinking in terms of ordinals, the set can be thought of as an uncountable well-ordered set such that every initial segment is countable. The set is then simply the set with an additional point that is greater than all points of . However we think of these spaces, this is the notation I use in this post: and .

Some basic properties of . It is compact and not first countable. Note that there is no countable local base at the point .

Some basic properties of . The space is locally compact, first countable and not Lindelof. Note that the is an open cover that has no countable subcover. Even though is not compact, it has compact like properties. It is pseudocompact and countably compact.

Several of the facts I discuss in this post are proven by the Pressing Down Lemma. A subset of is called a stationary subset if has nonempty intersection with every closed and unbounded set in . This lemma can be found in [Kunen].

**Pressing Down Lemma**. Let be a stationary subset of . Let such that for each , , then for some , is a stationary subset of .

One of the facts discussed below concerns function space with the pointwise convergent topology. Let be a space and let be the set of all real-valued continuous functions defined on . Define where is an open interval of . The topology generated by the subbase is an open interval of is called the pointwise convergent topology on and is denoted by .

I now discuss the following facts in a little more details.

**A**. Both and are completely normal (i.e. hereditarily normal).

**B**. Every continuous function is eventually constant.

**C**. Both and are not perfectly normal.

**D**. is countably compact.

**E**. is pseudocompact.

**F**. is sequentially compact.

**G**. is not paracompact.

**H**. The Stone-Cech compactification of is .

**J**. is not separable.

**Proof of A**. Spaces with the order topology are completely normal. This fact is quoted in [Steen & Seebach]. Thus both and are completely normal (i.e. hereditarily normal).

**Proof of B**. Let be continuous. For each limit ordinal , choose such that . The function is a pressing down function and by the Pressing Down Lemma, there is a stationary set and there is an such that for each , .

Here’s the iteration where is an interger greater than . For each , choose such that . By the Pressing Down Lemma, there is some and there is some stationary set such that for each , . At this point, the function moves in a narrow band of width among all the points beyond . For all , , . To see this, fix such and . Since is stationary, I can choose some such that and . Both of these inequalities hold: and . This implies .

Let be the least upper bound of all the . Based on the discussion in the iteration, it is now clear that for all and in , for all positive integer . Thus the continuous function is constant on .

**Proof of C**. In , the point is not a point. Let be a sequence of open interval containing the point . Then choose a countable ordinal that is greater than all . Then is contained in the intersection of .

In , the set is a limit ordinal is a closed set that is not . To this end, let be a sequence of open sets containing . I claim that for some , is contained in each . Thus each would contain many successor ordinals and , the set of all limit ordinals, cannot be a set in .

First let me prove this claim. For each open set containing , there is some such that . For each limit ordinal , there is a such that since is open. By the Pressing Down Lemma, there is some and there is some stationary set such that all points in are mapped to by . Then it is easy to see that .

Now, go back to the sequence of open sets , each of which contains . For each , let be the ordinal as in the claim in the preceding paragraph. Let be an ordinal that is greater than the least upper bound of all . It is clear that for each .

Thus both and are examples of completely normal spaces that are not perfectly normal.

**Proof of D**. A space is countably compact if every countable open cover of has a finite subcover. Let be an open cover of . Suppose it has no finite subcover. Then for each , there is some such that it does not belong to for all . Let be the least upper bound of all . Then must belong to some . This would mean that contains many for , which is a contradiction.

**Proof of E**. A space is pseudocompact if every real-valued continuous function defined on is bounded. Fact **B**, is a stronger statement of this fact.

**Proof of F**. A space is sequentially compact if every sequence of points in has a convergent subsequence. This is true for since the least upper bound of a countably infinite sequence is the limit of a subsequence.

**Proof of G**. Consider the open cover . It can be shown that this does not have a locally finite open refinement. Let be an open refinement of . For each limit ordinal , it is in some . So choose such that . Once again, this is a pressing down function. So there is some and there is a stationary set such that for all . This means that the point is in for uncountably many . Thus any open cover has no locally finite open refinement (in fact, no locally countable open refinement).

**Proof of H**. Every continuous function defined on is bounded and is eventually constant (from point B) and thus can be extended to . We can simply define to be the eventual constant value. A subspace of a space is -embedded in if every bounded continuous real-valued function on can be extended to . According to theorem 19.12 in [Willard], if is a compactification of and if is -embedded in , then is the Stone-Cech compactification of . Thus is -embedded in and is the Stone-Cech compactification of . Here the Stone-Cech compactification agrees with the one-point compactification.

**Proof of I**. I now show that no countable subspace of is dense in . Let be a countable family of continuous functions. For each , let be such that is constant on . Let be the least upper bound of all . Choose two distinct countable ordinal and . Then is an open set in the function space that does not contain any .

**Reference**

[Kunen]

Kunen, K., [1980] *Set Theory, An Introduction to Independence Proofs*, First Edition, North-Holland, New York

[Steen & Seebach]

Steen, L. A. and Seebach, J. A., [1995], *Counterexamples in Topology*, Dover Edition

[Willard]

Willard, S., [1970] *General Topology*, Addison-Wesley Publishing Company, Inc.

Pingback: The First Uncountable Ordinal (via Dan Ma’s Topology Blog) « jsagmrrflh

How can I prove that the topological countable product of (\omega_1 + 1) (with the order topology) is the union of (\omega_1) closed nowhere dense sets?