Cardinales Grandes

Los cardinales grandes son axiomas fuertes de infinito que afirman la existencia de cardinales tan grandes que su existencia no puede ser probada en ZFC, y forman una jerarquía casi lineal que calibra la fuerza de las teorías matemáticas.

Definition

Un axioma de cardinal grande afirma la existencia de un cardinal con una fuerte propiedad de cierre o reflexión, típicamente expresable a través de una incrustación elemental del universo; tales cardinales exceden lo que ZFC puede probar que existe y, por lo tanto, aumentan la fuerza de consistencia de la teoría.

Scope

Este tema cubre las principales nociones de cardinales grandes como los cardinales inaccesibles, Mahlo, débilmente compactos, medibles y supercompactos, sus caracterizaciones mediante reflexión e incrustaciones elementales, la jerarquía de fuerza de consistencia que generan, y sus conexiones con la determinabilidad y la teoría de modelos internos.

Core questions

• ¿Qué propiedades de cierre y reflexión definen los principales cardinales grandes?
• ¿Cómo caracterizan las incrustaciones elementales a los cardinales medibles y más fuertes?
• ¿Por qué los cardinales grandes forman una jerarquía casi lineal de fuerza de consistencia?
• ¿Cómo interactúan los cardinales grandes con la determinabilidad y la estructura de los números reales?

Key theories

Cardinales inaccesibles y Mahlo

Un cardinal inaccesible es regular y un límite fuerte, por lo que no puede ser alcanzado por las operaciones de conjuntos usuales y proporciona un modelo natural de ZFC; los cardinales Mahlo reflejan la inaccesibilidad, iniciando la jerarquía.

Cardinales medibles e incrustaciones elementales

Un cardinal medible posee un ultrafiltro no trivial contablemente completo; equivalentemente, es el punto crítico de una incrustación elemental del universo en un modelo interno, lo que contradice el axioma de constructibilidad.

Jerarquía de fuerza de consistencia

Los axiomas de cardinales grandes se ordenan por consistencia relativa, de modo que la consistencia de uno implica la de todos los más débiles, proporcionando una medida con la que se compara la fuerza de teorías arbitrarias.

Clinical relevance

Los cardinales grandes proporcionan la escala canónica de fuerza de consistencia en matemáticas: muchas afirmaciones resultan ser equiconsistentes con la existencia de algún cardinal grande, y los cardinales grandes fuertes implican propiedades de regularidad de la recta real como la determinabilidad proyectiva y la medibilidad de Lebesgue de conjuntos definibles.

History

Los cardinales inaccesibles surgieron del estudio de Zermelo y Sierpinski-Tarski sobre modelos de la teoría de conjuntos, y el trabajo de Ulam de 1930 sobre la medida condujo a los cardinales medibles. Scott demostró en 1961 que un cardinal medible refuta el axioma de constructibilidad, y el trabajo posterior de Solovay, Martin, Woodin y otros construyó la jerarquía moderna y sus vínculos con la determinabilidad.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

¿Por qué ZFC no puede probar que existen cardinales grandes?

Un cardinal inaccesible produce un modelo de conjunto de ZFC, por lo que, según el segundo teorema de incompletitud de Goedel, ZFC no puede probar que tal cardinal existe sin probar su propia consistencia, lo cual no puede hacer. El mismo razonamiento se aplica, a fortiori, a cardinales grandes más fuertes.

¿Por qué estudiar axiomas que no pueden ser probados como consistentes?

Los cardinales grandes proporcionan una escala coherente y bien ordenada para comparar la fuerza de las teorías matemáticas, y resuelven preguntas de otro modo independientes sobre conjuntos definibles de números reales, lo que los convierte en una herramienta organizativa central, aunque su consistencia deba asumirse.