Proving P(A) Union P(B) is a Subset of P(A Union B)

  • Thread starter Thread starter DPMachine
  • Start date Start date
  • Tags Tags
    Power Sets
Click For Summary

Homework Help Overview

The discussion revolves around proving the set relationship P(A) ∪ P(B) ⊆ P(A ∪ B), where P denotes the power set. The participants are exploring the properties of power sets and subset relations in set theory.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to demonstrate the subset relationship by using specific examples of singleton sets. Some participants question the validity of this approach, suggesting that the proof should hold for any sets A and B. Others propose a more general method of letting an element x belong to P(A) ∪ P(B) and showing that it must also belong to P(A ∪ B).

Discussion Status

The discussion is progressing with participants providing feedback on the original poster's approach. There is a recognition of the need for a more general proof, and some guidance has been offered regarding the structure of subset proofs.

Contextual Notes

Participants are addressing the assumption that A and B are singleton sets, emphasizing the need for a proof applicable to all sets. The discussion reflects a focus on the definitions and properties of power sets and subset relations.

DPMachine
Messages
26
Reaction score
0

Homework Statement



Prove P(A) \cup P(B) \subseteq P(A \cup B)


Homework Equations





The Attempt at a Solution



I started out by assuming that A = \left\{a\right\} and B=\left\{b\right\}.

So then P(A) \cup P(B) = \left\{\left\{a\right\},\left\{b\right\},null\right\} and P(A \cup B) = \left\{\left\{a\right\},\left\{b\right\},\left\{a,b\right\},null\right\}

So I can conclude that P(A) \cup P(B) \subseteq P(A \cup B)

How does that sound?
 
Physics news on Phys.org
When you assume that A={a} and B={b}, you are assuming that A and B are both singleton sets. You want to prove the relation for any sets A and B.

When proving one set is a subset of another, say X is a subset of Y, then you let x be in X and show x is in Y. So let x\in P(A)\cup P(B), and then show x\in P(A\cup B).
 
n!kofeyn said:
When you assume that A={a} and B={b}, you are assuming that A and B are both singleton sets. You want to prove the relation for any sets A and B.

When proving one set is a subset of another, say X is a subset of Y, then you let x be in X and show x is in Y. So let x\in P(A)\cup P(B), and then show x\in P(A\cup B).

Okay, so let x\in P(A)\cup P(B).
Then x\in P(A) or x\in P(B)... which means x\subseteq A or x\subseteq B?

So then x\subseteq (A\cup B). Am I going in the right direction?
 
Very good, the conclusion now follows.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K