Número ordinal

Representación dos números ordinais ata ωω. Unha volta da espiral corresponde co mapa . Posto que ten a como punto fixo mínimo, non se poden representar números ordinais maiores.

En Matemáticas, un número ordinal denota a posición dun elemento pertencente a unha sucesión ordenada. Por exemplo, na sucesión a b c d, o elemento a é o primeiro, b o segundo, c o terceiro etc.

Os números ordinais poden xeneralizarse para as sucesións infindas, concepto introducido por Georg Cantor en 1897. É esta xeneralización a que se explicará neste artigo.

Xeneralización

Os números naturais pódense empregar con dous fins distintos: describir o tamaño dun conxunto e describir a posición dun elemento nunha sucesión. Aínda que no mundo finito estes dous conceptos coinciden, cando se trata con conxuntos infindos hai que os distinguir entre si. O aspecto do tamaño dun conxunto descríbese mediante números cardinais, que tamén foron descubertos por Cantor, mentres que o aspecto da posición xeneralízase mediante os números ordinais, os que analizaremos aquí.

Na teoría de conxuntos, os números naturais adoitan construírse como conxuntos tales que cada número natural é o conxunto de tódolos números naturais máis pequenos:

Visto así, cada número natural é un conxunto ben ordenado: por exemplo, o conxunto do 4 ten os elementos 0, 1, 2 e 3, que por suposto ordénanse 0 < 1 < 2 < 3. Un número natural é menor ca outro se e só se é un elemento do outro.

Baixo esta convención, pódese demostrar que todo conxunto finito ben ordenado é ordenadamente isomorfo a exactamente un número natural. Este isomorfismo motiva a xeneralizar esta construción cara ós conxuntos non finitos e os seus correspondentes números que serían máis grandes ca calquera número natural.

Definición moderna de ordinal

Deséxase construír números ordinais como conxuntos ben ordenados especiais de forma que todo conxunto ben ordenado é ordenadamente isomorfo a exactamente un número ordinal. A seguinte definición mellora o enfoque de Cantor e foi proposta inicialmente por John von Neumann:

Un conxunto S é un ordinal se e só se S está totalmente ordenado con respecto á inclusión de conxuntos (é dicir, a relación subconxunto) e todo elemento de S é tamén un subconxunto de S.

Baseándose no axioma de regularidade, que pode enunciarse como: «Todo conxunto non baleiro "S" contén un elemento "a" disxunto de "S".»

Nótese que os naturais, na representación proposta máis arriba son os chamados ordinais finitos. Por exemplo, é un elemento de 4 = {0, 1, 2, 3}, e 2 é igual a {0, 1} polo que tamén é un subconxunto de 4.

Pódese demostrar, aplicando indución transfinita que todo conxunto ben ordenado é ordenadamente isomorfo a exactamente un destes ordinais.

Máis aínda, os elementos de cada ordinal son en si mesmos ordinais. Cando se teñen dous ordinais S e T, S é un elemento de T se e só se S é un subconxunto propio de T, e máis aínda, cando S e T son distintos e S non é un elemento de T, cúmprese que T é un elemento de S. De maneira que todo conxunto de ordinais está totalmente ordenado e máis aínda, Todo conxunto de ordinais é ben ordenado. Este último resultado é a xeneralización da mesma propiedade sobre os naturais, o que permite enunciar e utilizar indución transfinita para demostrar propiedades sobre ordinais.

Outra consecuencia é que todo ordinal S é un conxunto que contén como elementos precisamente os ordinais máis pequenos que S. Esta afirmación determina completamente a estrutura de conxunto de cada ordinal en termos doutros ordinais. Ela é utilizada para demostrar moitas dos propiedades destes números. Un exemplo do mesmo é unha importante caracterización da relación de orde entre ordinais: todo conxunto de ordinais ten un supremo, que é o ordinal obtido como a unión de tódolos ordinais do conxunto.

Outro exemplo é o feito de que a colección de tódolos ordinais non é un conxunto. Posto que todo ordinal contén unicamente ordinais, se cumpre que todo elemento da colección de tódolos ordinais tamén é o seu subconxunto. Así, se esa colección fose un conxunto, tería que ser un ordinal tamén, por definición; entón sería un elemento do mesmo, o cal contradí o axioma de regularidade. (Véxase tamén o Paradoxo de Burali-Forti).

Aplicacións

Os ordinais utilízanse comunmente para realizar demostracións de terminación de algoritmos. O sistema de axuda á demostración ACL2 permite utilizar números ordinais como cota de terminación de algoritmos e é capaz de realizar probas por indución transfinita.

Véxase tamén

Outros artigos

Read other articles:

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?: 神奈川県立がんセンター – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年6月) 神奈川県立がんセンター 情報正式

 

تصميم داخلي لروبرت آدم، 1777. طراز آدم (بالإنجليزية: Adam style) هو طراز كلاسيكي جديد في العمارة والتصميم الداخلي، يعود إلى القرن الثامن عشر، ويُنسب إلى الأخوة آدم، من سكوتلندا، والذين كانوا أول من عمل على أسلوب متكامل للعمارة والديكور، بتصميم الجدران والأسقف والمواقد والأثاث وال

 

Resolutie 1099 Van de Veiligheidsraad van de Verenigde Naties Datum 14 maart 1997 Nr. vergadering 3752 Code S/RES/1099 Stemming voor15onth.0tegen0 Onderwerp Tadzjiekse burgeroorlog. Beslissing Verlengde de UNMOT-waarnemingsmissie met 3 maanden. Samenstelling VN-Veiligheidsraad in 1997 Permanente leden  China ·  Frankrijk ·  Rusland · Vlag van Verenigd Koninkrijk Verenigd Koninkrijk · Vlag van Verenigde Staten Verenigde Staten Niet-permanente leden  Chili...

Orontium aquaticum Orontium aquaticum (Buffalo Botanical Gardens). Classificação científica Reino: Plantae Divisão: Magnoliophyta Classe: Liliopsida Ordem: Alismatales Família: Araceae Subfamília: Orontioideae Género: OrontiumL. Espécie: O. aquaticum Nome binomial Orontium aquaticum Sinónimos Ver texto. Orontium aquaticum (detalhe da planta). Orontium aquaticum é uma espécie de plantas com flor pertencente ao género monotípico Orontium da família Araceae. A espécie é um endemi...

 

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) روجر ويتفيلد معلومات شخصية الميلاد 29 ديسمبر 1943 (80 سنة)  الجنسية المملكة المتحدة  الحياة العملية المهنة دراج  نوع السباق سباق الدراجات الهوائية  تعدي

 

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) العدارقي  - قرية -  تقسيم إداري البلد  اليمن المحافظة محافظة تعز المديرية مديرية صبر الموادم ا

 2020年トルコグランプリレース詳細 日程 2020年シーズン第14戦決勝開催日 11月15日開催地 イスタンブール・パーク トルコ イスタンブールコース長 5.338kmレース距離 58周 (309.396km)決勝日天候 曇(ウエット)ポールポジションドライバー ランス・ストロール タイム 1:47.765ファステストラップドライバー ランド・ノリス タイム 1:36.806 (58周目)決勝順位優勝 ルイス・ハミル

 

Souq in Doha, Qatar Souq WaqifNative nameسوق واقف (Arabic)LocationDoha, QatarCoordinates25°17′14.58″N 51°31′59.54″E / 25.2873833°N 51.5332056°E / 25.2873833; 51.5332056ConstructionCompletionLate 19th century-early 20th century Souq Waqif (Arabic: سوق واقف Sūq Wāqif, the standing market) is a marketplace (souq) in Doha, in the state of Qatar. The souq sells traditional garments, spices, handicrafts, and souvenirs. It is also home to rest...

 

Election in Maine Main article: 1904 United States presidential election 1904 United States presidential election in Maine ← 1900 November 8, 1904 1908 →   Nominee Theodore Roosevelt Alton B. Parker Party Republican Democratic Home state New York New York Running mate Charles W. Fairbanks Henry G. Davis Electoral vote 6 0 Popular vote 65,432 27,642 Percentage 67.44% 28.49% County Results Roosevelt  50-60%  60-70%  70...

1975 Uber CupVenueIstora SenayanLocation Jakarta, IndonesiaStart date1975End date6 June 1975← 19721978 → The 1975 Uber Cup was the seventh edition of the Uber Cup, the women's badminton team competition. The tournament took place in the 1974-75 badminton season, 14 countries competed. Indonesia won its first title in the Uber Cup, after beating the defending champion Japan in the Final Round in Jakarta. Teams 14 teams from 4 regions took part in the competition. As defen...

 

American post-hardcore band For the eponymous album released by this band, see Dance Gavin Dance (album). Dance Gavin DanceDance Gavin Dance performing at the Webster Theater, 2022Background informationOriginSacramento, California, U.S.Genres Post-hardcore experimental rock progressive rock math rock Years active2005–presentLabelsRiseMembers Will Swan Matthew Mingus Jon Mess Tilian Pearson Andrew Wells Past members Alvaro Alcala Sean O'Sullivan Jason Ellis Zachary Garren Kurt Travis Eric Lo...

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: This Is Not a Chicosci Record – news · newspapers · books · scholar · JSTOR (September 2022) (Learn how and when to remove this template message) 2012 studio album by ChicosciThis Is Not A Chicosci RecordStudio album by ChicosciReleased31 October 2012Re...

Schéma d'une extraction avec un extracteur de Kutscher-Steudel Un extracteur de Kutscher-Steudel est un appareil en verre qui est utilisé dans les laboratoires chimiques pour réaliser des extractions liquide-liquide en continu avec un solvant ayant une masse volumique inférieure à celle de l'eau. Cet extracteur est utilisé lorsqu'il faut agiter manuellement et trop longtemps une ampoule à décanter. Histoire Cet appareil a été inventé au début du vingtième siè...

 

This article is about the German World War II commander. For the Austrian footballer, see Karl Decker (footballer). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Karl Decker – news · newspapers · books · scholar · JSTOR (June 2016) (Learn how and when to remove this template message) Karl DeckerBorn(1897-1...

 

Esta página cita fontes, mas que não cobrem todo o conteúdo. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW  • CAPES  • Google (N • L • A) (Dezembro de 2020) Regular Show é uma série de desenho animado americana criada por J. G. Quintel . A série gira em torno da vida de dois amigos, um gaio-azul chamado Mordecai e um guaxinim chamado Rigby, ambos empregados como jardineiro...

Political party in EritreaEritrean Islamic JihadJihadist flagAlso known asEritrean Islamic Salvation MovementEIJMEIJERIJEISMEritrean Islamic Jihad MovementHarakat al Jihad al Islami al EritreaIdeologyJihadist IslamismAllies SudanOpponents Eritrea People's Front for Democracy and Justice Eritrean Islamic Jihad, also referred to as the Eritrean Islamic Salvation Movement (EIJM, EIJ, 'ERIJ, EISM), Eritrean Islamic Jihad Movement, and/or Harakat al Jihad al Islami al Eritrea. The Eritrean Islamic...

 

2023 studio album by Kali UchisRed Moon in VenusStudio album by Kali UchisReleasedMarch 3, 2023 (2023-03-03)Recorded2020–2021Genre R&B neo soul psychedelic soul[1] Length43:14LanguageEnglishSpanishLabelGeffenProducerAaron ParisAl ShuxAlbert HypeBenny BlancoCashmere CatChris LaRoccaClairmont the SecondDarkchildDJ KhalilDylan WigginsGradesJahaan SweetJ.LBSJosh CrockerKali UchisManuel LaraMndsgnOmar ApolloP2JSounwaveToneworldVicky NguyenWahWah JamesWondaGurlY...

 

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Hostile Waters film – news · newspapers · books · scholar · JSTOR (May 2018) (Learn how and when to remove this template message) Cover of 1998 BBC VHS release of the film Hostile Waters is a British 1997 television film about the loss of the Soviet Navy's K-219, a Yankee I...

第二十一屆十大中文金曲頒獎音樂會頒獎音樂會節目標題畫面日期1999年1月30日 (1999-01-30)地点 香港紅磡香港體育館主持人陳百祥、鄭子誠、郭可盈、杜雯惠 ← 第二十屆 十大中文金曲 第二十二屆 → 第二十一屆十大中文金曲得獎名單 十大中文金曲 《甲乙丙丁》(主唱:許志安 / 張學友 / 鄭中基 作曲:雷頌德 填詞:厲曼婷) 《情誡》(主唱:王菲 作曲...

 

El deporte de vela en los Juegos Olímpicos se realiza desde la segunda edición (París 1900).[nota 1]​ Hasta Los Ángeles 1984 las clases de vela eran abiertas a ambos sexos. Tras el Campeonato Mundial, es la máxima competición internacional de vela. Es organizado por el Comité Olímpico Internacional (COI), junto con la Federación Internacional de Vela (ISAF). Clases Las clases de vela que forman parte del programa olímpico actual son las siguientes (7 clases y 10 categorías: 5...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!