Teoria Dos Conjuntos
Teoria dos conjuntos é o ramo da matemática que estuda conjuntos, que são coleções de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, à teoria dos conjuntos é aplicada na maioria das vezes a elementos que são relevantes para a matemática.
O estudo moderno da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Após a descoberta de paradoxos na teoria ingênua dos conjuntos, numerosos sistemas de axiomas foram propostos no início do século XX, dos quais os axiomas de Zermelo-Fraenkel, com o axioma da escolha, são os mais conhecidos.
Conceitos de teoria dos conjuntos são integrados em todo currículo de matemática. Fatos elementares sobre conjuntos e associação de conjuntos são frequentemente ensinados na escola primária, junto com diagramas de Venn, diagramas de Euler, e as operações elementares, tais como união e interseção de conjunto. Conceitos ligeiramente mais avançados, tais como cardinalidade é uma parte padrão do currículo de matemática de graduação.
A teoria dos conjuntos é comumente empregada como um sistema precursor da matemática, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Além de seu papel fundamental, a teoria dos conjuntos é um ramo da matemática em si própria, com uma comunidade de pesquisa ativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura do número real ao estudo da consistência de grandes cardinais.
Como definição intuitiva de conjuntos, dadas por Cantor, surgiam em sua teoria exemplos como:
- Um conjunto unitário possui um único elemento
- Dois conjuntos são iguais se possuem exatamente os mesmos elementos
- Conjunto vazio é o conjunto que não possui nenhum elemento
- Os conjuntos podem ser finitos ou infinitos. Um conjunto finito pode ser definido reunindo todos os seus elementos separados por vírgulas.