In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are monotone (order preserving). (In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse.)
For example, the set of integers and the set of even integers have the same order type, because the mapping 
preserves the order. But the set of integers and the set of rational numbers are not order isomorphic, because, even though the sets are the same size, there is no order-preserving bijective mapping between them. To these two order types we may add two more: the set of positive integers (which has a least element), and that of negative integers (which has a greatest element). The open interval (0,1) of rationals is order isomorphic to the rationals (
provides a monotone bijection from the former to the latter); the half-closed intervals [0,1) and (0,1], and the closed interval [0,1], are three additional order type examples.
Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.
Contents |
Order type of well-orderings
Every well-ordered set is order-equivalent to exactly one ordinal number. The ordinal numbers are taken to be the canonical representatives of their classes, and so the order type of a well-ordered set is usually identified with the corresponding ordinal. For example, the order type of the natural numbers is ω.
The order type of a well-ordered set V is sometimes expressed as ord(V).[1]
For example, consider the set of even ordinals less than ω·2+7, which is:
- V = {0, 2, 4, 6, ...; ω, ω+2, ω+4, ...; ω·2, ω·2+2, ω·2+4, ω·2+6}.
Its order type is:
- ord(V) = ω·2+4 = {0, 1, 2, 3, ...; ω, ω+1, ω+2, ...; ω·2, ω·2+1, ω·2+2, ω·2+3}.
Because there are 2 separate lists of counting and 4 in sequence at the end.
Notation
The order type of the rationals is usually denoted η. If a set S has order type σ, the order type of the dual of S (the reversed order) is denoted σ * .
See also
External links
- Weisstein, Eric W., "Order Type" from MathWorld.
References
Open source encyclopedia content modification information:
This page was last modified on 4 March 2010 at 07:01.
Authorship and Review
Open source encyclopedia content provided here is not reviewed directly by MedLibrary.org. Content is sourced directly from Wikipedia and is authored by an open community of volunteers. It is not produced by or in any way affiliated with MedLibrary.org.
Usage Guidelines
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article on "Order type", which is available in its original form here:
http://en.wikipedia.org/w/index.php?title=Order_type
All material adapted used from Wikipedia is available under the terms of the GNU Free Documentation License. Wikipedia® itself is a registered trademark of the Wikimedia Foundation, Inc.