Teoria Axiomática dos Conjuntos (ZFC)

A teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha (ZFC) é o sistema axiomático de primeira ordem que serve como o fundamento formal padrão da matemática moderna.

Definition

ZFC é uma teoria na lógica de primeira ordem com um único símbolo de relação binária para pertinência, cujos axiomas (extensionalidade, par, união, conjunto potência, infinito, separação, substituição, fundação e escolha) descrevem o universo dos conjuntos e a partir dos quais a matemática ordinária pode ser derivada.

Scope

Este tópico aborda os axiomas individuais de ZFC, a hierarquia cumulativa de conjuntos que eles geram, o papel dos esquemas axiomáticos de separação e substituição, e o status especial do axioma da escolha. Explica como objetos matemáticos familiares são codificados como conjuntos dentro deste sistema.

Core questions

• O que cada axioma de ZFC afirma e por que é necessário?
• Como a hierarquia cumulativa organiza o universo dos conjuntos?
• Por que o axioma da escolha é destacado e o que ele implica?
• Como números, funções e relações são construídos como conjuntos dentro de ZFC?

Key theories

Axioma da extensionalidade e da fundação

A extensionalidade afirma que os conjuntos são determinados por seus membros, e a fundação exclui cadeias de pertinência descendentes infinitas, estruturando o universo como uma hierarquia cumulativa bem-fundada.

Esquemas de separação e substituição

A separação forma subconjuntos definidos por uma propriedade, e a substituição permite que a imagem de um conjunto sob uma função de classe definível seja um conjunto, juntos fornecendo a força necessária para construir grandes conjuntos sem reintroduzir os paradoxos clássicos.

Axioma da escolha

O axioma da escolha afirma que qualquer coleção de conjuntos não vazios possui uma função de escolha; é equivalente ao lema de Zorn e ao teorema da boa-ordenação e é indispensável em grande parte da matemática, embora independente dos outros axiomas.

Clinical relevance

ZFC é o arcabouço implícito no qual a maioria dos matemáticos trabalha: ele fixa quais objetos existem e quais construções são legítimas, de modo que a compreensão de seus axiomas esclarece quais argumentos são fundamentalmente sólidos e quais dependem da escolha ou de outros princípios contestados.

History

Zermelo propôs a primeira axiomatização em 1908 para garantir sua prova do teorema da boa-ordenação; Fraenkel e Skolem adicionaram o esquema de substituição na década de 1920 e von Neumann esclareceu a hierarquia cumulativa e a fundação, produzindo o sistema agora chamado ZFC.

Key figures

• Ernst Zermelo
• Abraham Fraenkel
• Thoralf Skolem
• John von Neumann

Seminal works

• kunen2011
• jech2003
• enderton1977

Frequently asked questions

Por que não usar simplesmente a teoria ingênua dos conjuntos?

A compreensão ingênua, que permite formar o conjunto de todos os conjuntos que satisfazem qualquer propriedade, leva ao paradoxo de Russell. ZFC substitui a compreensão irrestrita pelos esquemas restritos de separação e substituição, que evitam os paradoxos, permanecendo fortes o suficiente para a matemática.

O axioma da escolha é necessário?

Grande parte da matemática convencional, incluindo bases para espaços vetoriais e muitos resultados em análise e álgebra, depende dele. É independente dos outros axiomas, portanto, pode ser assumido ou negado consistentemente, mas é convencionalmente adotado.