Matemática Teoria

A Teoria dos conjuntos é a teoria matemática dedicada ao estudo da associação entre objetos com uma mesma propriedade, elaborada por volta do ano de 1872. Sua origem pode ser encontrada nos trabalhos do matemático russo Georg Cantor (1845-1918), os quais buscavam a mais primitiva e sintética definição de conjunto. Tal teoria ficou conhecida também como “teoria ingênua” ou “teoria intuitiva” por causa da descoberta de várias antinomias (ou paradoxos) associados à ideia central da própria teoria. Tais antinomias levaram a uma axiomatização das teorias matemáticas futuras, influenciando de modo indelével as ciências da matemática e da lógica. Mais tarde, a teoria original receberia complementos e aperfeiçoamentos no início do século XX por outros matemáticos.

O conhecimento prévio de tal teoria serve como base para o desenvolvimento de outros temas na matemática, como relações, funções, análise combinatória, probabilidade, etc.

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. Já um conjunto infinito pode ser definido por uma propriedade que deve ser satisfeita por todos os seus membros.

A ideia de conjunto era um conceito primitivo e auto explicativo de acordo com a teoria; não necessitaria de definição.

Esta forma de representar um conjunto, pela enumeração de seus elementos é denominada “forma de listagem”. Poderia-se representar o mesmo conjunto por uma determinada propriedade de seus elementos, sendo x, por exemplo, um número qualquer do conjunto Z representado abaixo:

Z = {1,3,5,7,9,11, … }

teríamos, concluindo:

Z = { x | x é ímpar e positivo } = { 1,3,5, … }.

Merece destaque outras relações básicas, que independem de um cálculo matemático mais complexo, utilizando-se lógica básica e pura. São exemplos desta afirmação as relações a seguir:

1 – Pertinência, que estabelece se um elemento pertence ou não pertence a um conjunto pré-estabelecido:

- dado um número x, caso ele pertença ao conjunto, escrevemos x ∈ A, ou “x” pertence ao conjunto A

- caso “x” não pertença ao conjunto, registra-se x ∉ A

- um conjunto sem elementos é um conjunto vazio, representado pela letra grega φ (phi)

2 – Subconjunto:

Caso todo o elemento do conjunto A pertença também ao conjunto B, sem que todos os elementos deste segundo grupo pertençam todos a B, diremos que “A é subconjunto de B”: A ⊂ B

3 – Conjuntos numéricos fundamentais:

Trata-se