Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that for any sets $A$ or $B$, if $\mathcal P(A) \cup \mathcal P(B)= \mathcal P(A\cup B)$ then either $A \subseteq B$ or $B \subseteq A$. ($\mathcal P$ is the power set.)

I'm having trouble making any progress with this proof at all. I've assumed that $\mathcal P(A) \cup \mathcal P(B)= \mathcal P(A\cup B)$, and am trying to figure out some cases I can use to help me prove that either $A \subseteq B$ or $B \subseteq A$.

The statement that $\mathcal P(A) \cup \mathcal P(B)= \mathcal P(A\cup B)$ seems to be somewhat useless though. I can't seem to make any inferences with it that yield any new information about any of the sets it applies to or elements therein. The only "progress" I seem to be able to make is that I can conclude that $A \subseteq A \cup B$, or that $B \subseteq A \cup B$, but I don't think this gives me anything I don't already know. I've tried going down the contradiction path as well but I haven't been able to find anything there either.

I feel like I am missing something obvious here though...

share|cite|improve this question

marked as duplicate by azimut, vonbrand, Tara B, Asaf Karagila, Micah Mar 30 '13 at 15:09

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

up vote 8 down vote accepted

Hint: Try instead to prove the contrapositive:

If $A \nsubseteq B$ and $B \nsubseteq A$, then $\mathcal{P} ( A ) \cup \mathcal{P} ( B ) \neq \mathcal{P} ( A \cup B )$.

Remember that $E \nsubseteq F$ means that there is an element of $E$ which is not an element of $F$.

share|cite|improve this answer

If $\mathcal P(A)\cup \mathcal P(B)=\mathcal P(A\cup B)$, then $A\cup B\in \mathcal P(A)\cup \mathcal P(B)$, so either $A\cup B\in \mathcal P(A)$ or $A\cup B\in \mathcal P(B)$. Thus either $A\cup B\subseteq A$ or $A\cup B\subseteq B$, so...

share|cite|improve this answer

You’re right: $\wp(A)\cup\wp(B)\ne\wp(A\cup B)$ doesn’t obviously give you much to work with; that’s often the case with not equals statements. When that happens, it’s always worth taking a look at the contrapositive: does negating the desired conclusion give you more to work with? Here that gives you the hypothesis that $A\nsubseteq B\nsubseteq A$; not a subset isn’t necessarily much better than not equals, but it’s a statement about simpler objects, and when re-expressed in terms of elements of $A$ and $B$, it turns out to do the trick. That’s Arthur Fischer’s excellent hint.

The next step, by the way, would be to try a proof by contradiction: that gives you the ‘largest’ possible hypothesis to work with.

However, the original hypothesis actually does more than may at first appear, if you think about it right. It’s pretty obvious that $\wp(A)\cup\wp(B)\subseteq\wp(A\cup B)$ always holds, so $\wp(A)\cup\wp(B)\ne\wp(A\cup B)$ is really saying that $\wp(A)\cup\wp(B)\subsetneqq\wp(A\cup B)$, i.e., that $A\cup B$ has some subset $S$ that is not a subset of $A$ and not a subset of $B$. Draw a Venn diagram, and you’ll probably see immediately why that entails $A\nsubseteq B\nsubseteq A$.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.