Conjuntos disjuntos
Origem: Wikipédia, a enciclopédia livre.
Em matemática, dois conjuntos são ditos disjuntos se não tiverem nenhum elemento em comum. Em outras palavras, dois conjuntos são disjuntos se sua interseção for o conjunto vazio.
[editar] Exemplos
- O conjuntos:
e 
são disjuntos pois não possuem elementos em comum. - O conjunto dos números pares e o conjuntos dos números impares são disjuntos, pois não existe um números que seja par e impar ao mesmo tempo.
- O conjunto dos números primos e o conjunto dos números pares não são disjuntos pois o número 2 é par e primo ao mesmo tempo.
[editar] Definição
Dois conjuntos 
e 
são ditos disjuntos se:
Uma família de conjuntos é dita disjunta dois a dois ou mutuamente disjunta se dados dois conjuntos quaisquer da família, eles são disjuntos. Mais formalmente falando, seja 
uma família de conjuntos disjuntos indexados pelo índice 
, então:
Observe cuidadosamente que 
não implica que a família seja disjunta dois a dois. Um contra-exemplo seria: 
.
[editar] Partição
Uma partição é uma família 
de subconjuntos disjuntos de um espaço 
cuja união é todo o espaço:
Partições aparecem naturalmente como classes de equivalência em uma relação de equivalência.
