18
$\begingroup$

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

  • 1
    And also this one: http://mathoverflow.net/questions/67473/equality-of-cardinality-of-power-set2015-11-19

1 Answers 1

16

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$.

  • 5
    Easton's theorem is overkill here. Cohen's original model for ZFC + $\neg$CH had $2^{\aleph_0}=2^{\aleph_1}=\aleph_2$.2013-11-07