1. Not finding help here? Sign up for a free 30min 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!

Sets and De Morgan

  1. Sep 10, 2012 #1
    1. The problem statement, all variables and given/known data

    I'm using Introduction to Analysis 5th edition by Edward D. Gaughan.

    The question is:
    Prove (De Morgan)
    S\([itex]\bigcap[/itex] A[itex]_{\lambda}[/itex]) = [itex]\cup[/itex](S\A)
    [itex]\lambda\epsilon[/itex] [itex]\Lambda[/itex]
    Where [itex]\Lambda[/itex] A and S are sets
    (doesn't specify real or complex but assuming real)


    2. Relevant equations
    to prove two things equal it is enough to show they are contained within each other
    union is all elements of both sets, none repeat (ie if two appears twice count it only once)
    intersection is all elements common to both sets

    3. The attempt at a solution

    (for typing purposes I'll just write everything out in words rather than symbols, having trouble from my tablet)
    I can understand that if there is some x that belongs to this set, it is clear that it belongs to S and not the intersection of A[itex]\lambda[/itex]
    On the right hand side of the equation I can see that if x is not in the intersection of A[itex]\lambda[/itex] and it is in S, then the union of the two sets would mean that x is in the right hand side of the equation since it's in S.

    I don't think it is enough for what my Prof. is looking for. Any thoughts?
     
  2. jcsd
  3. Sep 10, 2012 #2
    Krovski, perhaps we can start off a little smaller.

    Let A,B, and C be sets.

    For three sets, the DeMorgan's Law in question states:

    A-(B ∩ C) = (A - B) ∪ (A - C).

    *I am using A-B to denote {x| x is in A and x is not in B}

    Prove that first. Then, perhaps solving this will give us a better intuition for arbitrary unions and intersections.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook