Teoria Dos Conjuntos

Teoria Dos Conjuntos

É o ramo da matemática que estuda conjuntos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos é aplicada na maioria das vezes a elementos que são relevantes para a matemática. A linguagem da teoria dos conjuntos pode ser usada nas definições de quase todos os elementos matemáticos.
O estudo da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Após a descoberta de paradoxos na teoria de ingênua dos conjuntos, numerosos sistemas de axiomas foram propostos no inicio do século XX . Conceitos de teoria dos conjuntos são integrados em todo currículo de matemática nos Estados Unidos. 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. A lógica de classes, que pode ser considerada um pequeno fragmento da teoria dos conjuntos com importância histórica é isomorfa à lógica proposicional clássica e à álgebra booleana, e como tal, os teoremas de uma das teorias possuem análogos nas outras duas. Temas matemáticos geralmente surgem e evoluem através de interações entre muitos pesquisadores. Teoria dos conjuntos, no entanto, foi fundada por um único artigo em 1874 por Georg Cantor. Teoria dos conjuntos começa com uma fundamental Relação Binaria entre um objeto o e um conjunto A. Se o é um membro (ou elemento) de A, nós escrevemos o ∈ A. Uma vez que conjuntos são objetos, a relação de pertinência também pode relacionar conjuntos.
Uma relação binária derivada entre dois conjuntos é a relação subconjunto, também chamada (está contido). Se todos os