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!

Homework Help: Please check this

  1. Mar 25, 2005 #1
    Verify [itex]A\cap(B-C)=(A\cap B)-(A\cap C)[/itex].

    This is how I did it:

    From [itex]x\in[A\cap(B-C)][/itex] (lhs) we have that
    1.) [itex]x\in A[/itex]
    2.) [itex]x\in B[/itex]
    3.) [itex]x\notin C[/itex]
    From #1 and #2 we have that
    4.) [itex]x\in(A\cap B)[/itex]
    Now, since [itex]x\in(A\cap C)[/itex] means that [itex]x\in A[/itex] and [itex]x\in C[/itex], but we have [itex]x\notin C[/itex], it follows that
    5.) [itex]x\notin(A\cap C)[/itex]
    Remembering that [itex]x\in(A-B)[/itex] means that [itex]x\in A[/itex] and [itex]x\notin B[/itex] it follows from #4 and #5 that
    [itex]x\in[(A\cap B)-(A\cap C)][/itex] (rhs)

    Is this right?

    - Kamataat
  2. jcsd
  3. Mar 25, 2005 #2
    Yes, but it is only half of the proof. You have shown

    [tex](A \cap B) - (A \cap C) \supseteq A \cap (B-C)[/tex]

    To finish the proof you must also go in "reverse" and show

    [tex](A \cap B) - (A \cap C) \subseteq A \cap (B-C)[/tex]
  4. Mar 25, 2005 #3
    I see. My mistake was to assume the thing I was trying to prove... and I forgot, that [itex]A=B[/itex] iff [itex]A\subseteq B\wedge B\subseteq A[/itex].

    I'll post the other half in the morning. Got to sleep now. Thanks!

    - Kamataat
  5. Mar 26, 2005 #4
    Is this it?:

    From [itex]x\in[(A\cap B)-(A\cap C)][/itex] (rhs) we have
    1.) [itex]x\in(A\cap B)[/itex]
    2.) [itex]x\notin(A\cap C)[/itex]
    From #1 it follows that
    3.) [itex]x\in A[/itex] and [itex]x\in B[/itex]
    From #2 and #3 it follows that
    4.) [itex]x\in A[/itex] and [itex]x\notin C[/itex] (not the other way around because #3 shows that [itex]x\in A[/itex])
    Now we have
    5.) [itex]x\in A[/itex] and [itex]x\in B[/itex] and [itex]x\notin C[/itex]
    From #5 it follows that
    6.) [itex]x\in A[/itex] and [itex]x\in(B-C)[/itex] from which we get
    7.) [itex]x\in[A\cap(B-C)][/itex] (lhs)

    The one question I have is about #5-->#6. As far as I understand it, #5 could also result in "[itex]x\in B[/itex] and [itex]x\in(A-C)[/itex]", or could it not because of steps #3 and #4?

    - Kamataat
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook