Teoria dos Conjuntos
A teoria dos conjuntos estuda coleções de objetos e serve como o fundamento padrão da matemática moderna, na qual essencialmente todo objeto matemático pode ser representado como um conjunto e todo teorema derivado de uma pequena lista de axiomas.
Definition
A teoria dos conjuntos é o estudo matemático de conjuntos, coleções bem definidas de objetos, juntamente com a relação de pertinência, desenvolvida axiomaticamente para fornecer um fundamento uniforme para a matemática e analisar noções de infinito.
Scope
Esta área abrange o desenvolvimento axiomático de conjuntos (principalmente a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha), a teoria dos números ordinais e cardinais e sua aritmética, o universo construtível e modelos internos, o método de forçamento para provar resultados de independência, e a hierarquia de grandes axiomas cardinais que estendem os axiomas padrão. Abrange tanto o papel fundamental da teoria dos conjuntos quanto seu desenvolvimento como uma disciplina matemática autônoma.
Sub-topics
Core questions
- Quais axiomas são suficientes para desenvolver a matemática ordinária e quais são suas consequências?
- Como os tamanhos de conjuntos infinitos são comparados e calculados?
- Quais afirmações são independentes dos axiomas padrão e como a independência é estabelecida?
- Quais axiomas de infinito mais fortes existem e como eles estendem as consequências demonstráveis da teoria dos conjuntos?
Key theories
- Teoria dos conjuntos de Zermelo-Fraenkel com escolha (ZFC)
- Um sistema axiomático de primeira ordem cujos axiomas (extensionalidade, paridade, união, conjunto potência, infinito, separação, substituição, fundação e escolha) fornecem o fundamento padrão no qual a matemática é formalizada.
- Independência da hipótese do contínuo
- Goedel mostrou que a hipótese do contínuo é consistente com ZFC via o universo construtível e Cohen mostrou que sua negação também é consistente via forçamento, então a hipótese é independente dos axiomas padrão.
- Teoria dos ordinais e cardinais
- Os ordinais generalizam a contagem para o transfinito como conjuntos canônicos bem ordenados, enquanto os cardinais medem o tamanho; juntos, eles organizam a hierarquia cumulativa e a recursão transfinita.
Clinical relevance
A teoria dos conjuntos fornece a linguagem fundamental comum da matemática: seus axiomas sustentam a construção dos sistemas numéricos, sua teoria do infinito molda a análise e a topologia, e seus resultados de independência esclarecem os limites do que os axiomas padrão podem determinar.
History
A teoria dos conjuntos começou com a descoberta de Cantor no século XIX de que conjuntos infinitos vêm em diferentes tamanhos. Paradoxos como o de Russell impulsionaram os sistemas axiomáticos de Zermelo e Fraenkel no início do século XX. O universo construtível de Goedel (1938) e a invenção do forçamento por Cohen (1963) resolveram a consistência e a independência da hipótese do contínuo e do axioma da escolha, e o estudo subsequente de grandes cardinais e determinância transformou a teoria dos conjuntos em um campo autônomo profundo.
Key figures
- Georg Cantor
- Ernst Zermelo
- Abraham Fraenkel
- Kurt Goedel
- Paul Cohen
Related topics
Seminal works
- jech2003
- kunen2011
- cohen1963
Frequently asked questions
- Por que a teoria dos conjuntos é considerada um fundamento da matemática?
- Quase todo objeto matemático, como números, funções e espaços, pode ser codificado como um conjunto, e os teoremas usuais podem ser derivados dos axiomas ZFC, de modo que a teoria dos conjuntos fornece um único sistema formal no qual a matemática pode ser desenvolvida.
- O que significa para a hipótese do contínuo ser independente?
- Significa que nem a hipótese do contínuo nem sua negação podem ser provadas a partir dos axiomas ZFC, então os axiomas deixam o tamanho do contínuo indeterminado; isso foi estabelecido combinando os resultados de Goedel e Cohen.