A compact Hausdorff space

102 Views Asked by At

It is known that every finite space is compact. Then I am worried whether there exists a compact Hausdorff space $X$ with with ordinal of $X$ is $\omega_0$.

Does anyone know about it?

3

There are 3 best solutions below

4
On

Every well order with a maximum in the order topology is compact. So take any well order of cardinal $\aleph_{0}$, add a maximum if it doesn't have one and you got your space.

(Every order topology is also $T_{2}$, in fact $T_{4}$)

0
On

Think of the following: $\Bbb N \cup \{\infty\}$, where $\infty$ is an abstract element defined by the property that $n \leq \infty \space \forall n \in \Bbb N$.

2
On

Consider the set formed by the sequence {1/n} union the point {0}. This is a closed and bounded subset of the real numbers so it's compact. By definition of a sequence it's countable. It's also Hausdorff since it's a subset of a Hausdorff space (the reals).