Número ordinal


Número ordinal
Representación de los números ordinales hasta ωω. Cada serie de la espiral representa una potencia de ω.

En matemáticas, un número ordinal es un número que denota la posición de un elemento perteneciente a una sucesión ordenada. Por ejemplo, en la sucesión a b c d, el elemento a es el primero, b el segundo, c el tercero, etc.

Los números ordinales pueden generalizarse para las sucesiones infinitas, introducidas por Georg Cantor en 1897.

Contenido

Definición moderna de ordinal

Se desea construir números ordinales como conjuntos bien ordenados especiales de forma que todo conjunto bien ordenado es ordenadamente isomorfo a exactamente un número ordinal. La siguiente definición mejora el enfoque de Cantor y fue propuesto inicialmente por John von Neumann:

Un conjunto S es un ordinal si y solo si S está totalmente ordenado con respecto a la inclusión de conjuntos (es decir, la relación subconjunto) y todo elemento de S es también un subconjunto de S.

Basándose en el axioma de regularidad, que puede enunciarse como: «Todo conjunto no vacío “S” contiene un elemento “a” disjunto de “S”.»

Nótese que los naturales, en la representación propuesta más arriba son los llamados ordinales finitos. Por ejemplo,2 es un elemento de 4 = {0, 1, 2, 3}, y 2 es igual a {0, 1} por lo que también es un subconjunto de 4.

Se puede demostrar, aplicando inducción transfinita que todo conjunto bien ordenado es ordenadamente isomorfo a exactamente uno de estos ordinales.

Más aún, los elementos de cada ordinal son en sí mismos ordinales. Cuando se tienen dos ordinales S y T, S es un elemento de T si y solo si S es un subconjunto propio de T, y más aún, cuando S y T son distintos y S no es un elemento de T, se cumple que T es un elemento de S. De manera que todo conjunto de ordinales está totalmente ordenado y más aún, Todo conjunto de ordinales es bien ordenado. Este último resultado es la generalización de la misma propiedad sobre los naturales, lo que permite enunciar y utilizar inducción transfinita para demostrar propiedades sobre ordinales.

Otra consecuencia es que todo ordinal S es un conjunto que contiene como elementos precisamente los ordinales más pequeños que S. Esta afirmación determina completamente la estructura de conjunto de cada ordinal en términos de otros ordinales. Ella es utilizada para demostrar muchas de las propiedades de estos números. Un ejemplo de ello es una importante caracterización de la relación de orden entre ordinales: todo conjunto de ordinales tiene un supremo, que es el ordinal obtenido como la unión de todos los ordinales del conjunto. Otro ejemplo es el hecho que la colección de todos los ordinales no es un conjunto. Puesto que todo ordinal contiene únicamente ordinales, se cumple que todo elemento de la colección de todos los ordinales también es su subconjunto. Así, si esa colección fuera un conjunto, tendría que ser un ordinal también, por definición; entonces sería un elemento de él mismo, lo cual contradice el axioma de regularidad.

Generalización

Los números naturales se pueden emplear con dos fines distintos: describir el tamaño de un conjunto y describir la posición de un elemento en una sucesión. Aunque en el mundo finito estos dos conceptos coinciden, cuando se trata con conjuntos infinitos hay que distinguirlos entre sí. El aspecto del tamaño de un conjunto se describe mediante números cardinales, que también fueron descubiertos por Cantor, mientras que el aspecto de la posición se generaliza mediante los números ordinales, los que analizaremos aquí.

En la teoría de conjuntos, los números naturales se suelen construir como conjuntos tales que cada número natural es el conjunto de todos los números naturales más pequeños:

Visto así, cada número natural es un conjunto bien ordenado: por ejemplo, el conjunto del 4 tiene los elementos 0, 1, 2 y 3, que por supuesto se ordenan 0 < 1 < 2 < 3, y éste es un buen orden. Un número natural es menor que otro si y solo si es un elemento del otro.

Bajo esta convención, se puede demostrar que todo conjunto finito bien ordenado es ordenadamente isomorfo a exactamente un número natural. Este isomorfismo motiva a generalizar esta construcción hacia los conjuntos no finitos y sus correspondientes números que serían más grandes que cualquier número natural.

Aplicaciones

Los ordinales se utilizan comúnmente para realizar demostraciones de terminación de algoritmos. El sistema de ayuda a la demostración ACL2 permite utilizar números ordinales como cota de terminación de algoritmos y es capaz de realizar pruebas por inducción transfinita.

Denominación de los números ordinales

Paradigma de los números ordinales en español[1]
  • 1.º: primero
    • 1.er: primer (apócope delante de un nombre masculino singular)
    • 1.ª: primera
  • 2.º: segundo
    • 2.ª: segunda
  • 3.º: tercero
    • 3.er: tercer (apócope delante de un nombre masculino singular)
    • 3.ª: tercera
  • 4.º: cuarto
    • 4.ª: cuarta
  • 5.º: quinto
    • 5.ª: quinta
  • 6.º: sexto
    • 6.ª: sexta
  • 7.º: séptimo
    • 7.ª: séptima
  • 8.º: octavo
    • 8.ª: octava
  • 9.º: noveno (a veces nono, como en nonagésimo nono, 99.º:)
    • 9.ª: novena (a veces nona, como en nonagésimo nona, 99.ª:)
  • 10.º: décimo
    • 10.ª: décima
  • 11.º: undécimo
    • 11.ª: undécima (antes decimoprimer(o/a) se consideraba incorrecta,[2] pero el Diccionario de la Real Academia Española ya acepta esta variante.[3] [4] )
  • 12.º: duodécimo
    • 12.ª: duodécima (antes decimosegund(o/a) se consideraba incorrecta,[5] pero el Diccionario de la Real Academia Española ya acepta esta variante.[6] [7] )
  • 13.º: decimotercero (o décimo tercero)
    • 13.er: decimotercer (apócope delante de un nombre masculino singular) o décimo tercer
    • 13.ª: decimotercera (o décimo tercera).
  • 14.º: decimocuarto (o décimo cuarto)
    • 14.ª: decimocuarta (o décimo cuarta)
  • 15.º: decimoquinto (o décimo quinto)
    • 15.ª: decimoquinta (o décimo quinta)
  • 16.º: decimosexto (o décimo sexto)
    • 16.ª: decimosexta (o décimo sexta)
  • 17.º: decimoséptimo (o décimo séptimo)
    • 17.ª: decimoséptima (o décimo séptima)
  • 18.º: decimoctavo (o décimo octavo)
    • 18.ª: decimoctava (o décimo octava)
  • 19.º: decimonoveno (o décimo noveno o décimo nono)
    • 19.ª: decimonovena (o décimo novena o décimo nona)

De los múltiplos de diez:

  • 20.º: vigésimo
    • 20.ª: vigésima
  • 30.º: trigésimo
    • 30.ª: trigésima
  • 40.º: cuadragésimo
    • 40.ª: cuadragésima
  • 50.º: quincuagésimo
    • 50.ª: quincuagésima
  • 60.º: sexagésimo
    • 60.ª: sexagésima
  • 70.º: septuagésimo
    • 70.ª: septuagésima
  • 80.º: octogésimo
    • 80.ª: octogésima
  • 90.º: nonagésimo
    • 90.ª: nonagésima

De los múltiplos de cien:

  • 100.º: centésimo
    • 100.ª: centésima
  • 200.º: ducentésimo
    • 200.ª: ducentésima
  • 300.º: tricentésimo
    • 300.ª: tricentésima
  • 400.º: cuadringentésimo
    • 400.ª: cuadringentésima
  • 500.º: quingentésimo
    • 500.ª: quingentésima
  • 600.º: sexcentésimo
    • 600.ª: sexcentésima
  • 700.º: septingentésimo
    • 700.ª: septingentésima
  • 800.º: octingentésimo
    • 800.ª: octingentésima
  • 900.º: noningentésimo
    • 900.ª: noningentésima
  • 1.000.º: milésimo
    • 1.000.ª: milésima
  • 1.000.000.º: millonésimo
    • 1.000.000.ª: millonésima

En castellano, algunas veces, la descripción de los números ordinales puede confundirse con la denominación de las fracciones (partitivos). Por ejemplo: del cuarto al décimo.

  • 4.º: cuarto (ordinal)
    • 1/4: un cuarto (partitivo)
  • 5.º: quinto
    • 1/5: un quinto

[...]

  • 10.º: = décimo
    • 1/10: un décimo.

Sin embargo, son diferentes:

  • 11.º: undécimo
    • 1/11: un onceavo
      [...]
    • 1/20: un veinteavo...
  • 21.º: vigésimo primero

También puede confundirse los siguientes ordinales:

  • 1000.º: milésimo (ordinal)
    • 1/1000: un milésimo (partitivo)
  • 1.000.000.º: millonésimo
    • 1/1.000.000: un millonésimo

 

Véase también

Notas y referencias

  1. Según la entrada «Ordinales», en el DPD (Diccionario panhispánico de dudas), primera edición, octubre de 2005.
  2. [1]
  3. [2]
  4. Según la primera edición del Diccionario Panhispánico de Dudas (DPD) ([3]), "los ordinales correspondientes a los números 11 y 12 presentan hoy dos formas: las etimológicas simples undécimo y duodécimo, que son las preferidas en el uso culto, y las compuestas decimoprimero y decimosegundo, creadas modernamente por analogía con la forma que adoptan los ordinales del resto de las series (vigesimoprimero, vigesimosegundo, trigésimo primero, trigésimo segundo, etc.).
  5. [4]
  6. [5]
  7. Según la primera edición del Diccionario Panhispánico de Dudas (DPD) ([6]), "los ordinales correspondientes a los números 11 y 12 presentan hoy dos formas: las etimológicas simples undécimo y duodécimo, que son las preferidas en el uso culto, y las compuestas decimoprimero y decimosegundo, creadas modernamente por analogía con la forma que adoptan los ordinales del resto de las series (vigesimoprimero, vigesimosegundo, trigésimo primero, trigésimo segundo, etc.).

Enlaces externos

esto es falso no hagan caso!


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Número ordinal — ► locución MATEMÁTICAS El que expresa idea de orden o sucesión: ■ segundo es un adjetivo de número ordinal. * * * Los números ordinales, o simplemente los ordinales, son números que sirven para denotar la posición en una sucesión ordenada:… …   Enciclopedia Universal

  • Número ordinal (teoría de conjuntos) — Este artículo trata sobre números ordinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número ordinal. Representación del ordinal ωω. Cada vuelta alrededor de esta espiral representa una potencia entera de ω: la… …   Wikipedia Español

  • ordinal — adjetivo 1. Área: gramática [Adjetivo] que indica orden o sucesión: adjetivo numeral ordinal. adjetivo,sustantivo masculino 1. Área …   Diccionario Salamanca de la Lengua Española

  • número — (Del lat. numĕrus). 1. m. Mat. Expresión de una cantidad con relación a su unidad. 2. Signo o conjunto de signos con que se representa el número. 3. Cantidad de personas o cosas de determinada especie. 4. Condición, categoría, situación o clase… …   Diccionario de la lengua española

  • número — sustantivo masculino 1. Concepto matemático que expresa una cantidad en relación con una unidad. número cardinal. número entero. número fraccionario. número impar. número natural. número ordinal. número par. número primo. número quebrado. número… …   Diccionario Salamanca de la Lengua Española

  • ordinal — (Del lat. ordinālis). 1. adj. Perteneciente o relativo al orden. 2. m. Gram. adjetivo ordinal. 3. Mat. número ordinal …   Diccionario de la lengua española

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español

  • Número — (Del lat. numerus.) ► sustantivo masculino 1 MATEMÁTICAS Ente abstracto o expresión de la cantidad en relación con la unidad. 2 MATEMÁTICAS Signo o conjunto de signos con que se representa este ente abstracto. SINÓNIMO cifra guarismo 3 Cantidad… …   Enciclopedia Universal

  • ordinal — (Del lat. ordo, inis.) ► adjetivo 1 Que hace referencia al orden. ► adjetivo/ sustantivo masculino 2 GRAMÁTICA Se aplica al número y al adjetivo que indican orden en una secuencia. * * * ordinal (del lat. «ordinālis») adj. y n. m. Se aplica a los …   Enciclopedia Universal

  • número — {{#}}{{LM N27648}}{{〓}} {{SynN28320}} {{[}}número{{]}} ‹nú·me·ro› {{《}}▍ s.m.{{》}} {{<}}1{{>}} Concepto matemático que expresa una cantidad con relación a una unidad: • En esta cuenta has sumado mal dos números.{{○}} {{<}}2{{>}} Signo o conjunto… …   Diccionario de uso del español actual con sinónimos y antónimos


Compartir el artículo y extractos

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.