Order type

Order type

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: XY 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 n\mapsto2n preserves the order. But the set of integers and the set of rational numbers (with the standard ordering) are not order isomorphic, 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

y = \frac{2x - 1}{1 - \vert {2x - 1} \vert}

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.

Rational numbers

Any countable totally ordered set can be mapped injectively into the rational numbers in an order-preserving way.

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

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • order type — A property of an order, containing the conditions to which this order must adhere for execution ( e.g., limit, market, stop). Chicago Mercantile Exchange Glossary …   Financial and business terms

  • Type physicalism — The relevant question: what will research discover? Can types of mental states be meaningfully described by types of physical events (type physicalism), or is there some other problem with this pursuit? Type physicalism (also known as reductive… …   Wikipedia

  • Order (exchange) — An order in a market such as a stock market, bond market, commodity market or financial derivative market is an instruction from customers to brokers to buy or sell on the exchange. These instructions can be simple or complicated. There are some… …   Wikipedia

  • Order isomorphism — In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be… …   Wikipedia

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Order of the Phoenix (Greece) — Order of the Phoenix Τάγμα του Φοίνικος Grand Cross and Star of the Order of the Phoenix, III. type Awarded by the President of the Hellenic Republic Type Order …   Wikipedia

  • Order of Preachers —     Order of Preachers     † Catholic Encyclopedia ► Order of Preachers     As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …   Catholic encyclopedia

  • Order of the White Star — Sash and star of the 1st Class Awarded by Estonia Type Order and medal …   Wikipedia

  • Order of Klement Gottwald — Řád Klementa Gottwalda Order of Klement Gottwald Awarded by the President of Czechoslovakia …   Wikipedia

  • Type-V mutant — is a term used in the manga to refer to humans who are infected with a retrovirus called the V virus. The virus causes mutations in the DNA which result in the carriers exhibiting vampire like characteristics, most notably pronounced canines and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”