Results 1 to 4 of 4

Math Help - prooving set identities

  1. #1
    Junior Member
    Joined
    Jun 2010
    Posts
    69

    prooving set identities

    This is an example solution I am reading but I can't understand the 3rd transformation.

    (A-B) \cup(B-A) =(A \cup B) - (A \cap B)
    I understand changing the LHS to

    (A-B) \cup(B-A) = (A\bigcap B)\cup(B\cap A') < ---a (this)

    using set diff representation

    (The notes I am reading use this notation where sometimes the intersection operator is "big", does it have an alternate meaning when it is big, or simply a typo?)

    If it is just a typo, then I needn't worry about it.

    but the next step I don't understand:

    (to this) b ---> (A \cup (B \cap A')) \cap (B' \cup (B \cap A'))
    the notes claim this is using distributivity,
    but I can't see how they arrive at that equation using this rule

    A \cap (B \cup C)) = (A \cap B) \cup (A \cap C) <-- this I understand,

    but I can;t see how they went from a to b
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member oldguynewstudent's Avatar
    Joined
    Oct 2009
    From
    St. Louis Area
    Posts
    241
    Quote Originally Posted by dunsta View Post
    This is an example solution I am reading but I can't understand the 3rd transformation.

    (A-B) \cup(B-A) =(A \cup B) - (A \cap B)
    I understand changing the LHS to

    (A-B) \cup(B-A) = (A\bigcap B)\cup(B\cap A') < ---a (this)

    using set diff representation

    (The notes I am reading use this notation where sometimes the intersection operator is "big", does it have an alternate meaning when it is big, or simply a typo?)

    If it is just a typo, then I needn't worry about it.

    but the next step I don't understand:

    (to this) b ---> (A \cup (B \cap A')) \cap (B' \cup (B \cap A'))
    the notes claim this is using distributivity,
    but I can't see how they arrive at that equation using this rule

    A \cap (B \cup C)) = (A \cap B) \cup (A \cap C) <-- this I understand,

    but I can;t see how they went from a to b

    In my texts \bigcap is usually an intersection of sets like

    A_1 \cap A_2 \cap A_3 \cap ... \cap A_i

    I believe this is a typo and should read (A-B) \cup(B-A) = (A\cap B')\cup(B\cap A') then getting from a to b is straightforward.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jun 2010
    Posts
    69
    sorry, I guess the use of \bigcap is a typo in the text i am studying, as the rest of the intersection operators are \cap smaller size.

    Actually, leaving out the ' complement symbol was my typo (still getting used to not only "sets" but "Latex" too.

    It reads
    (A-B) \cup(B-A) = (A \bigcap B')\cup(B\cap A')<br />
    in the text.
    So i still need an explanation of how to get from
    (A-B) \cup(B-A) = (A \cap B')\cup(B\cap A')

    to (A \cup (B \cap A')) \cap (B' \cup (B \cap A'))

    as i cant see how it relates to the distributivity example I have (in the original post)
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member oldguynewstudent's Avatar
    Joined
    Oct 2009
    From
    St. Louis Area
    Posts
    241
    Quote Originally Posted by dunsta View Post
    sorry, I guess the use of \bigcap is a typo in the text i am studying, as the rest of the intersection operators are \cap smaller size.

    Actually, leaving out the ' complement symbol was my typo (still getting used to not only "sets" but "Latex" too.

    It reads
    (A-B) \cup(B-A) = (A \bigcap B')\cup(B\cap A')<br />
    in the text.
    So i still need an explanation of how to get from
    (A-B) \cup(B-A) = (A \cap B')\cup(B\cap A')

    to (A \cup (B \cap A')) \cap (B' \cup (B \cap A'))

    as i cant see how it relates to the distributivity example I have (in the original post)
    This is just the distributive law of set identities on the RHS:

    A \cup (B \cap C) = (A \cap B) \cup (A \cap C)

    In the above identity replace A with  A \cap B' etc.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. prooving monotonicity mmn 11
    Posted in the Calculus Forum
    Replies: 4
    Last Post: March 4th 2011, 03:00 AM
  2. Prooving
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: November 11th 2009, 03:24 PM
  3. [ASK] Logic Prooving
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 7th 2009, 05:52 AM
  4. need help on prooving trig identities!
    Posted in the Trigonometry Forum
    Replies: 9
    Last Post: December 13th 2007, 04:12 AM
  5. Need help with prooving
    Posted in the Trigonometry Forum
    Replies: 1
    Last Post: May 12th 2006, 04:09 AM

Search Tags


/mathhelpforum @mathhelpforum