Aritmética Cardinal y Ordinal

La aritmética cardinal y ordinal extiende las nociones de conteo y ordenamiento al infinito, proporcionando las dos medidas complementarias de tamaño y posición transfinitos.

Definition

Un ordinal es un conjunto transitivo bien ordenado por pertenencia, que representa un tipo de orden; un cardinal es un ordinal que no está en biyección con ningún ordinal más pequeño, representando un tamaño. Su aritmética define operaciones de suma, producto y exponenciación que extienden las finitas al transfinito.

Scope

Este tema cubre los números ordinales como conjuntos canónicos bien ordenados y su aritmética no conmutativa, los números cardinales como medidas de tamaño y su aritmética bajo el axioma de elección, las jerarquías aleph y beth, la cofinalidad, y resultados como el teorema de Cantor y el teorema de Koenig.

Core questions

• ¿Cómo codifican los ordinales cada buen ordenamiento hasta el isomorfismo?
• ¿Por qué la aritmética ordinal no es conmutativa mientras que la aritmética cardinal sí lo es?
• ¿Cómo se suman, multiplican y elevan a potencias los cardinales infinitos?
• ¿Qué restricciones imponen la cofinalidad y el teorema de Koenig a la exponenciación cardinal?

Key theories

Teorema de Cantor

Para cada conjunto, el conjunto potencia tiene una cardinalidad estrictamente mayor, por lo que no existe un cardinal más grande y la jerarquía de tamaños infinitos nunca termina.

Inducción y recursión transfinita

Las propiedades pueden demostrarse y las funciones definirse sobre todos los ordinales mediante inducción y recursión a lo largo del orden ordinal, el motor técnico central de la teoría de conjuntos.

Jerarquía aleph y exponenciación cardinal

Bajo el axioma de elección, los cardinales infinitos están bien ordenados como los alephs; la suma y el producto de cardinales infinitos colapsan al máximo, mientras que la exponenciación se rige por la cofinalidad y el teorema de Koenig y permanece en gran medida independiente de ZFC.

Clinical relevance

La aritmética transfinita subyace a la comparación de conjuntos infinitos en todas las matemáticas, justifica los argumentos por inducción transfinita en álgebra y análisis, y enmarca cuestiones centrales de independencia como el valor del continuo.

History

Cantor introdujo tanto los números ordinales como los cardinales en las décadas de 1880 y 1890, demostrando que los números reales son incontables y que los conjuntos potencia aumentan estrictamente la cardinalidad. La definición de von Neumann de los ordinales como conjuntos transitivos bien ordenados por pertenencia dio la formulación moderna, y Hausdorff y Koenig establecieron resultados clave sobre la exponenciación cardinal y la cofinalidad.

Key figures

• Georg Cantor
• John von Neumann
• Felix Hausdorff
• Julius Koenig

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

¿Cuál es la diferencia entre un ordinal y un cardinal?

Un ordinal registra el tipo de orden de un buen ordenamiento, distinguiendo arreglos que tienen el mismo tamaño pero diferente estructura, mientras que un cardinal registra solo el tamaño. Cada cardinal es un ordinal, a saber, el ordinal más pequeño de su tamaño.

¿Por qué uno más omega difiere de omega más uno?

La suma ordinal se define concatenando tipos de orden y es sensible a la posición. Colocar un elemento antes de los números naturales da el mismo tipo de orden que los naturales, mientras que colocar uno después de ellos añade un nuevo elemento más grande, por lo que las dos sumas son ordinales diferentes.