Set theory: proofs regarding power sets

Click For Summary
SUMMARY

The discussion focuses on proving that for any arbitrary set X and its power set P(X), if A and B are subsets of P(X), then both the intersection A∩B and the union A∪B also belong to P(X). Participants emphasize that since A and B are subsets of X, it follows that A∩B and A∪B must also be subsets of X, thereby confirming their membership in P(X). The proof can be approached by demonstrating that elements of A∩B and A∪B are also elements of X.

PREREQUISITES
  • Understanding of set theory concepts, including subsets and power sets.
  • Familiarity with intersection and union operations on sets.
  • Basic proof techniques in mathematics, particularly element-based proofs.
  • Knowledge of logical quantifiers, specifically universal quantification.
NEXT STEPS
  • Study the properties of power sets in set theory.
  • Learn about element-based proof techniques in mathematics.
  • Explore the definitions and properties of set operations, specifically intersection and union.
  • Review logical quantifiers and their applications in mathematical proofs.
USEFUL FOR

Students and educators in mathematics, particularly those studying set theory, as well as anyone interested in understanding foundational proofs in mathematics.

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
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
24
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K