Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Theorems of set theory prove

  1. Nov 29, 2008 #1
    I need help on how to get started with this question:
    Im stocked and i just dont have a clue on how to figure this out.

    If A intersect B = C intersect B and A intersect B' = C intersect B' then A = C
  2. jcsd
  3. Nov 29, 2008 #2


    User Avatar
    Science Advisor

    To save writing * = intersec and + = union.

    A = A*B + A*B' = C*B + C*B' = C

    A = A*B + A*B' results from 2 things, distributive law for sets [A*(B+B') = A*B + A*B'] and the fact that B+B' is the entire space.
  4. Nov 29, 2008 #3
    Thank you but
    i'm a little bit confused now..
    Let me just translate what you wrote,

    A = A*B + A*B' = C*B + C*B' = C


    A = (AnB) U (AnB') = (CnB) U (CnB') = C the symbol "n" for intersect

    A = AnB U AnB' results from 2 things, distributive law for sets [An(BUB') = AnB U AnB']

    I just don't quite get it. Could you please justify it. Like step by step if possible?

    Let me just re-write the question:
    If A n B = C n B and A n B' = C n B' then A = C
  5. Nov 29, 2008 #4


    User Avatar
    Science Advisor
    Homework Helper

    they share the same points inside B and also share the same points outside B. E.g. if you and your roommate have the same girlfriends both in class and outside class, then you have all the same girlfriends.
  6. Dec 1, 2008 #5
    I understand the example you mentioned above but i still don't get this:

    A = (AnB) U (AnB') = (CnB) U (CnB') = C

    i don't get how you figure that out!
    still doesn't make sense to me
    Last edited: Dec 1, 2008
  7. Dec 1, 2008 #6


    User Avatar
    Science Advisor

    In words A intersect B means all point in A and in B, while A intersect B' means all points in A and not in B. Put them together and you get all points in A.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook