Results 1 to 4 of 4

Math Help - Transitive Set Theory Problem

  1. #1
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782

    Transitive Set Theory Problem

    Show that for any x there exists a transitive y such that y \notin x
    x and y are sets.

    Here's my idea: Take a set x and take it's cardinality. Express this number in terms of power sets of the empty set. This would give a transitive set every time.

    The only problem is if the set we start off with is in terms of power sets of the empty set. In this case, map this to the cardinality of it's set +1 and express that number in terms of power sets of the empty set.

    Is this a good way of proving this?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    Here's an easy solution:

    Since x is a set and ON is a proper class, there exists an ordinal \alpha with \alpha \notin x.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782
    Wow, one line solutions usually make sense.

    However, we haven't been lectured about ON, proper classes or ordinals.

    Can I just ask what your ON actually is? I think i'll go and read about proper classes or ordinals, it might help me understand what you mean.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    An ordinal is a set that is transitive and well-ordered. Here are some simple examples of ordinals:

    0=\emptyset

    1=\{ \emptyset \} = \{ 0\}

    2=\{ 0,1 \}
    ...

    \omega = \{ 0,1,2,... \}

    \omega +1= \{ 0,1,2,... ,\omega \}

    ON is the class of all ordinals.

    ON is too big to be a set, thus it is a proper class.

    The ordinals should be covered in a basic set theory course. They are fundamental.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Transitive Set Problem
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: August 30th 2011, 11:19 AM
  2. Transitive set
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: February 24th 2009, 09:15 AM
  3. Set theory, transitive sets
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: February 23rd 2009, 06:29 AM
  4. tile-transitive
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: May 19th 2008, 11:11 AM
  5. Transitive
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 12th 2007, 07:50 AM

Search Tags


/mathhelpforum @mathhelpforum