Results 1 to 3 of 3

Math Help - set theory proof

  1. #1
    Junior Member
    Joined
    Dec 2009
    From
    Texas
    Posts
    70
    Awards
    1

    set theory proof

    Prove or disprove that A\setminus(A \setminus B) \subseteq B

    \textbf{Proof. } Let x \in A \setminus (A \setminus B). Then x \in A and  x \notin A \setminus B . Since x \notin A \setminus B, x \notin A or x \in B. Since it can't be the case that  x \notin A, we must have that x \in B. Therefore, A \setminus (A \setminus B) \subseteq B

    The proof seems to make sense (to me at least), but what if A and B are disjoint? Wouldn't that mean that A \setminus (A\setminus B) = \emptyset?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,712
    Thanks
    1642
    Awards
    1
    \begin{gathered}<br />
  A\backslash \left( {A\backslash B} \right) = A \cap \left( {A \cap B^c } \right)^c  \hfill \\<br />
  A \cap \left( {A \cap B^c } \right)^c  = A \cap \left( {A^c  \cup B} \right) \hfill \\<br />
  A \cap B \subseteq B \hfill \\ <br />
\end{gathered}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Thumbs down

    Quote Originally Posted by james121515 View Post

    The proof seems to make sense (to me at least), but what if A and B are disjoint? Wouldn't that mean that A \setminus (A\setminus B) = \emptyset?
    And saying that \varnothing\subseteq B bothers you?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Set Theory: Help with a proof
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: November 11th 2010, 01:59 PM
  2. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  3. Set theory proof?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: April 10th 2010, 12:27 PM
  4. Need help on a Set Theory proof
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 21st 2009, 10:02 PM
  5. Set Theory Proof
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 13th 2006, 01:54 PM

Search Tags


/mathhelpforum @mathhelpforum