Universidade Federal de So Carlos Centro de Cincias Exatas e de Tecnologia Departamento de Matemtica

Innitos, Contnuo e Escolha: Teoria dos Conjuntos

Autora:

Grace Alioska Kawakubo Santana Prof. Dr. Daniel Vendrscolo (DM)

Orientador:

Disciplina: Trabalho de Concluso do Curso A e B Liane Bordignon Prof. Responsvel: Vera Lcia Carboine Ivo Machado da Costa

So Carlos, 15 de dezembro de 2010.

Innitos, Contnuo e Escolha: Teoria dos Conjuntos

Autora:

Grace Alioska Kawakubo Santana Prof. Dr. Daniel Vendrscolo (DM)

Orientador:

Disciplina: Trabalho de Concluso do Curso A e B Liane Bordignon Prof. Responsvel: Vera Lcia Carboine Ivo Machado da Costa

So Carlos, 15 de dezembro de 2010.

Grace Alioska Kawakubo Santana

Prof. Dr. Daniel Vendrscolo (DM)

"Muitos se preocupam em deixar um mundo melhor para nossos lhos, mas poucos se preocupam em deixar lhos melhores para o nosso mundo" (autor desconhecido)

Agradecimentos
Agradeo a minha famlia, que me apoiou durante toda esta jornada, em especial aos meus pais e meu irmo que ouviram todas as teorias e teoremas, mesmo sem entender direto do que se tratavam, com muito anco e ainda consideravam possvel a existncia e verecidade deles. Agradeo aos meus amigos, os colegas de classe que apoiando uns aos outros enm demonstramos sermos dignos do ttulo de matemticos, em especial a Vanessa Cristina Angelotti e Cristiane Keila Pessoa de Lima. Aos amigos do Shinsei, que me mostraram que sucesso vem muito depois da palavra esforo, mas que em grupo somos mais fortes e que no existe esforo em vo. Aos amigos mais distantes sicamente, porm presentes virtualmente, que mantiveram um contato de importncia no enumervel. Agradeo a todos os meus professores, que me ensinaram muito mais que a ementa da disciplina previa, que muitas vezes foram meus exemplos, e que viram em mim um potencial, que nem eu mesma consegui ver. Por m, agradeo ao meu orientador, pelas tardes de discusso, pelas horas de diverso para se entender algo to estranho e por escolher acelerar a correria de todo m de semestre, e assim conseguirmos produzir algo no vazio, e provando assim que o produto de tardes de trabalhos innitos, resulta em pelo menos uma monograa nal. todos que de forma direta ou indireta, contribuiram para a minha formao, tanto pessoal quanto acadmica, muito obrigada.

Sumrio

iv

Sumrio
Prefcio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Noes Bsicas 1.1 1.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 1 7 12 20 20 22 24 28 31 34

Teoria Ingnua dos Conjuntos . . . . . . . . . . . . . . . . . . . . Conjuntos Innitos . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Nmeros ordinais e cardinais . . . . . . . . . . . . . . . . . . . . 3 O Axioma da Escolha e suas Equivalncias . . . . . . . . . . . . 3.1 3.2 3.3 3.4 3.5 O Axioma da Escolha . . . . . . . . . . . . . . . . . . . . . . . . . Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lema de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Boa ordenao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equivalncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Referncias Bibliogrcas . . . . . . . . . . . . . . . . . . . . . . . .

PREFCIO

Prefcio
Este trabalho trata da Teoria dos Conjuntos, os axiomas e a necessidade da existncia de cada axioma. No primeiro captulo so listados alguns axiomas, denies e propriedades de conjuntos, na segunda seo temos a discusso sobre os conjuntos nitos e innitos, suas denies e propriedades. No segundo captulo temos a denio de nmeros ordinais e cardinais, e por m a hiptese do contnuo e sua consistncia. Que foram apresentados para a disciplina Trabalho de Concluso de Curso A. O captulo trs, direcionado a disciplina Trabalho de Concluso de Curso B, temos nas sees as denies do Axioma da Escolha, de ordem, do Lema de Zorn e a Boa Ordem e suas implicaes. Escrevemos tambm sobre as demonstraes e consequncias de tais resultados, na ltima seo escrevemos sobre as equivalncias entre o Axioma da Escolha, o Lema de Zorn e a Boa ordenao. Este texto foi fortemente inspirado em [2], [3] e [4].

CAPTULO 1. NOES BSICAS

Captulo 1 Noes Bsicas

1.1 Teoria Ingnua dos Conjuntos
O estudo da Teoria dos Conjuntos, fundamental na Matemtica, porque todo matemtico precisa uma vez na vida se deparar com a lgica clssica e o sistema axiomtico que ela contm, alm de claro, compreender a necessidade dos axiomas am de evitar os paradoxos que podem surgir. A teoria dos conjuntos que aqui ser feita baseada na lgica clssica, os conectivos lgicos e e ou sero usados com respeito a esta lgica. Infelizmente no deniremos o que conjunto, nem elemento, essas so duas ideias primitivas, isto , apesar da no denio a idia que temos de um conjunto ser construda conforme os axiomas so enunciados. Assim como na Geometria no denimos o que reta ou ponto, mas conseguimos mesmo assim criar modelos que representem e sabemos se o modelo condizente pelos axiomas, desde que as representaes respeitem os axiomas, o modelo pode ser admitido. Axioma 1.1. (da extenso) Dois conjuntos so iguais se, e somente se, tm os mesmos elementos. Este axioma pode parecer dizer algo bvio, mas note que se temos um conjunto A e um conjunto B , ambos os conjuntos so compostos por um nico elemento a e b pertencentes A e B respectivamente, se a e b so irmos podemos dizer que A e B so compostos por lhos de algum, mas dizer que esses conjuntos so iguais equivocado. Isto mostra que apesar de ambos os conjuntos terem a mesma regra, no necessariamente tem os mesmos elementos. Percebemos tambm que o conjunto no considera ordem, pois apenas possuir os mesmos elementos garante a igualdade independente da organizao. Isto nos leva ao conceito de contido (), dizemos que um conjunto A est contido em B (ou em smbolos A B ), se todos os elementos de A so

CAPTULO 1. NOES BSICAS

elementos de B . Note que diferente dizermos A B de A pertence a B (A B ). Com est denio de contido, temos que para todo conjunto A verdade que A A. E tambm dado dois conjuntos A e B se A B e B A, ento A = B pelo axioma da extenso e denio de contido. Axioma 1.2. (da especicao) Para todo conjunto A e a toda condio S (x) corresponde um conjunto B cujos elementos so exatamente aqueles elementos x de A para os quais S (x) vale. Esta S (x) uma sentena, ou seja, a regra que dene quais so os elementos do conjunto. Este axioma necessrio para satisfazer aquilo que queremos que seja um conjunto. Sem ele percebeu-se que havia um problema admitindo-se a ideia de conjunto como uma coleo. O paradoxo de Russel apareceu em 1902, quando o ingls Bertrand Russel declarou que a admisso de um conjunto de todos os conjuntos nos leva a uma contradio. Supomos o conjunto A tal que x A se x no pertence a x (A = {x : x / x}), isso nos leva a pergunta ser que A A ou A / A? Suponha que A A ento pela S (x) de A, se A A ento A / A, absurdo. Se supormos que A / A pela denio de A, ento A A, outro absurdo. Portanto A A ou A / A so absurdos, mas pela lgica sabemos do terceiro excludo que garante que todo elemento ou pertence a um conjunto ou no pertence, no existe outra situao. Portanto A pertence a A, ou no pertence, porm ambas as situaes so absurdas, este paradoxo nos mostra que ou as duas coisas acontecem simultaneamente, ou nenhuma delas acontece. Com isto provamos que nada contm tudo, isto , que no existe um conjunto universo. Porque se existisse um conjunto de todos os conjuntos ele seria o conjunto A, mas o prprio conjunto A no pertence a ele mesmo. Ento o conjunto universo teria que conter ele mesmo o que gera o paradoxo. Axioma 1.3. Existe o conjunto vazio. Este conjunto um conjunto sem elementos, e essencial porque at agora podiamos estar falando de conjuntos sendo que eles nem existissem, a garantia da existncia de pelo menos um conjunto nos levar a construo de outros conjuntos. O conjunto vazio simbolizado por , este conjunto muito especial, pois para todo conjunto A temos que A. A prova simples, suponha por absurdo que no est contido em A, isto implica que existe um elemento no tal que este elemento no pertence a A, mas o conjunto vazio no possue elementos, logo isto um absurdo.

CAPTULO 1. NOES BSICAS

O conjunto vazio nico, para demonstrar basta supor que existe um outro conjunto com a mesma propriedade o , se o e o so diferentes, ento o possui um elemento que no possui. Absurdo porque o no possui nenhum elemento, logo pelo Axioma da Extenso = . Sendo assim o nico. Axioma 1.4. (do par no-ordenado) Para dois conjuntos quaisquer existe um conjunto ao qual ambos pertencem. O axioma do par no-ordenado nos diz que para os conjuntos a e b, existe um conjunto A tal que a A e b A, isto , {x A : x = a ou x = b}. O Axioma da Especicao garante que existe um conjunto A tal que x pertence a A apenas se x = a ou x = b, e ele nico pelo Axioma da Extenso, o conjunto A simbolizado por {a; b}. E este conjunto chamado de par (no-ordenado) formado por a e b. Observemos que se {a} um conjunto, podemos gerar o par noordenado {a; a}, que denotado por {a}, ele chamado de unitrio de a, sendo que a seu nico elemento. Ento se pensarmos no temos {}, que distinto do , anal o primeiro no possui elementos enquanto o segundo possui um nico elemento, o prprio . Axioma 1.5. (das Reunies) Para toda coleo de conjuntos existe um conjunto que contm todos os elementos que pertencem a pelo menos um conjunto da dada coleo. Parece natural que se temos dois conjuntos A e B queremos saber se existe um conjunto que contenha todos os elementos de A e de B . Este conjunto unio existe e nico, a Existncia vem do Axioma das Reunies e a unicidade do Axioma de Extenso. Para toda coleo C existe este conjunto tal que se x X para algum X em C , ento x , aplicando o Axioma da Especicao formamos o conjunto {x : x X para algum X em C }. Podemos encontrar este conjunto representado em outros livros como {X : X C } ou
X C

X.

Na verdade a coleo do pargrafo precedente um conjunto, por vezes usaremos a palavra coleo no lugar de conjunto para no haver repetio de tal palavra. Se esta coleo no fosse um conjunto, ento poderiamos unir todos os conjuntos da coleo e o axioma garante que esta unio gera um conjunto, logo este seria um conjunto de todos os conjuntos e novamente temos o parodoxo de Russel. Agora precisamos listar os casos trivais. qualquer, temos: Seja A um conjunto

CAPTULO 1. NOES BSICAS {X : X } = ou = {X : X {A}} = A ou {A} = A

Mas o comeo da discusso se deve a termos os conjuntos A e B , obtemos: {x : x A ou x B } = A B E assim podemos listar algumas propriedades como: A=A A B = B A (comutatividade) A (B C ) = (A B ) C (associatividade) A A = A (idempotncia) A B se e somente se A B = B Demonstrao: (A B se e somente se A B = B ) Se A B ento se x A ento x B , logo se x A B ele pertence a B . Se A B = B ento suponha x A e x / B ento x A B , mas A B = B absurdo, ento todo x A tambm pertence a B e assim A B . Teorema 1.6. Existe um conjunto com todos os elementos de uma coleo de conjuntos e chamado de interseo (). No caso para dois conjuntos A e B , temos A B = {x A : x B } Demonstrao: Pelo Axioma das Unies e pelo Axioma da Especicao existe um conjunto A B = {x A B : x A e x B }, e ser nico pelo Axioma da Extenso. Se temos os conjuntos A, B e C , basta primeiro considerar o conjunto A B que tem sua existncia garantida pela parte anterior, e como ele um conjunto basta fazer a interseo entre os conjuntos A B e C para obter o conjunto A B C . Sendo assim temos que para dados os conjuntos A e B , A B = {x A B : x A e x B } = {x A : x B }. Para este novo conceito imediato perceber que: A= AB =BA A (B C ) = (A B ) C AA=A A B se e somente se A B = A Demonstrao: (A B se e somente se A B = A) Se A B ento todo x A tambm pertence a B por denio de contido e assim A B =

CAPTULO 1. NOES BSICAS

A. Se A B = A ento todos os elementos que esto em A tambm esto em B e por denio A B . Se dois conjuntos tem interseo vazia eles recebem o nome especial de disjuntos, isto muito especial principalmente considerando-se uma coleo de conjuntos termos conjuntos disjuntos dois a dois. Uma coleo com tal propriedade especial, porque isto se refere tanto a uma quantidade nita de conjuntos, quanto a uma quantidade innita de conjuntos, e mais adiante esta propriedade ser importante em nossas demonstraes. Com essas duas operaes podemos pensar nas Leis Distributivas, utilizando as unies e as intersees juntas. A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C ) Demonstrao da primeira lei: Se x pertence ao lado esquerdo, ento x pertence a A e x pertence ou a B ou a C , se x pertence a B e como x obrigatoriamente pertence a A ento x pertence a A B , ou x pertence a C e novamente ele pertence a A obrigatoriamente, ento x pertence a A C , segue-se disto, em qualquer caso que, x pertence ao lado direito. Isto prova que o lado direito inclui o esquerdo. Se x pertence ou a A B ou a A C , de qualquer forma pertence a A e, x pertence ou a B ou a C . Sendo assim temos a incluso contraria, e se o lado esquerdo contm o lado direito e vice e versa, temos a igualdade. Demonstrao da segunda lei: Se x pertence ao lado esquerdo, ento x pertence ou a A ou a ambos B e C , se x est em A, ento x est em ambos A B e A C , e se x est em ambos B e C , ento x est, outra vez nos dois A B e A C , segue-se disto, em qualquer caso que, x pertence ao lado direito. Isto prova que o lado direito inclui o esquerdo. Se x pertence a ambos A B e A C , ento x pertence ou a A ou a ambos B e C . Sendo assim temos a incluso contraria, e se o lado esquerdo contm o lado direito e vice e versa, obtemos a igualdade. Axioma 1.7. (das Potncias) Para cada conjunto existe uma coleo de conjuntos que contm entre seus elementos todos os subconjuntos do conjunto dado, isto , existe um conjunto que tem como elementos outros conjuntos, e cada elemento deste conjunto um subconjunto do conjunto inicial. Este conjunto tambm conhecido como o conjunto das partes (P ), porque esta tambm uma forma de separar o conjunto em partes. O nome

CAPTULO 1. NOES BSICAS

potncias por causa de um teorema que diz que se o dado conjunto tem n elementos, ento o seu conjunto das potncias tem 2n elementos. Mas o teorema ser formalizado mais adiante. Denio 1.8. Sejam A e B dois conjuntos quaisquer. O conjunto de todos os pares ordenados (x, y ), com x A e y B , chamado o produto cartesiano de A e B , e denotado por A B . Simbolicamente: A B = {(x, y ) : x A e y B } Tambm podemos entender o par (x, y ) como o conjunto {x, {x, y }}, onde x A e y B e ca claro a importncia da ordem pois {x, {x, y }} = {y, {x, y }} , temos que os pares (x, y ) = (a, b) onde a, x A e b, y B se, e s se, a = x e b = y porque {x, {x, y }} = {a, {a, b}} cada conjunto constitudo de um elemento e um conjunto, ento para os dois conjuntos serem iguais temos que o elemento igual x = a e os subconjuntos tambm {x, y } = {a, b} e como j temos a = x implica em b = y pelo Axioma da Extenso. Denio 1.9. Uma relao de A para B (ou de A em B ) um subconjunto do produto cartesiano A B . Denio 1.10. Sejam X e Y conjuntos. Uma funo de X em Y uma terna (f, X, Y ), sendo f uma relao em X Y , satisfazendo: (a) O domnio da funo o conjunto de todos os x X tais que f (x) = Y para algum y Y , ou seja, Dom(f ) = X . (b) Se (x, y ) f e (x, z ) f ento y = z . E simbolizamos (f : X Y ) f (x) = y , quando a funo f relaciona o x do domnio(Dom) com o y da Imagem(Im), onde imagem o conjunto de todos os y Y , tais que f (x) = y para algum x X . Denio 1.11. (i)Chamamos de funo injetora, quando para todo x e z diferentes, tais que ambos pertenam a X , temos f (x) = y e f (z ) = y se, e s se, x = z . (ii)Chamamos de funo sobrejetora, quando para todo y pertencente a Y , existe um x pertencente a X , tal que f (x) = y . Em outras palavras, f uma sobrejeo se, e somente se, f (X ) = Y (iii)Chamamos de funo bijetora ou correspondncia um a um, quando ela for injetora e sobrejetora. Denio 1.12. Se dois conjuntos possuem uma funo bijetora de um no outro, dizemos que eles so equipotentes.

CAPTULO 1. NOES BSICAS

1.2

Conjuntos Innitos
Quando um subconjunto A de B no possui todos os elementos que

perteam ao conjunto B que ele est contido, dizemos que A um subconjunto prprio de B. Um conjunto B que contm um conjunto A chamado de superconjunto de A. Denio 1.13. Um conjunto A innito quando possui um subconjunto prprio B , tal que existe uma funo bijetora entre A e B . Um conjunto nito se no for innito. Denio 1.14. Chamamos de A B o conjunto com os elementos de A que no pertenam a B , ou seja, A B = {x A : x / B} . Teorema 1.15. Todo superconjunto, de um conjunto innito, innito. E analogamente todo subconjunto de um conjunto nito, nito. Demonstrao: Para a primeira parte, suponha A um conjunto innito e B seu superconjunto, ento seja a funo bijetora f : A C dada pela denio de innito e sabendo que C subconjunto prprio de A, onde C = f (A) = A. Ento construimos a funo g : B g (B ) tal que f (b), se b A g ( b) = b, se b B A Ento g injetora, porque f j era por denio e para b B A se g (b1 ) = g (b2 ) b1 = b2 . Como f no sobrejetora, temos que para todo b C existe a f (b) = g (b). Conclumos que g (B ) = B porque f (A) = A. Portanto B innito pela denio. Para a segunda parte, basta supor por absurdo que A um conjunto nito dado, com um subconjunto B innito, ento como A um superconjunto de um conjunto innito A innito pela primeira parte, absurdo. Portanto B nito. Teorema 1.16. Seja g : X Y uma funo bijetora. Se o conjunto X innito, ento Y innito. Demonstrao: Como o conjunto X innito, existe uma funo f : X f (X ) tal que f (X ) = X e f bijetora, como g bijetora tambm o g 1 (y ), ento a funo h = g f g 1 tambm bijetora, porque compostas de bijetoras bijetora, assim h(Y ) = Y porque f (X ) = X e novamente pela denio, temos que h(Y ) subconjunto prprio de Y e portanto Y um conjunto innito.

CAPTULO 1. NOES BSICAS

Teorema 1.17. Seja X um conjunto innito e seja x0 X Ento X {x0 } innito. Demonstrao: Pela denio, existe uma funo bijetora f : X f (X ) onde f (X ) = X . Como x0 X , ento ou x0 f (X ) ou x0 X f (X ), vamos primeiro supor que x0 pertence a f (X ), depois que no pertena e em qualquer uma das escolhas construir uma g : X {x0 } g (X {x0 }) onde g (X {x0 }) = X {x0 } bijetora. (i) x0 f (X ) Como a funo f (x) bijetora existe xn X , tal quef (xn ) = x0 e como x0 X temos que f (x0 ) = xm X para algum m. Se x0 = xm implica em f (xn ) = f (x0 ) e como a funo injetora, obtemos x0 = xn , ou seja, f (x0 ) = x0 e neste caso f (x) = g (x) est bem denida e temos a bijeo que queriamos. Se x0 = xm , temos xm , se x = xn Ento X {x0 } innito porque g (x) bijetora e g (X {x0 }) um subconjunto prprio de X {x0 }, porque o conjunto X f (X ) igual ao conjunto X {x0 } g (X {x0 }). (ii) x0 X f (X ) Notemos que neste caso f (x0 ) = x0 porque se f (x0 ) = x0 , ento x0 f (X ) uma contradio. Ento f (x) = g (x), e temos f (x0 ) X {x0 } g (X {x0 }), porque f (x) injetora e f (x0 ) = f (xn ), se e somente se, x0 = xn para algum xn X , logo g (xn ) = g (x0 ) um absurdo porque a funo g (x) tem como domnio o conjunto X {x0 }. Sendo assim, por (i) e por (ii), a funo g (x) bijetora e g (X {x0 }) = X {x0 }, e pela denio o conjunto X {x0 } innito. Denio 1.18. Chamaremos de Nk , onde k N, o conjunto {0, 1, 2, ..., k }. Lema 1.19. Para cada k N, o conjunto Nk nito. Demonstrao: Denimos que se k = 1 temos N1 = {1}, que nito porque o nico subconjunto prprio o , e como no existe uma funo bijetora entre {1} e o vazio, este conjunto nito. Por induo nita, vamos supor que Nk nito para algum k N, sendo Nk+1 = Nk {k + 1}, se por absurdo Nk+1 innito, ento Nk+1 {k + 1} innito pelo teorema anterior, absurdo porque por hiptese Nk = Nk+1 {k + 1} nito. Portanto todo conjunto Nk nito para cada k N. g (x) = f (x), se x X {x0 , xn }

CAPTULO 1. NOES BSICAS

Teorema 1.20. Um conjunto X nito se, e somente se, X = ou existe uma funo bijetora de X com algum Nk Demonstrao: () Se X = como ele no possui nenhum subconjunto prprio ento ele nito. Se existe uma f (x) tal que f : X Nk bijetora ento se X fosse innito por absurdo, teriamos que Nk tambm innito pelo teorema 1.16, o que absurdo pois acabamos de provar que Nk nito para todo k pertencente aos naturais. Portanto o conjunto X nito. () Supondo por absurdo que X um conjunto nito tal que ele no vazio e no possui nenhuma bijeo com nenhum Nk para todo k pertencente aos naturais, ento temos que existe x1 X porque X diferente de vazio. E X {x_1} diferente de vazio, porque caso contrrio existiria uma bijeo entre X e N1 , e assim podemos fazer sucessivamente para o conjunto X {x1 , x2 , x3 , ..., xk } para algum n pertencente aos naturais, que no vazio, pois caso contrrio existe uma bijeo entre este conjunto e Nk . Logo podemos construir a funo f (x) onde f (xk ) = xk+1 uma funo f : X X x1 , e como o conjunto X x1 um subconjunto prprio de X , e f (xk ) = f (xn ) se, e somente se, xk+1 = xn+1 xk = xn . Para todo xk+1 existe um xk tal que f (xk ) = xk+1 . Portanto f (x) uma funo bijetora entre X e seu subconjunto prprio X x1 , e por denio X innito, absurdo, porque a hiptese nos diz que X nito. Sendo assim, X = ou existe uma funo bijetora de X com algum Nk Denio 1.21. Um conjunto X dito ser enumervel quando existe uma funo f : X N tal que f bijetora. Um conjunto contvel um conjunto nito ou enumervel. Esta denio agrupa dois tipos de conjuntos, os enumerveis com os conjuntos nitos, por enquanto vamos apresentar algumas caractersticas interessantes de conjuntos contveis. Teorema 1.22. Todo subconjunto innito de um conjunto enumervel, enumervel. Demonstrao: Seja X um conjunto enumervel, provemos que Y um subconjunto innito de X tambm enumervel, ento existe uma funo g : X N, onde g injetora e g (xn ) = n para todo n pertencente aos naturais e xn pertence a X , porque X enumervel. Sendo assim queremos uma funo f : Y N, como Y um subconjunto de X , ento existe um n1 tal que xn1 Y e xn1 = xn para algum n, ento temos que Y = {xn1 , xn2 , xn3 , ...}, e se f (y ) = f (xnm ) = m para todo m pertencente aos naturais, ento f (xnm ) = f (xnp ) se, e

CAPTULO 1. NOES BSICAS

10

somente se, xnm = xnp mas isto que dizer que so o mesmo elemento, e portanto f injetora. E f sobrejetora porque X um conjunto enumervel, conclumos que Y enumervel. Corolrio 1.23. Todo subconjunto de um conjunto contvel contvel. Demonstrao: Se X um conjunto nito dado, ento todo subconjunto de X nito pelo Teorema 1.15, e portanto pela denio tanto X quanto seu subconjunto so contveis. Se X um conjunto innito dado e contvel, ento ele enumervel pela denio, logo seu subconjunto enumervel pelo teorema anterior ou nito, e portanto contvel. Teorema 1.24. A unio de dois conjuntos enumerveis enumervel. Demonstrao: Sejam A e B dois conjuntos enumerveis, ento ou A B = ou A B = (i) A B = Como A enumervel ento existe uma funo f : A N injetora e como existe uma funo g : N Np , onde Np so os nmeros naturais pares, g (n) = 2n para todo n N. Ento g bijetora porque para todo 2n existe um n tal que g (n) = 2n, e g (n) = g (m) se, e somente se, 2n = 2m n = m. Logo existe uma h1 = g f onde h1 injetora. Como B enumervel ento existe uma funo f : B N injetora e como existe uma funo g : N Ni , onde Ni so os nmeros naturais impares, g (n) = 2n + 1 para todo n N. Ento g bijetora porque para todo 2n + 1 existe um n tal que g (n) = 2n + 1, e g (n) = g (m) se, e somente se, 2n + 1 = 2m + 1 n = m. Logo existe uma h2 = g f onde h2 h1 , se x A injetora. Ento seja f : (A B ) (Np Ni ) onde f (x) = h2 , se x B Est bem denida porque AB = e sendo assim como Np Ni = N enumervel, ento A B tambm o . (ii) A B = Seja C = A B , um conjunto tal que A B = C B e temos C e B conjuntos disjuntos por construo, como C B enumervel pela parte (i), ento A B tambm enumervel.
n

Corolrio 1.25. Sejam A1 , A2 , ..., An conjuntos enumerveis. Ento

k=1

Ak

enumervel. Demonstrao: J sabemos que se n = 2 isto verdade, ento

n1 n1

vamos supor por induo nita que

k=1

Ak enumervel, ento
k=1

Ak An

CAPTULO 1. NOES BSICAS

n

11 Ak
k=1

enumervel, porque unio de dois conjuntos enumerveis, logo enumervel.

Teorema 1.26. O intervalo aberto ]0, 1[ de nmeros reais um conjunto no enumervel. Demonstrao: Todos os nmeros x entre 0 e 1 tem como expanso decimal a forma 0, x1 x2 x3 ..., ou seja, em srie de potncia escrevemos
n=1 n=2 xn 10n 9 10n

= 0, x1 x2 x3 ... e representaremos 0, 5 = 0, 4999... porque claramente + 0, 4 tende a 0, 5. Sendo assim dois nmeros desta representao sero

iguais se, e somente se, para 0, x1 x2 x3 ... = 0, y1 y2 y3 ... ento para cada k -sima casa decimal temos xk = yk ento x = y . Vamos supor por absurdo que o intervalo aberto ]0, 1[ de nmeros reais um conjunto enumervel, ento existe uma funo f :]0, 1[ N tal que f (1) = 0, a11 a12 a13 ... f (2) = 0, a21 a22 a23 ... f (3) = 0, a31 a32 a33 ... . . . f (k ) = 0, ak1 ak2 ak3 ... . . . onde cada ajk {0, 1, 2, 3, ..., 9}. Seja z ]0, 1[ onde z = 0, z1 z2 z3 ... como zk = 3 se akk = 3, e zk = 1 se akk = 3, para cada k N. Como o nmero z obviamente est entre 0 e 1, mas z = f (1) porque z1 = a11 , e z2 = f (2) porque z2 = a22 , e assim sucessivamente. No obtemos f (k ) tal que f (k ) = z , o que um absurdo. Portanto no existe tal funo f e logo o intervalo aberto ]0, 1[ de nmeros reais um conjunto no enumervel. Corolrio 1.27. O conjunto R dos nmeros reais no enumervel. Demonstrao: Pelo corolrio 1.23 temos que se por absurdo R contvel, ou seja, enumervel uma vez que este conjunto innito, ento todo subconjunto dele tambm contvel, porm acabamos de provar que ]0, 1[ um intervalo aberto que est contido nos reais no enumervel. Logo o conjunto R dos nmeros reais no enumervel.

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

12

Captulo 2 Nmeros ordinais e cardinais

J falamos de nmeros, mas no denimos o que um nmero, porque temos uma ideia intuitiva do que seja, e o que um npumero representa, mas agora necessrio formalizar esta denio, antes de construir os nmeros iremos denir o sucessor de um conjunto. Denio 2.1. Diremos que x+ o sucessor de x se ele for a unio de x com o conjunto unitrio de x, ou seja, x+ = x {x}. O sucessor indica o prximo, ento para nmeros o sucessor de um nmero x ser x + 1. Sendo assim para denir os nmeros Naturais podemos comear do zero, temos pelo Axioma do Vazio que o vazio existe e nico, denimos que 0 = . Como o conjunto dos Naturais tal que 1 sucessor do 0, ento 1 = 0+ = {} = {} E assim o 2 sucessor do 1, logo 2 = 1+ = {{} }, e assim sucessivamente fazemos para os nmeros 3, 4, 5, ... Axioma 2.2. (da Innidade) H um conjunto que contm o 0 e que contm o sucessor de cada um de seus elementos. Claramente estes conjuntos so innitos, ento se temos os conjuntos A e B tais que eles possuem x e os sucessores de x e o zero, eles so conjuntos sucessores. Se tomarmos uma famlia de conjuntos sucessores sua interseo ser uma conjunto sucessor , ento temos que o conjunto sucessor que tem como propriedade estar contido em todos os conjuntos sucessores. Na verdade este conjunto chamado de conjunto dos Nmeros Naturais simbolizado por N. Pode parecer estranho pensar que o 7 um subconjunto do 8, mas na teoria dos conjuntos, em sua representao, o conjunto ca claro que se o 8

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

13

sucessor do 7, ento o 7 um subconjunto do 8. Isto implica que se n e m so dois nmeros naturais tal que n = m e se n < m ento n m. Ento pela denio temos o conjunto sucessor dos Naturais, ou seja, existe
+

que tambm possui um sucessor ( + )+ . Isto nos sugere uma

ordenao dos nmeros, a prpria palavra sucessor j nos dava essa ideia, mas preciso destacar que podemos ordenar todos os nmeros e no apenas os naturais. Isto signica que , + e ( + )+ podem ser listados em uma ordem, em outras palavras temos o + 1, + 2,... Se zermos innitamente conseguiremos o 2 e assim 2 +1, 2 +2, 2 + 3,..., 3 + 1, 3 + 2, 3 + 3,..., 2 + 1, 2 + 2,... Todos estes nmeros so chamados de Nmeros ordinais, um nmero ordinal por denio um tipo especial de conjunto bem ordenado. Isto signica que se e so dois nmeros ordinais, ento eles tambm so conjuntos bem ordenados, e alm disso ou so iguais ou um deles est contido no outro, ou seja, para todo nmero ordinal = , ou < , ou > , no outra h alternativa. Com isso podemos dizer que os conjuntos de nmeros ordinais so totalmente ordenados, se temos para todo E , onde E um conjunto dos ordinais, ento temos o primeiro nmero de E , porque para qualquer tal que E , temos que = , ento se existisse um E tal que < ento = = . Agora que conhecemos os nmeros ordinais, sabemos que se temos um conjunto X e seu conjunto P (X ), o conjunto das potncias j denido, ento tanto X quanto P (X ) esto contidos no ordinal de P (X ), mas estes so conjuntos que no possuem uma bijeo (fato que ser provado a seguir no Teorema de Schrder-Bernstein), ento a diferena entre eles so seus Nmeros cardinais. Um nmero cardinal o menor nmero ordinal, tal que para um conjunto cardinal de igual a+ se / a, isto , card = a+ se, e s se, no subconjunto ou equipotente a um subconjunto de a . Como j dissemos este conjunto bem ordenado e claramente X P (X ) e assim temos que ordinal de X menor que o ordinal de P (X ) portanto cardX < cardP (X ). Os nmeros cardinais e ordinais de conjuntos nitos so sempre iguais, porm para conjuntos innitos isto no verdade. Os axiomas a seguir nos garantem que para os nmeros cardinais sempre h um conjunto com tal quantidade de elementos, assim como conjuntos que possuem uma funo bijetora entre eles tem uma propriedade em comum que o mesmo nmero cardinal.

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

14

Axioma 2.3. Cada conjunto A est associado a um nmero cardinal, denotado por cardA, e para cada nmero cardinal a, existe um conjunto A com cardA = a. Este axioma nos garante que podemos ordenar todos os conjuntos pelas suas cardinalidade, porque todo conjunto possui uma cardinalidade. E analogamente para todo cardinal podemos construir um conjunto com tal cardinalidade. Axioma 2.4. cardA = 0 se e somente se A = . Como j discutimos o vazio um conjunto especial e por isso ele foi associado a um nmero especial, note que bastante intuitivo que o conjunto vazio seja associado ao nmero zero. Axioma 2.5. Se A um conjunto nito no vazio, isto , A possui uma bijeo com algum Nk para algum k N, ento cardA = k . Aqui temos um axioma que se refere apenas aos conjuntos nitos, e por isso ca a pergunta. Do que acontece com os conjuntos innitos? Eles em breve tambm sero associados a seus cardinais, porm estes nmeros cardinais no so naturais. Axioma 2.6. Para quaisquer dois conjuntos A e B , cardA = cardB se e s se existe uma funo bijetora entre A e B . Este axioma natural, anal conjuntos que possuem um bijeo tem algo em comum e seu nmero cardinal revela isso, ele separa em classes todos os conjuntos desa forma, cada conjunto tem sua classe, um nmero cardinal e todas as classes de equivalncia so claramente disjuntas. Denio 2.7. Sejam A e B dois conjuntos, ento dizemos que cardA menor que cardB , e denotamos isso por cardA cardB quando existe uma injeo f : A B . E tambm denotamos cardA < cardB se no houver sobrejeo. Esta denio se refere tanto aos conjuntos nitos quanto aos innitos, no caso dos conjuntos nitos a ordeno do menor para maior clara, a mesma dos naturais. Porm para conjuntos innitos no est claro qual o maior, ou menor ou igual, apesar dos iguais j havermos discutido quando falamos dos enumerveis e no enumerveis. Teorema 2.8. cardN < cardR

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

15

Demonstrao: Como o prprio conjunto dos naturais um subconjunto dos reais ento a funo identidade injetora, ou seja, f (n) = n para n N, temos que f (n) = f (m), implica em n = m. E como j provamos que no existe bijeo entre os conjuntos porque um enumervel e outro no enumervel, temos que cardN < cardR Com isso provamos que todos os conjuntos enumerveis so menores que os conjuntos no enumerveis, pois pelo Axioma 2.6 temos que todos os conjuntos enumerveis tem mesmo cardinal que N, e como um conjunto que no possui bijeo com os naturais no enumervel, temos que todos eles so maiores que N. Teorema 2.9. de Schrder-Bernstein Se A e B so conjuntos tais que existe uma funo injetora de A em B , e tambm existe uma funo injetora de B em A, ento A e B tem mesma cardinalidade. Lema 2.10. Se B um subconjunto de A e existe uma injeo f : A B , ento A e B so equipotentes. Demonstrao: Se B A est feito. Se B um subconjunto prprio de A, ento seja C um conjunto tal que C =
n0

f n (A B ), onde f 0 a

funo identidade e para todo k positivo f k (x) = f (f k1 )(x) para todo x de A. Sendo assim temos a funo h(z ) da forma: f (z ) , se z C z , se z A C

h(z ) =

Temos que A B um subconjunto de C pois f 0 (A B ) = A B e tambm f (C ) um subconjunto de C portanto temos que: h(A) = (A C ) f (C ) = [A
n0

f n (A B )] f (
n0

f n (A B )) =

[A
n0

f n (A B )] [
n1

f n (A B )] = A (A B ) = B

Assim provamos que h uma sobrejeo, e tambm uma injeo, porque f injetora por hiptese se (z C ), se y, z A C temos que h(z ) = h(y ) z = y . Portanto conclumos que h : A B uma bijeo. Demonstrao: (do Teorema) Se A0 e B0 so subconjuntos de A e B respectivamente e seja f0 : A B0 e g0 : B A0 bijees da hiptese, temos que f : A A0 , tal que f (x) = g0 (f0 (x)), injetora. Ento pelo lema
1 anterior, existe uma bijeo h : A A0 e por isso a funo g0 h : A B

existe e uma bijeo. Corolrio 2.11. Se A e B so conjuntos tais que cardA cardB e cardB cardA ento cardA = cardB .

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

16

Demonstrao: Pela denio se cardA cardB ento existe uma bijeo de A para um subconjunto de B e analogamente existe uma bijeo de B para um subconjunto de A, e assim pelo teorema de Schrder-Bernstein temos que existe uma bijeo entre A e B sendo assim pelo axioma 2.6 cardA = cardB .

Teorema 2.12. (de Cantor) Se X um conjunto ento cardX < cardP (X ). Demonstrao: Se X = ento P (X ) = P () = {} que tem cardP () = 1 . Por isso iremos supor X = , ento a funo g : X P (X ) tal que g (x) = {x} P (X ), para todo x X Concluimos que X possui uma bijeo com um subconjunto de P (X ) e ento temos que cardX cardP (X ). Para provar que cardX < cardP (X ) vamos supor por absurdo que existe um funo bijetora entre X e P (X ). Considere f : X P (X ), ento seja S = {x X : x / f (x)}. Como claramente S P (X ) existe um elemento e X tal que f (e) = S , ento ou e S ou e / S. (i) e S Como e perntece a S pela denio de S , temos que e no pertence a f (e), mas f (e) = S e e / S. (ii) e /S Como e no pertence a S pela denio de S , temos que e f (e), mas f (e) = S temos um absurdo. Logo no existe tal funo bijetora, e cardX < cardP (X ). Denio 2.13. Sejam a e b nmeros cardinais. A soma cardinal de a e b, denotado por a + b, o nmero cardinal card(A B ) em que A e B so conjuntos disjuntos sendo cardA = a e cardB = b. Claro que a denio no depende dos conjuntos A e B escolhidos, se A, B , A e B so conjuntos todos disjuntos tal que cardA = cardA e cardB = cardB , ento existe uma bijeo entre A e A , e outra entre B e B como todos so disjuntos ento A B possui uma bijeo com A B , na verdade uma composio das bijees j existentes, e assim cardA B = cardA B . Teorema 2.14. Sejam x,y e z nmeros cardinais quaisquer, ento: (i) x + y = y + x (Comutatividade) (ii) (x + y ) + z = x + (y + z ) (Associatividade) Demonstrao: As demonstraes seguem do fato que para conjuntos X , Y e Z ento X Y = Y X e (X Y ) Z = X (Y Z ).

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

17

Denio 2.15. Sejam a e b nmeros cardinais com a = 0. Sejam A e B conjuntos tais que cardA = a e cardB = b. Denote o conjunto de todas as funes de A em B por B A , denimos cardB A = ba . Note que esta denio no depende de A e B , ou seja, dados A, A , B e B conjuntos distintos, se cardA = cardA e cardB = cardB , ento cardB A = cardB A . Teorema 2.16. Seja A um conjunto, ento 2cardA = cardP (A). Demonstrao: Seja B = {0, 1} ento cardB = 2, temos que o conjunto das funes f tal que F = {f, tal que f : A B } igual a 2cardA , onde estas so as funes caracterstica da forma, que para cada subconjunto X de A, temos 0 , se a X 1 , se a A X

fX (a) =

Ento temos a funo g : fX P (A), dada por g (fX ) = X para cada subconjunto X de A. Se g (fX ) = g (fY ), onde X e Y so subconjuntos de A, ento X = Y e pelo Axioma da Extenso isto acontece se, e somente se, todos os elementos de X so iguais aos elementos de Y . A sobrejeo da funo g que dado qualquer subconjunto X de A temos uma fX , portanto a funo g bijetora e temos que 2cardA = cardP (A). Teorema 2.17. Os conjuntos N e Q tem mesma cardinalidade. Demonstrao: Pela funo identidade (f (n) = n) temos que existe uma funo injetora dos naturais nos racionais. Mas precisamos saber se existe uma bijeo entre eles, como os racionais so todos os nmeros da forma
p q

onde p e q so inteiros e q = 0, considerando Q+ os racionais positivos, e Q

os racionais negativos, temos para uma funo f : Q+ Q tal que f (q ) = q bijetora, se listarmos os nmeros de Q+ da forma:
1 1 2 1 3 1 111 ... 234 222 ... 234 333 ... 234 1 , 1

Conseguimos contar todos os Q+ , e assim temos que g (1) = existe uma funo bijetora de N em Q, e por isso cardN = cardQ. , 2 , 1 , 3 , 2 , 1 , 4 , 3 , 2 , 1 , 5 , 4 ... Outra forma de listarmos 1 1 1 2 1 2 3 1 2 3 4 1 2

g (2) = 2 , g (3) = 1 ,... Temos que g uma funo sobrejetora, portanto temos que 1 2

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

18

Aqui a regra primeiro listar as fraes nas quais a soma do denominador com o numerador seja igual a 2, depois as quais a soma igual 3, e assim por diante. Para listarmos todos os nmeros de Q basta acrescentar os negativos in2 1 1 4 2 tercalados da forma: 1 , 1 , 2, 2 , 1, 1 , 3, 3 , 2, 2 , 3, 3 , 1, 4 , 3, 3 , 2, 3 ... 1 1 1 1 2 2 1 1 2 1 2 2 3

Teorema 2.18. Seja cardN = 0 e cardR = c ento 20 = c. Demonstrao: Seja a funo f : R P (Q) onde, f (a) = {x Q : x < a} para cada a R. Seja a = b e a, b R, temos que existe um nmero racional r tal que a < r < b, ento temos que r f (b) mas r / f (a), e portanto f injetora. Com isso provamos que c cardP (Q) = 20 . Seja g : {0, 1}N R e seja f : N {0, 1}, onde f uma funo caracterstica, ento g (f ) = 0, f (1)f (2)f (3)... como f tem como imagem o conjunto {0, 1}, ento 0 < g < 0, 2 seja g (f ) = g (h), onde h uma das funes caractersitcas assim com f , ento 0, f (1)f (2)f (3)... = 0, h(1)h(2)h(3)... se, e somente se para todo n N temos f (n) = h(n), ento as funes f e h so iguais. Portanto c 20 , logo obtemos por Schrder-Bernstein que c = 20 . Corolrio 2.19. Seja cardN = 0 e cardR = c ento 0 < c. Demonstrao: Pelo Teorema de Cantor e pelo teorema anterior temos que cardN < cardP (N) e assim 0 < c. A nomenclatura para cardN = 0 e cardR = c tem uma explicao, a primeira letra do alfabeto hebraico e o c de continum, nos chamamos de 0 em especial o conjunto os Naturais por causa da Hiptese do Contnuo. Hiptese do Contnuo: No h nenhum nmero cardinal x satisfazendo 0 < x < c. Por muitos anos tentaram provar esta hiptese ou contradiz-la, e foi descoberto que isto era impossvel, ou seja, esta hiptese independe dos demais axiomas, tanto a aceitao de tal hiptese quanto sua negao no gera nenhuma contradio com os demais Axiomas. E quando aceitamos esta hiptese denominamos c = 1 , o que sugere uma sequencia de s, onde cada o cardinal de um conjunto innito no enumervel. Hiptese do Contnuo Generalizada: Para qualquer nmero cardinal innto a, no h nenhum nmero cardinal x tal que a < x < 2a . Esta hiptese igualmente independente dos demais Axiomas, ento existem teorias que admitem a Hiptese do Contnuo, porm no admitem a generalizada. E tambm claro que a construo da sequencia de s feita com

CAPTULO 2. NMEROS ORDINAIS E CARDINAIS

19

as partes do conjunto anterior, isto , card(N) = 0 < card(P (N)) = card(R) = 1 < card(P (R)) = 2 < card(P (P (R))) = 3 < ... Portanto estas hipteses foram conjecturadas e foi Kurt Gdel (1906-1978) que em 1938 conseguiu demonstrar que estas hipteses so to consistentes quanto o resto dos axiomas, ou seja, admitir as hipteses geram tantas contradies quanto no admiti-las. Na verdade a Hiptese do Contnuo analoga ao Quinto Postulado da Geometria onde na Geometria Euclidiana admitimos que dada uma reta e um ponto fora dela ento existe apenas uma paralela que passa por este ponto dado, enquanto as Geometrias no Euclidianas (como a Hiperblica por exemplo) admitem o contrrio, ou seja dada a reta e o ponto fora dela, existem pelo menos 2 retas que passam por este ponto dado.

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

20

Captulo 3 O Axioma da Escolha e suas Equivalncias

3.1 O Axioma da Escolha
Antes de apresentarmos o Axioma da Escolha discutiremos o que o produto cartesiano de uma famlia innita de conjuntos. Sabemos como construir o conjunto cartesiano para dois conjuntos (ver denio 1.8), tal construo pode ser facilmente extendida para o produto cartesiano de uma famlia nita de conjuntos. Mas tal construo no pode ser feita para uma famlia innita de conjuntos, portanto denimos. Denio 3.1. Seja {A : A} uma famlia de conjuntos. cartesiano

O produto

A o conjunto de todas as funes c:A

A

que tem a propriedade de para todo A, c() A . Note que esta denio tambm pode ser usada para famlias nitas de conjuntos. Axioma 3.2. (da Escolha) O produto cartesiano de uma famlia no vazia de conjuntos no vazios no vazio. Em outras palavras para X um conjunto innito enumervel temos {Xi } , i N onde X1 X2 X3 ... = Xi = para algum i N. Para um conjunto I innito no enumervel temos {Xi } , i I , onde I = e Xi = para todo i I , ento existe {xi } , i I tal que xi Xi para cada i em I .

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

21

Isto , seja C uma coleo no vazia de conjuntos no vazios. Como podemos indexar C ao prprio C , ou seja, o conjunto C indexado por ndices que pertencem a C , e a cada conjunto C indexamos a ele mesmo, por exemplo, C1 o primeiro conjunto de C . Ou seja, podemos indexar uma coleo de conjuntos por um conjunto innito, tanto enumervel, quanto no enumervel. Concluimos pelo Axioma da Escolha que seja C um conjunto enumervel onde Cj um subconjunto de C e C1 C2 C3 ... = . Por denio um elemento deste produto cartesiano uma funo, na qual o domnio so os conjuntos da coleo C , tal que para cada Cj , j Cj . Portanto existe uma funo f com domnio C tal que se A C , ento f (A) A, ou seja, f : C f (A) para cada A C , e f chamada de funo escolha. Denio 3.3. Seja X um conjunto innito ento f : P (X ) {} X , dita uma funo escolha para o conjunto X se f (A) A para todo A P (X ) {}. Em outras palavras a funo f escolhe um elemento de cada conjunto da coleo simultaneamente. Por isso denominada escolha, pois uma funo que escolhe um elemento de cada subconjunto no vazio. Se a coleo for de um nmero nito de conjuntos o Axioma da Escolha no se faz necessrio, mas para innitos conjuntos ele garante a existncia dessa escolha. A equivalncia entre o Axioma da Escolha e a existncia de uma funo Escolha para todo X , decorre do fato de que podemos aplicar o Axioma da Escolha ao produto A.
AP (X ){}

Lembrando que um elemento de tal produto nada mais que uma funo escolha para o conjunto X . Se C uma coleo de conjuntos no vazios, disjuntos dois a dois, ento existe um conjunto A tal que A Ci um conjunto unitrio para cada Ci em C . Esta armao equivalente ao Axioma da Escolha, pois a existncia de tal conjunto A possvel se, e s se, o Axioma da Escolha for verdade. De certa forma o conjunto A escolhe um elemento de cada conjunto Ci da dada coleo C . Para notar a necessidade do Axioma da Escolha, veja a demonstrao do teorema a seguir. Teorema 3.4. Se um conjunto innito, ento ele tem um subconjunto equivalente ao conjunto dos naturais, isto , com cardinalidade igual a 0 .

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

22

Um jeito informal de se provar a existncia do subconjunto , como o conjunto X innito ele diferente do vazio, logo existe x0 X , e como X {x0 } = porque X no equivalente a N1 , existe x1 X {x0 }, porque X no equivalente a N2 , e consequentemente X {x0 , x1 } = . Se repetirmos o argumento "ad innnitum" teremos que X N no vazio, logo N X para qualquer conjunto X innito, como queriamos demonstrar. Diversas vezes se utiliza o argumento de escolher um elemento x0 de um conjunto no vazio. Porm usar este argumento innitamente um raciocnio idntico a utilizar o Axioma da Escolha, para uma prova rigorosa o Axioma se faz necessrio. Demonstrao: Seja X innito, ento se A C , onde C a coleo de subconjuntos nitos de X , temos X A = , e seja f uma funo escolha para X , logo f uma funo da coleo de todos os subconjuntos no vazios de X para X tal que f (A) A para todo A no domnio de f . Denimos a funo U : N C , recursivamente a comear pelo zero temos U (0) = e U (n+ ) = U (n) {f (X U (n))} para cada natural n, e onde n+ o sucessor de n. Assim se x(n) = f (X U (n)), temos que x : N X uma funo injetora, e portanto N equivalente a algum subconjunto de X . Para provar a injetividade, notemos que x(n) / U (n) e x(n) U (n ) e U (n) U (m) se n, m so naturais distintos com n < m, ento como x(n) U (m) e x(m) / U (m), logo x(n) = x(m) e portanto x injetora. Agora que sabemos que em todos os conjuntos innitos h um subconjunto equivalente a N e portanto com cardinalidade igual a 0 . Corolrio 3.5. Se um conjunto tem um subconjunto com cardinalidade igual a 0 ento o conjunto innito. Demonstrao: Se um conjunto possui um subconjunto equivalente a N, esse subconjunto innito e portanto o superconjunto innito, pela denio do nicio da seo 1.2. E conclumos que um conjunto innito se, e somente se, possui um subconjunto equivalente a N.
+

3.2

Ordem
O conceito de Ordem depende de uma relao (ver denio 1.9)

entre os elementos de um conjunto, ento dizer que um conjunto ordenado

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

23

ou parcialmente ordenado depende da relao ao qual se refere neste conjunto. Ou seja, existir uma relao na qual o conjunto ordenado no implica que o conjunto seja ordenado, assim como existir uma relao que no ordenada, no implica que no existe uma relao na qual o conjunto seja ordenado. Vejamos as denies a seguir. Denio 3.6. Uma relao R anti-simtrica quando, para todos x, y dados, tal que x relacionado a y e y relacionado a x implica em x = y . Denio 3.7. Uma relao reexiva quando, para todo x, x est relacionado a x. Denio 3.8. Uma relao transitiva quando, para todos x, y e z , x relacionado a y e y relacionado a z implica em x relacionado a z . Denio 3.9. Diremos que uma relao uma ordem parcial quando a relao for reexiva, anti-simtrica e transitiva. Um exemplo de ordem parcial a incluso de conjuntos (), sejam os conjuntos X, Y e Z temos que: (i) X X ; (ii) X Y e Y X , implica em X = Y ; (iii) X Y e Y Z , ento X Z . Denio 3.10. Diremos que a ordem total quando dados quaisquer dois elementos do conjunto existe uma relao entre eles. E chamaremos um conjunto com tal relao de conjunto totalmente ordenado, tambm denomeado de cadeia. Um exemplo de uma relao totalmente ordenada menor ou igual () no conjunto dos Naturais, porque dados quaisquer dois nmeros x e y sabemos que ou x y ou y x. Note que toda ordem total uma ordem parcial, mas nem toda ordem parcial uma ordem total. Por exemplo dado um conjunto X , no vazio e no unitrio, para o conjunto P (X ) a relao no uma relao total, porque h elementos de P (X ) que no podemos dizer que um est contido no outro. Denio 3.11. Um conjunto parcialmente ordenado, um conjunto com uma relao de ordem parcial. Um exemplo de conjunto parcialmente ordenado o conjunto das partes de um conjunto X xado,(P (X )) com a relao de incluso, e um exemplo de conjunto totalmente ordenado os N com relao ao menor igual (). Para

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

24

determinar se um conjunto parcialmente ou totalmente ordenado importante saber quem o conjunto e qual a relao de ordem. A relao que determina a ordem parcial ou total to importante quanto saber qual o conjunto. Seja X um conjunto parcialmente ordenado (que pode em particular ser totalmente ordenado), denominaremos um elemento a em X se para todo x X , a tal que a x para todo x X , ento a denominado mnimo, menor elemento ou primeiro elemento de X , e pela propriedade anti-simtrica, se X possui um menor elemento ele nico. Analogamente, a tal que x a de mximo, maior elemento ou ltimo elemento de X , e novamente se existir nico. Denio 3.12. Seja X um conjunto parcialmente ordenado, ento a denominado elemento minimal, se para todo x X existir um a X tal que x a x = a. Denio 3.13. Seja X um conjunto parcialmente ordenado, ento a denominado elemento maximal, se para todo x X existir um a X tal que a x x = a. Estas denies podem parecer similares as anteriores, porm se pensarmos em um conjunto X no vazio e no unitrio, ento o conjunto P (X ) pela relao de incluso parcialmente ordenado, tal que possui elemento minimal (a saber todo conjunto unitrio um elemento minimal no caso), mas no possui menor elemento. O anlogo acontece para elemento maximal e o maior elemento. Denio 3.14. Sejam X um conjunto parcialmente ordenado, ento a denominado cota inferior de E , se E um subconjunto de X , e para todo x E , existir a tal que a x. Denio 3.15. Sejam X um conjunto parcialmente ordenado, ento a denominado cota superior de E , se E um subconjunto de X , e para todo x E , existir a tal que x a. Tanto a cota superior quanto a cota inferior, no precisam necessariamente serem elementos do conjunto E , assim tal conjunto E pode ter vrias cotas inferiores (ou superiores) as quais no pertencem a E , como tambm pode no ter nenhuma cota inferior (ou superior).

3.3

Lema de Zorn
Agora veremos algumas consequncias do Axioma da Escolha, e

para tanto precisamos saber antes que existir uma relao entre os elementos de

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS um conjunto, igual a dizer que os elementos so comparveis.

25

Denio 3.16. Seja X um conjunto parcialmente ordenado, para cada x X , s(x) chamado de segmento fraco inicial se for o conjunto que contm x e seus predecessores. Denio 3.17. Chamaremos de torre uma subcoleo de um conjunto de cadeias de um conjunto X tal que: (i) ; (ii) Se A e seja A = {x, se A {x} o conjunto de todos os elementos de x em X tal que unido a A pertence a ,

g (A) =

A {f (A A)} , A,

se A A = se A A =

ento g (A) , onde f uma funo escolha de X ; (iii) Se C uma cadeia em ento
A C

A .

Teorema 3.18. A interseo de uma coleo de torres uma torre, disso segue que, em particular, 0 denida como a interseo de todas as torres X a menor das torres. Lema 3.19. de Zorn Se X parcialmente ordenado tal que toda cadeia em X tem uma cota superior, ento X contm um elemento maximal. Seja um subconjunto de X uma cadeia, tal que este conjunto X parcialmente ordenado, temos que a cadeia um conjunto totalmente ordenado, por denio. Seja A uma cadeia de X , por hiptese do lema existe uma cota superior de A em X , mas no necessariamente de A em A. A concluso do lema de Zorn que existe um a em X , com a propriedade de a x implica necessariamente em a = x. Esta uma ideia bsica da prova para conjuntos innitos. Seja X um conjunto no vazio, isto , existe x0 pertencente a X . Se x0 o maximal paramos, se no, existe x1 pertencente a X tal que x1 maior que x0 , se x1 o maximal paramos. Se no continuamos a repetir o argumento innitamente, at encontrarmos xn maximal em X . O problema que este ltimo argumento nos ilude, escondendo uma sria diculdade que o torna no convincente, porque pode ser que geramos uma sequncia innita de elementos no maximais de X . Neste caso, como a sequncia innita uma cadeia em X , e consequentemente tem uma cota superior,

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

26

recomeamos toda a discusso do incio. O problema que no podemos dizer quando isso chega ao m, e novamente temos as mesmas diculdades. A prova de Zermelo tem estrutura mais consistente. Demonstrao: de Zermelo Criamos primeiro uma ordem parcial abstrata na coleo de subconjuntos de X . Para cada elemento x em X , se S a imagem da funo s : X P (X ), que certamente uma coleo de subconjuntos de X . Tomando o segmento inicial fraco s(x) que contm x e seus predecessores, sabemos que S parcialmente ordenado por incluso, ou seja, se s(x) e s(y ) so comparavis, ento s(x) menor que s(y ) se, e somente se, s(x) s(y ). Temos que s injetora e alm disso x y s(x) s(y ). Agora achar o elemento maximal de X equivalente a encontrar um conjunto maximal por incluso de S , onde S a imagem da funo s, porque com a funo s injetora, se existir uma maximal em S ele imagem de algum x X , se existir um maximal em X , ento ele ter como imagem algum s(x) S . Seja o conjunto de todas as cadeias em X , ento todo membro de est contido em s(x) para algum x em X , pois toda cadeia em X tem uma cota superior pela hiptese, e assim onde x a cota superior da cadeia que est contida em s(x), mas no necessariamente igual. Como uma coleo de conjuntos no vazios, parcialmente ordenados por incluso, de tal forma que se C uma cadeia em , ento a unio (
AC

A) de conjuntos de C pertence a , esta

unio uma cota superior para C . Assim a passagem de S para no acrescenta nenhum elemento maximal. Porque se existir um elemento maximal em ento ele est contido em algum s, e para s maximal em S contm uma cadeia maximal em . Uma vantagem da coleo que sabemos que para cada cadeia C em S , uma cota superior de C a unio dos conjuntos de C , claramente uma cota superior em C , um elemento da coleo . Outra vantagem de conter todos os subconjuntos do conjunto, e assim acrescentarmos um elemento no maximal por vez. Agora podemos esquecer a ordem parcial de X e considerar os subconjuntos no vazios de X da coleo no vazia . Todo subconjunto de est em , e a unio de cadeias de conjunto em est em . Assim temos da primeira que . Agora provamos a existncia de um conjunto maximal em , porque se existe tal conjunto, implica em existir um elemento maximal em X . Seja f uma funo escolha de X , f uma funo da coleo de conjuntos no vazios de X para X , tal que f (A) A para todo A no domnio de f . Para cada A em , seja A = {x X : A {x} }, ou seja, o conjunto dos elementos de x em X tal que unido com A pertena a . Denimos g :

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS como

27

A, se A A = Segue da denio que A A = se, e s se, A maximal. Portanto, basta mostrarmos que em existe A tal que g (A) = A, isto , um conjunto de tal forma que no possa ser acrescido nenhum elemento em . A propriedade mais importante de g , que g (A) sempre inclui A, e tambm g (A) A no mximo um elemento. Pelo teorema 3.18 e da denio 3.17 uma torre, e existe uma torre 0 que interseo de todas as torres em . Digamos que C um conjunto comparvel em 0 , se existir relao com todos os conjuntos em 0 , isto signica que A 0 , ou A C ou C A. Dizer que 0 uma cadeia signica que todos os conjuntos em 0 so comparveis. Supomos que A 0 e A subconjunto prprio de C , como C comparvel, ou g (A) C ou C g (A). Se C g (A), ento A C g (A) e como g (A) A um conjunto unitrio, isto nos leva a uma contradio, porque A subconjunto prprio de C . Ento g (A) C , isto , A g (A) C . Consideremos a coleo U e C um conjunto xado tal que C U , e todos os conjuntos A em 0 para os quais ou A C ou g (C ) A, (porque se A C e g (C ) A implica em g (C ) A C e por denio de g temos C g (C )). A coleo U uma coleo de conjuntos contida em 0 comparvel, com todos os elementos, e tambm com g (C ). Na verdade se A U , ento como C g (C ), ou A g (C ) ou g (C ) A. Vamos provar que U uma torre, porque se for basta encontrarmos a maior das torres. Como C , (i) est satisfeito. Dado A U , ento g (A) U , satisfaz (ii). E com isso temos trs opes: (1)A C g (A) C e portanto g (A) U (2)A = C g (A) = g (C ), ento g (A) U (3)g (C ) A A U Logo U = 0 , temos que cada conjunto comparvel C implica em g (C ) tambm comparvel. Porque dado C , construmos U como 0 e temos que A 0 ento A C e assim A g (C ), ou g (C ) A. Como g uma funo que leva comparveis em comparveis, e comparvel. Como a unio de comparveis tambm comparvel, ento os conjuntos comparveis de 0 so uma torre, de tal forma que esgotam 0 . Como 0 uma cadeia, e seja A a unio de todos os conjuntos em 0 . E como A tem todos os conjuntos de 0 e g (A) um elemento de 0 , conclumos que g (A) A. Mas por denio da g sempre vale que A g (A), ento A = g (A), e com isso

g (A) =

A {f (A A)} ,

se A A =

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

28

terminamos a prova do lema de Zorn. E exibimos a cadeia maximal e portanto o elemento maximal, para um conjunto pacialmente ordenado, com cadeias com cota superior.

3.4

Boa ordenao
Apesar de j sabermos o que ordem, ainda no denimos o que

uma boa ordem. Isto porque tal ordem, to especial e com consequncias importantes, que necessrio uma seo para isso. Denio 3.20. Um conjunto parcialmente ordenado dito bem ordenado se todo subconjunto no vazio desse conjunto possuir um menor elemento. Tal ordenao chamada de boa ordenao, todo conjunto bem ordenado um conjunto totalmente ordenado. Se um conjunto bem ordenado, ento se dois elementos x e y do conjunto so tais que o conjunto {x, y } um subconjunto deste conjunto bem ordenado, ento ou x ou y o menor elemento deste subconjunto e assim ou x y ou y x. Percebemos a importncia da denio acima, quando pensamos que um conjunto mesmo que tenha um menor elemento, no implica que todo subconjunto dele tambm tenha. Uma propriedade interessante dos conjuntos bem ordenados, que podemos provar fatos sobre seus elementos num processo parecido com o da induo nita. Denio 3.21. Seja S um subconjunto de um conjunto X totalmente ordenado, tal que para cada elemento x X se todo a X tal que a x, a est contido no conjunto S , ento o prprio x um elemento de S . O princpio da induo transnita determina que X = S , ou seja, se um conjunto tal que contenha os antecessores de um elemento e contm ele prprio, ento o conjunto equivalente a ele todo. As diferenas entre o princpio da induo nita e o princpio da induo transnita so: (i) a induo transnita ao invs de incidir apenas no elemento e no seu antecessor, incide nele e em todos os elementos do conjunto de antecessores a ele. (ii) a induo transnita no necessita de nenhuma armao sobre o menor elemento. A primeira diferena importante, porque no caso de conjuntos innitos alguns elementos podem no ter antecessores imediatos. Quando

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

29

aplicamos a induo transnita no conjunto N equivalente a aplicarmos a induo nita, porm apenas para este conjunto em especial isto verdade, no geral aplicar ambas as indues em conjuntos bem ordenados no equivalente. Demonstrao: (do princpio da induo transnita) Supondo por absurdo X S no um conjunto vazio, ento possui um menor elemento, digamos que este seja x. Com isto temos que os antecessores de x pertencem a S , mas por hiptese da induo x pertence a S . O que gera uma contradio, porque x no pode pertencer a S e a X S ao mesmo tempo. Logo X S vazio. Denio 3.22. Chamaremos um conjunto A bem ordenado de continuao de um conjunto bem ordenado B , se B for um subconjunto de A e se a ordenao dos elementos em B for a mesma de A. Com isso temos que dada uma coleo C de conjuntos bem ordenados que uma cadeia com relao a continuao, e seja U a unio dos conjuntos de C , ento existe uma nica e boa ordenao de U tal que U a continuao de cada conjunto (distintos de U ) na coleo C . Em outras palavras, a unio de uma cadeia de conjuntos bem ordenados bem ordenada. Esta ltima frase pode ser falsa se no for vista com cuidado, porque a ordenao implicada pela palavra cadeia pode ser simplesmente incluso, que preserva ordem, mas no uma boa ordenao. Para provar que existe tal ordem, basta vermos que para a e b em U , implica que existem A e B conjuntos em C , tais que a A e b B . Ou A = B ou um deles A ou B a continuao do outro, e disso temos que existe um conjunto que tenha a e b como elementos e este conjunto pertence a C . A ordem em U denida ordenando cada par {a, b} do modo que se estabeleceu em qualquer conjunto de C que contenha a e b. Como C uma cadeia esta ordem determinada sem ambiguidade. Na verdade a prpria construo dos argumentos cria uma ordem que foi forada a cada passo, isto , a ordem nal determinada de forma nica pelas ordens dadas. Provar que de fato uma boa ordenao algo direto, porque cada conjunto no vazio de U possui uma interseco no vazia com algum conjunto em C , e portanto deve ter o menor elemento naquele conjunto, do fato C ser uma cadeia de continuao implica que o menor elemento tambm necessariamente o primeiro elemento de U . Denio 3.23. Um subconjunto A de um conjunto parcialmente ordenado X dito conal em X no caso de para cada x de X existir um elemento a de A tal que x a.

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

30

Teorema 3.24. Todo conjunto parcialmente ordenado tem um subconjunto conal bem ordenado. Demonstrao: Seja X um conjunto parcialmente ordenado e C um conjunto de cadeias tal que, C = {C }, onde C uma cadeia bem ordenada em X . Seja C conjunto parcialmente ordenado por continuao, isto , Ci a cotinuao de algum Cj se Cj Ci . Como Ci uma cadeia em C , temos que Ci um elemento de C , que cota superior de Ci . Sendo assim, pelo Lema de Zorn existe C C , C o elemento maximal, C uma cadeia no limitada. Suponha por absurdo que dado x X existe a C tal que x > a. Ento como a a cota superior da cadeia, e x > a temos que x no est na cadeia, logo C {x} uma cadeia, mas est cadeia uma continuao de C . Absurdo porque C elemento maximal, logo dado x X existe a C tal que x a. Teorema 3.25. da Boa Ordenao Todo conjunto pode ser bem ordenado. Este teorema tambm conhecido como teorema de Zermelo, de extrema importncia, porque diz que para todo conjunto existe uma relao bem ordenada. Mas importante ressaltar que esta boa ordenao nada tem a ver com qualquer outra relao que o conjunto possua. Por isso se temos um conjunto, no qual conhecemos uma ordem parcial ou ordem total que no uma boa ordem, no implica num paradoxo. Apenas podemos concluir que os conjuntos podem ser ordenados de formas distintas e nem todas elas so boas ordens. Com este teorema temos que o conjunto N dos naturais um conjunto bem ordenado, e sabemos que a ordem usual , uma relao que na qual o conjunto N bem ordenado. Porm no caso de R dos nmero reais, tambm pode ser bem ordenado, mas no pela mesma relao, na verdade nenhuma ordem usual uma boa ordenao para o conjunto, e mesmo conhecendo ordens que no so boas, ainda no podemos concluir que no existe uma boa ordenao para R. Demonstrao: Dado o conjunto X , consideremos a coleo W de todos os subconjuntos bem ordenados de X . Explicitamente um elemento de W um subconjunto A de X junto com uma boa ordenao de A. Ordenamos parcialmente W por continuao. A coleo W no vazia, pois W , se X = , seja C uma cadeia em W , ento a unio U das cadeias de C possui uma nica boa ordenao, que tem U como continuao de cada conjunto em C , o que signica que podemos aplicar o Lema de Zorn, nas cadeias C de W que tem como cota superior U , logo W tem elemento maximal. Como os elementos de W so conjuntos bem ordenados, chamamos de M o conjunto maximal de W , agora precisamos provar que M = X , porque

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

31

M W e W uma coleo de conjuntos bem ordenados. Supondo por absurdo, que M = X , ento temos que existe x X M , ento ampliamos M formando o conjunto M {x}, mantendo a ordem em M e incluindo x, como um elemento maior que todos os elementos de M , o que absurdo, porque tal conjunto seria uma continuao de M e, portanto seria um elemento de W maior que o maximal M . E conclumos a prova do teorema da boa ordenao. Obervamos que o conjunto X um conjunto qualquer, claro que para conjuntos nitos o teorema no se faz necessrio, conseguimos construir sempre a boa ordenao. No caso de conjuntos innitos tal ordem no explicta, no caso do conjunto ser equipotente ao conjunto dos Naturais, como conhecemos uma boa ordem, podemos pela prpria funo bijetora determinar a boa ordem, isto , sabemos exibir uma boa ordem para conjuntos enumerveis e contveis. Mas no conhecemos nenhuma boa ordem para nenhum conjunto no enumervel, mas garantimos que ela existe.

3.5

Equivalncias
Nesta seo provaremos que o Axioma da Escolha, o Lema de Zorn

e o teorema da boa ordenao so todos equivalentes, isto , se em algum modelo um deles for verdadeiro, todos eles sero. Teorema 3.26. O Axioma da Escolha e o Lema de Zorn so equivalentes. Demonstrao: Como para provar o Lema de Zorn foi utilizado o Axioma da Escolha, j est feito que o Axioma da Escolha, implica no Lema de Zorn. Basta provar agora que o Lema de Zorn, implica no Axioma da Escolha. Dado um conjunto X seja F = {f : D X : D P (X ), f (A) A A D}, ento F um conjunto de funes de subconjuntos de P (X ) em X , onde todos os elementos da imagem pertencem ao conjunto do domnio. Vamos ordenar este conjunto parcialmente por (<), sejam f1 e f2 F tal que D1 o domino de f1 e D2 o domino de f2 , diremos que f1 < f2 se D1 D2 e f2 |D1 = f1 . Sendo assim, f2 uma extenso de f1 , e (<) uma ordem parcial. Porque reexiva, f1 < f1 , porque D1 D1 e claramente f1 |D1 = f1 . Tambm anti-simtrica se f1 < f2 e f2 < f1 , ento D1 D2 e D2 D1 implica em D1 = D2 e assim f1 = f2 . E transitiva, se f1 < f2 e f2 < f3 ento D1 D2 e D2 D3 , logo D1 D3 , e como f2 |D1 = f1 e f3 |D2 = f2 , e portanto f3 |D1 = f2 |D1 = f1 , e assim f1 < f3 . E est provado que a ordem parcialmente ordenada.

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

32

Seja C uma cadeia de F , temos C = {f }J , como f : D X , onde D P (X ) e f (A) A A D , temos que tomando D =
J

podemos denir f : D X onde D D para todo , como A D =

J

D , existe algum 0 J em que A D0 e f (A) = f0 (A) A e pela Sendo assim temos que pelo Lema de Zorn existe um f que

ordem temos que f < f J . Assim, f uma cota superior. maximal e onde D P (X ). Suponha por absurdo que D = P (X ) {}, ento existe um A P (X ) tal que A / D . Denimos D = D {A }. E como f , se A D D D , f (A) = a, com a A se A A D E assim teriamos f < f , o que absurdo porque o lema de Zorn nos garantiu que f o elemento maximal. E portanto D = P (X ) {}, e temos um conjunto de funes f : P (X ) {} X, f (A) A para todo A P (X ) {}, e esta a funo escolha, e assim temos que o Lema de Zorn implica no Axioma da Escolha. Corolrio 3.27. Cada conjunto parcialmente ordenado tem uma cadeia maximal (isto , uma cadeia que no subconjunto prprio de qualquer uma das outras cadeias),e isso equivalente ao Lema de Zorn. Demonstrao: Suponha X um conjunto parcialmente ordenado, tal que toda cadeia de X tem cota superior e X tem uma cadeia maximal. Seja a a cota superior da cadeia maximal, ento qualquer x em uma cadeia maximal tal que a x, implica em x = a , porque se x pertence a cadeia maximal, ento por denio ele menor que a cota superior desta cadeia. Logo como todo x X tal que a x ento x = a, por denio temos que a o elemento maximal. Seja X um conjunto parcialmente ordenado, e seja C o conjunto das cadeias em X , C parcialmente ordenado por incluso, dado C uma cadeia em C , ento a unio
C C

C uma cota superior, temos que vale o Lema de Zorn

em C e portanto existe uma cadeia maximal C em X , e est provado o teorema.

Corolrio 3.28. Cada cadeia em um conjunto parcialmente ordenado est contida em alguma cadeia maximal, se e somente se, o Lema de Zorn vale. Demonstrao: Seja X um conjunto parcialmente ordenado, no qual toda cadeia est contida em uma cadeia maximal, suponha que toda cadeia tem cota superior, seja a a cota superior da cadeia maximal, ento para todo

CAPTULO 3. O AXIOMA DA ESCOLHA E SUAS EQUIVALNCIAS

33

x X temos que a x ento x = a, porque a uma cota superior da cadeia maximal, e portanto um elemento maximal. Seja X um conjunto parcialmente ordenado, e C0 X uma cadeia em X . Seja C o conjunto das cadeias em X que contm C0 , C parcialmente ordenado por incluso, dado C uma cadeia em C , ento a unio
C C

C uma

cota superior, temos que vale o Lema de Zorn em C e portanto existe uma cadeia maximal C , como a cadeia maximal C C e C0 C , ento C0 C , e est provado o teorema. Teorema 3.29. Axioma da Escolha e o teorema da Boa Ordem, so equivalentes. Demonstrao: Como para demonstrar o Teorema da Boa Ordem utilizamos o Lema de Zorn, que j sabemos ser equivalente ao Axioma da Escolha, est feito. Agora provemos que o teorema da Boa Ordem implica no Axioma da Escolha. Seja A um conjunto qualquer dado, e sejam A subconjuntos de A no vazios, ento temos que
J

A tambm denido como f : J

J

tal que f () A , onde

J

A um conjunto, e portanto pelo teorema da boa

ordenao ele um conjunto bem ordenado. Denimos f () = min{A }, onde min{A } o menor elemento do subconjunto A , que existe porque ele um subconjunto de um conjunto bem ordenado e portanto bem ordenado. Como a funo f a funo escolha, isso quer dizer que para o produto cartesiano de conjuntos no vazios obtemos algo no vazio, porque o menor elemento sempre existe, e assim temos que vale o Axioma da Escolha. O importante a se observar com essas equivalncias, que o Axioma da Escolha parece algo natural, anal o produto de conjuntos no vazio, ser no vazio parece natural. Porm o Lema de Zorn e o Teorema da Boa Ordem no so to naturais assim, ainda mais se pensarmos no conjunto dos nmeros Reais e o teorema da Boa Ordem, no conseguimos exibir a relao que o deixe bem ordenado apesar de sabermos que ela existe. Logo, essas equivalncias no so to fceis de se entender, mas se temos um modelo no qual um deles vale, todos devem valer. E isto independente da hiptese do contnuo, observe que no a utilizamos nenhuma vez no ltimo captulo, ento existem modelos que ambos valem, que apenas um deles pode valer, ou at mesmo que nenhum deles seja verdade.

Referncias Bibliogrcas

34

Referncias Bibliogrcas
[1] Dugundji, J.; Topology, Allyn and Bacon, Inc., Boston, 1968. [2] Halmos, P. R.; Teoria Ingnua dos Conjuntos. So Paulo: Polgono, 1973 [3] Stillwell, J.; The Continuum Problem, Amer. Amth. Monthly, Vol 109, No.3 (Mar., 2002), pp 286-297. [4] Sampaio, J.; Introduo Teoria dos Conjuntos. Disponvel em http://www.dm.ufscar.br/profs/sampaio/itc.html. Acessado em 21/06/2010. [5] Silva, S. G. e Jesus J. P. C.; Cem anos do Axioma da Escolha: boa ordenao, Lema de Zorn e o teorema de Tychono, Revista Matemtica Universitria n0 42, Junho, 2007, pp 16-34