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

Click For Summary

Homework Help Overview

The discussion revolves around proving power set equations for two sets, A and B. Participants are examining the validity of two specific equations involving power sets and set operations.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants are attempting to prove the equations by considering examples and exploring subset relationships. They are questioning the validity of the equations and discussing counterexamples.

Discussion Status

Some participants have provided counterexamples to demonstrate that the equations do not hold true in all cases. There is acknowledgment of the validity of these counterexamples, indicating a productive exploration of the topic.

Contextual Notes

Participants are working under the assumption that they need to prove the equations for all sets and are encouraged to provide counterexamples where applicable.

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.
 

Similar threads

Replies
24
Views
3K
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 24 ·
Replies
24
Views
6K
Replies
16
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
7K
  • · Replies 3 ·
Replies
3
Views
3K