Results 1 to 4 of 4

Math Help - Prove Set theroy

  1. #1
    Member
    Joined
    Oct 2008
    Posts
    93

    Prove Set theroy

    Prove that for any two sets A;B , we have (A n B)^c = A^c u B^c


    I think im supposed to start expansion with the de morgan laws my teacher said I was doing it wrong I'm pretty sure this is the correct approach but i dont know how to continue
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Deadstar's Avatar
    Joined
    Oct 2007
    Posts
    722
    Quote Originally Posted by treetheta View Post
    Prove that for any two sets A;B , we have (A n B)^c = A^c u B^c


    I think im supposed to start expansion with the de morgan laws my teacher said I was doing it wrong I'm pretty sure this is the correct approach but i dont know how to continue
    Lol usually if your lecturer tells you it's wrong it's wrong...

    Consider an element x \in (A \cap B)^c.

    Then x is NOT contained in the intersection of A and B.

    Hence x is NOT contained in A or B.

    Hence x IS contained in A^c and also B^c.

    So x \in A^c \cup B^c.


    Then to prove the reverse...

    Well, you try it.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2008
    Posts
    93
    so then

    x is an element of A^c u b^c

    hence, X is an element of A^c and B^c

    so x is not contained in A or B

    so x is an element of (AnB)^c since AnB is everything thats in both A and B

    hence

    (A n B)^c = A^c u B^c

    is that the correct approach?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member
    Joined
    Aug 2009
    From
    Israel
    Posts
    976
    Quote Originally Posted by treetheta View Post
    so then

    x is an element of A^c u b^c

    hence, X is an element of A^c and B^c No: x is an element of A^c OR B^c. This renders the rest of the proof invalid..

    so x is not contained in A or B

    so x is an element of (AnB)^c since AnB is everything thats in both A and B

    hence

    (A n B)^c = A^c u B^c

    is that the correct approach?
    It is the correct approach.
    Now, after stating x \in A^c \cup B^c \Rightarrow x \in A^c OR x \in B^c, separate to 2 cases:

    1) If x \in A^c, is x in (A \cap B)^c?
    2) If
    x \in B^c, is x in (A \cap B)^c?

    Try to formally write this, it usually helps..
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. group theroy question
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 17th 2010, 05:25 PM
  2. group theroy question
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: April 4th 2010, 08:45 PM
  3. number theroy
    Posted in the Number Theory Forum
    Replies: 9
    Last Post: October 14th 2008, 08:24 AM
  4. Set Theroy
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: April 10th 2008, 07:57 PM
  5. Set Theroy
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 27th 2008, 10:34 AM

Search Tags


/mathhelpforum @mathhelpforum