Cap tulo 6 Axioma da regularidade

At e agora, todos os axiomas que vimos garantem a constru c ao de alguns conjuntos partindo apenas do conjunto vazio. O pr oximo axioma garante que todos os conjuntos s ao constru dos a partir do vazio. Tamb em ir a evitar coisas como x x e ser au til em teoria dos modelos para fazermos indu c ao sobre a rela c ao de pertin encia. Axioma 7 (da regularidade) Para todo conjunto x n ao-vazio existe y x tal que x y = . x(x = y (y x x y = )) Teorema 6.1 N ao existem x e y tais que x y e y x. Demonstra c ao: Sejam x e y conjuntos quaisquer. Vamos provar que x / y ou y / x. Usando o axioma do par, tome z = {x, y }. Como z n ao e vazio, pelo axioma da regularidade existe w z tal que w z = . Se w = x, isso implica que y / x. Se w = y , isso implica que x / y , provando o teorema. Corol ario 6.2 N ao existe x tal que x x. Demonstra c ao: Aplique o teorema anterior para x = y . O axioma da regularidade garante que n ao existe uma sequ encia innita decrescente na rela c ao de pertin encia. Ou seja, n ao existe uma sequ encia da forma . . . x3 x2 x1 x0 . Para se ter uma ideia da demonstra c ao desse fato, supondo, por absurdo, que existem tais conjuntos, considere x = {x0 , x1 , x2 , . . .}. Para qualquer xn x temos xn+1 xn x, contradizendo o axioma da regularidade. O problema dessa demonstra c ao est a na formaliza c ao da ideia de sequ encia, j a que ainda n ao denimos o conjunto dos n umeros naturais nem fun c oes. No momento oportuno apresentaremos esse resultado como exerc cio. Conclu mos desse resultado que, para qualquer conjunto x, se tomarmos um elemento de x, e um elemento de um elemento de x, e um elemento de um elemento de um elemento de x, assim sucessivamente, chegaremos, ap os uma quantidade nita de passos, no conjunto vazio. 41

42

CAP ITULO 6. AXIOMA DA REGULARIDADE

bom notar que se, por um lado, n E ao existe uma sequ encia innita decrescente, na rela c ao de pertin encia, por outro lado, como veremos no pr oximo cap tulo, e poss vel existir uma sequ encia innita crescente. Ou seja, sequ encias innitas da forma x0 x1 x2 . . . existem (os n umeros naturais, por exemplo).

Exerc cios
1. Usando o axioma da regularidade, prove que n ao existem x, y, z tais que x y , y z e z x. 2. Usando o axioma da regularidade, prove que n ao existem w, x, y, z tais que w x, x y , y z e z w. 3. Dizemos que um conjunto x e transitivo se todo elemento de x est a contido em x. Use o axioma da regularidade para provar que, para todo conjunto transitivo x, se x = ent ao x. 4. Prove que n ao existe x tal que P (x) = x. 5. Prove que existe um modelo para teoria dos conjuntos em que valem os axiomas do par, da uni ao e das partes, mas n ao valem os axiomas do vazio e da regularidade. Dica: Considere um modelo formado por um u nico elemento x tal que x x.