I was given the following task in one exam. The task was as follows:
$\text{Simplify } 2^{\omega_1} \text{ using the following lemma: }1 < \alpha, \beta < \gamma \Rightarrow \alpha^\beta < \alpha^\gamma.$
I would be grateful for any of your hints.
I was given the following task in one exam. The task was as follows:
$\text{Simplify } 2^{\omega_1} \text{ using the following lemma: }1 < \alpha, \beta < \gamma \Rightarrow \alpha^\beta < \alpha^\gamma.$
I would be grateful for any of your hints.
You first need to observe that if $\beta$ is a countable ordinal then $2^\beta$ is countable as well.
Work with induction: For the successor step observe that $2^{\beta+1}=2^\beta\cdot 2$ which is countable if $2^\beta$ is countable (which is the induction hypothesis). For the limit stage the limit of a sequence of ordinals is their union and since $\beta$ is countable then the countable union of countable sets is countable.
So $2^{\omega_1}$ is the limit of a strictly increasing (by the lemma given) $\omega_1$-sequence of countable ordinals and thus it is $\omega_1$.