Is it generally true that if $|P(A)|=|P(B)|$ then $|A|=|B|$? Why? Thanks.
Do sets, whose power sets have the same cardinality, have the same cardinality?
18
$\begingroup$
set-theory
-
1And also this one: http://mathoverflow.net/questions/67473/equality-of-cardinality-of-power-set – 2015-11-19
1 Answers
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$.
-
5Easton'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