Order type

Not to be confused with ordered types.
For different types of financial orders, see Order (exchange).

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 pairs with exactly one in the other set) 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 already implies monotonicity of its inverse.

One and the same set may be equipped with different orders. Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.

Notation

If a set has order type denoted , the order type of the reversed order, the dual of , is denoted .

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

Examples

The order type of the integers and rationals is usually denoted and , respectively. The set of integers and the set of even integers have the same order type, because the mapping 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. The open interval (0, 1) of rationals is order isomorphic to the rationals, since, for example, is a strictly increasing bijection from the former to the latter. Relevant theorems of this sort are expanded upon below.

More examples can be given now: The set of positive integers (which has a least element), and that of negative integers (which has a greatest element). The natural numbers have order type denoted by ω, as explained below.

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.

Order type of well-orderings

Three well-orderings on the set of natural numbers with distinct order types (top to bottom): , , and .

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. Order types thus often take the form of arithmetic expressions of ordinals.

Examples

Firstly, the order type of the set of natural numbers is ω. Any other model of Peano arithmetic, that is any non-standard model, starts with a segment isomorphic to ω but then adds extra numbers. For example, any countable such model has order type ω + (ω* + ω) ⋅ η.

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

As this comprises two separate counting sequences followed by four elements at the end, the order type is

Rational numbers

With respect to their standard ordering as numbers, the set of rationals is not well-ordered. Neither is the completed set of reals, for that matter.

Any countable totally ordered set can be mapped injectively into the rational numbers in an order-preserving way. When the order is moreover dense and has no highest nor lowest element, there even exist a bijective such mapping.

See also

  • Weisstein, Eric W. "Order Type". MathWorld.

References

  1. ^ "Ordinal Numbers and Their Arithmetic". Archived from the original on 2009-10-27. Retrieved 2007-06-13.

Read other articles:

Boun Oum

PangeranBoun Oumບຸນອຸ້ມ ນະ ຈຳປາສັກBoun Oum Tahun 1971 Perdana Menteri Laos ke-4Masa jabatan13 Desember 1960 – 23 Juni 1962Penguasa monarkiSisavang Vatthana PendahuluSouvanna PhoumaPenggantiSouvanna PhoumaMasa jabatan25 Maret 1949 – 24 Februari 1950Penguasa monarkiSisavang Vong PendahuluSouvannarathPenggantiPhoui Sananikone Informasi pribadiLahir2 Desember 1912[1]Champasak, LaosMeninggal17 Maret 1980 (usia 68)Boulogne-Billancourt, P...

 

 

The Warrior (song)

1984 single by Scandal The WarriorSingle by Scandalfrom the album Warrior B-sideLess Than HalfReleasedJune 1984Genre Pop-rock[1] new wave[2] Length 4:00 (album version) 3:35 (7-inch version) LabelColumbiaSongwriter(s) Nick Gilder Holly Knight Producer(s)Mike ChapmanScandal singles chronology Win Some, Lose Some (1983) The Warrior (1984) Hands Tied (1984) The Warrior is a song by American rock band Scandal featuring Patty Smyth, from the album Warrior, written by Holly Knight a...

 

 

J. Dewey Soper

Canadian ornithologist, explorer, and zoologist J. Dewey SoperBornJoseph Dewey Soper(1893-05-05)May 5, 1893Guelph, Ontario, CanadaDiedNovember 2, 1982(1982-11-02) (aged 89)Edmonton, Alberta, CanadaAlma materUniversity of AlbertaOccupation(s)Ornithologist, zoologistSpouseCarolyn Freeman Joseph Dewey Soper (May 5, 1893 – November 2, 1982) was a widely traveled Canadian Arctic ornithologist, explorer, zoologist, and prolific author. Early years Soper was raised near Rockwood, On...

Museum of Comic and Cartoon Art

Arts organization and museum in New York City Museum of Comic and Cartoon ArtComics professionals Robert Sikoryak, Danny Fingeroth, Arie Kaplan, Jerry Robinson and Eddy Friedfeld at the Museum of Comic and Cartoon Art in 2006EstablishedOctober 2001DissolvedJuly 9, 2012Location594 Broadway, New York CityCoordinates40°44′N 73°59′W / 40.74°N 73.99°W / 40.74; -73.99Typeexhibition of narrative art, cartoons, comic books and graphic novelsDirectorEllen S. Abramowitz ...

 

 

Kerajaan Italia (1861–1946)

Kerajaan ItaliaRegno d'Italia1861–1946 Bendera Lambang Semboyan: FERTLagu kebangsaan: Marcia Reale d'OrdinanzaRoyal March of Ordinance¹ La Leggenda del Piave Territori dan koloni Italia pada tahun 1941.   Kerajaan Italia   Koloni dan posisi Italia   Daerah pendudukan Italia dan protektoratnya. Ibu kotaTurin(1861–64)Florence(1864–71)Roma(1871–1943, 1945–46)Brindisi(1943–45)Bahasa yang umum digunakanItaliaAgama Gereja Katolik RomaPemerin...

 

 

Modèle:Infobox Catch (spectacle)

 Documentation[voir] [modifier] [historique] [purger] Ce modèle utilise le module Infobox/Catch (spectacle), un script écrit dans le langage de programmation Lua. Toute expérimentation devrait être conduite d'abord via sa sous-page bac à sable. Voir le projet Scribunto si vous voulez en savoir plus. Ce modèle utilise les données de Wikidata (aide). Un paramètre laissé vide dans le wikicode fera appel à l'élément wikidata correspondant de l'art...

Evolution

Change in the heritable characteristics of biological populations This article is about evolution in biology. For related articles, see Outline of evolution. For other uses, see Evolution (disambiguation). For a more accessible and less technical introduction to this topic, see Introduction to evolution. Part of the Biology series onEvolution Mechanisms and processes Adaptation Evolution Genetic drift Gene flow History of life Maladaptation Modern synthesis Mutation Natural selection Neutral ...

 

 

Deabeas Owusu-Sekyere

Deabeas Owusu-Sekyere Nazionalità  Paesi Bassi Altezza 184 cm Calcio Ruolo Attaccante Squadra  Zhejiang Zhiye CarrieraGiovanili 200?-2010 SV Amstelland Utd2010-2011 AFC2011-2016 Ajax2016-2017 Twente2017-2020 LeixõesSquadre di club1 2018-2019→  Freamunde28 (4)2020-2022 Paide53 (27)2022-2023 Cangzhou Xiongshi45 (12)2024- Zhejiang Zhiye2 (0) 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo �...

 

 

ثقافة سعودية

ثقافة سعوديةمعلومات عامةالبلد السعودية القارة آسيا فرع من ثقافة الأرض اللغات العربية مقالات ذات علاقةالتاريخ تاريخ السعودية تعديل - تعديل مصدري - تعديل ويكي بيانات هذه المقالة جزء من سلسلة عنثقافة السعودية مجتمع تاريخ لغات سعوديون الدين فنون وآداب العمارة الفنون البصرية...

Antisemitism in the United States

Hatred towards the Jewish people within the US It has been suggested that Antisemitism in the United States in the 21st century be merged into this article. (Discuss) Proposed since October 2023. A protest against Jews, held by the Westboro Baptist Church Antisemitism has long existed in the United States. Most Jewish community relations agencies in the United States draw distinctions between antisemitism, which is measured in terms of attitudes and behaviors, and the security and status of A...

 

 

Dream Street (film)

1921 film by D. W. Griffith Dream StreetDirected byD. W. GriffithWritten byRoy SinclairBased onGina of Chinatown and Song of the Lampby Thomas BurkeStarringCarol DempsterCharles Emmett MackRalph GravesTyrone Power Sr.Narrated byD. W. GriffithCinematographyHenrik SartovEdited byJames SmithMusic byLouis SilversIrving BerlinDistributed byUnited ArtistsRelease date April 12, 1921 (1921-04-12) Running time135 minutes (original film length 10,100 feet)[1]CountryUnited StatesL...

 

 

Samoset Council

Samoset CouncilCouncil shoulder patch with Smiley the Tent mascot designed by Walt DisneyMottoWhere Camping is KingOwnerBoy Scouts of AmericaHeadquartersWeston, WisconsinCountryUnited StatesFounded1920PresidentJesse TischerCouncil CommissionerDave SchultScout ExecutiveJohn Overland Websitewww.samoset.org Scouting portalSamoset Council is a Boy Scout council headquartered in Weston, Wisconsin that serves north central Wisconsin. Founded in 1920, the council gets its name from an early Bo...

Soboleva modified hyperbolic tangent

Mathematical activation function in data analysis The Soboleva modified hyperbolic tangent, also known as (parametric) Soboleva modified hyperbolic tangent activation function ([P]SMHTAF),[nb 1] is a special S-shaped function based on the hyperbolic tangent, given by Equation Left tail control Right tail control smht ⁡ x = e a x − e − b x e c x + e − d x . {\displaystyle \operatorname {smht} x={\frac {e^{ax}-e^{-bx}}{e^{cx}+e^{-dx}}}.} History This function...

 

 

1930s

Decade of the Gregorian calendar (1930–1939) '30s redirects here. For the decade of this century, see 2030s. For decades comprising years 30–39 of other centuries, see List of decades. From left, clockwise: Dorothea Lange's photo of the homeless Florence Thompson shows the effects of the Great Depression; due to extreme drought conditions, farms across the south-central United States become dry and the Dust Bowl spreads; The Empire of Japan invades China, which eventually leads to the Sec...

 

 

Rouse Hill railway station

Not to be confused with Rosehill railway station or Rosehill metro station. Sydney Metro railway station Rouse HillRouse Hill station entrance, June 2019General informationLocationTempus Street, Rouse HillNew South WalesAustraliaCoordinates33°41′29″S 150°55′25″E / 33.691301°S 150.923669°E / -33.691301; 150.923669Elevation12 m (39 ft) above ground level[1]Owned byTransport Asset Holding EntityOperated byMetro Trains SydneyDistance32km from ...

Championnat d'Anguilla de football

Cet article est une ébauche concernant une compétition de football et Anguilla. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. AFA Senior Male League Généralités Sport Football Création 1997 Organisateur(s) AFA Éditions 23 (en 2022) Catégorie 1re division Périodicité Annuelle Nations Anguilla Participants 11 Statut des participants Amateur Palmarès Tenant du titre Doc's United (es) Plus titré(s...

 

 

Zandvoort

Zandvoortcomune Zandvoort – Veduta LocalizzazioneStato Paesi Bassi Provincia Olanda Settentrionale AmministrazioneCapoluogoZandvoort TerritorioCoordinatedel capoluogo52°22′30″N 4°32′09″E52°22′30″N, 4°32′09″E (Zandvoort) Altitudine3 m s.l.m. Superficie44,34 km² Abitanti17 557 (2023) Densità395,96 ab./km² Altre informazioniCod. postale2040-2042, 2116 Prefisso023 Fuso orarioUTC+1 Codice CBS0473 CartografiaZandvoort Zandvoort – Mappa Sito ...

 

 

Svensk krona

Uppslagsordet ”SEK” leder hit. För andra betydelser av SEK, se SEK (olika betydelser). För andra betydelser av svensk krona, se Svenska kronan. Svensk krona Land SverigeInförd1873ErsatteRiksdalerDelas i100 öreISO 4217-kodSEKFörkortningkrMyntvalörer1, 2, 5, 10 krSedelvalörer20, 50, 100, 200, 500, 1 000 kr Svensk krona är den officiella valutan i Sverige. En svensk krona delas i 100 öre. Sedan 2010 finns ören inte längre som fysisk valuta. K...

محمد شنيق

محمد شنيق   معلومات شخصية الميلاد مايو 1889   تونس  الوفاة 20 نوفمبر 1976 (86–87 سنة)  رادس  مواطنة الحماية الفرنسية في تونس (–20 مارس 1956) تونس (20 مارس 1956–)  مناصب الوزارة الكبرى   في المنصب1 يناير 1943  – 15 مايو 1943  الهادي الأخوة  صلاح الدين البكوش  الوزارة ...

 

 

FREEDOM-PROJECT

FREEDOM ジャンル SF OVA：FREEDOM 監督 森田修平 シリーズ構成 佐藤大、千葉克彦 脚本 佐藤大、千葉克彦、野村祐一 キャラクターデザイン 大友克洋、桟敷大祐、入江篤 メカニックデザイン 大友克洋、末武康光 音楽 池頼広 アニメーション制作 サンライズ 製作 FREEDOM製作委員会 発売日 2006年11月24日 発表期間 2006年11月17日 - 2008年5月16日 話数 全6+1話 その他 楽曲提供:宇多田�...