Axioma da separação
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Disambig_grey.svg/20px-Disambig_grey.svg.png)
O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos.
Essencialmente, o axioma 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 esquema de axiomas, porque, para cada propriedade Φ, existe um "axioma da separação".
Axioma
A forma apresentada abaixo se deve a Kunen.[1]
- Se z é um conjunto e é 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 na linguagem da ZFC com variáveis livres entre :
Notar que esse não é um axioma, mas um esquema de axiomas: para cada temos um novo axioma.
φ deve ser uma fórmula bem formada[2]
História
Na Teoria ingênua dos conjuntos, o esquema usado (implicitamente) era:
Ou seja, qualquer fórmula define um conjunto.
Este esquema leva ao paradoxo de Russell e suas variantes, o que não acontece quando é imposta a restrição a elementos de z.
Exemplo
- A existência da interseção de conjuntos é garantida por este axioma. Formalmente, dados conjuntos y e z, e a propriedade , o axioma diz que existe um conjunto w tal que
Referências
Ver também
Outros projetos Wikimedia também contêm material sobre este tema: | |
![]() | Livros e manuais no Wikilivros |
---|
- Wikilivros
![]() | Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|