How Do You Prove Power Set Equations for Sets A and B?

AI Thread Summary
The discussion focuses on proving two power set equations involving sets A and B. The first equation, P(A U B) = P(A) U P(B), is shown to be false, with the subset relationship demonstrated from right to left. The second equation, P(A-B) = P(A) - P(B), is also proven false, as neither side is a subset of the other using specific counterexamples. Examples provided include sets A = {1,2} and B = {1,3}, illustrating the discrepancies in the power sets. The conclusion emphasizes that both equations do not hold true universally.
JasonJo
Messages
425
Reaction score
2
How in the heck do i prove these:

Prove whether the following equations are true for all sets. For each one that's not always true, try to prove that one side is a subset of the other, and give a counterexample to the other direction. If neither side must be a subset of the other, give a counterexample to both directions:

let P(A) denote the power set of A

a) P(A U B) = P(A) U P(B)
b) P(A-B) = P(A) - P(B)
 
Physics news on Phys.org
a. is not true. Think about it, try an example or two. The subset goes from right to left. To prove things like this, you assume x is an element of P(A) U P(B) and show that x must be an element of P(A U B).

b. is also not true, the subset goes from left to right.
 
for part (b) i don't think either side is a subset of each other because:

let A = {1,2}
B = {1,3}
A-B = {2}

P(A) = {0, 1, 2, {1,2}}
P(B) = {0, 1, 3, {1,3}}
P(A)-P(B) = {2, {1,2}}
P(A-B) = {0, 2}

they aren't equal and one isn't a subset of another.
 
Ah, you're right.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top