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

Order isomorphism

  1. Dec 26, 2011 #1

    jgens

    User Avatar
    Gold Member

    I am trying to prove the following results: If α and β are ordinals, then the orderings (α,∈) and (β,∈) are isomorphic if and only if α = β.

    So far, I have only proved that the class Ord is transitive and well-ordered by ∈. I can prove this result with the following lemma: If f:α→β is an order-preserving map, then z ≤ f(z). However, I am having difficulty proving this lemma without something like transfinite induction. Any help?
     
  2. jcsd
  3. Dec 26, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Assume that [itex]z\leq f(z)[/itex] does NOT hold. Then there is a least a such that [itex]f(a)<a[/itex]. Take f of both sides.
     
  4. Dec 26, 2011 #3

    jgens

    User Avatar
    Gold Member

    That works perfectly! I am silly for not thinking of something like that. Thanks!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Order isomorphism
  1. Order isomorphism (Replies: 9)

  2. Isomorphic Groups (Replies: 0)

  3. Isomorphisms of graphs (Replies: 3)

Loading...