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

Example of transitive but not well ordered set needed

  1. Sep 5, 2009 #1
    Example of transitive but not well ordered set needed!!

    My question pertains to the definition of ordinals. According to Thomas Jech's edition of set theory, a set is ordinal if it is both transitive and well ordered by membership. I've been poking around trying to find an example of a set which is transitive and not well ordered by membership and only two possibilities seem to arise:

    1: By definition, a set A is not well ordered by membership if there exists some subset B of A does not contain a least member. Thus every element b within B implies the existence of another element c within B which is also an element of b. This seems recursively to lead to an infinite set B.

    2: A common counterexample I've seen is when proving that the class Ord of all ordinals is a proper class for else it would contain a member [alpha] which is an element of itself, and thus not well ordered. Furthermore, by the forum discussion on this, no set exists such that it is a member of itself and thus no set exists containing a set which is a member of itself, as this flies in the face of the Axiom Schema of Seperation.

    It seems that both cases pose a stark contradiction and thus imply that no such set exists. However, absurdity is not a requisite for truth, thus I would like to know, since all evidence seems to point towards the contrary, whether it is even possible for any set A to be transitive by the definition that every element of A is also a subset of A, and yet not be well ordered by membership.

    P.S. My idea of a set here does not include any urelements, which seems rational, for consider the set

    A = {b, {b}}
    The only way this set can possibly be transitive is if b is a subset of A, and the only non set element which inherently a member and a subset is the null element, thus
    A = {null, {null}} is transitive, and adding another element would require that element be the successor {{null}}. Much like a russian nesting doll.
  2. jcsd
  3. Sep 5, 2009 #2
    Re: Example of transitive but not well ordered set needed!!

    In the first example, I am not implying in any way that a transitive set cannot be infinite, it is the way in which it is infinite that seems counter-intuitive.

    Let B be a subset of A having no least membered element.

    Then if b is an element of B, then there exists c in B such that c is also in b, thus
    b = {....,c}
    but then c cannot be a least element, thus there must exist d in B such that d is in c
    c = {....,d}
    thus b = {....,{.....,d}}
    This continues on to create an infinite set B, but B cannot be inductive, or else null would be in B and by definition null is a least membered element. Thus B need be a non-inductive yet infinite set, containing some kind of infinite cascade of subset elements.

    The situation seems comparable to an open interval of the real line. Imagine an infinite collection of Mitroshka dolls (the russian nesting dolls). There may exist a largest Mitroshka, but there are infinitely many smaller metroshka's within it. Much like an interval (a, b] of the real line which is also not well ordered in the regular sense of the word.

    Is such a set possible?
  4. Sep 5, 2009 #3
    Re: Example of transitive but not well ordered set needed!!

    Not well-ordered by membership means that either two elements are not comparable or an infinite descending chain, the latter is forbidden by the axiom of regularity, assuming we're talking about ZFC. { 0, { 0 }, { { 0 } } } is an example of a transitive set that is not well-ordered.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook