# Powerset proof

Klion
P for powerset, n for intersection

show that P(AnB)=P(A) n P(B)

Studying for a midterm, seen this question in our textbook and on an old midterm. No idea how to do it. Anyone know?

Last edited:

Homework Helper
It's pretty basic, just apply definitions, and you should be ok.
Just prove that if x is in P(A &cap; B) then x is also in P(A) &cap; P(B), and
that if x is in P(A) &cap; P(B) then x is in P(A &cap; B).

It should just be applying definitions.

Klion
I know the idea behind doing a proof heh, I think my textbook is somewhat lacking though. What definitions shoudl I be attempting to make use of. Only info ive found on powersets in textbook is what the powerset actually is (the set containing all the subsets). Cant think of any helpful way to apply that to a general case though.

Homework Helper
Ok:

x is in P(A &cap; B) is equivalent to saying that
x is a subset of A &cap; B
so each element &chi; of x is in A &cap; B
so each element &chi; of x is in A and in B
so x is a subset of A and x is a subset of B
so x is in P(A) and x is in P(B)

you should have no problem filling in the holes, and going in the other direction from there.

Gold Member
Shouldn't that be x is an element of....