Same power set implies set equality

  • #1
1,344
33

Homework Statement



Can you conclude that A = B if A and B are two sets with the same power set?

Homework Equations



The Attempt at a Solution



I know intuitively that A and B have to be equal, because all the individual entities in the power set (you know what I mean) have to be in both A and B. But, what I'm really after is a rigorous mathematical derivation of the theorem. I have no idea where to start. Any help would be greatly appreciated.
 

Answers and Replies

  • #2
575
76

Homework Statement



Can you conclude that A = B if A and B are two sets with the same power set?

Homework Equations



The Attempt at a Solution



I know intuitively that A and B have to be equal, because all the individual entities in the power set (you know what I mean) have to be in both A and B. But, what I'm really after is a rigorous mathematical derivation of the theorem. I have no idea where to start. Any help would be greatly appreciated.

I think a good place to start is by writing down exactly what you mean by "all the individual entities in the power set have to be in both A and B". Use the correct terminology ad notation. If that's not enough to get you going, then I'd suggest you write down precisely what it means for two sets to be equal, again using appropriate terminology and notation.

If you mean what I think you mean (or what you think that I know that you mean), then your intuition is not that far off from the actual proof. You just need to figure out how to say what you mean.
 
  • #3
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
2020 Award
17,098
8,910

Homework Statement



Can you conclude that A = B if A and B are two sets with the same power set?

Homework Equations



The Attempt at a Solution



I know intuitively that A and B have to be equal, because all the individual entities in the power set (you know what I mean) have to be in both A and B. But, what I'm really after is a rigorous mathematical derivation of the theorem. I have no idea where to start. Any help would be greatly appreciated.

It might be a good opportunity to try a proof by contradiction, if you know what that means.

Also, you could try to find more than one proof. You can learn a lot from proving this sort of thing 3-4 different ways!
 
Last edited:
  • #4
52
7
It might be easier to prove the contrapositive: If ##A \neq B##, then ##P(A) \neq P(B)##.

Although now that I think about it, it isn't too hard to show directly. Suppose ##a \in A##. Try to argue that ##a \in B##.
 
  • #5
What does the union all the members of the power set equal?
 

Related Threads on Same power set implies set equality

  • Last Post
Replies
8
Views
6K
  • Last Post
Replies
1
Views
932
Replies
6
Views
851
  • Last Post
Replies
4
Views
855
  • Last Post
Replies
1
Views
770
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
2
Views
822
  • Last Post
Replies
4
Views
393
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
3
Views
4K
Top