- #1
- 45,387
- 22,538
According to Wikipedia, Baire space is defined as "the Cartesian product of countably infinite copies of the natural numbers". The page states later on that Baire space is homeomorphic to the set of irrational numbers, which seems to indicate that it is uncountable; also, its definition would seem to make it equivalent to the set of infinite sequences of natural numbers, which should also be uncountable by Cantor's diagonal argument.
However, in the sequence of transfinite ordinals, there is the ordinal ##\omega^{\omega}## (the same symbol is used for Baire space according to Wikipedia), which is clearly stated to be countable. Yet this ordinal would seem to be equivalent to Baire space. Is it? If so, is Baire space actually countable? How could it be, given the above?
However, in the sequence of transfinite ordinals, there is the ordinal ##\omega^{\omega}## (the same symbol is used for Baire space according to Wikipedia), which is clearly stated to be countable. Yet this ordinal would seem to be equivalent to Baire space. Is it? If so, is Baire space actually countable? How could it be, given the above?