Interseção

ponto de convergência entre conjuntos, expresso matematicamente pelo símbolo ∩

Em teoria dos conjuntos, a interseção (pt-BR) ou intersecção (pt) (AO 1990: interseção[1] ou intersecção),[2] é um conjunto de elementos que, simultaneamente, pertencem a dois ou mais conjuntos, representado por ∩.

Representação gráfica da interseção entre dois conjuntos

Por exemplo, se o conjunto A possui os elementos {1,2,3,4,5} e o conjunto B possui os elementos {2,4,6,8}, então interseção do conjunto A com o conjunto B será igual a {2,4} .

Definição

editar

Pela teoria básica de conjuntos, define-se   por:

 

Pelos axiomas de Zermelo-Fraenkel, a definição acima não é valida. Devemos usar o axioma da separação com a fórmula  

 

Esse axioma garante a existência da interseção ( ); o enunciado do axioma da separação é tal que, usando-se o axioma da extensão, pode-se mostrar que y é único.

Em outras palavras, provou-se que

 

Propriedades

editar

Considerando-se que   e que   prova-se que:

 

 

Como o conjunto vazio   tem a propriedade que   temos que:

 

Deve-se tomar cuidado ao dizer que   é associativa e comutativa, porque, a rigor, associatividade e comutatividade são propriedades de operações binárias, e a interseção foi definida para todos conjuntos - tratar todos conjuntos como um conjunto gera paradoxos.

Interseções arbitrárias

editar

Seja M uma coleção não-vazia de conjuntos (em teoria dos conjuntos na sua formulação segundo os axiomas de Zermelo-Fraenkel, todo conjunto tem como elementos outros conjuntos, então basta dizer que M não é vazio). Então podemos definir a interseção de todos os conjuntos de M:

 

como sendo o conjunto cujos elementos x são elementos de todos os elementos de M:

 

O problema é que essa definição não é rigorosa, mas isso pode ser resolvido usando-se o axioma da união:

 

Referências

  1. ILTEC. «interseção (nome)». Portal da Língua Portuguesa. Consultado em 24 de Fevereiro de 2011 
  2. ILTEC. «intersecção (nome)». Portal da Língua Portuguesa. Consultado em 24 de Fevereiro de 2011 

Ver também

editar
  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.