1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

May someone perform a quick check of this proof involving disjunctions?

  1. Jan 6, 2012 #1
    1. The problem statement, all variables and given/known data


    *below, the notation P() denotes the power set of the set within parentheses.

    Prove that for any sets A and B, if P(A) U P(B) = P(A U B) then either A ⊆ B or B ⊆ A.


    2. Relevant equations


    3. The attempt at a solution

    Let A and B be arbitrary. Assume P(A) U P(B) = P(A U B). Note that A U B ⊆ A U B (trivial lemma omitted). This means A U B ∈ P(A U B). By our original assumption, then, A U B ∈ P(A) U P(B). So either A U B ∈ P(A) or A U B ∈ P(B).
    Case I. A U B ∈ P(A). Then A U B ⊆ A. Now let x ∈ B. It clearly follows that x ∈ A or x ∈ B. Hence, x ∈ A U B. But since A U B ⊆ A, x ∈ A. As x was arbitrary, B ⊆ A. Obviously, this implies that either A ⊆ B or B ⊆ A.
    Case II. A U B ∈ P(B). Then A U B ⊆ B. Now let x ∈ A. The proof of this case is analogous to that in Case I.
    Since these cases are exhaustive and each result in A ⊆ B or B ⊆ A, if P(A) U P(B) = P(A U B) then either A ⊆ B or B ⊆ A. Lastly, since A and B were arbitrary, then we have shown for any sets A and B, if P(A) U P(B) = P(A U B) then either A ⊆ B or B ⊆ A.
     
  2. jcsd
  3. Jan 6, 2012 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Looks fine to me.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: May someone perform a quick check of this proof involving disjunctions?
Loading...