1
$\begingroup$

Assuming the Generalized Continuum Hypothesis (GCH), this is, for any cardinal $\lambda$ there is no cardinal $\kappa$ such that $\lambda<\kappa<2^\lambda$.

Is it true that any cardinal is of the form of $\aleph_0$ or $2^\lambda$ for some cardinal $\lambda$?

This is what I have been able to show:

An equivalent statement of the GCH, is that for any ordinal $\alpha$, $\aleph_{\alpha+1}=2^{\aleph_\alpha}$.

Another way to state this is that $\aleph_\alpha=\beth_\alpha$ for any ordinal $\alpha$. Where $\beth_\alpha$ the the beth numbers and are defined as $\beth_0:=\aleph_0$, $\beth_{\alpha+1}:=2^{\beth_{\alpha}}$.

Now, it is stated that by Zermelo’s theorem, every cardinal is an aleph. So by the GCH, every cardinal is a beth number and thus any cardinal is either $\beth_0=\aleph_0$ or $\beth_\alpha$.

Here we have two options: If $\alpha$ is a successor then clearly $\beth_\alpha=2^{\beth_{\alpha-1}}$.

But what if $\alpha$ is a limit ordinal? Is then $\beth_\alpha=2^{\lambda}$ for some cardinal $\lambda$. I don't think so. But I don't know how to prove this.

$\endgroup$
5
$\begingroup$

Under GCH, $2^\kappa$ is never a limit cardinal, since it is always the successor of $\kappa$.

$\endgroup$
9
$\begingroup$

The answer is no, regardless of the truth of the generalized continuum hypothesis. Indeed, one can show that $\aleph_\omega$, or any other infinite cardinal of countable cofinality, cannot be equal to $2^\lambda$ for any $\lambda$. This is because König's theorem implies that $2^\lambda$ must have cofinality strictly greater than $\lambda$, so in particular cannot be countable.

$\endgroup$
3
  • 1
    $\begingroup$ "Cardinality" should be "cofinality" in two places. $\endgroup$ – Alex Kruckman Apr 16 at 17:04
  • $\begingroup$ @AlexKruckman Fixed, thank you. $\endgroup$ – Wojowu Apr 16 at 17:05
  • $\begingroup$ A smaller example though is $3$. But yes, infinite cardinals... $\endgroup$ – Jonathan Apr 16 at 17:12
6
$\begingroup$

No, if the GCH holds then no limit cardinal is of the form $2^\kappa.$ We know what $2^\kappa$ is for every $\kappa.$ It is $\kappa^+,$ which is a successor cardinal.


Wojowu points out in their answer that cardinals with countable cofinality always have this property, even when we don't assume GCH. Another example is any strong limit cardinal, i.e. a cardinal of the form $\beth_{\alpha}$ for a limit ordinal $\alpha.$ An infinite cardinal $\kappa$ is a strong limit iff for all $\lambda < \kappa,$ $2^\lambda < \kappa.$ So it can't be of the form $2^\lambda$ since $2^\lambda < \kappa$ for any $\lambda < \kappa$ and $2^\lambda > \kappa$ for any $\lambda\ge \kappa.$

Notice this is just a ZFC-only version of the result quoted for GCH since under GCH, every limit cardinal is a strong limit. It also shows that there are examples of all cofinalities (since if $\kappa$ is some infinite cardinal $\beth_\kappa$ is a strong limit cardinal with the same cofinality as $\kappa$.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.