Teoria dos conjuntos/Axioma da separação

O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) diz que se um conjunto A existe, e conseguimos descrever (através de uma propriedade) elementos deste conjunto, então existe um conjunto B, subconjunto de A, que contém estes elementos.

Este "axioma" é, a rigor, um Predefinição:W, porque, para cada propriedade Φ, existe um "axioma da separação".

Axioma

A forma apresentada abaixo se deve a Predefinição:W.

Se z é um conjunto e $\varphi$ é qualquer propriedade que possa ser atribuída a elementos x de z, então existe um subconjunto y de z que contém os elementos x de z e que possuem essa propriedade.

Formalmente: qualquer fórmula $\varphi$ na linguagem da teoria dos conjuntos com variáveis livres entre $x,z,w_1,\dots ,w_n$:

$\mathrm{\forall }z\mathrm{\forall }{w}_1\dots w_n\mathrm{\exists }y\mathrm{\forall }x(x\in y⟺(x\in z\wedge \varphi ))$

Notar que esse não é um axioma, mas um esquema de axiomas: para cada $\varphi$ temos um novo axioma.

Notação

Este axioma, combinado com o axioma da extensão, mostra que, para todo conjunto z e toda propriedade Φ, existe um único conjunto cujos elementos são os elementos de z que satisfazem Φ. Ou seja, a notação:

$\{x\in z|\mathrm{\Phi }(x)\}$

define um conjunto que existe e é único.

Segue-se imediatamente da definição que:

$\mathrm{\forall }z,\{x\in z|\mathrm{\Phi }(x)\}\subseteq z$

Note-se que R definido no Predefinição:W

$R=\{x|x\in ̸x\}$

não é um conjunto segundo a definição acima: é preciso especificar dentro de qual conjuntos os elementos x são tirados.

Conjunto vazio

Já supomos no capítulo introdutório que existe algum conjunto. Então, seja Φ(x) uma propriedade que é sempre falsa (por exemplo, $\mathrm{\Phi }(x)=(x\ne x)$).

Sejam, portanto, z e w dois conjuntos quaisquer. Então os conjuntos:

$O_z=\{x\in z|\mathrm{\Phi }(x)\}$

$O_w=\{x\in w|\mathrm{\Phi }(x)\}$

existem e, pelo axioma da extensão, são iguais, já que é fácil provar que

$\mathrm{\forall }x,(x\in ̸O_z\wedge x\in ̸O_w)$

Em outras palavras, qualquer que seja o conjunto de partida (z, w, etc), o conjunto definido acima será sempre o mesmo.

Este conjunto é chamado de conjunto vazio, representado por $\varnothing$.

Os resultados acima podem ser resumidos de forma sintética em existe um conjunto que não tem nenhum elemento, e este conjunto é único.

Pelos axiomas expostos até agora, o conjunto vazio é um ponto final, ou seja, nada pode ser construído a partir dele. Por exemplo, aplicando-se o axioma da separação ao conjunto vazio, obtem-se apenas o conjunto vazio:

$\{x\in \varnothing |\mathrm{\Phi }(x)\}=\varnothing$

Por outro lado, pode-se mostrar que:

• o conjunto vazio é subconjunto de qualquer outro conjunto
• o conjunto vazio é subconjunto próprio de qualquer outro conjunto que não seja vazio
• nenhum conjunto é subconjunto próprio do conjunto vazio

Interseção

Dados dois conjuntos y e z, e a propriedade $\varphi (x,y,z)=(x\in z)$, o axioma diz que existe o conjunto w tal que

$w=\{x\in y|x\in z\}$

Este conjunto tem uma notação especial, e é chamado de a interseção de y e z, ou seja:

$y\cap z=\{x\in y|x\in z\}$

Segue imediatamente das definições acima que:

$\mathrm{\forall }y,(y\cap \varnothing =\varnothing )$

$\mathrm{\forall }y,z,(y\cap z=z\cap y)$

$\mathrm{\forall }y,(y\cap y=y)$

A propriedade associativa demanda um pouco mais de trabalho:

$\mathrm{\forall }x,y,z,(x\cap (y\cap z)=(x\cap y)\cap z)$

Diferença

Dados dois conjuntos y e z, e a propriedade $\varphi (x,y,z)=(x\in ̸z)$, o axioma diz que existe o conjunto w tal que

$w=\{x\in y|x\in ̸z\}$

Este conjunto tem uma notação especial, e é chamado de a diferença de y e z, ou seja:

$y-z=\{x\in y|x\in ̸z\}$

Exercícios

• Mostre que não existe o conjunto de todos os conjuntos. Em outras palavras, para todo conjunto x, existe algum conjunto y tal que $y\in ̸x$. Sugestão: a prova é por contradição e usa o axioma da regularidade e a ideia do paradoxo de Russel.
• Escreva e demonstre as várias propriedades que combinam a interseção e a diferença, por exemplo $(A-B)\cap (A\cap B)=\varnothing$

Ver também

• Em informática, a aplicação deste axioma a listas é chamada de Predefinição:W. Linguagens funcionais (Haskell, etc) ou com influência destas (Python, etc) tem formas simples de fazer list comprehension.