Results 1 to 6 of 6

Math Help - Equal powers sets in ZF theory

  1. #1
    Newbie
    Joined
    Jun 2012
    From
    Myrtle Beach, SC
    Posts
    4

    Equal powers sets in ZF theory

    Is it possible to prove that equal power sets imply equal sets using the ZF axioms?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,801
    Thanks
    1691
    Awards
    1

    Re: Equal powers sets in ZF theory

    Quote Originally Posted by cpcook View Post
    Is it possible to prove that equal power sets imply equal sets using the ZF axioms?
    Suppose that \mathcal{P}(A)=\mathcal{P}(B).
    If \exists x\in A\setminus B then \{x\}\subseteq A so \{x\}\in\mathcal{P}(A).
    What is wrong with that?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jun 2012
    From
    Myrtle Beach, SC
    Posts
    4

    Re: Equal powers sets in ZF theory

    I cannot use the subset notation. We can only use the "element of". That is our only operator in the universe we are using.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,801
    Thanks
    1691
    Awards
    1

    Re: Equal powers sets in ZF theory

    Quote Originally Posted by cpcook View Post
    I cannot use the subset notation. We can only use the "element of". That is our only operator in the universe we are using.
    I think that you better tell us more about the course you are taking.
    Maybe a textbook or a list of axioms and/or definitions?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,545
    Thanks
    780

    Re: Equal powers sets in ZF theory

    Quote Originally Posted by cpcook View Post
    I cannot use the subset notation. We can only use the "element of". That is our only operator in the universe we are using.
    Well, yes, Zermelo–Fraenkel set theory has only two predicates: equality and membership. However, A\subseteq B is easily expressible as \forall x.\,x\in A\to x\in B. Subset relation is used in the axiom of power set.
    Last edited by emakarov; June 29th 2012 at 04:30 PM.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,401
    Thanks
    762

    Re: Equal powers sets in ZF theory

    in this case, i would be tempted to prove the contrapositive: distinct sets give rise to distinct power sets. you can use the same argument as in Plato's post:

    if x is in A\B, then {x} is in P(A)\P(B).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Equal power sets -> Equal sets?
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: July 5th 2012, 09:23 AM
  2. Computing Powers of Sets
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: November 14th 2011, 07:43 AM
  3. Prove equal powers (probably fairly primitive)
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 1st 2011, 06:15 AM
  4. Naive set theory - show two sets are equal
    Posted in the Pre-Calculus Forum
    Replies: 4
    Last Post: November 10th 2010, 03:48 AM
  5. Equal Sums of Like Powers
    Posted in the Math Forum
    Replies: 5
    Last Post: May 29th 2010, 02:55 AM

Search Tags


/mathhelpforum @mathhelpforum