To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# Order type

## From Wikipedia, the free encyclopedia

In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element matches exactly one in the other set) ${\displaystyle f\colon X\to Y}$ such that both f and its inverse are monotonic (preserving orders of elements). 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 ${\displaystyle n\mapsto 2n}$ is a bijection that preserves the order. But the set of integers and the set of rational numbers (with the standard ordering) do not have the same order type, because even though the sets are of the same size (they are both countably infinite), 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 (since, for example, ${\displaystyle f(x)={\tfrac {2x-1}{1-\vert {2x-1}\vert }}}$ is a strictly increasing bijection from the former to the latter); the rationals contained in 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.

## Order type of well-orderings

Three well-orderings on the set of natural numbers with distinct order types (top to bottom): ${\displaystyle \omega }$, ${\displaystyle \omega +5}$, and ${\displaystyle \omega +\omega }$.

Every well-ordered set is order-equivalent to exactly one ordinal number, by definition. 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 set of natural numbers is ω.

The order type of a well-ordered set V is sometimes expressed as ord(V).[1]

For example, consider the set V of even ordinals less than ω ⋅ 2 + 7:

${\displaystyle V=\{0,2,4,\ldots ;\omega ,\omega +2,\omega +4,\ldots ;\omega \cdot 2,\omega \cdot 2+2,\omega \cdot 2+4,\omega \cdot 2+6\}.}$

Its order type is:

${\displaystyle \operatorname {ord} (V)=\omega \cdot 2+4=\{0,1,2,\ldots ;\omega ,\omega +1,\omega +2,\ldots ;\omega \cdot 2,\omega \cdot 2+1,\omega \cdot 2+2,\omega \cdot 2+3\},}$

because there are 2 separate lists of counting and 4 in sequence at the end.

## Rational numbers

Any countable totally ordered set can be mapped injectively into the rational numbers in an order-preserving way. Any dense countable totally ordered set with no highest and no lowest element can be mapped bijectively onto the rational numbers in an order-preserving way.

## Notation

The order type of the rationals is usually denoted ${\displaystyle \eta }$. If a set S has order type ${\displaystyle \sigma }$, the order type of the dual of S (the reversed order) is denoted ${\displaystyle \sigma ^{*}}$.

## See also

Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.