7
$\begingroup$

If two sets $A$ and $B$ have equal power sets, can we conclude that $A=B$

I feel like they are equal, by intuition and by analyzing particular cases, but I don't know how to write a formal proof of this. Thanks in advance.

$\endgroup$
12
$\begingroup$

Note that for any set $X$ we have $\bigcup \mathcal P(X) = X$ where $\mathcal P(X)$ is a power set of $X$. Thus $$A=\bigcup \mathcal P(A) = \bigcup \mathcal P(B) = B$$.

$\endgroup$
  • $\begingroup$ although all answers are good, so far yours seems better proofed, thanks. It was exactly what I was looking for. $\endgroup$ – David Cabrera Oct 7 '15 at 20:17
  • 1
    $\begingroup$ Another way is :For all $a$ we have $a \in A\to \{a\}\in P(A) \to \{a\}\in P(B)\to a\in B.$ And vice versa, interchanging $A$ and $B$. $\endgroup$ – DanielWainfleet Oct 7 '15 at 20:53
8
$\begingroup$

Yes. Since A is in the power set of B, A is a subset of B. Likewise, B is a subset of A. Therefore, A = B.

$\endgroup$
6
$\begingroup$

Yes. If $\mathcal P(A)=\mathcal P(B)$, as $A\in\mathcal P(A)$, $A\in\mathcal P(B)$, which means $A\subset B$. Similarly, $B\subset A$, so $A=B$.

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