Cap tulo 4 Axiomas do par, da uni ao e das partes

Conforme vimos no nal do cap tulo anterior, tendo apenas o axioma da extens ao e o axioma do vazio n ao podemos garantir a exist encia de nenhum conjunto al em do pr oprio conjunto vazio. Precisamos de outros axiomas que permitem construirmos outros conjuntos a partir do que j a temos. O primeiro deles e o axioma do par. Axioma 3 (do par) Para todos conjuntos x e y existe um conjunto cujos elementos s ao x e y . xy z w((w z ) ((w = x) (w = y )) Mantendo a nota c ao do cap tulo anterior, o axioma do par nos diz que para todos x e y existe o conjunto {x, y }. Note que trata-se de um par n ao-ordenado, isto e, conforme o axioma da extens ao, a ordem dos elementos n ao importa. O conjunto {x, y } e o mesmo que o conjunto {y, x}. Note tamb em que x e y n ao precisam ser distintos. No caso de x ser igual a y , o conjunto {x, y } e igual a {x} (aplicando-se o axioma da extens ao). Por exemplo, tomando ambos x e y iguais a , o axioma do par nos garante a exist encia do conjunto {, }, que, pelo axioma da extens ao, e igual ao conjunto {emptyset}. J a vimos no cap tulo anterior que e {} s ao conjuntos diferentes, e, agora, conseguimos provar a exist encia desse segundo conjunto. Ou seja, at e agora j a provamos que existem pelo menos dois conjuntos distintos! Aplica c oes sucessivas do axioma do par nos fornece uma innidade de conjuntos (nitos). Podemos provar a exist encia de {, {}}, {{}}, {{{}}} e assim por diante. Enunciemos o pr oximo axioma, que tamb em pertence ao grupo de axiomas de constru c ao. Axioma 4 (da uni ao) Para todo conjunto x existe o conjunto de todos os conjuntos que pertencem a algum elemento de x. xy u((w y ) v ((w v ) (v x))) 33

34

E DAS PARTES CAP ITULO 4. AXIOMAS DO PAR, DA UNIAO

Repare que o axioma da uni ao n ao garante, a princ pio, a uni ao de dois conjuntos, mas, sim, a uni ao de uma fam la de conjuntos. Se pensarmos em um conjunto de conjuntos como uma caixa cheia de pacotes menores, a uni ao desse conjunto de conjuntos corresponde a despejarmos todo o conte udo dos pacotes menores na caixa maior. Vejamos, como exemplo (assumindo que existe visto que ainda nem explicamos o que s ao os n umeros naturais), o seguinte conjunto: {{1, 2}, {1, 3}, {4}} A uni ao do conjunto acima e o conjunto formado por todos os n umeros que pertencem a pelo menos um de seus elementos, a saber: {1, 2, 3, 4} Em outras palavras, a uni ao de x e o conjunto dos elementos dos elementos de x. Denotamos a uni ao de um conjunto x por x. Conv em ressaltar e isso vale tamb em para o axioma do par que o axioma da extens ao garante que a uni ao e u nica. Isto e, dado qualquer conjunto x, n ao existem dois conjuntos diferentes que, no lugar de y , tornariam a senten ca correspondente ao axioma da uni ao verdadeira. O axioma da uni ao determina unicamente um conjunto a partir de x. O artigo denido o que consta no enunciado do axioma, em linguagem natural, est a bem colocado. Deixamos ao leitor a tarefa de mostrar as seguintes igualdades: = {} = {, {}} = {} {{}} = {} Com o axioma do par e o axioma da uni ao em m aos podemos denir a uni ao de dois conjuntos. Teorema 4.1 Dados dois conjuntos x e y existe o conjunto formado por todos os conjuntos que pertencem a x ou a y . xy z w((w z ) ((w x) (w y ))) Demonstra c ao: Dados dois conjuntos x e y , aplicamos o axioma do para para obtermos o conjunto {x, y }. Aplicando o axioma da uni ao sobre o conjunto {x, y } obtemos o conjunto z = {x, y }. Observe, pela deni c ao da uni ao de uma fam la de conjuntos, que, para todo w, w z se, e somente se, existe u {x, y } tal que w u. Mas, se u {x, y }, temos que u = w ou u = y , provando que z satisfaz o enunciado do teorema. Novamente notamos que a uni ao de dois conjuntos eu nica, pelo axioma da extens ao, o que nos permite introduzir a seguinte deni c ao.

35 Deni c ao 4.2 Denimos a uni ao de x e y como o conjunto formado por todos os conjuntos que pertencem a x ou a y , e denotaremos esse conjunto por x y . O u ltimo axioma deste cap tulo traz novamente ` a tona a ideia de conjunto de conjuntos, e a necessidade de n ao confundirmos os s mbolos de pertin encia e inclus ao. Axioma 5 (das partes) Para todo conjunto x existe o conjunto dos subconjuntos de x. xy z ((z y ) (z x)) Se quizermos transformar a f ormula acima sem usar o s mbolo de inclus ao, basta escolhermos uma vari avel nova que n ao consta na f ormula (w, por exemplo) e substi importante que o leitor esteja tuirmos z x pela f ormula w((w z ) (w x)). E familiarizado com essas abreviaturas e com o processo de converter essas abreviaturas pela f ormula completa. O conjunto denido pelo axioma das partes tamb em e u nico. Introduzimos a seguinte deni c ao: Deni c ao 4.3 Denimos o conjunto das partes de x como o conjunto dos subconjuntos de x, e denotaremos por P (x).

Exerc cios
1. Escreva uma f ormula de primeira ordem, na linguagem da teoria dos conjuntos, com quatro vari aveis livres, que represente o conjunto {x, y, z }. 2. Escreva o conjunto tre chaves. {{0, 1}, {{1}}, {1, 2}, {{1, 2}}} listando seus elementos en-

3. Escreva o conjunto P ({, {}}). 4. Prove que P (x) = x. x y.

5. Prove que, se x y , ent ao