Precise meaning of $\omega$ as an ordinal number

81 Views Asked by At

Let $2^\omega$ be the Cantor space.

I know that $\omega$ denotes the first transfinite ordinal, i.e. the order-type of the natural numbers. I am however still a bit confused about what that means exactly. Does that mean that $2^\omega$ is the cartesian product of denumerably many copies of $2$ or countably (i.e. finitely or denumerably) many copies of $2$?

1

There are 1 best solutions below

2
On

The same as $2^N,$ denumeral (infinitely countable) many
copies of 2. This is not Cantor's set. It is a space
homeomorphic to the Cantor set.