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.
Um paradoxo é uma proposição que, apesar de aparentar um raciocínio coerente, demonstra falta de nexo ou de lógica, escondendo contradições decorrentes de uma análise incorreta de sua estrutura interna.
Axioma : Evidência cuja comprovação é dispensável por ser óbvia; princípio evidente por si mesmo. Expressão que contém um sentido moral ou geral; provérbio, máxima ou sentença. Matemática. Noção comum; afirmação geral aceita sem discussão: "a parte é menor que o todo" é um exemplo de axioma. Gramática. Representação inicial das regras sintagmáticas; estrutura correta sem explicação comprovada.O conhecimento prévio desta 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:
- Pertinência
- Subconjunto
- Conjuntos numéricos fundamentais
- União
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) - Não confundir com o número π (Pi, 3,14159265...)
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
Conjuntos Fundamentais : Trata-se de qualquer conjunto cujos elementos são números, entre eles, o Conjunto de números naturais
N = {0,1,2,3,4,5,6...};
Conjunto de números inteiros
Z = {..., -4,-3,-2,-1,0,1,2,3,... } (sendo que N ⊂ Z);
Conjunto de números racionais
Q = { 2/3, -3/7, 0,001, 0,75, 3, etc.)
(sendo que N ⊂ Z ⊂ Q);
Conjunto de números irracionais, etc. (Veja as outras postagens aqui neste Blog)
Ocorre união quando o conjunto união contempla todos os elementos de dado conjunto A ou de dado conjunto B.
Exemplo: {0,1,3} ∪ { 3,4,5 } = { 0,1,3,4,5}
Assim, através de suas numerosas combinações, que fornecem poderosa ferramenta para a construção da matemática de base axiomática, apesar de seu conteúdo predominantemente dedutivo, logo surgiu o "Paradoxo de Russel", que é a contradição mais famosa da teoria dos conjuntos.
Nenhum comentário:
Postar um comentário