Results 1 to 4 of 4

Math Help - SET Operations

  1. #1
    Newbie
    Joined
    Apr 2010
    Posts
    23

    SET Operations

    hi all,,,
    i need a hand on sumin.....
    Use the laws of algebra of sets to show that (X union Y) intersection X = X
    please specify which rules you use in the derivation
    (Hint: you may use the fact that (X union Y) intersection X = (X union Y) intersection (X union empty Set) [rule 5a] a sequence of identities).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Failure's Avatar
    Joined
    Jul 2009
    From
    Zürich
    Posts
    555
    Quote Originally Posted by npm1 View Post
    hi all,,,
    i need a hand on sumin.....
    Use the laws of algebra of sets to show that (X union Y) intersection X = X
    please specify which rules you use in the derivation
    (Hint: you may use the fact that (X union Y) intersection X = (X union Y) intersection (X union empty Set) [rule 5a] a sequence of identities).
    (X\cup Y)\cap X = (X\cup Y)\cap (X\cup \emptyset) = X\cup (Y\cap \emptyset) = X\cup \emptyset = X
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2010
    Posts
    23

    can u explain to me please

    can u explain your awnser to me..... i don't under stand
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member Failure's Avatar
    Joined
    Jul 2009
    From
    Zürich
    Posts
    555
    Quote Originally Posted by npm1 View Post
    can u explain your awnser to me..... i don't under stand
    An explanation always has to refer to what the person, who is to receive the explanation, already knows. Since I don't know exactly what you already know, it's going to be guesswork on my part, but I'll try to improve somewhat on my first attempt in this direction

    Let me annotate the various equality signs with numbers, so that I can refer to them with precision:
    (X\cup Y)\cap X \overset{\text{(1)}}{=} (X\cup Y)\cap (X\cup \emptyset) \overset{\text{(2)}}{=} X\cup (Y\cap \emptyset) \overset{\text{(3)}}{=} X\cup \emptyset \overset{\text{(4)}}{=} X

    Now the explanation for why the corresponding equality sign holds (if the above sequence of transformations is read from left to right):

    (1) is an application of the hint that you were given in the problem statement. This is one of the two "absorption laws, namely that X\cup \emptyset=X is true for any set X. Thus we are allowed to replace any occurrence of X with X\cup \emptyset, if we want to do that.

    (2) is an application of the distributive law for \cap and \cup. In fact, there are two distributive laws, one of which is A\cup (B\cap C)=(A\cup B)\cap (A\cup C) which was applied here (in the right-to-left direction, by setting A := X, B := Y, C :=\emptyset).
    Btw: The other distributive law is A\cap (B\cup C)=(A\cap B)\cup (A\cap C), but we didn't need it here.

    (3) is is an application of the other "absorption law", which says that Y\cap \emptyset = \emptyset, for any set Y is true. Thus we can replace any occurrence of Y\cap \emptyset by \emptyset, if we want to do that.

    (4) This is yet another application of the first absorption law, already used in (1), namely that X\cup\emptyset=X, for any set X is true.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. operations
    Posted in the Algebra Forum
    Replies: 16
    Last Post: April 25th 2011, 04:12 PM
  2. Set Operations
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 26th 2010, 03:04 PM
  3. Set operations
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: November 15th 2009, 05:05 PM
  4. Set Operations
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: January 27th 2009, 02:54 AM
  5. Replies: 5
    Last Post: February 6th 2006, 03:13 AM

Search Tags


/mathhelpforum @mathhelpforum