Aritmética ordinal
En teoría de conjuntos, la aritmética ordinal describe tres operaciones de la aritmética —suma, multiplicación y exponenciación— aplicadas a los números ordinales. Cada operación puede definirse bien por recursión transfinita, bien definiendo los conjuntos bien ordenados que las representan.
Suma
En la suma de dos ordinales α y β, se considera el conjunto dado por la totalidad de los elementos de ambos, ordenado de forma que todos los elementos de β son mayores que todos los elementos de α. Este conjunto está bien ordenado, y su ordinal correspondiente es α + β. De manera más técnica:
|
donde se considera el orden dado por
Esta definición es compatible con la definición por recursión transfinita:
|
Esta suma ordinal es asociativa y con elemento neutro (α + 0 = 0 + α = α), pero no es conmutativa. Por ejemplo 1 + ω = ω ≠ ω + 1.
Demostración |
En efecto, el ordinal 1 + ω es el isomorfo al conjunto donde se ha añadido un único elemento, menor que todos los demás. Es obvio que este conjunto no es más que un «cambio de nombre» de los elementos de ω. Sin embargo, en ω + 1, se considera el ordinal isomorfo a donde el nuevo elemento que se añade es mayor que el resto, y en ω no hay elemento maximal. |
Producto
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/83/Omega_squared.png/250px-Omega_squared.png)
De igual modo, para el producto de dos ordinales α y β, se considera una copia de α por cada elemento de β, donde dentro de cada copia se respeta el orden de α, y elementos de distintas copias se ordenan por su «índice» en β. De manera más técnica:
donde en α×β se considera el orden dado por:
De nuevo, esta definición es compatible con la definición por recursión transfinita:
|
El producto de ordinales es asociativo, con elemento neutro (α·1 = 1·α = α) y elemento absorbente (α·0 = 0·α = 0), pero de nuevo no es conmutativa: 2·ω = ω ≠ ω·2 = ω + ω.
Demostración |
El ordinal 2·ω es el isomorfo al conjunto donde las «copias» van «emparejadas». Es obvio que esto corresponde a un «cambio de nombre» de los elementos de ω. En el caso de ω·2, el conjunto considerado es siendo todos los elementos de la segunda copia mayores que los de la primera. Ningún cambio de nombre en ω puede dar esta estructura (nótese por ejemplo que dentro de ω·2 no se da el principio de inducción de los números naturales). |
Exponenciación
La exponenciación de números ordinales se define de manera sencilla mediante recursión transfinita:
|
Esta definición es equivalente a otra en términos de conjuntos bien ordenables:
|
La exponenciación ordinal verifica varias de las propiedades de la exponeciación ordinaria:
La exponenciación ordinal es muy diferente a la cardinal. Por ejemplo, 2ω = ω es numerable (a diferencia de 2ℵ0).
Demostración |
ω es un ordinal límite, por lo que La exponenciación ordinal de números naturales coincide con la noción habitual de exponenciación. Por lo tanto, 2ω es el supremo de una sucesión de números naturales, luego ha de ser menor o igual que ω. Pero dicha sucesión no tiene máximo dentro de los números naturales, luego 2ω no puede ser ningún número natural. Por tanto 2ω = ω. |
Referencias
- Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 23 de abril de 2011 ..
- Kunen, Kenneth (1980). Set Theory. An Introduction to Independence Proofs (en inglés). North-Holland. ISBN 0-444-86839-9.
Datos: Q1142215