Cardinais Grandes

Cardinais grandes são axiomas fortes de infinito que afirmam a existência de cardinais tão grandes que sua existência não pode ser provada em ZFC, e eles formam uma hierarquia quase linear que calibra a força das teorias matemáticas.

Definition

Um axioma de cardinal grande afirma a existência de um cardinal com uma forte propriedade de fechamento ou reflexão, tipicamente expressível através de um mergulho elementar do universo; tais cardinais excedem o que ZFC pode provar que existe e, portanto, aumentam a força de consistência da teoria.

Scope

Este tópico abrange as principais noções de cardinais grandes, como cardinais inacessíveis, Mahlo, fracamente compactos, mensuráveis e supercompactos, suas caracterizações via reflexão e mergulhos elementares, a hierarquia de força de consistência que eles geram e suas conexões com a determinância e a teoria de modelos internos.

Core questions

• Quais propriedades de fechamento e reflexão definem os principais cardinais grandes?
• Como os mergulhos elementares caracterizam cardinais mensuráveis e mais fortes?
• Por que os cardinais grandes formam uma hierarquia quase linear de força de consistência?
• Como os cardinais grandes interagem com a determinância e a estrutura dos reais?

Key theories

Cardinais Inacessíveis e Mahlo

Um cardinal inacessível é regular e um limite forte, portanto não pode ser alcançado pelas operações usuais de conjuntos e fornece um modelo natural de ZFC; cardinais Mahlo refletem a inacessibilidade, iniciando a hierarquia.

Cardinais mensuráveis e mergulhos elementares

Um cardinal mensurável carrega um ultrafiltro não trivial contavelmente completo, equivalentemente é o ponto crítico de um mergulho elementar do universo em um modelo interno, contradizendo o axioma da construtibilidade.

Hierarquia de força de consistência

Os axiomas de cardinais grandes são ordenados por consistência relativa, de modo que a consistência de um implica a de todos os mais fracos, fornecendo uma régua pela qual a força de teorias arbitrárias é medida.

Clinical relevance

Cardinais grandes fornecem a escala canônica de força de consistência em matemática: muitas afirmações acabam sendo equiconsistentes com a existência de algum cardinal grande, e cardinais grandes fortes implicam propriedades de regularidade da reta real, como determinância projetiva e mensurabilidade de Lebesgue de conjuntos definíveis.

History

Cardinais inacessíveis surgiram do estudo de Zermelo e Sierpinski-Tarski sobre modelos da teoria dos conjuntos, e o trabalho de Ulam de 1930 sobre medida levou aos cardinais mensuráveis. Scott mostrou em 1961 que um cardinal mensurável refuta o axioma da construtibilidade, e o trabalho subsequente de Solovay, Martin, Woodin e outros construiu a hierarquia moderna e suas ligações com a determinância.

Key figures

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

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

Por que ZFC não pode provar que cardinais grandes existem?

Um cardinal inacessível produz um modelo de conjunto de ZFC, então, pelo segundo teorema da incompletude de Goedel, ZFC não pode provar que tal cardinal existe sem provar sua própria consistência, o que não pode fazer. O mesmo raciocínio se aplica, a fortiori, a cardinais grandes mais fortes.

Por que estudar axiomas que não podem ser provados consistentes?

Cardinais grandes fornecem uma escala coerente e bem ordenada para comparar a força das teorias matemáticas, e eles resolvem questões de outra forma independentes sobre conjuntos definíveis de números reais, tornando-os uma ferramenta organizadora central, embora sua consistência deva ser assumida.