Results 1 to 6 of 6

Math Help - Proving Basic Set Operations

  1. #1
    Newbie
    Joined
    Feb 2009
    Posts
    3

    Proving Basic Set Operations

    Hello,

    Sorry if my questions seem elementary, I am new to real analysis. Anyway I am having trouble with the following:

    1. Prove that the empty set is unique. That is, suppose A and B are empty sets and prove A=B.

    2. Prove, If U=A(union)B and A(intersection)B = empty set, then A=U\B.

    Thank you for your help.

    k
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    The first one is simple logic.
    The statment that "if \color{blue}x \in \emptyset then \color{blue}1=2" is TRUE.
    Recall that a false statement implies any statement and x \in \emptyset is false.
    So both of these are true:
    x \in \emptyset=A then x \in B and x \in \emptyset=B then x \in A
    Therefore we have proved A=B.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2009
    Posts
    3

    Thank you

    Oh yes, that is so simple that it went right over my head initially. I see exactly what you mean!

    Thank you!
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,393
    Thanks
    1327
    In general, to prove A= B for sets you prove A\subset B and B\subset A. And to prove A\subset B you start with "if x\in A" and, using properties of A and B, conclude " x\in B".

    In this case, if x\in A then x\in U= A Union B and x is not in B since A intersect B is empty. Those together say x\in U\B so A\subsetU\B.

    If x\in U\B then x\in U but x is not in B. Since every member of of U is in either A or B, x must be in A proving U\B \subset A.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Feb 2009
    Posts
    3

    I see

    Thank you again!

    That makes sense now that I follow your logic. But I am having so much trouble constructing these from scratch! I will keep working at it, maybe it will start coming to me, like magic... ok, that is wishful thinking.

    K
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Banned
    Joined
    Oct 2008
    Posts
    71
    Quote Originally Posted by math-chef View Post
    Hello,

    Sorry if my questions seem elementary, I am new to real analysis. Anyway I am having trouble with the following:

    1. Prove that the empty set is unique. That is, suppose A and B are empty sets and prove A=B.

    2. Prove, If U=A(union)B and A(intersection)B = empty set, then A=U\B.

    Thank you for your help.

    k

    1) Suppose we have two empty sets Φ and Φ',if we can prove Φ=Φ' ,we are done.

    So we know that the empty set is the subset of any other set X,thus:

    ................ \emptyset\subseteq X ....for all X...................

    IN this relation put X=Φ' And we get : \emptyset\subseteq\emptyset'.................................................. .....1

    Since also Φ' is an empty set we have:

    ................. \emptyset'\subseteq X for all X...................................

    And in this relation put X=Φ and we get : \emptyset'\subseteq\emptyset.................................................. .......................................2

    Thus by (1) and (2) and equality of sets we get Φ=Φ'.......................
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 3
    Last Post: February 19th 2011, 05:02 PM
  2. Basic Order of Operations question
    Posted in the Algebra Forum
    Replies: 2
    Last Post: October 19th 2009, 12:07 PM
  3. Basic Operations with Polynomials
    Posted in the Algebra Forum
    Replies: 2
    Last Post: August 19th 2009, 04:02 PM
  4. Complex Numbers-basic operations
    Posted in the Pre-Calculus Forum
    Replies: 4
    Last Post: July 26th 2009, 03:05 AM
  5. Basic Operations with polynomials
    Posted in the Algebra Forum
    Replies: 5
    Last Post: June 30th 2008, 04:11 PM

Search Tags


/mathhelpforum @mathhelpforum