Número ordinal (teoría de conjuntos)


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 primera contiene a los números naturales 0, 1, 2, ... La segunda llega hasta ω2 pasando por cada ordinal ω·m + n, con m, n naturales; la tercera llega hasta ω3 pasando por cada ordinal ω2·m + ω2·n + p; etc.

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 distició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:

\omega,\,\omega+1,\,\ldots\,,\omega\cdot2,\,\omega\cdot2+1,\,\ldots\,,\,\omega^2,\,\ldots\,,\,\omega^\omega,\,\ldots\,,\,\omega^{\omega^\omega},\,\ldots\,,\,\epsilon_0,\,\ldots

que se corresponden con distintas maneras de ordenar el conjunto de los números naturales.

Contenido

Introducción histórica

En 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 serie de los números naturales:

0,\,1,\,2,\,3,\,\ldots\,,

afirmaba que ésta 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

0,\,1,\,2,\,3,\,\ldots\,,\,\omega,\,\omega+1,\,\omega+2,\,\omega+3,\,\ldots\,,

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:

0,\,1,\,2,\,\ldots\,,\,\omega,\,\omega+1,\,\omega+2,\,\ldots\,,\,\omega\cdot2,\,\omega\cdot2+1,\,\ldots\,,\,\omega\cdot3,\,\dots\,,\,\omega\cdot n,\,\ldots\,,\,\omega\cdot\omega=\omega^2,\,\ldots\,,\,\omega^3,\,\ldots\,,\,\omega^n,\,\ldots\,,\,\omega^\omega,\,\ldots\,,

Usando esta serie de números transfinitos, Cantor pudo estudiar los conceptos de número cardinal —que es el "número de elementos" de un conjunto, finito o infinito— y número ordinal.

En efecto, un número natural puede representar no sólo una cantidad de elementos, sino una posición dentro de una serie ordenada: 1.º, 2.º, 3.º, ... Cantor descubrió que estos números transfinitos son en realidad números ordinales, que representan la posición de un elemento dentro de un conjunto bien ordenado; y no sólo eso, sino que además clasifican todos los posibles conjuntos bien ordenados.

Definición

Conjuntos bien ordenados

Artículo principal: Conjunto bien ordenado

Un 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, ésta 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 poseidas 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):


\begin{align}
&\{0,1,2,3,4,5,6,7,8,9,10,\ldots\}\\
&\{5,0,3,4,2,1,6,7,8,9,10,\ldots\}
\end{align}

El único cambio es que al primer elemento se le llama "0" ó "5", al segundo se le llama "1" ó "0" , etc. Sin embargo, si comparamos los números naturales ordenados como sigue:


\{1,2,3,4,5,6,7,8,9,10,\ldots,0\}

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

Una 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

En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual 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]

Un conjunto α se dice un ordinal si:

  1. Es un conjunto transitivo, esto es, todos sus elementos son a su vez subconjuntos.
  2. Es un conjunto conexo, en el sentido de que la relación de pertenencia respeta la ley de tricotomía.

Esto se traduce en:

\begin{align}
&1.\ \text{Si }b\in\alpha\text{ y }c\in b\text{ entonces }c\in\alpha.\\
&2.\ \text{Dados }b,\,c\in\alpha\text{ se tiene: }\ b\in c\ \acute{\text{o}}\ c\in b \ \acute{\text{o}}\ b=c.
\end{align}

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:

  1. Un ordinal es un conjunto bien ordenado por la relación de pertenencia.
  2. Los elementos de un ordinal son ordinales también. (Por tanto, un ordinal es el conjunto de todos los ordinales menores que él).
  3. La colección de todos los ordinales está a su vez bien ordenada por la relación de pertenencia, o sea:
    • Dados dos ordinales, o son iguales, o uno es un elemento (y subconjunto) del otro.
    • Todo conjunto de ordinales tiene un mínimo.
  4. Esta colección, denotada On, no es un conjunto.
  5. Todo conjunto bien ordenado es isomorfo bajo orden a un único ordinal.
  6. El conjunto de los números naturales ω = {0, 1, 2, ...} es un ordinal (el primer ordinal infinito y límite, ver más abajo).

Al (único) ordinal isomorfo a un conjunto bien ordenado A se le denota por A ó ord(A).

Clasificación

Puede 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:

  • Un ordinal sucesor α es un ordinal que es el siguiente de algún otro ordinal, α = β′.
  • Un ordinal límite λ es un ordinal no nulo que no es el ordinal siguiente a ningún otro ordinal.

Por ejemplo, todos los números naturales mayores que cero, n = {0, 1, 2, ..., n-1}, son ordinales sucesores. El ordinal de los números naturales ω es un ordinal límite (el primero de ellos).

Inducción transfinita

Artículo principal: Inducción transfinita

Los 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:

Dada una fórmula φ(α), si se cumple:

  • φ(0) es cierta,
  • φ(α′) es cierta siempre que lo es φ(α),
  • φ(λ) es cierta siempre que φ(γ) lo sea para todos los γ < λ,

entonces la fórmula es cierta para cualquier 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:

Sean X un conjunto y G y H funciones definidas sobre los conjuntos. Entonces existe una única función definida sobre los ordinales F, tal que:

  • F(0) = X
  • F(α′) = G(F(α))
  • F(λ) = H(F|λ)

donde F|λ es la restricción de F en λ.

Aritmética ordinal

Artículo principal: Aritmética ordinal

Pueden 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

Referencias

  1. Para esta introducción y las citas en ella, véase Cantor, 2006.
  2. 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.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • 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 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… …   Wikipedia Español

  • Número natural — Los números naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, …). Un número natural es cualquiera de los números que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que… …   Wikipedia Español

  • Número de Hartogs — En matemáticas, en particular en la teoría axiomática de conjuntos, un número de Hartogs es un tipo particular de número cardinal. En 1915, Friedrich Hartogs demostró que basta con los axiomas de Zermelo Fraenkel (es decir, no se requiere el… …   Wikipedia Español

  • Número transfinito — En teoría de conjuntos, número transfinito es el término original que el matemático alemán Georg Cantor introdujo para referirse a los ordinales infinitos, esto es, mayor que cualquier número natural o finito, para diferenciarlos del infinito… …   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

  • Infinito — El símbolo de infinito ∞ (Unicode U+221E), también llamado lemniscata, en diferentes fuentes. Para el canal de televisión por cable, véase Infinito (canal de televisión). El concepto de infinito aparece en varias ramas de la filosofía …   Wikipedia Español

  • Conjunto bien ordenado — En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo. Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente ordenado …   Wikipedia Español

  • Anexo:Nombres de los números en español — En este artículo se explican los nombres de los números en español. Contenido 1 Números cardinales 1.1 Del 11 al 99 1.2 Centenas 1.3 Millares …   Wikipedia Español

  • Cofinalidad — En teoría de conjuntos y teoría del orden, un subconjunto A de un conjunto ordenado X es cofinal en X si no tiene cota superior en X. En teoría de conjuntos se utiliza este concepto para definir la noción de cofinalidad, que permite clasificar… …   Wikipedia Español


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.