Número ordinal (teoría de conjuntos)
En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado. De este modo, los ordinales clasifican todos los posibles conjuntos bien ordenados. Fueron introducidos por Georg Cantor en 1897.
Los ordinales finitos (así como los cardinales finitos) son los números naturales 0, 1, 2,..., puesto que dos órdenes totales de un conjunto finito son isomorfos en cuanto al orden. Al primer ordinal infinito se le denota ω.
En el caso infinito, los ordinales ofrecen una distinción más fina que los cardinales, que sólo representan la cantidad de elementos. Así, mientras sólo existe un cardinal infinito numerable ℵ0, existen infinitos ordinales infinitos y numerables:
que se corresponden con distintas maneras de ordenar el conjunto de los números naturales.
Introducción histórica
editarEn su obra Fundamentos para una teoría general de conjuntos, Georg Cantor introdujo la idea de los números transfinitos como una generalización de los números naturales.[1] Observando la sucesión de los números naturales:
afirmaba que esta descansa sobre «el principio de agregar una unidad a un número ya formado y disponible». A este principio, que Cantor denominó "primer principio de generación", se añadía la posibilidad de considerar un nuevo número, ω, mayor que todos los números naturales (que por supuesto no es ninguno de ellos), y aplicar de nuevo el primer principio
Esta segunda sucesión de «números» ω + n se prestaba igualmente a considerar un número mayor que toda ella, ω + ω = ω·2. En resumen, Cantor introducía el "segundo principio de generación", el cual
[...] dada una determinada sucesión de verdaderos números enteros definidos, entre los cuales no hay ninguno que sea el mayor de ellos, [...] se crea un nuevo número al que se concibe como límite de aquellos números, esto es, se define como el número inmediatamente mayor que todos ellos.
Esta sucesión puede entonces continuarse indefinidamente:
Usando esta sucesión de números transfinitos, Cantor pudo estudiar el concepto de número ordinal. Un número natural puede utilizarse para representar la posición dentro de una sucesión ordenada: 1.º, 2.º, 3.º,... Cantor descubrió que cualquier sucesión ordenada, finita o infinita, está «contenida» en la sucesión de números transfinitos (concretamente, cualquier sucesión bien ordenada). También dentro de esta sucesión se encuentran los números cardinales, que representan el «número de elementos» de un conjunto infinito.
Definición
editarConjuntos bien ordenados
editarUn conjunto bien ordenado es un conjunto con una relación de orden entre sus elementos que verifica que dada cualquier subcolección no vacía de sus elementos, esta posee un elemento mínimo. La importancia de los conjuntos bien ordenados reside en la inducción transfinita, que afirma que en un conjunto A de estas características, las propiedades que un elemento hereda de sus predecesores son poseídas por la totalidad de los elementos de A.
Un ordinal es un objeto matemático que clasifica todos los distintos conjuntos bien ordenados posibles. Por supuesto, ha de evitarse la posibilidad de clasificar con ordinales diferentes dos conjuntos bien ordenados distintos que en el fondo constituyan un «reetiquetado» el uno del otro.
Ejemplo |
Las dos maneras de ordenar el conjunto de los números naturales mostradas abajo no son esencialmente distintas (se sobreentiende que la serie sigue con normalidad tras los puntos suspensivos):
El único cambio es que al primer elemento se le llama «0» o «5», al segundo se le llama «1» o «0» , etc. Sin embargo, si comparamos los números naturales ordenados como sigue: esto sí representa un cambio esencial, puesto que esta ordenación difiere en un hecho fundamental: a diferencia de las primeras, posee un elemento maximal. |
Clases de equivalencia
editarUna posible definición para clasificar todos los tipos de orden posible es agrupar a todos los conjuntos bien ordenados isomorfos bajo orden en una clase de equivalencia. Este es el enfoque que se tomó en los Principia Mathematica. Está definición ha de ser abandonada en ZF y demás sistemas axiomáticos relacionados, puesto que dichas clases de equivalencia son demasiado grandes para formar un conjunto.
Definición de von Neumann
editarEn lugar de definirlo como una clase de equivalencia, el procedimiento más habitual para clasificar los buenos órdenes es escoger un representante canónico, de manera unívoca, en cada una de estas clases. La definición estándar, sugerida por John von Neumann es:[2]
|
La construcción estándar de los números naturales en teoría de conjuntos asegura que estos son ordinales. En esta construcción se define el cero como el conjunto vacío 0 ≡ ∅ = {}, y a partir de ahí, cada número se define como el conjunto que contiene a los anteriores: 1 ≡ {0}, 2 ≡ {0, 1}, etc.
De la definición dada por von Neumann puede probarse:
|
Al (único) ordinal isomorfo a un conjunto bien ordenado A se le denota por A o ord(A).
Clasificación
editarPuede demostrarse que si α es un ordinal, también lo es α′ ≡ α ∪ {α}. Este es el llamado ordinal siguiente a α, y es el menor ordinal mayor que α. Los ordinales diferentes de cero se dividen en dos clases bien diferenciadas:
Por ejemplo, todos los números naturales mayores que cero, , son ordinales sucesores. El ordinal de los números naturales ω es un ordinal límite (el primero de ellos).
Inducción transfinita
editarLos números ordinales poseen una propiedad similar al principio de inducción de los números naturales. Si una colección de ordinales incluye al 0, y a cualquier ordinal siempre que incluya a sus precedecesores, entonces dicha colección es On, esto es, contiene todos los ordinales.
Este argumento puede refinarse en el llamado principio de inducción transfinita, separando en casos según el tipo de ordinal:
|
donde λ se refiere a un ordinal límite.
Una aplicación importante de este principio es la recursión transfinita, que permite definir una función sobre los ordinales, especificando la imagen de un ordinal a partir de las imágenes de sus predecesores:
|
donde F|λ es la restricción de F en λ.
Aritmética ordinal
editarPueden definirse unas operaciones de suma, multiplicación y exponenciación de ordinales de manera natural, mediante recursión transfinita o mediante definiciones «geométricas». Estas operaciones extienden la aritmética de los números naturales.
Véase también
editarReferencias
editar- ↑ Para esta introducción y las citas en ella, véase Cantor, 2006.
- ↑ Esta definición asume el axioma de regularidad. De otro modo, a la definición se le debería añadir el requisito de que α sea regular.
- Cantor, Georg (2006) [1872-1899]. Fundamentos para una teoría general de conjuntos. Escritos y correspondencia selecta. Edición de José Ferreirós. Crítica. ISBN 84-8432-695-0.
- Devlin, Keith (1993). The Joy of Sets: Fundamentals of Contemporary Set Theory (en inglés). Springer-Verlag. ISBN 0-387-94094-4.
- Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 18 de octubre de 2010..
Enlaces externos
editar- Esta obra contiene una traducción derivada de «Ordinal number» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.