Set theory: proofs regarding power sets

Click For Summary

Homework Help Overview

The discussion revolves around proving properties of power sets in set theory, specifically that the intersection and union of subsets of a set X also belong to the power set P(X).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to understand how to start the proof and considers the implications of subsets belonging to the power set. Some participants suggest leveraging the definition of power sets and the properties of subsets to progress the proof.

Discussion Status

Participants are actively engaging with the problem, with some providing hints and guidance on how to approach the proof. There is a focus on clarifying the relationship between subsets and their intersections and unions, though no consensus has been reached on the complete proof structure.

Contextual Notes

There is an indication that the original poster feels constrained by the information available and is seeking further clarification on linking the union and intersection back to the set X.

Stefan00
Messages
3
Reaction score
0
Let X be an arbitrary set and P(X) the set of all its subsets, prove that if ∀ A,B ∈ P(X) the sets A∩B,A∪B are also ∈ P(X).

I really don't know how to get started on this proof but I tried to start with something like this:
∀ m,n ∈ A,B ⇒
m,n ∈ X ⇒

Is this the right way to start on this proof? A hint on how to get further with this would really be appreciated.

Stefan
 
Physics news on Phys.org
Try to use the fact that EVERY subset of X is in P(X). Can you see how that helps?
 
@verty, thanks for your reply;

So if A,B ∈ P(X) ⇒ A,B ⊂ X, and since every subset of X is in P(X), A∩B,A∪B are also in P(X)?

Stefan
 
Stefan00 said:
@verty, thanks for your reply;

So if A,B ∈ P(X) ⇒ A,B ⊂ X, and since every subset of X is in P(X), A∩B,A∪B are also in P(X)?

Stefan


Yes, though it wouldn't be a bad idea to show that this union and intersection are subsets of X, despite the triviality.
 
Thanks for you reply!

That's where it get stuck I'm afraid, I cannot link the Union and Intersection to X with the given information.

Stefan
 
Stefan00 said:
Thanks for you reply!

That's where it get stuck I'm afraid, I cannot link the Union and Intersection to X with the given information.

Stefan

Approach it like an introductory set theory proof.

Pick an element x in A intersect B. Show that this is in X.

Pick an element y in A union B. Show that this is in X.

For the first one, suppose that x is in A intersect B. Then x is in A and x is in B. Now what?

Remember that you know that A and B are subsets of X - they are in its power set!
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
24
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 24 ·
Replies
24
Views
6K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K