24
$\begingroup$

Is it generally true that if $|P(A)|=|P(B)|$ then $|A|=|B|$? Why? Thanks.

$\endgroup$
2

1 Answer 1

25
$\begingroup$

Your question is undecidable in ZFC. If you assume the generalized continuum hypothesis then what you state is true. On the other hand Easton's theorem shows that if you have a function $F$ from the regular cardinals to cardinals such that $F(\kappa)>\kappa$, $\kappa\leq\lambda\Rightarrow F(\kappa)\leq F(\lambda)$ and $cf(F(\kappa))>\kappa$ then it's consistent that $2^\kappa=F(\kappa)$. This of course shows that it's consistent that we can have two cardinals $\kappa<\lambda$ such that $2^\kappa=2^\lambda$.

$\endgroup$
1
  • 12
    $\begingroup$ Easton's theorem is overkill here. Cohen's original model for ZFC + $\neg$CH had $2^{\aleph_0}=2^{\aleph_1}=\aleph_2$. $\endgroup$ Nov 7, 2013 at 2:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .