Aritmética Cardinal e Ordinal

A aritmética cardinal e ordinal estende as noções de contagem e ordenação para o infinito, fornecendo as duas medidas complementares de tamanho e posição transfinitos.

Definition

Um ordinal é um conjunto transitivo bem-ordenado por pertinência, representando um tipo de ordem; um cardinal é um ordinal que não está em bijeção com nenhum ordinal menor, representando um tamanho. Sua aritmética define operações de soma, produto e exponenciação estendendo as finitas para o transfinito.

Scope

Este tópico abrange os números ordinais como conjuntos canônicos bem-ordenados e sua aritmética não comutativa, os números cardinais como medidas de tamanho e sua aritmética sob o axioma da escolha, as hierarquias aleph e beth, a cofinalidade e resultados como o teorema de Cantor e o teorema de Koenig.

Core questions

• Como os ordinais codificam toda boa-ordenação até o isomorfismo?
• Por que a aritmética ordinal não é comutativa enquanto a aritmética cardinal não é?
• Como os cardinais infinitos são somados, multiplicados e exponenciados?
• Que restrições a cofinalidade e o teorema de Koenig impõem à exponenciação cardinal?

Key theories

Teorema de Cantor

Para cada conjunto, o conjunto de partes tem cardinalidade estritamente maior, de modo que não há um cardinal maior e a hierarquia de tamanhos infinitos nunca termina.

Indução e recursão transfinita

Propriedades podem ser provadas e funções definidas sobre todos os ordinais por indução e recursão ao longo da ordenação ordinal, o motor técnico central da teoria dos conjuntos.

Hierarquia aleph e exponenciação cardinal

Sob a escolha, os cardinais infinitos são bem-ordenados como os alephs; a soma e o produto de cardinais infinitos colapsam para o máximo, enquanto a exponenciação é governada pela cofinalidade e pelo teorema de Koenig e permanece em grande parte independente de ZFC.

Clinical relevance

A aritmética transfinita fundamenta a comparação de conjuntos infinitos em toda a matemática, justifica argumentos por indução transfinita em álgebra e análise, e enquadra questões centrais de independência, como o valor do contínuo.

History

Cantor introduziu os números ordinais e cardinais nas décadas de 1880 e 1890, provando que os reais são incontáveis e que os conjuntos de partes aumentam estritamente a cardinalidade. A definição de von Neumann de ordinais como conjuntos transitivos bem-ordenados por pertinência deu a formulação moderna, e Hausdorff e Koenig estabeleceram resultados-chave sobre a exponenciação cardinal e a cofinalidade.

Key figures

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

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

Qual é a diferença entre um ordinal e um cardinal?

Um ordinal registra o tipo de ordem de uma boa-ordenação, distinguindo arranjos que têm o mesmo tamanho, mas estrutura diferente, enquanto um cardinal registra apenas o tamanho. Todo cardinal é um ordinal, ou seja, o menor ordinal de seu tamanho.

Por que um mais ômega difere de ômega mais um?

A adição ordinal é definida pela concatenação de tipos de ordem e é sensível à posição. Colocar um elemento antes dos números naturais resulta no mesmo tipo de ordem que os naturais, enquanto colocar um depois deles adiciona um novo elemento maior, de modo que as duas somas são ordinais diferentes.