What is the cardinality of $\omega^\omega$?

I have started reading about Baire Space as a prerequisity for the subject of Borel hierarchies. And if I understand correctly, Baire space is $\omega^\omega$ (The space of all functions from $\omega$ to $\omega$)? I guess the Topology on this space is the product topology? also, Can I assume that the cardinality of $\omega^\omega$ is $\aleph_0$ as a countable union of countable sets $\bigcup_{k=0}^\infty \omega^k$?.

If the answer is yes, Then, what is the first ordinal that has cardinality $\aleph_1$. Also, is anyone familiar with a good source for studying Borel hierarchy (That also contain exercises if possible..)?

Thanks!! Shir

Now that I think of it, Baire space should also contain uncountable sequences.. so, what is the cardinality of $\omega^\omega$? is it $\aleph_0$ or $\aleph_1$?

Solution 1:

Note that $\omega^\omega$ is not the ordinal exponentiation, but rather the set of all functions from $\omega$ to itself. It is easy, and I leave it to you, to verify that this is in fact a set of cardinality $2^{\aleph_0}$ (if you give up, it has been asked on this site infinitely many times before), so definitely not $\aleph_0$, but not necessarily $\aleph_1$ either if you don't assume more than just $\sf ZFC$.

So you shouldn't assume that this is a countable set (you can, but equally you can just assume that $0=1$ or something). The set that you suggest, which is the eventually zero sequences, is a countable set which is also dense. This set witnesses the fact that the Baire space is a separable space.

For the Borel hierarchy basic books about descriptive set theory such as Kechris' and Moschovarkis' books can be good. Jech's Set Theory also has a chapter with the basic information in the first part.

Also, the first ordinal of size $\aleph_1$ is no other than $\omega_1$. We cannot represent it in a better way using ordinal arithmetic because ordinal arithmetic preserves cardinality, so $\alpha^\beta+\gamma\cdot\delta+\eta$ is countable if all $\alpha,\beta,\gamma,\delta,\eta$ are countable. Since $\omega_1$ is not countable, it cannot be written that way.

Related: