1

Teoria dos Conjuntos - Uma introdu c ao

Gladys Chalom e Angela Weiss 14 de setembro de 2009

IME-USP - Departamento de Matem atica - agchalom/weiss@ime.usp.br

ii

Sum ario
Pref acio 1 Introdu c ao a L ogica 1.1 1.2 1.3 1.4 1.5 Uma Digress ao Sobre L ogicas . . . . . . . . . . . . . . . . . . Axiomas, Formalismo, Conceitos Primitivos? . . . . . . . . . Um Guia R apido Para Andar Nesta Floresta . . . . . . . . . Indutivo? Como????? . . . . . . . . . . . . . . . . . . . . . . Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 1 4 9 15 17 19 20 31 31 34 43 43 46 49 51 54 60 66 69

2 Axiomas B asicos de Teoria dos Conjuntos 2.1 2.2 2.3 2.4 Axiomas e um Modelo . . . . . . . . . . . . . . . . . . . . . . Digress oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mais Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Ordem e Axioma da Escolha 3.1 3.2 N umeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos Ordenados . . . . . . . . . . . . . . . . . . . . . . 3.2.1 3.2.2 3.3 3.4 3.5 Alguns Exemplos de Boa Ordem . . . . . . . . . . . . Axioma da Escolha em V arias Formas . . . . . . . . .

Ideais e Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 N umeros Ordinais e Cardinais iii

iv

SUMARIO

5 Conjuntos Hereditariamente Finitos 73 5.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 5.2 Conjuntos Hereditariamente Finitos . . . . . . . . . . . . . . 73 5.3 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 6 Mais de L ogica 7 Os Racionais e os Reais 8 Alguns Exerc cios sugeridos por alunos 77 81 83

9 Al em de ZFC: A teoria das Categorias 89 9.1 Primeiras Deni c oes . . . . . . . . . . . . . . . . . . . . . . . 90 Bibliography 93

Pref acio
Este texto tem como p ublico alvo alunos de bacharelado em matem atica, licenciatura em matem atica, ci encia da computa c ao e losoa, alunos de p os gradua c ao cujas areas de interesses necessitem em l ogica, algebra, teoria dos conjuntos como ferramenta de trabalho. Visamos, neste texto, formar uma ponte entre textos ing enuos, voltados apenas a divulga c ao cient ca e os textos mais elaborados, voltados especicamente ao p ublico da area. De posse desta vers ao, LEMBRESE: Como toda vers ao preliminar, e esta vers ao certamente n ao ser a uma exce c ao, possivelmente o leitor encontrar a erros. Estes s ao de nossa responsabilidade e podem ser comunicados via e-mail (agchalom@ime.usp.br ou weiss@ime.usp.br). Este texto n ao deve ser divulgado sem a permiss ao dos autores, citado em refer encias ou usado como material did atico sem a expressa autoriza c ao dos autores. Trataremos dos seguintes t opicos: Introdu c ao, alguns paradoxos matem aticos visando motivar o leitor ao estudo dos fundamentos da matem atica; Os axiomas de teoria dos conjuntos de ZermeloFraenkel, seguidos de uma discuss ao de seu signicado; A constru c ao de R e Q a partir de N. Algumas deni c oes de N umero Natural. Introdu c ao da no c ao de cardinalidade e a prova de que Q e N tem a mesma cardinalidade, mas a cardinalidade de R e maior do que a v

vi cardinalidade de N. O teorema de CantorBernstein;

PREFACIO

Algumas no c oes de l ogica matem atica elementar (l ogica de primeira ordem); Algumas teorias axiom aticas dos conjuntos: ZF e KM: uni ao, intersec c ao; Uma Introdu c ao ` a Teoria das Categorias. Recomendamos, como leitura suplementar em teoria dos conjuntos [4]. Um livro excelente para acompanhar o curso e [2]. Professores Fitting e Smullyan s ao sempre otimas recomenda c oes. Vale a pena vericar em [6]. Sugerimos tamb em, que leia um pouco da hist oria dessas areas no livro [1].

Cap tulo 1

Introdu c ao a L ogica
1.1 Uma Digress ao Sobre L ogicas

Para que um livro de Teoria dos Conjuntos? Para que um curso de Teoria dos Conjuntos? Todos n os temos uma no c ao intuitiva de conjunto, e come camos a pensar em conjuntos de alunos, conjuntos de carteiras, etc. Houve uma epoca, h a alguns anos atr as, em que a teoria dos conjuntos esteve na moda entre as correntes did aticas e era o foco das transforma c oes da matem atica moderna, onde ensinavamos conjuntos a crian cas do ensino fundamental. Uma das raz oes para isso e que a Teoria dos Conjuntos pode ser vista como uma linguagem, linguagem essa que se presta a descrever de forma absolutamente axiom atica os modelos que normalmente s ao usados para modelar ou descrever problemas matem aticos. Muito do que n os criamos recebe inspira c ao em problemas de nosso dia adia. Se formos pensar, muito do c alculo diferencial e integral que aprendemos se originou em problemas de bal stica. Temos tecnologias de CDs, originadas da experi encia das naves Voyager que levavam mensagens em CDs e muitos outros exemplos dessa natureza. A matem atica, por ser a linguagem comum de todas as ci encias, deve receber inspira c ao, mesmo em seus fundamentos, de outras fontes. Na matem atica, ali as, em qualquer campo cient co, em qualquer intera c ao enquanto seres que vivem em uma coletividade, estamos preocupados em saber quando, ou se, uma arma c ao e correta (dentro de um certo contexto), e portanto uma linguagem matem atica apropriada e boa de se 1

A LOGICA CAP ITULO 1. INTRODUC AO

trabalhar deve poder determinar isso para pelo menos algumas arma c oes. Veja por exemplo 1) Existem unic ornios ou n ao existem unic ornios. 2) O n umero de alunos em certa sala de aula e divis vel por 7. 3) Todos os l ogicos s ao malucos e alguns l ogicos n ao s ao malucos. Estes exemplos s ao do livro James MacCauley, [5]. N ao e necess ario uma teoria especial para saber que 1 e verdadeira (ali as, n ao diz nada....), a arma c ao 2 pode ou n ao ser verdadeira, dependendo do dia, e a arma c ao 3 e sempre falsa, pois cont em uma contradi c ao. Mas, antes mesmo de decidir se as arma c oes s ao ou n ao verdadeiras, devemos nos perguntar se mesmo que a gram atica esteja correta, a arma c ao faz ou n ao sentido. Veja os exemplos: 1) Uma velha formiga levou seu c ao para passear. 2) Um elefante morto dorme ruidosamente ` a sombra das ores. 3) Almo camos os axiomas vermelhos da teoria. Exemplos tirados do Chomsky park, em http : //www.learnenglish.org.uk/games f rame.html Naturalmente, esta quest ao das arma c oes fazerem ou n ao sentido, n ao existe dentro de certas linguagens po eticas, e assim vemos que existem gram aticas e sentidos diferentes em diferentes contextos. Assim, dentro do contexto da matem atica, novamente nos perguntamos para que todo esse formalismo, e se n ao e natural quais as coisas corretas e quais n ao s ao. Em muitas circunst ancias, em outras ci encias, e f acil mostrar um exemplo, para ilustrar uma deni c ao, como uma ponte, um edif cio, ou um animal, mas como explicar o que e um grupo abeliano, sem uma deni c ao clara? Historicamente, foi isso o que ocorreu, ou seja, a teoria foi se desenvolvendo sem muita preocupa c ao formal, at e que foram encontrados paradoxos na teoria. Como funciona uma teoria que cont em contradi co es?

 SOBRE LOGICAS 1.1. UMA DIGRESSAO

Da necessidade de poder decidir o que e verdadeiro ou n ao, e de livrar a teoria das contradi c oes, surgiu um conjunto de axiomas e um conjunto de regras ( como a l ogica formal) que permitem deduzir verdades ( como teoremas ) das nossas hip oteses originais. Pois bem, n os n ao estamos interessados fazer a formula c ao matem atica de conceito Plat onico de verdade universal. Isso n ao existe, nem em f sica, biologia, psicologia ou matem atica. A Ci encia procura parad gmas, isto e, um conjunto de fundamentos b asicos que, tomados como a base do conhecimento, expliquem razoavelmente os fatos observados. Como, por exemplo, o parad gma da F sica Newtoniana foi reformulado, depois das experi encias sobre as medidas da velocidade da luz, que comprovavam que a luz tinha sua velocidade constante, independentemente da velocidade do referencial. O parad gma da f sica moderna e dado pela equa c oes da teoria da relatividade de Einstein. Mas usamos os modelos e equa c oes da Mec anica Newtoniana para c alculos de engenharia. Anal, usar outro tipo de abordagem, como teoria da relatividade, levaria a c alculo muito mais complexos, mais custosos, com resultados deveras semelhantes aos obtidos usando mec anica cl assica. O paradigma natural da Engenharia e a Mec anica Newtoniana. Vejamos mais alguns exemplos, de padr oes l ogicos: Exemplo 1.1 Tudo pode ser decidido com repostas simples: Sim ou N ao. Ent ao responda, sim ou n ao, voc e j a parou de roubar? A frase acima, atribuida a Sir Winston Churchill, em resposta a um reporter que o entrevistava, insistindo em respostas mais objetivas, demonstra uma falha na decidibilidade de certas frases em rela c ao ao crit erio: Se a senten ca S n ao e verdadeira, ent ao sua nega ca o e verdadeira. Como outro exemplo, considere a frase: Exemplo 1.2 Decida, verdadeiro ou falso: Chove? A resposta acima depende do contexto de tempo e lugar. Por exemplo, hoje, dia 12 de maio de 2010, em S ao Paulo, capital, chove. Nossa melhor abordagem e que podemos ter modelos para simular certos racioc neos. Por exemplo, l ogica intuicionista serve perfeitamente

A LOGICA CAP ITULO 1. INTRODUC AO

para a ci ecia da computa c ao. L ogica cl assica, de primeira ordem, modela muito de nosso racioc neo em matem atica. Falar sobre a diferen ca entre os n umeros reais e os n umeros racionais, fora o fato de serem corpos linearmente ordenados e densos, exige algo mais forte do que l ogica de primeira ordem. Al em da nossa teoria dos conjuntos b asicas, em algebra, precisamos de teoria das categorias. Nosso objetivo e discutir uma proposta de axiomatiza cao para os fundamentos da matem atica.

1.2

Axiomas, Formalismo, Conceitos Primitivos?

Vamos passar Isso a Limpo?

Bem vindo, leitor! Agora voc e est a abrindo uma porta nova em seus horizontes de conhecimento. Essa base provavelmente n ao ser a usada diretamente em seu trabalho, mas o conhecimento da pedra fundamental da matem atica certamente far a do leitor, seja ele um professor, um comput ologo, um matem atico, um prossional mais seguro dos seus caminhos de atua c ao. Possuir conhecimentos da base dos fundamentos de uma ci encia signica saber lidar com seguran ca, e sem medo de errar, com problemas pertinentes a sua ` area espec ca de atua c ao. Devemos sempre, para n ao pecar pela omiss ao gerada pela inseguran ca, nos calcar nos fundamentos. A moral de nossa est oria e: ningu em reforma uma casa sem ter conhecimento de suas funda c oes, ningu em e uente em uma l ngua sem saber sua gram atica. Nossa linguagem deve ter regras b asicas e r gidas. Essa regras s ao os axiomas. Axiomas s ao o c odigo de regras do que e permitido ou n ao de se fazer. Note que esses c odigos ser ao sempre r gidos: Fa ca o que diz o axioma e nada mais. Por exemplo: Exemplo 1.3 Vamos estipular as seguintes regras: 1. vogais: a, e, i, o, u; 2. consoantes b, c, d, f, g, h, j, k, l, m, n, p, q, r, s, t, v, w, x, y, z;

1.2. AXIOMAS, FORMALISMO, CONCEITOS PRIMITIVOS?

3. palavras: conjun ca o de uma consoante com uma vogal e uma palavra; 4. palavras: conjun ca o de duas palavras e uma palavra. No nosso exemplo, bu e uma palavra (conjun c ao de uma consoante com uma vogal). Como conjun c ao de duas palavras e uma palavra, temos que bubu e uma palavra, assim como bububu e bubububu. Mas ub n ao e uma palavra pois n ao satisfaz os quesitos para ser palavra. Palavras danimope gadi lexenadere gabile . . . N ao Palavras epominad gladys alexandre gabriel . . .

Num outro exemplo, poder amos ter: Exemplo 1.4 Vamos estipular as seguintes regras: 1. vogais: a, e, i, o, u; 2. consoantes b, c, d, f, g, h, j, k, l, m, n, p, q, r, s, t, v, w, x, y, z; 3. palavras: conjun ca o de uma consoante com uma vogal e uma palavra; 4. palavras: conjun ca o de duas palavras e uma palavra; 5. toda palavra come ca por uma vogal. Bem, nesse caso, as condi c oes s ao contradit orias e n ao existem palavras. As seguintes perguntas ser ao quest oes centrais de nosso texto: 1. Nosso sistema de axiomas e consistente? Os axiomas do Exemplo 1.4 n ao formam um sistema de axiomas consistente. 2. Nosso sistema de axiomas estabelece o modelo (no nosso caso teoria dos conjuntos) desejado?

A LOGICA CAP ITULO 1. INTRODUC AO

A partir da leitura leitura dos par agrafos anteriores, come camos a questionar se matem atica e ci encia ou losoa. Bem, na pr atica estamos tamb em perguntando se pessoas fazem psicologia ou biologia, losoa ou teologia, medicina ou matem atica e a resposta mais pragm atica pode ser FAZEM. Nessa mesma linha, podemos formular, de v arios pontos de vista, alguns modelos de teoria dos conjuntos. Sem barreiras em nossos julgamentos, vamos propor a observa c ao dos fundamentos de m atematica sob v arios angulos. Vamos a essa tarefa. Nosso prop osito e, em em primeiro lugar, olhar para a teoria dos conjuntos como o tijolo inicial, isto e, como formadora ou como gram atica da linguagem matem atica, como fundamenta c ao para v arios ramos da ci encia, como computa c ao, losoa, ling u stica, ensino de matem atica. Vamos discutir os paradoxos de Russel (1902), e de Euclides. Vamos nos colocar mais formalmente nesse exemplo e discorrer sobre como denir bem conjuntos. Bem ilustrativos nesse caso s ao os contra exemplos. Neste caso, de certa forma come camos com exemplos de como em n ao bem denir conjuntos. Exemplo 1.5 A lista de todas listas que jamais seriam listadas. Existe uma lista para tudo: suas compras da semana, suas roupas, aquilo que voc e levaria em uma viagem para o Alasca ou para Salvador. Se existe uma lista para tudo, existe uma lista para as coisas que n ao podem ser listadas. De fato, um conjunto universo um conjunto de todos os poss veis conjuntos implicaria na exist encia de todos seus poss veis subconjuntos, dai qualquer conjunto poss vel, em nosso caso espec co, o conjunto de todas as listas que n ao podem ser listadas existiria. Pois bem, neste caso, a lista das coisas que n ao pode listada estaria nesta lista? Exemplo 1.6 Considere dois tipos de conjuntos: o conjunto das id eias abstratas e uma id eia abstrata, o conjunto dos homens n ao e um homem, o conjunto de todos os conjuntos e um conjunto

1.2. AXIOMAS, FORMALISMO, CONCEITOS PRIMITIVOS?

Veremos que as contradi ca o. Provaremos que o conjunto de todos os conjuntos n ao existe. Represente por M o conjunto de todos os conjuntos que pertencem a si mesmos, como no caso o conjunto das id eias abstratas, e por N , o conjunto dos conjuntos que n ao pertencem a si mesmos, como por exemplo, o conjunto dos homens n ao pertence ao conjunto dos homens. Agora, pense bem, N pertence a N ? Se N pertence a N , ent ao e verdade que N n ao pertence a N . Logo, N pertence a M , o que novamente, e uma contradi ca o . Exemplo 1.7 Considere o seguinte conjunto: {n N|n ao mais do que 30 palavras da lingua portuguesa s ao sucientes para denir n}. Pois bem, estamos agora com dois problemas: N ao e grave que esse conjunto, chamemolo de S , seja N, mas n ao e um exerc cio f acil, ou sequer poss vel de ser resolvido, mostrar essa coincid encia. Se S = N, ent ao podemos considerar o n umero natural p, denido como: Def p p e o primeiro n umero natural que n ao pertencea S . Se sim, p pode ser denido em menos do que 30 palavras? Veja Def p acima, que usa menos do que 30 palavras para denir p! Exemplos dessa natureza ilustram a necessidade do uso de linguagem formal. At e agora temos v arios conceitos a discutir e algumas perguntas que, acreditamos, devem ter deixado o leitor curioso. Um bom m etodo para obter alguma respostas e organizar nossas perguntas. Vejamos: Q1 Como denir precisamente um conjunto? Q2 Como denir um n umero natural? Q3 Como denir o conjunto de todos n umeros naturais? Q4 Como denir alguns conjuntos innitos? Fa camos uma analogia:

A LOGICA CAP ITULO 1. INTRODUC AO

Exemplo 1.8 Ana visita a cidade de Zwrtztkxz, no leste Europeu. Ela deseja tomar uma condu ca o que a leve do seu hotel a determinado museu bem perto do hotel. Ana tem a sua disposi ca o quatro guias tur sticos e pergunta a cada um deles qual e o melhor modo de chegar ao museu. As respostas de cada guia s ao 1. v a a nado; 2. ande at e o museu; 3. tome o o nibus 61C. Um o nibus e facilmente reconhec vel por ser um veiculo automotor com uma a duas portas, situadas do lado oposto ao motorista. Esse, por sua vez, e facilmente reconhec vel por usar um kepe azul. A prop osito, o que e um kepe.... Ana, preocupada que a paci encia do leitor se acabe, dirigese ao guia n umero quatro; ` sua direita, voc 4. tome o o nibus 61C. Des ca no terceiro ponto. A e ver a um sinal escrito Metr o. Ande at e o sinal, vire para a direita e olhe a placa indicando Museu. Analisando a proposta 1, vemos que ela e contradit oria. Possivelmente n ao existe caminho por agua at e o museu e, se existir, Ana n ao desejaria nadar at e o museu. Voc e desejaria? A resposta 2 e correta, mas faltam informa c oes para Ana fazer seu caminho. A resposta 3 tem muito mais informa c oes do que Ana precisa. A melhor escolha seria a resposta 4. Fa camos uma teoria dos conjuntos nos moldes do item 4: Sem contradi c oes, sem omitir informa c oes, sem colocar muitas informa c oes que n ao ser ao usadas. Comecemos denindo quesitos m nimos de exist encia de conjuntos. Faremos uma cr tica ao que seria um conjunto innito, introduzindo dai o conceito de n umero natural. Vamos discutir essas duas id eias em nossa introdu c ao ao curso. Objetivamos justicar a deni c ao ing enua abaixo. Vamos colocar formalismos e justicar nossas opera c oes com conjuntos.

 1.3. UM GUIA RAPIDO PARA ANDAR NESTA FLORESTA

Um conjunto ser a uma cole c ao de objetos bem denido por satisfazer certos axiomas. Cada um desses objetos e chamado de elemento do conjunto. Conjuntos estar ao listados com seus elementos entre par entesis, por exemplo: Def 11 P e o conjunto dos 11 primeiros m ultiplos naturais de 3. Neste caso P e o conjunto {3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33}. Dado um conjunto, existe uma rela c ao, entre os elementos do conjunto e o conjunto. Denotaremos p P essa rela c ao, que e lida como p pertence a P .

1.3

Um Guia R apido Para Andar Nesta Floresta

Neste cap tulo tratamos de uma introdu c ao deveras ing enua a l ogica de primeira ordem, abreviada, neste texto, f.o.l.. L ogica de Primeira Ordem e o apoio a quase tudo aquilo que escrevemos na matem atica de nosso dia1 a-dia . O leitor que j a tem alguma base em matem atica dever a omitir a leitura desse cap tulo sem perda de pr erequisitos para a compreens ao do texto. Iremos introduzir, por meio de exemplos, o uso de senten cas tautol ogicas (sentencas de valor verdade sempre igual a Verdadeiro). O leitor ser a apresentado, de uma maneira bem informal aos conectivos (sinais que ligam duas senten cas ou modicam o valor de uma senten ca) , , , , , . A leitura dese cap tulo cobre a linguagem usada em um primeiro ano de gradua c ao em ci encias exatas. Usaremos os s mbolos a seguir, interpretados em sua express ao correspondente em portugu es Para todo; Existe; N ao; E;
1 Veja Cap tulo 6, sobre l ogicas n ao cl assicas para ver o que existem mais coisas al em de f.o.l.

10 Ou;

A LOGICA CAP ITULO 1. INTRODUC AO

Implica (Se , ent ao ); Se e somente se, abreviado como see. Os s mbolos acima ter ao as seguintes interpreta co es: Conectivo E: Se sabemos que duas senten cas A e B s ao ambas verdadeiras. Ent ao A B ser a verdadeira. Exemplo: Pedro e brasileiro e uma senten ca verdadeira. Pablo e espanhol e uma senten ca verdadeira. Deste modo, Pedro e brasileiro Pablo e espanhol e uma senten ca verdadeira. Caso contr ario, pelo menos uma das senten cas e falsa, ent ao a senten ca e falsa. Deste modo, se Pablo e espanhol e uma senten ca falsa, ent ao Pedro e brasileiro Pablo e espanhol e uma senten ca falsa, independetemente do valor (falso ou verdadeiro) de Pedro e brasileiro. Conectivo OU: Tem valor falso se ambas senten cas forem falsas. Exemplo: Se ambos Pedro e brasileiro e e Pablo e espanhol s ao senten cas falsas, ent ao Pedro e brasileiro Pablo e espanhol e uma senten ca falsa. Caso contr ario, pelo menos uma das senten cas e verdadeira, ent ao a disjun ca o das senten cas e verdadeira. Desse modo, se Pablo e espanhol e uma senten ca verdadeira, ent ao Pedro e brasileiro Pablo e espanhol e verdadeira, n ao importa qual e o valor (falso ou verdadeiro) da senten ca Pedro e brasileiro. Na linguagem coloquial, o connectivo OU tem uma conota c ao de exclus ao, que n ao tem na matem atica. Dizemos : vou ao cinema OU ao supermercado, do ponto de vista da matem atica, a frase tamb em e verdadeira se formos a ambos . Conectivo N ao: Modica o valor de uma senten ca. Por exemplo, se ( Pedro e brasileiro) e uma senten ca verdadeira. Ent ao, N ao (Pedro e brasileiro) e uma senten ca falsa. Por outro lado, se ( Pedro e brasileiro) e uma senten ca falsa. Na verdade, (Pedro e franc^ es), ent ao, N ao (Pedro e brasileiro) e uma senten ca verdadeira.

 1.3. UM GUIA RAPIDO PARA ANDAR NESTA FLORESTA Conectivo Implica: Este conectivo tem a seguinte interpreta c ao:

11

Se a senten ca A e falsa, ent ao A B ser a verdadeira, independemetente do valor, falso ou verdadeiro, de B . Se A e verdadeira, A B ser a verdadeira se e somente se B for verdadeira. A interpreta ca o2 do conectivo implica causa alguma polemica nas salas de aula com alunos de primeiro ano. Mas, vejamos algo: Exemplo: Pedro e brasileiro e uma senten ca falsa. N ao importa se Pablo e espanhol e uma senten ca verdadeira ou falsa, Pedro e brasileiro Pablo e espanhol. e uma senten ca verdadeira, pois n os n ao estamos julgando nossa premissa A, mas A B como um todo e, de uma premissa falsa, inferir qualquer senten ca B e, de fato, muito plaus vel. Dai para A falsa, A B sempre ser a verdadeira. Se A e verdadeira, ent ao A B ser a falsa se e somente se B for falsa. Ouro e um metal Pav~ ao e um mam fero. uma senten E ca falsa. A partir de uma senten ca verdadeira n ao se pode inferir algo falso. importante notar que o conectivo julga toda a senten E ca e n ao a sua premissa ou a sua consequ encia. Esse conectivo sequer d a um valor ao contexto dessa conex ao. Por exemplo Em S~ ao Paulo, SP, Brasil, h a uma rua chamada Direita Galinhas s~ ao aves. As duas senten cas s ao verdadeiras. Sua conex ao via implica e verdadeira. N ao importa o fato de eventualmente n ao haver, como no nosso exemplo, conex ao entre as senten cas. Uma outra interpreta c ao poder a dar o julgamento falso, visto que o conectivo julga algo sobre ruas, n ao sobre aves. Mas esse tipo de interpreta c ao n ao pertence ao campo da f.o.l. cl assica.
2

Vamos decidir se uma senten ca e verdadeira ou n ao.

12

A LOGICA CAP ITULO 1. INTRODUC AO Em S~ ao Paulo, Brasil, nenhuma rua tem nome Galinhas s~ ao aves. A primeira das senten cas e falsa. O que for inferido a partir de uma senten ca falsa torna toda a senten ca A B verdadeira.

S mbolo Para Todo: Uma senten ca do tipo xA(x) tem a seguinte interpreta c ao, ing enua, sem formalismos: Ao se substituir x por todo valor poss vel a torna a senten ca verdadeira, ent ao xA(x) e verdadeira. Sen ao xA(x) e falsa. Exemplos: xF otoss intese(x) Ora, se nossa substiti c ao for feita usando um comp endio de bot anica que trata de arvores, teremos, F otoss intese(Y pe) F otoss intese(Jacaranda) F otoss intese(M ogno) . . . Toda substitui c ao pelo nome de uma arvore far a com que veriquemos que essa arvore faz fotoss ntese. Ora, nesse caso xF otoss intese(x) e verdadeira. Vejamos esse exemplo: x(Ave(x) V oa(x)) Nosso exemplo admite substitui c ao usando um livro de ornitologia canadense. Toda substitui ao de x por uma ave canadense, resulta que essa ave voa. A senten ca e verdadeira. Agora vamos usar um guia de ornitologia brasileiro: Ave(tiriba) V oa(tiriba) Ave(tucano) V oa(tucano) Ave(urubu rei) V oa(urubu rei) Ave(carcar a ) V oa(carcar a ) Ave(ema) V oa(ema) V erdadeiro V erdadeiro V erdadeiro V erdadeiro F also

Apesar de termos muito exemplos positivos, uma substitui c ao de x por ema resultou falso. Nesse contexto, x(Ave(x) V oa(x)) e falso. Em

 1.3. UM GUIA RAPIDO PARA ANDAR NESTA FLORESTA

13

conclus ao, xA(x) e falso se em pelo menos uma substitui c ao de x por um valor a resultar falso. S mbolo Existe: Uma senten ca do tipo xA(x) tem a seguinte interpreta c ao: Se substituirmos x por algum valor poss vel a torna a senten ca verdadeira, ent ao xA(x) e verdadeira. Sen ao xA(x) e falsa. Exemplos: xF otoss intese(x) Ora, se nossa substiti c ao for feita usando um comp endio de bot anica que trata de vegetais em geral, teremos, F otoss intese(M usgo) F otoss intese(Jacaranda) F otoss intese(M ogno) F otossintese(Bambu) F otossintese(Y pe) F otossintese(cogumelo) . . . Uma substitui c ao pelo nome de um vegetal far a com que veriquemos que esse vegetal, cogumelo, n ao faz fotoss ntese. Dai, xA(x) e verdadeira. O leitor certamente ir a discutir e, em muitos casos, contestar as interpreta c oes de f.o.l., tentando fazer suas pr oprias interpreta c oes usando os s mbolos da f.o.l.. Uma boa tentativa, j a em voga no campo da matem atica h a certo tempo e um campo vasto para pesquisa cient ca e trazer interpreta c oes mais pr oximas da linguagem natural. Principalmente tratandose do conectivo . Vamos, primeiramente discutir valora c oes de uma forma sint etica, fazendo o uso de um n umero m nimo de conectivos e s mbolos e fazendo com que os demais conectivos e s mbolos possam ser derivados, isto e, possam ser deduzidos a partir desse conjunto m nimo. A partir dai, vamos discutir outras interpreta c oes n ao cl assicas pra os s mbolos de f.o.l.. Exemplo 1.9 A seguinte senten ca e falsa: Ana ou Ben e usam o culos. Ora, essa frase, sendo falsa, nos leva ao seguinte cen ario: 1. N ao e esperado que Ana esteja com o culos e Ben e sem o culos; 2. N ao e esperado que Ben e esteja com o culos e Ana sem o culos;

14

A LOGICA CAP ITULO 1. INTRODUC AO 3. N ao e esperado que Ana e Ben e estejam com o culos; 4. Pode ser que Ana e Ben e estejam ambos sem o culos. A frase 4 e verdadeira e pode ser representada por: (O(A) O(B ))

lida como n ao oculos em Ana e n ao oculos em Ben e, nega ca o de O(A) O(B ) a senten ca original. Em outras palavras (O(A) O(B )) (O(A) O(B )) Vamos usar, motivados pelo exemplo acima, A B (A B ) Da mesma forma, observe que A B e verdadeira see A e B s ao verdadeiras ou se A e falsa , o que e equivalente a interpreta c ao de A B , que e, do mesmo modo verdadeira see A e B s ao verdadeiras ou se A e falsa. Temos, ent ao A B A B Dos exemplos do uso dos s mbolos e , vemos que A A Desta forma, temos, por exemplo N ao e verdade que todo homem e careca. Equivalentemente, Existe pelo menos um homem que tem cabelos. N ao e verdade que existe vida em outros planetas Equivalentemente, Para todo planeta (que n ao a Terra), esse planeta n ao possue vida.

1.4. INDUTIVO? COMO?????

15

1.4

Indutivo? Como?????

Isso dever a morar no cap 1: O que a gente entende por construir algo recursivamente? Essa fronteira deve car clara aqui. Vamos dar ao leitor o sabor de diferencial a parte intuicionista da matem atica da parte puramente sint atica, encontrada, por exemplo em Set Theoretic Topology. N ao iremos nos apronfudar, mas queremos deixar clara as linhas de fronteira de cada lado. Vamos colocar a nossa matem aica construt vel em uma apar encia mais clara. Aqui a gente realoca alfabeto e f ormulas e o Bl a todo do cap 1. Deni c ao 1.10 Indutivo, etc Exemplos de linguagens contru das recursivamente: Exemplo 1.11 Alphabeto: as fun co es b asicas 1, x, sin x, exp(x) Conectivos un arios inversa, Conectivos bin arios +, , , Fun co es elementares: 1. Todas as fun co es b asicas s ao fun co es elementares; 2. Se f e g s ao fun co es elementares, ent ao f + g, f g, f g e f g s ao fun co es elementares; 3. Se f e fun ca o elementar ent ao inversa(f ) e fun ca o elementar. Desse modo, j a que 1, sin x e exp(x), s ao fun c oes elementares, ent ao, por exemplo 1 + sin x, 1 + exp(x), sin x + exp(x), 1 sin x, 1 exp(x), sin x exp(x)

16

A LOGICA CAP ITULO 1. INTRODUC AO

s ao fun c oes elementares. E, recursivamente, (1 + sin x) + exp(x), (1 + sin x) exp(x), , exp(1 + sin x), exp(sin x exp(x)) Denimos a fun c ao cos x = sin(x + /2). Enm, n os aumentamos a complexidade das fun c oes que escrevemos, recursivamente constru ndo novas fun c oes a partir das fun c oes anteriores com o uso dos conectivos un ario e bin arios. Essas fun c oes est ao s ao apenas as senten cas que recursivamente constru mos. Dentro, por exemplo, do contexto An alise Real, damos o contexto de associar a cada n umero real x um valor f (x) e nos preocupamos com 1 e uma fun c ao elementar denida em dom nio de fun c ao. Por exemplo, x todos reais excepto o 0. Ora, podemos denir derivadas de modo igualmente indutivo, sobre a complexidade de constru c ao de uma n c ao. Abstra mos a no c ao geom etrica de derivada, que se originou do limite f (x0 ) = lim f (x) f (x0) 0 x x0

Denimos derivada recursivamente como Deni c ao 1.12 Fun co es b asicas: 1 = 0; x = 1 ; sinx = cos x; exp(x) = exp(x). Conectivos un arios inversa(f (x)) = Conectivos bin arios (f + g) = (f + g ); (f g) = (f g) + (f g );
1 f (inversa(f (x)) .

1.5. EXERC ICIOS (f g) =

(f g )(f g ) ; g2

17

(f g) = f (g) g . Desse modo, a fun c ao xn , denida, recursivamente como x0 = 1; xn+1 = x xn = xn x. Tem a sua derivada dada por (x0 ) = 1 = 0; (xn+1 ) = (x xn ) = (x xn ) + (x (xn ) ).

1.5

Exerc cios

Exerc cio 1.13 Escreva de modo equivalente: 1. N ao e verdade que voc e anda ou de moto ou de bicicleta. 2. N ao e verdade que Ana canta e dan ca. 3. N ao e verdade que toda cobra tem pe conha. 4. N ao e verdade que todo homem mente. 5. N ao e verdade que existem elefantes rosa-choque. 6. N ao e verdade que existem ladr oes em Nova Iorque.

18

A LOGICA CAP ITULO 1. INTRODUC AO

Cap tulo 2

Axiomas B asicos de Teoria dos Conjuntos

Por que Axiomas B asicos? Porque estes axiomas, em si j a justicam matem atica nitista, intuicionista, construtivista - a Matem atica que se preocupa em gerar, por meio de um algor tmo, uma resposta e se preocupa em analisar a Complexidade ao se calcular essa resposta. Isso e um bocado de coisa! Sen ao, vejamos: Estamos falando do que pode ser medido, calculado, computado. Estamos falando sobre problemas de decis ao. Teoria dos conjuntos n ao encerram todo o c odigo matem atico e, surpreendentemente, um peda co de teoria dos conjuntos, que e a base para a justicativa dos conjuntos hereditariamente nitos, s ao o objeto de toda a matem atica concreta, que envolve provar, decidir, construir um algor tmo ou codicar provas. A partir da leitura das p aginas que antecedem, percebemos que devemos nos calcar em bases s olidas de linguagem, sen ao nosso objeto de estudos ca ou muito banal (falamos de uma linguagem trivial, dai n ao temos modelos interessantes ou u teis) ou falamos de algo inconsistente e n ao temos nada de u til pra falar. Deste modo, primeiramente, precisaremos de alguns postulados b asicos para a exist encia de conjuntos, caso contr ario estaremos lidando com deni c ao contradit orias. Devemos procurar consist encia, i.e., n ao derivar, n ao provar, uma contradi c ao. Deste modo, essa teoria pode ser proposta como ferramenta para modelagem de problemas que envolvam 19

 20CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS matem atica. Vamos introduzir, discutir e analisar o sistema de axiomas de Zermelo Frankel, ZFC. A partir desses postulados, vamos descrever um Modelo Can onico da Teoria dos Conjuntos. Procuremos agora postulados consistentes para denir conjuntos. A abordagem axiom atica de ZFC vai justicar a abordagem ing enua que temos a partir de nosso conhecimento de ensino m edio. A linguagem formal que vamos introduzir aqui usar a como part culas at omicas o sinal pertence, , que e uma rela c ao bin aria, e um atomo inicial, o conjunto vazio, denotado . Vamos, recursivamente, nesse est agio construir conjuntos e dar valor Falso ou Verdade a senten cas x y , para conjuntos x e y . Um dos axiomas de exist encia que deve estabelecer a exist encia de um conjunto inicial. Este conjunto, o conjunto vazio, ser a o m nimo necess ario, j a que todos os conjuntos ser ao obtidos a partir de opera c oes v alidas (i.e., usando os axiomas de ZFC), onde o conjunto vazio e o tijolo inicial.

2.1

Axiomas e um Modelo

Vamos enunciar os tr es primeiros axiomas b asicos e, a partir dele, fazer o nosso modelo (sem antico da Teoria dos Conjuntos). Axioma 2.1 (Exist encia do Conjunto Vazio) Existe um conjunto, denotado por e chamado de vazio, que n ao possui elementos. x (x ) Axioma 2.2 (Forma c ao de Pares) Para todo x e y , existe z tal que x z e y z . Em s mbolos, xy z (x z y z ) Axioma 2.3 (Extensionalidade) Se A e B s ao dois conjuntos tais que x A se e somente se x B , ent ao A = B . Queremos um modelo matem atico em conformidade com os axiomas acima. Assuma um ente . Vamos, ent ao dar um modelo para o axioma

2.1. AXIOMAS E UM MODELO

21

da exist ecia do vazio criando um ente e a correspond encia (a valora c ao) que manda o , que pertence a parte de sintaxe de teoria dos conjuntos ao elemento , que pertence a parte sem antica de teoria dos conjuntos. Mais ainda, criamos a rela c ao bin aria: Se x e um conjunto, a senten ca x recebe sempre o valor Falso. Ora, nosso modelo consiste apenas de um conjunto, o vazio, e apenas uma senten ca relacional , cujo valor e Falso. Nosso modelo n ao pode ser limitada a uma s o palavra. Vamos usar os Axiomas de Extensionalidade e pares para justicar a constru c ao a seguir: A forma c ao de pares, em nosso modelo e dada por Deni c ao 2.4 Se x e y s ao conjuntos, ent ao {x, y } e um conjunto e vale x {x, y } = Verdade y {x, y } = Verdade Escrevemos o par formado pelo vazio, como {, } e temos a propriedade de que {, }. Usaremos a abreviatura {, } {} em geral, Nota c ao 2.5 Dado um conjunto x no modelo, o conjunto correspondente ao par formado por x, {x, x} em nosso modelo e denotado por {x}. O Axioma da Extensionalidade a ser denido para o nosso modelo de Teoria dos Conjuntos nos permitir a denir a rela c ao bin aria de Igualdade em nossos modelos. O leitor, que est a aprendendo fundamentos decerto est a questionando o porque da igualdade n ao ser um conceito obvio, primitivo. Vejamos um exemplo para ilustrar a id eia de igualdade. Exemplo 2.6 O exemplo mais algbico de igualdade da Gladys cabe aqui! A no c ao de igualdade precisa ser bem denada. Isto e, queremos que todos sejam bem informados, e com o uso de regras claras, o que entendemos por igual. Igual e ter o mesmo nome? A mesma altura? Ter nascido na mesma cidade? Um crit erio claro para a rela c ao de igualdade deve ser estabelecido e deve satisfazer

 22CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS Deni c ao 2.7 Propriedades de equival encia: x = x (reexividade); x = y implica y = x (simetria); x = y e y = z implica x = z (transitividade). Usando o jarg ao matem atico, igualdade e uma rela ca o de equival encia. Deni c ao 2.8 Dados dois conjuntos A e B , diremos que A e igual a B , denotamos A = B se todo elemento t de A tamb em pertence a B e viceversa. Em outras palavras, A = B (t A t B ) Analogamente a no c ao de igualdade, outra no c ao derivada da rela c ao de pertin encia e a rela c ao (bin aria) de subconjunto: Deni c ao 2.9 Dados dois conjuntos A e B , diremos que A e subconjunto de B , denotamos A B se todo elemento t de A tamb em pertence a B . Em outras palavras, A B (t A t B ) Voltemos ao conjunto dado pela forma c ao de pares, {x} = {x, x}. Esse conjunto possui a propriedade que x eou nico elemento de {x}. Isto e, a senten ca x {x} e Verdade e qualquer outra senten ca z {x} Para x = z e Falsa. Ent ao, o conjunto denotado por {} pertence a nosso modelo, e o onjunto tal que {}, Usando pares, dados dois conjuntos x e y , temos os conjuntos {x, y } e u {y, x}. E til notar que

2.1. AXIOMAS E UM MODELO Lema 2.10 Dados dois conjuntos x e y , ent ao {x, y } = {y, x}.

23

Prova: Por propriedade de pares, temos que x {x, y } e y {x, y }. Pela mesma propriedade aplicada a {y, x}, temos x {x, y } e y {x, y }. Usando a deni c ao de igualdade, temos que {x, y } = {y, x}. Na verdade, estabelecemos como nossos tijolos de constru c ao um sistema de regras consistente, os axiomas, ou postulados, de uma teoria e, a partir desse conjunto de regras, e s o usando essas regras, obtemos nossos modelos. Note que apresentamos tamb em, o s mbolo , de natureza relacional, estabelecendo a verdade da frase: Se x e um conjunto, ent ao n ao e verdade que x . Estamos, a medida que formamos as regras (recursivas, no momento) para construir conjuntos, na verdade decidindo pelo valor Falso ou Verdade para uma rela c ao bin aria entre conjuntos, denida a medida que enunciamos os axiomas de teoria dos conjuntos. Podemos at e com o uso de uns poucos axiomas fazer uma teoria dos conjuntos recursiva (algo que pode ser descrito em um algor tmo) onde vamos, recursivamente1 consruir nosso modelo. Os demais conceitos aos quais o leitor est a acostumado e, muitas vezes guarda no ba u dos conceitos primitivos, quer seja: subconjunto e cont em ser ao derivados (denidos a partir) da rela c ao de pertin encia. Trataremos da decis ao pelo valor , para verdadeiro, ou , falso, para senten cas da forma x y ou (x y ) para x e y conjuntos em fun c ao da complexidade da forma c ao dos conjuntos x e y. Temos, para nosso modelo de teoria dos conjuntos e para modelos matem aticos em geral, que se a sente ca P (a) e Falsa, ent ao sua nega c ao P (a) e Verdade. Temos que P (a) e P (a) s ao equivelentes. Elementos de conjunto s ao conjuntos e as rela c oes de subconjunto e =, de igualdade, s ao no c oes derivadas da rela c ao bin aria . No momento, s o com nossos axiomas, j a podemos ver que os conjuntos foram (at e o momento) recursivamente constru dos:
1 A palavra INDUTIVAMENTE dever a ser bem explicada no CAP 1. Aqui, coloco o que entendo por indutivo num apendice, a ser anexado no CAP 1

 24CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS Existe um conjunto: O conjunto vazio e um atomo de nossa teoria e sua valora c ao em nosso modelo fez com que, pelo menos, o conjunto perten ca a esse modelo e a propriedade de que algum conjunto petence ao e falsa; Recursivamente, dena, se x e y s ao conjuntos em nosso modelo, ent ao {x, y } e um conjunto, x {x, y } e y {x, y }. Mais conjuntos poder ao ser recursivamente constru dos: Temos, por exemplo, os conjuntos . Decorre do axioma de exist encia; {}. Decorre do faato que e um conjunto. Dai, pela forma c ao de pares, {, } e um conjunto. Mais ainda, {, } = {}. Em conclus ao, {} e um conjunto e {}. e {} s ao conjuntos. dai, usando pares e identidade, temos que {{}, {}} e um conjunto e {} {{}, {}} = {{}}. {, {}} e um conjunto, {, {}} e {} {, {}}. Vamos continuar a brincadeira de armar feita acima. J a temos no nosso modelo os conjuntos , {}, {{}}, {, {}} e as propriedades: para todo conjunto x, x = Falso {} {} = Verdade {} {{}} = Verdade {{}} {, {}} {, {}} = Verdade, {} {, {}} = Verdade Note que a rela c ao de pertin encia foi deduzida como verdadeira ou falsa a partir de nosso constru c ao de novos conjuntos usando Pares. Usando pares nos quatro conjuntos acima, poder amos formas 4 4 4 4 = 44 conjuntos. Para n ao repetir conjuntos anteriores e fazer uso d Lemma 2.10,

2.1. AXIOMAS E UM MODELO

25

Os conjuntos, dados pela constru c ao de Pares em nosso modelo, usando o , {}, {{}}, {, {}}, s ao {{{}}} {{}} {{{}}} = Verdade {{, {}}} {, {{}}} {, {}} {{, {}}} = Verdade {, {{}}} = Verdade {{}} {, {{}}} = Verdade {} {{}, {{}}} = Verdade {{}} {{}, {{}}} = Verdade {, {, {}}} = Verdade {, {} {, {, {}}} = Verdade {} {{}, {, {}}} = Verdade {, {}} {{}, {, {}}} = Verdade

{{}, {{}}}

{, {, {}}}

{{}, {, {}}}

{{{}}, {, {}}}

{{}} {{{}}, {, {}}} = Verdade {, {}} {{{}}, {, {}}} = Verdade Podemos tamb em decidir, senten cas tais como {} {{{}}} = Falso

Em verdade, o conjunto {{{}}} foi formado por pares a partir do {{}}. Temos que a senten ca {{}} {{{}}} = Verdade. Veja mais sobre pertin encia nos Exerc cios. Agora o leitor tem conhecimento para criticar os conceitos mais primitivos sobre fundamentos: Folclore 2.11 N ao confunda conjunto com elemento de conjunto. Pertence e uma rela ca o entre conjuntos e seus elementos. Cabe aqui uma pequena digress ao sobre o Folclore 2.11. Teremos, se aceitarmos o enunciado acima, que denir elemento do conjunto. Ent ao nossa tarefa e dividida em duas miss oes: Denir conjunto e elemento do conjunto. Mais ainda, teremos que distinguir conjunto e seus elementos. Ora, vimos que, com o uso de apenas tr es axiomas, conjunto e uma rela c ao

 26CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS bin aria de pertin encia foi bem denida. Os demais conceitos s ao derivados e n ao foi necess ario nada mais do que esse tr es axiomas, dai porque carregar mais a nota c ao? N ao h a necessidade de se carregar mais ainda a teoria, quando j a temos algo que funciona da mesma forma. O bom de denir-se conjunto e a rela c ao pertence e que elemento de conjunto tamb em e conjunto e o conceito de subconjunto ser a um conceito derivado. Por outro lado, uma axiomatiza c ao de teoria dos conjuntos que parte da id eia de elemento de conjunto necessitaria tamb em de uma rela c ao pertence denida entre um conjunto e um elemento de um conjunto. Nossa teoria j a est a cando muito larga e pesada para carregarmos via uma escrita leg vel esses dois conceitos, elemento de conjunto e conjunto. Nossa justicativa para as no c oes primitivas de conjuntos, elementos de conjuntos, subconjuntos e pertin encia j a est a bem fundada. De fato, formamos os conjuntos , {}, {, {}}, . . . . Ora, se formamos conjuntos x1 , x2 , x3 , . . . j a temos justicadas as senten cas: {x1 } e um conjunto e x1 {x1 }. Na verdade x1 eou nico elemento de {x1 }; {{x1 }} e um conjunto e {x1 } {{x1 }}. N ao e verdade que x1 e o elemento de {{x1 }}. O conjunto {{x1 }} foi formado usando Pares e Extensionalidade: Por Pares, {{x1 }, {x1 }} e um conjunto e {x1 } {{x1 }, {x1 }}; Por Deni c ao, {{x1 }, {x1 }} = {{x1 }}. Se {x1 , x2 } e {{x2 , x3 }} s ao conjuntos, ent ao x1 {x1 , x2 }, x2 {x1 , x2 }, , {x2 , x3 } {{x1 , x2 , x3 } Os elementos de {{x1 , x2 }, {{x2 , x3 }}} s ao {x1 , x2 } e {{x2 , x3 }}. Observe que ainda n ao podemos justicar que {x1 , x2 , x3 , . . . } seja um necess conjunto. E ario um axioma para justicar a exist encia de um conjunto innito.

2.1. AXIOMAS E UM MODELO

27

J a podemos construir muitos conjuntos, mas n ao justicamos todos os fundamentos da matem atica. Vamos acrescentar (e analisar) os seguintes axiomas: Axioma 2.12 (Uni ao) Para todo conjunto S , existe um conjunto X tal que x X see existe A S e x A. Em s mbolos, S X A x(x A A S x X ) Em nosso modelo, esse axioma resulta na regra para forma c ao de conjuntos dada abaixo: Deni c ao 2.13 Dados os conjuntos S , A e x, existe um conjunto existe um conjunto X tal que se 1. A rela ca o x A e Verdade; 2. A rela ca o A S e Verdade; ent ao a rela ca o x X e Verdade. Mais ainda, a rel ca o de pertin encia resulta Falsa para qualquer outro conjunto y fora das condi co es dadas acima. Nesse ponto, justicadas as forma c oes de conjuntos por pares e uni ao e dada a rela c ao de igualdade. usaremos a seginte nota c ao: Nota c ao 2.14 Se X e um conjunto tal que para os conjuntos x1 , x2 ,...,xn a rela ca o x1 X = Verdade , x2 X = Verdade, . . . , xn X = Verdade e para todo conjunto y diferente dos x1 , x2 ,...,xn a rela ca o y X = Falso denotamos X por {x1 , x2 . . . , xn }. Vamos escrever como ca a uni ao em alguns dos conjuntos que formamos: Nada a fazer. N ao existem elementos em {} Nada a fazer. {}, mas n ao tem elementos

 28CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS {, {}} e {} pertencem a {, {}}. {}. A uni ao de {, {}} e, portanto {}. {{}} {} eou nico elemento de {{}}. eou nico elemento de {}. A uni ao de {{}} e, portanto {}. {, {, {}}} Temos que n ao tem elementos. Os elementos de {, {}} s ao e {}. Desse modo, a uni ao do conjunto dado e {, {}}. {, {{}}} n ao tem elementos. O u nico elemento de {{}} e {}. O resultado da uni ao acima e {{}}. {}, {, {}} e {} {, {}}. {{}, {, {}}} A uni ao do conjunto acima e {, {}}. Leitor muito indignado exclama: Opa, perai!!!!!! Essa n ao e a opera ca o de uni ao que eu aprendi nos cursos elementares de matem atica!!!! Devo jogar o conhecimento velho fora? Bem, na verdade, vamos derivar o conceito de uni ao que conhecemos a partir dessa deni c ao. A opera c ao de uni ao que conhecemos no n vel informal ser a denida a partir do axioma de uni ao. Essa opera c ao vai coincidir com o conceito de Uni ao que o leitor trouxe de seus cursos b asicos. Deni c ao 2.15 Dados dois conjuntos x e y a opera ca o bin aria x y e dada pelo axioma de uni ao sobre o par {x, y }. Vamos usar a Deni c ao 2.15 para tomar a uni ao dos conjuntos Usando o Axioma da Uni ao, n os podemos descascar a estrutura de um dado conjunto e extrair os (conjuntos) elementos dos elementos. A uni ao, como temos de nossos conceitos mais elementares de opera c oes matem aticas deve coincidir com essa deni c ao de formar pares e extrair elementos. De fato, dados os conjuntos x e y , por pares, formamos o conjunto {x, y }, cujos elementos s ao x e y . Aplicando-se o axioma da uni ao, teremos os conjunto de todos os elementos de x e de todos elementos de y , o que coincide com a nossa deni c ao de uni ao. Se a rela c ao t x e verdade, diganos, para t = w1 , t = w2 ,..., t = wn e falsa ao contr arion e se a rela c ao t y e verdade, para t = v1 , t = v2 ,...,

2.1. AXIOMAS E UM MODELO t = vm , ent ao a rela c ao u x y = Verdade u = w1 ou u = w2 ou . . . ou u = wn ou u = v1 ou u = v2 ou . . . ou u = vm e falsa caso contr ario. Usando a nota c ao 2.14, temos que x y = {w1 , w2 , . . . , wn , v1 , v2 , vm }

29

Lema 2.16 Se x1 , x2 , ..., xn , para n 1 s ao conjuntos, ent ao w = {x1 , x2 , . . . , xn } e um conjunto e para cada 1 i n, xi w. Prova: Se n = 1, por pares {x1 , x1 } e um conjunto e x1 {x1 , x1 }. Denotamos, {x1 , x1 } = {x1 }, Logo {x1 } e um conjunto com x1 {x1 }. Para n = 2, use axioma dos pares e forme {x1 , x2 } com x1 {x1 , x2 } e x2 {x1 , x2 }. Temos que {x1 , x2 } e {x3 } s ao conjuntos com x1 {x1 , x2 }. x2 {x1 , x2 } e x3 {x3 }. Por pares, fa ca {{x1 , x2 }, {x3 }}. Aplique a uni ao a esse conjunto e obtenha {x1 , x2 , x3 } com xi {x1 , x2 , x3 } para todo 1 i 3. O racioc nio se aplica indutivamente at e obetermos w com xi w para todo 1 i m. Vamos emoldurar em uma deni c ao a opera c ao de constru c ao de um n umero natural, Se c ao 3.1. Deni c ao 2.17 (sucessor) Dado um conjunto x, seu sucessor e o conjunto x {x} e ser a denotado por s(x). Com o axioma da uni ao, temos a part cula . Ganhamos agora a part cula , que e derivada do e do como (p q ) (p q ) cuja interpreta c ao informal de seu signicado e dado no Exemplo 1.9. J a temos todos os conjuntos nitos. A partir do atomo , temos conjuntos dos tipos 1. e um conjunto e x e falso para todo conjunto x;

 30CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS 2. { e um conjunto. A senten ca x { e verdade apenas para x = ; 3. Se x1 , x2 ,..., xn s ao conjuntos, ent ao {x1 , x2 , . . . , xn } e um conjunto. A senten ca y {x1 , x2 , . . . , xn } everdade para y = x1 , y = x2 ,..., y = xn apenas. Os pr oximos axiomas extendem mais a no c ao de conjunto (nito) dado acima. Axioma 2.18 (Conjunto Innito) Existe um conjunto innito. Formalmente, x( x y x(s(y ) x)) Usaremos esse axioma para denirmos o conjuntos dos n umeros naturais. No nosso modelo de conjuntos, temos agora o conjunto 0 = {x0 , x1 , x2 , . . . , xn , xn+1 , . . . } com a propriedade de y 0 e verdade para 1. x0 = ; 2. x1 = {}; 3. x2 = {, {}}; 4. x3 = {, {}, {, {}}}; 5. x4 = {, {}, {, {}}, {, {}, {, {}}}}; 6. Em geral, denidos x0 , x1 , x2 ,...xn em 0 , temos que xn+1 = {x0 , x1 , x2 , . . . , xn } 0 Axioma 2.19 (Potencia c ao) xy z (z x z y )

 2.2. DIGRESSOES

31

Dado um conjunto A, existe um conjunto P (A) cujos elementos s ao todos os subconjuntos de A. x y z (z x z y ) Esses ainda n ao s ao todos os axiomas da teoria ZFC, mas esses axiomas j a s ao sucientes para que possamos iniciar uma discuss ao. Com o uso de potencia c ao, temos que se x1 , x2 , x3 , . . . s ao conjuntos, ent ao {x1 , x2 , x3 , . . . } e um conjunto. Al em disso, x1 {x1 , x2 , x3 , . . . }, x2 {x1 , x2 , x3 , . . . }, etc.

2.2

Digress oes

O leitor deve tomar nota que: 1. O vazio e subconjuntos de qualquer conjunto; 2. O vazio n ao necessariamente pertence a um conjunto. Para vericar a primeira arma c ao, temos que x see ttx Ora, temos que a asser c ao, t e sempre falsa, usando o axioma do conjunto, nenhum conjunto pertence ao , donde t e uma arma c ao falsa e, portanto, a implica c ao verdadeira. I.e., t t x e verdadeira. Portanto, o conjunto vazio e subconjunto de qualquer conjunto. Para justicar a segunda arma c ao, basta um contra-exemplo: O conjunto {{}} e formado, usandose o axioma dos pares, por {} e {}. Usandose o axioma da identidade, {} eou nico elemento de {{}}.

2.3

Mais Axiomas

Axioma 2.20 (ACom) Axioma da Compreens ao: Se P e uma propriedade e A e um conjunto, ent ao existe um conjunto B tal que x B se e somente se x A e P e verdadeira em x.

 32CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS Esse axioma requer o conhecimento preciso do que e uma propriedade. Na pr atica, essa no c ao n ao e univocamente denida. tente a seguinte propriedade P S se P e um grande compositor brasileiro. Os exemplos do uso do axioma da compreens ao e uma id eia mais clara sobre o conceito de propriedade ser ao abordados no texto, a medida que introduzimos mais axiomas. Est a claro que devemos denir propriedade, analogamente a igualdade ou rela c ao de pertin encia usando o que temos, apenas o que temos a m ao: Os axiomas de teoria dos conjuntos e nenhuma deni c ao ex otica ` a linguagem que estamos desenvolvendo. Nesse caso, fa camos: Deni c ao 2.21 (Propriedade) Uma propriedade em um conjunto x e denida por uma f ormula bem formada com axiomas da teoria. Em suma, uma propriedade e uma combinac ao nita de axiomas da nossa teoria e e dada por uma asser ca o Verdade ou Falso em nosso modelo. Nosso problema a a contagem de f ormulas que podemos escrever (um n umero enumer avel delas e as possiblidades innitas de conjuntos. Ora, o axioma das partes e os axiomas da escolha far ao o papel de assegurar a exist encia desses conjuntos, mas estamos na froteira da matem atica que pode ser constru da e da grande matem atica. Exemplo 2.22 Essas sentencas ilustram o uso do conceito de propriedade {x|x {, {{}}} x = } {x|x {{{}}} x {{{}}}} No primeiro caso, temos o conjunto x = {{{}}} e no segundo caso x = . O Axioma da Compreens ao nos d a liberdade de formar subconjuntos de um conjunto dado. Esses subconjuntos est ao sujeitos a formula c ao de uma propriedade P . Eles s ao os subconjuntos de um conjunto A dado que

2.3. MAIS AXIOMAS

33

satisfazem a propriedade P . Note que isso n ao e a arbitr aria forma c ao de subconjuntos. Os Axiomas do Conjunto Innito, Potencia ca o e Uni ao ser ao discutidos nas constru c oes de cardinais e ordinais. O que falta para descrever ZFC? Vejamos mais axiomas a serem transformados nas regras semanticas do modelo de conjuntos. Axioma 2.23 (Substitui c ao) Se P (x, y ) e uma propriedade tal que para todo x existe um u nico y onde P (x, y ) e verdadeira. Ent ao para todo conjunto A, existe um conjunto B onde x Ay B (P (x, y ) = V erdade) Vejamos um exemplo: Exemplo 2.24 Dado um conjunto x, existe um u nico conjunto y = s(x) o sucessor de x (veja a Deni co de sucessor, 2.17) Seja A o conjunto dos pares, isto e, A e recursivamente denido como 1. 0 A; 2. Se x A, ent ao s(s(x)) A. O conjunto B e o conjunto dos mpares: 1. 1 A; 2. Se x A, ent ao s(s(x)) A. Finalmente, vamos estabelecer que, de certo modo, o conjunto vazio eo nosso tijolo inicial e nada mais tem complexidade menor em constru c ao. Axioma 2.25 (Funda c ao) Todo conjunto e bem fundado: x(y (y x) w(w x z (z x z w))) Todo conjunto x n ao vazio possui um elemento disjunto de x. O conjunto x possue uma part cula inicial.

 34CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS Vamos entender melhor o enunciado do Axioma da Funda c ao. Suponha que x e o conjunto dos naturais, {0, 1, 2, . . . }. Estabelecemos que 0 1, 0 2, 1 2, 0 2, 1 3, 2 3, . . . e que todo natural j x. Ora, procuramos por um conjunto w que perten ca a xpor em w e x n ao possuem elementos em comum. Esse w e o vazio. Toda a matem atica que escrevemos est a calcada no axioma da funda c ao. Esse axioma, em outra formula c ao nos conta que todo conjunto foi recursivamente construido a partir dos axiomas ZFC. Isto e, todo conjunto tem uma part cula m nima. Vejamos: y (y x) e equivalente a dizer que x n ao e vazio. Nesse caso, existe um w elemento de x cuja intersecc ao com x e vazia. Em resumo, n ao podemos fazer conjuntos sem um tijolo inicial.

2.4

Exerc cios

Acho que se eu souber resolver isso eu j a aprendi a linguagem! Por isso vou resolver exerc cios e discuti-los com os colegas e com o professor. Exerc cio 2.26 De acordo com a teoria que foi aprendida, decida se s ao conjuntos: 1. ; 2. {}; 3. {{}}; 4. {{{}}}; 5. . . . {{{}}} . . . (n ao precisa dar uma justicativa formal. Intuitivamente, decida se e conjunto); 6. {{}, }; 7. {}, ; 8. {, {}, };

2.4. EXERC ICIOS 9. {{}}, {, {}, }; 10. {{{}}, , {}, }; 11. {}, , {{}, , {}}, {, {}, }; 12. {{{}, , {{}, , {}}, {, {}, }}; 13. {{}, , {{}, , {}}, {, {}, }}.

35

Exerc cio 2.27 Sejam x, y, z conjuntos. Decida se e verdadeiro ou falso. Justique 1. x {x, y, z }; 2. x {x, y, z }; 3. {x} {x, y, z }; 4. {x, y } {x, y, z }; 5. {{x}} {x, y, z }; 6. {z, {x, y }} {x, y, z } 7. = {}; 8. {0, 1, 2} = {2, 0, 1}; 9. {0, 1, 1, 2, 2, 2, 3, 1, 2} = {0, 1, 2}; 10. {{{} e um conjunto; 11. {{{}}} = {{}}. Para resolver os exerc cios que se seguem, suponha que conjuntos s ao denotados por letras min usculas, x, y, z, . . . . Exerc cio 2.28 Sejam x, y, z conjuntos. Escreva a uni ao de. 1. x, y, z ;

 36CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS 2. {x, y }, z ; 3. {x, {x}, {{{x}}}}, x, {x}, {{x, y }, z }; 4. x, {x}, {{x, y }, z }; 5. x; 6. {x}; 7. {{{x}}}; 8. {x}, {{{x}}}. Exerc cio 2.29 Forme o sucessor e o conjunto de pot encia de: 1. x; 2. {x, {x}}; 3. {{x}}; 4. {x, {x, {x}}}; 5. {{x, {x, {x}}}}; 6. {x, y, z }; 7. {{x}, {y, z }}; 8. {x, {x}, {y, z }}; 9. {{x, {x}, {y, z }}}; 10. {{x, y, z }, {x, {x}, {y, z }}}; 11. {{{{x, y, z }, {x, {x}, {y, z }}}}}. Deni c ao 2.30 (sucessor) Dado um conjunto x, a en ezima itera ca o da n opera ca o sucessor e denotada por s (x). Uma deni ca o an alogs para P n (x). Por exemplo, dado o conjunto x, temos:

2.4. EXERC ICIOS 1. s(x) = {x, {x}}; 2. s(x)2 = {{x, {x}}, {{x, {x}}}} 3. s(x)3 = {{{x, {x}}, {{x, {x}}}}, {{{x, {x}}, {{x, {x}}}}}}. Dado o conjunto {x, y }, temos 1. P ({x, y }) = {, {x}, {y }, {x, y }};

37

2. P ({x, y })2 = , {} , {{ x }} , {{ y }} , {{ x, y }} , {, {x}}, {, {y }}, {, {x, y }}, {{x}, {y }}, {{x}, {x, y }}, {{y }, {x, y }}, {, {x}, {y }}, {, {x}, {x, y }}, {, {y }, {x, y }}, {{x}, {y }, {x, y }}, {, {x}, {y }, {x, y }} conte os subconjuntos com nenhum, um , dois, tr es e quatro elementos! Exerc cio 2.31 Dado o conjunto x, escreva s4 (x) e P s2 (x). Exerc cio 2.32 O s mbolo representa, a partir de agora, a uni ao de conjuntos dada pelo axioma da uni ao. Decida ent ao se as senten cas abaixo s ao verdadeiras ou falsas. Justique a sua resposta. 1. {0, 1} {{0}, {1}} = {0, 1}; 2. {0, 1} {{0}, {1}} = {0, 1, {{0}, {1}}}; 3. {0, 1} {{0}, {1}} = {0, 1, {0}, {1}}. Exerc cio 2.33 Dado A um conjunto e P uma propriedade, prove que existe um u nico B = {x A|P (x) = V }. Lembrese de que P (x) = V abrevia P e verdadeira em x. Exerc cio 2.34 Justique a intersec ca o de conjuntos: xy z (w z (w x w y )). Denote a opera ca o de intersec ca o de x por y de x y . Voce tem alguma representa ca o de diagrama para a intersec ca o?

 38CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS Exerc cio 2.35 Justique o complementar de conjuntos: xy z (w z (w x w / y . Denote a opera ca o de intersec ca o de x por y de x \ y . Voce tem alguma representa ca o de diagrama para o complementar? Exerc cio 2.36 Prove que x y = x see y x. Exerc cio 2.37 Prove que x y = x see x y . Exerc cio 2.38 1. Prove que A B = B A;

2. Prove que A B = B A; 3. De um contraexemplo para mostrar que A \ B = B \ A. Exerc cio 2.39 Prove: 1. A \ B = (A B ) \ B = A \ (A B ); 2. A B = A \ (A \ B ); 3. A \ B \ C = A \ (B C )2 ; 4. A (B C ) = (A B ) (A C ) (Leis Distributivas); 5. A (B C ) = (A B ) (A C ) (Leis Distributivas); 6. A \ (B C ) = (A \ B ) (A \ C ) (Leis de DeMorgan); 7. A \ (B C ) = (A \ B ) (A \ C ) (Leis de DeMorgan). Exerc cio 2.40 Prove as Leis de DeMorgan generalizadas. Denote a uni ao de um conjunto em S por {Bi |i S } e a intersec ca o em S por {Bi |i S }. Mostre que A\ A\
2

{Bi |i S } = {Bi |i S } =

{A \ Bi |i S } {A \ Bi |i S }

Leia A \ B \ C como (A \ B ) \ C .

2.4. EXERC ICIOS

39

RESPOSTAS
2.26 1. e um conjunto denido pelo Axioma do vazio; 2. {} e um conjunto. O conjunto , com o uso do axioma de pares, gera o conjunto {, }. Usando extensionalidade, temos {, } = {}; 3. {{}}. Mesma justicativa, pares sobre {}; conjunto e originou-se de pares sobre {{}}; 4. {{{}}}. E 5. . . . {{{}}} . . . . N ao e conjunto. Sen ao ter amos que e um conjunto que pertence a si mesmo; 6. {{}, }. N ao e conjunto. No m nimo est a mal identado o que me permite dizer que n ao posso reduzir a ordem hierarquica de sua forma ca o; 7. {}, . N ao e conjunto. Mesma justicativa do exerc cio anterior conjunto. Por extensionalidade, igual a {, {}}. Temos que 8. {, {}, }. E e {} s ao conjuntos. dai, {, {}}, por pares, e conjunto; 9. {{}}, {, {}, }. N ao e conjunto. Mesma justicativa do item 6; 10. {{{}}, , {}, }. N ao e conjunto. Idem; 11. {}, , {{}, , {}}, {, {}, }. N ao e conjunto. Idem; 12. {{{}, , {{}, , {}}, {, {}, }}. Se e conjunto, veio de forma ca o de pares de {{}, , {{}, , {}} e {, {}, }. O u ltimo j a sabemos que e conjunto. Se {{}, , {{}, , {}} e conjunto, ent ao nossa resposta e Amativa. {{}, , {{}, , {}} e conjunto se {} e e {{}, , {} s ao conjuntos. A resposta e armativa para os dois primeiros, mas o terceiro decomp oe-se em { e e {. Dois s ao conjuntos e o terceiro n ao foi constru do por nenhuma de nossas estruturas de conjuntos: os axiomas. N ao e conjunto. N ao e bem formado usando os axiomas de nossa teoria. 13. {{}, , {{}, , {}}, {, {}, }}. conjunto se e somente se {} e e {{}, , {}} e {, {}, } s E ao conjuntos. Os dois primeiros s ao conjuntos. Os dois u ltimos s ao iguais a {, {}} que sabemos ser um conjunto. 2.27 1. x {x, y, z } Pelo Lema 2.16, x {x, y, z } assim como y {x, y, z } e z {x, y, z }. Verdade; 2. x {x, y, z }. Seria verdade se t x implica t {x, y, z }. Os elementos de {x, y, z } s ao x, y e z . Falso; 3. {x} {x, y, z }. Verdadeiro see t {x} implica t {x, y, z }. Agora t {x} see t = x, o qual pertence a {x, y, z }. Verdade;

 40CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS

4. {x, y } {x, y, z }. Verdade. Mesmo racioc nio acima; 5. {{x}} {x, y, z }. Seria verdade se t {{x}} implica t {x, y, z }. Agora, t {{x}} t = {x} e sabemos que {x} n ao e elemento de {x, y, z }. Falso; 6. {z, {x, y }} {x, y, z }, Vamos verivar se t {z, {x, y }} implica em t {x, y, z }. Temos que t {z, {x, y }} see t = z e t = {x, y }. Como {x, y } n ao e elemento de {x, y, z }, a arma ca o e falsa; 7. = {}. Falso, Sen ao t see t {}, N ao existe t e o u nico elemento de {} e ; 8. {0, 1, 2} = {2, 0, 1}. Verdade. Possuem os mesmos elementos; 9. {0, 1, 1, 2, 2, 2, 3, 1, 2} = {0, 1, 2}. Falso. S ao iguais; 10. {{{} e um conjunto. Falso. Mal formado; 11. {{{}}} = {{}}. Verdadeiro. Ambos n ao possuem os mesmos elementos 2.28 Em uma relolu ca o deveras informal, 1. {t x t y t z }; 2. {t {x, y } t z } = {t = x t = y t z }; 3. {x, {x}, {{{x}}}}, x, {x}, {{x, y }, z } = {t {x, {x}, {{{x}}}} t x t {x} t {{x, y }, z }} = {x, {x}, {{{x}}}, {x, y }, z, t x} 4. x, {x}, {{x, y }, z } = {t x t {{x, y }, z }} = {{x, y }, z t x}; 5. x = {t x} = x; 6. {x} = {t {x}} = {x}; 7. {{{x}}} = {t {{{x}}} = {{{x}}}; 8. {x}, {{{x}}} = {t {x} t {{{x}}}} = {{x}, {{{x}}}}. 2.29 1 x. O sucessor de x, s(x) = x {x} = {t x t {x}} = {t x t = x}. O conjunto das partes de x, P (x) = {t x}; 3 {{x}}. s({{x}}) = {{x}} {{{x}} = {{{x}}, {{{x}}}}. P ({{x}} = {t {{x}}}. esse conjunto e unit ario, com um elemento, {x}. Seu conjunto de partes tem 21 elementos e e dado por {, {x}}. 5 O conjunto s({{x, {x, {x}}}}) e igual a {{x, {x, {x}}}} {{{x, {x, {x}}}}} = {{x, {x, {x}}}, {{x, {x, {x}}}}}. O conjunto dado tem um elemento. Seu conjunto de partes tem 21 elementos, o vazio e o conjunto dado;

2.4. EXERC ICIOS

7 s({{x}, {y, z }}) = {{x}, {y, z }, {{x}, {y, z }}}. P{{x}, {y, z }} = {, {x}, {y, z }, {{x}, {y, z }}};

41

9 s({{x, {x}, {y, z }}}) e dado por {{x, {x}, {y, z }}} {{{x, {x}, {y, z }}}} = {{x, {x}, {y, z }}, {{x, {x}, {y, z }}}}. P{{x, {x}, {y, z }}} = {, {{x, {x}, {y, z }}}}. 2.31 s0 (x) = x, s(x) = x {x}, s2 (x) = s(x {x}) = x {x} {x {x}} Dado o conjunto x, escreva s4 (x) e P s2 (x). 2.34 Justique a intersec ca o de conjuntos: xy z (w z (w x w y )). Denote a opera ca o de intersec ca o de x por y de xy . Voce tem alguma representa ca o de diagrama para a intersec ca o? 2.35 Justique o complementar de conjuntos: xy z (w z (w x w / y. Denote a opera ca o de intersec ca o de x por y de x\y . Voce tem alguma representa ca o de diagrama para o complementar? 2.36 x y = x (t x y ) t x) (t x t y ) t x) . Escreva a u ltima senten ca como p q p. Ora, trivialmente temos a tautologia p p q , Agora, p q p e logicamente equivalente ( e uma tautologia em L ogica Booleana) a q p. Isto e, y t x). Isto e x y = x see y x. 2.39 Prove: 1 A \ B = (A B ) \ B = A \ (A B ); Temos que t A \ B t A (t B ). Agora, t (A B ) \ B t (A B ) (t B ) (t A t B ) (t B) . Lembre-se de que (p q ) r ((p r) (q r). Distrubuindo a u ltima senten ca, temos a equival encia (t A (t B )) (t B (t B )) ou, equivalentemente, (t A (t B )), isto e, t A \ B . Finalmente, t A \ (A B ) (t A(t (A B ))) (t A (t A t B )). Lembrando que (p q ) (p = q ), temos que a u ltima senten ca e equivalente a t A (t A t B ). Isto e, (t A t A) (t A t B ). Equivalentemente, t A t B , isto e, t A \ B . 3 t (A \ B ) \ C (t (A \ B ) (t C )) (t A (t B ) (t C )). Agora, t (A \ (B C ) (t A (t (B C ))) (t A (t B t C )) (t A (t B ) (t C ), ou seja, t (A \ B ) \ C . 5 A (B C ) = (A B ) (A C ) (Leis Distributivas); 7 A \ (B C ) = (A \ B ) (A \ C ) (Leis de DeMorgan). 2.40 Prove as Leis de DeMorgan generalizadas. Denote a uni ao de um conjunto em S por {Bi |i S } e a intersec ca o em S por {Bi |i S }. Mostre que A\ A\ {Bi |i S } = {Bi |i S } = {A \ Bi |i S } {A \ Bi |i S }

 42CAP ITULO 2. AXIOMAS BASICOS DE TEORIA DOS CONJUNTOS

Cap tulo 3

Ordem e Axioma da Escolha

Nesse cap tulo, discorremos sobre conjuntos ordenados e tipos de ordens. Nossos objetivos principais s ao a discuss ao sobre o Axioma da Escolha em suas v arias verso oes. Vamos antes

3.1

N umeros Naturais

Vamos, indutivamente, construir cada n umero natural, fazendo uso dos axiomas b asicos que apresentamos no cap tulo anterior. Nossa part cula inicial, o n umero Zero e justicado usando o axioma da exist encia, de modo que o atomo, conjunto vazio, e associado ao n umero zero. Usamos dai o axioma dos pares para, dado , obtermos, formando pares, o par {, } = {}. O conjunto {} e identicado ao n umero 1. E o n umero dois? Este e identicado ao conjunto {, {}}. Indutivamente, faremos, O n umero zero, 0 e identicado com o conjunto vazio; O n umero um, 1 e identicado com o conjunto {}. Dai, 1 = {0} e 0 1; O n umero dois, 2 e identicado com o conjunto {, {}}. Dai, 2 = {0, 1} e 0 2 e 1 2; 43

44

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA O n umero tr es e identicado com o conjunto {, {}, {, {}}}. Dai, 3 = {0, 1, 2}; Uma vez constru don, o n umero n + 1 e o conjunto {0, 1, . . . , n}.

O leitor dever a notar que um n umero natural e formado, indutivamenta, pela opera c ao de tomar sucessor a partir do vazio. Deni c ao 3.1 Seja x um natural. Lembre-se que o sucesor de um conjunto y e dado por y {y }. Temos que o sucessor de x, s(x), satisfaz 1. x s(x); 2. Se y x, ent ao y s(x). O conjunto acima e chamado de heredit ario. Em particular, estamos falando dos conjuntos heredit arios nitos. Veja o Cap tulo 5. Ora, nossa quest ao b asica dever a ser: temos bases consistentes para fazermos as constru c oes de um n umero natural como acima? Vamos a essa quest ao. Lembrese de que se n e um n umero natural, seu sucessor est a bem denido e e denotado por s(n) e que denotamos o conjunto vazio por . x( x y x(s(y ) x)) Repare bem, n ao parece com algo que voc e j a viu? A partir do que foi, provavelmente, nosso primeiro contato com as id eias matem aticas descontextualizadas (a matem atica que n ao faz uso do cl assico saco de balinhas de Maria ou as gurinhas de Jo ao), fomos imbuidos de uma id eia que n os, ou boa parte de n os, aceitamos sem muitas cr ticas ou maturidade: A id eia de que existe um conjunto innito, que seria a uni ao de todos conjuntos. Vejamos: O conjunto dos naturais e a uni ao de todos conjuntos nitos: N = {1, 2, . . . } = nN {1, 2, . . . , n}

 3.1. NUMEROS NATURAIS

45

Essa f ormula e pass vel de cr ticas, uma vez que zemos uma deni c ao de N em fun c ao de N e nossos objetivos s ao certas deni c oes primitivas, bem formuladas e certas consequ encias dessas deni c oes, que seria conceitos derivados. Vejamos agora com certa cr tica essa id eia intuitiva de conjunto de todos os conjuntos, que alguns de n os conhecemos de nossos cursos b asicos. Existe um certo conceito de um chamado conjunto universo, que seria o conjunto de todos conjuntos, a uni ao de todos esses conjuntos. Ora, a exist encia de tal conjunto cria um paradoxo (implicaria uma contradi c ao): O conjunto universo U e o conjuntos de todos os conjuntos. Ent ao, U {U } U . Temos agora um problema mais b asico, menos transcendente que o Platonico conjunto universo, mas de natureza um pouco mais pr atica: O que e o conjuntos dos n umeros (todos eles!) naturais? Precisamos do axioma da exist encia de um conjunto innito, 2.18. Temos que a senten ca x( x y x(s(y ) x)) e identicada com o conjunto N = {0, 1, 2, . . . }. O conjunto dos n umeros naturais e esse conjuntos x que assertamos existir. O que e de fato um n umero natural?? Para os leitores que zeram o curso de Algebra 1, os n umeros naturais s ao construidos usando os axiomas abaixo, conhecidos como Axiomas de Peano. Verique que os conjuntos construidos acima de fato satisfazem os primeiros quatro axiomas. Para vericar o u ltimo precisamos da teoria que desenvolvemos na pr oxima se c ao. Deni c ao 3.2 Dena x < y em N se x y Princ pio da Tricotomia Para todo x, y N, x = y x < y y < x. Axiomas de Peano: Os Axiomas de Peano admitem tr es conceitos primitivos: n umero natural, zero e sucessor relacionados por 5 axiomas. Denotamos, como antes Suc(x) ao sucessor do n umero natural x. Os axiomas s ao os seguintes: Zero e um n umero natural;

46

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA Todo n umero natural x tem um sucessor Suc(x); Zero n ao e sucessor de nenhum n umero natural; se Suc(x) = Suc(y ) ent ao x = y Princ pio da Indu c ao Completa: Seja S um conjunto de n umeros naturais tal que: a) 0 S b) Se n S ent ao Suc(n) S . Ent ao S e o conjunto de todos os n umeros naturais. Vamos agora justicar o conceito de conjunto nito:

Deni c ao 3.3 (Conjunto Finito) Vamos denir que um conjunto A e nito se e s o se existe um n umero natural n e uma bije ca o de n em A. Assim, se A = {x1 , x2 , . . . , xk }, podemos denir uma bije c ao 1 f (x1 ), 2 f (x2 , e assim sucessivamente.

3.2

Conjuntos Ordenados

Temos a deni c ao de ordem en N, derivada da rela c ao , denida por x y se x y x = y Assim, por exemplo, 4 9 pois 4 9 e 4 4 desde que 4 = 4. Dado um conjunto A, vamos especicar as propriedades que uma ordem sobre A dever a satisfazer. Antes de tornar a no c ao de ordem mais formal, perceba que uma ordem e uma rela c ao entre dois elementos de um dado conjunto A. N ao s ao bem formadas as frases 0 1 3, 4 3 Desse modo, devemos deixar claro que uma ordem sobre um conjunto A e uma rela c ao bin aria sobre esse conjunto.

3.2. CONJUNTOS ORDENADOS

47

Ora, recorde que j a sabemos o que e um par ordenado (veja Axioma da Forma c ao de Pares 2.2. O conjunto A B e denido como {(x, y )|x A y B } A partir dai, denimos: Deni c ao 3.4 Sejam A e B dois conjuntos, R e dito uma rela ca o bin aria se R e um subconjunto n ao vazio do conjunto A B . Chamaremos rela co es bin arias simplesmente de rela c oes. Denotamos um par ordenado (x, y ) pertencente a rela ca o R como xRy . Uma fun ca o e f de A em B uma rela ca o univalorada. Isto e, se x f y e x f z , ent ao y = z . Vamos formalizar o que mais precisamos para denir uma rela c ao de ordem. Temos: Deni c ao 3.5 Dado um conjunto A, uma rela ca o bin aria sobre A e dita uma ordem parcial sobre A se PO1 Para todo x, y, z em A, se x y e y z , ent ao x z ; (transitividade) PO2 Para todo x A, x x; (reexividade) PO3 Para todo x, y A, se x y e y x, ent ao x = y . (anti-simetria) Deni c ao 3.6 Uma rela ca o de ordem em X e chamada de ordem total ou linear se para todo x, y X tem-se que x y ou y x (isto e, quaisquer dois elementos em X s ao compar aveis). Vejamos, na Se c ao 3.5 alguns exemplos de tipos de ordem. Vamos agora xar uma nota c ao Deni c ao 3.7 Dado um conjuntos ordenado (A, ) e x, y A, x < y se x y x = y ; x y se y x; x > y se y < x.

48

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Observa c ao 3.8 Poder amos ter como deni ca o primitiva (A, <). A partir das rela co es = e <, denimos como x y se x<yx=y Podemos descatar outros tipos de ordem: Deni c ao 3.9 Um conjuntos ordenado (A, ) tem 1. Ordem densa, se para quaisquer elementos comparaveis, x, y , digamos, x < y , existe z tal que x < z < y ; 2. Ordem linear se para todo x e y temos x = y ou x < y ou y < x. Um conjunto ordenado (A, ) pode possuir rela c oes e propriedades derivadas da rela c ao . Vamos usar alguns desses conceitos no que se segue. Deni c ao 3.10 Dado um conjunto ordenado (A, ) e X A, denimos majorante, maximal, m aximo, minorante, minimal e m nimo: Majorante Maximal xA e majorante de X se para todo y X , y x; xA e maximal se y X , se e poss vel comparar x com y , ent ao y x; xA e m aximo se x e majorante e pertence a X ; xA e minorante de X se para todo y X , y x; xA e m nimo se y X , se e poss vel comparar x com y , ent ao y x; xA e minimal se x e minorante e pertence a X .

M aximo Minorante Minimal

M nimo

Para o leitor que est a se perguntando qual a rela ca o entre esses conceitos, ou, se nenhuma rela ca o e estabelecida, que contraexemplos podem ser dados, referimonos a Se ca o 3.5. Deni c ao 3.11 Dado um conjunto X , uma boa ordem e uma ordem em X e uma rela ca o de ordem sobre X tal que:

3.2. CONJUNTOS ORDENADOS BO Todo D A tal qur D = tem um m nimo.

49

muito interessante notar que muitas propriedades interessantes podem E ser inferidas usandose BO. Parte de nosso trabalho e podar o excesso de deni c oes, de modo a obter um corpo m nimo de axiomas. Vamos ilustrar esse ponto usando deni c ao 3.11 Lema 3.12 Seja (A, ) um conjunto bem ordenado. Ent ao 1. A e linearmente ordenado; 2. Todo x A tem sucessor ou e o m aximo de A; 3. A tem primeiro elemento. Prova: Para provar 1. e necess ario demostrar que dois elementos de A s ao compar aveis. Suponha que A tem pelo menos dois elementos, sen ao temos a ordem (linear) trivial. Tome x = y em A. O conjunto {x, y } e um subconjunto de A e, por BO tem um m nimo. Suponha, sem perder a generalidade, que esse m nimo e x. Temos ent ao que x y , donde, dois elementos de A s ao compar aveis, i.e., a ordem sobre A e linear. 2) Suponha que A e bem ordenado e seja x A. Ent ao o conjunto {y A|y > x} pode ser vazio ou n ao. No primeiro caso, ent ao, para todo y em A, y x e x e m aximo. Sen ao, {y A|y > x} = e, sendo A Bem Ordenado, esse conjunto tem m nimo x . Vejamos que x e o sucessor de x: Como x e o primeiro elemento de {y A|y > x}, para todo x < y , temos x y . Dai n ao existe y tal que x < y < x . Isto e,, x e sucessor de x 3) O conjunto A e um subconjunto particular de A e, portanto, possui primeiro elemento.

3.2.1

Alguns Exemplos de Boa Ordem

O primeiro exemplo de conjunto ordenado e o conjunto dos n umeros naturais N. esse exemplo ser a nosso gabaritoquando pensarmos em boa ordem.

50

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Lema 3.13 N e Bem Ordenado. Prova: Vamos mostrar que todo = X N tem primeiro elemento. Usaaremos aqui a propriedade que todo subconjunto X de N n ao vazio e linearmente ordenado. Isto e, para todo x e y de X , x y ou y x. Se 0 X , 0 e o m nimo de X . Sen ao temos que X N \ {0}. Veriquemos se 1 = s(0) X . Caso tenhamos sucesso, 1 e o m nimo de X . Sen ao n temos que X N \ {0, 1}. Repita at e que para certo n = s (0) perten ca a X. Note que esse algor tmo tem um m porque X = , donde, existe um n umero x X . Nosso algor tmo n ao tem mais do que x repeti c oes porque o m nimo de X e menor ou igual a x. De fato, par. Eu n ao gostei muito dessa prova. aw Conjuntos ordenados ser ao usados como base para construirmos outros conjuntos ordenados. Deni c ao 3.14 Dado o conjunto ordenado (I, .) e a fam lia de conjuntos ordenados (Ai , i )iI , dena a uni ao disjunta de da fam lia (Ai , i )iI como iI Ai {i} Dena a ordem lexicogr aca1 lx como (m, j ) lx (n, j ) m i n (j <i k)m Aj n Ak ((m, j ) <lx (n, k)) Deni c ao 3.15 Dado um conjunto ordenado (A, ),seja B um subconjunto nao vazio de A. Dena a ordem induzida de A em B como m B n m n O leitor n ao ter a diculdade em demonstrar que ordem lexicogr aca e ordem induzidas possuem as propriedades de ordem denidas em 3.5. N os de fato constru mos novos conjuntos ordenados a partir de outros conjuntos ordenados.
1 Esse nome n ao e uma homenagem ao vil ao dos quadrinhos, Lex Luthor! Seu sentido e colocar numa ordem de dicion ario.

3.2. CONJUNTOS ORDENADOS

51

Exemplo 3.16 O conjunto N {0} N {1} na ordem lexicogr aca e bem ordenado. Prova: A ordem lexicogr aca sobre N {0} N {1} e dada por: (m, 0) (n, 0) m n; (m, 1) (n, 1) m n; Para todo m, n N, (m, 0) (n, 1). Vamos provar que = X N {0} N {1} possui m nimo. Se X N {0} = , ent ao como N {0} e bem ordenado, na ordem herdada da ordem de N, esse conjunto tem um m nimo, que e o m nimo de X em N {0} N {1}. Caso X N {0} = , como X = , ent ao X N {1}. Repita o racioc nio anterior sobre o conjunto bem ordenado N {1}.

3.2.2

Axioma da Escolha em V arias Formas

Temos agora as ferramentas b asicas para enunciar o Axioma da Escolha. V arias vers oes (enunciados equivalentes) do Axioma da Escolha est ao dis pon veis no mercado. E bom tomar conhecimento de algumas dessas vers oes, as quais apresentamos a seguir. O Axioma da Escolha, pelo seu sabor intuitivo e obvio foi (ou ainda e) objeto de algumas confus oes. Na verdade esse axioma estabelece que as propriedades de indu c ao que temos no conjunto dos n umeros naturais podem ser mantidas em outros conjuntos. AEsc Axioma da Escolha. Vers ao ZERO. Seja A um conjunto n ao vazio. Ent ao podemos escolher a0 A. Vers ao UM. Seja {As }sS uma famil a de conjuntos n ao vazios. Ent ao existe uma fun c ao f denida em S tal que para todo s S , f (s) pertence a As ; Vers ao DOIS. Para todo conjunto A, existe uma rela c ao que bem ordena A (veja deni c ao 3.11).

52

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA .( Tamb Vers ao TRES em chamado de Lema de Zorn) Seja A um conjunto Parcialmente Ordenado, i.e., A satisfaz P O1, P O2 e P O3, na Deni c ao 3.5. Se toda cadeia em A (todo o subconjunto de A que satisfaz Lin) tem um elemento majorante, ent ao A tem um elemento maximal.

Essas quatro vers oes do Axioma da Escolha sempre ser ao usadas, em uma de suas formas, em Algebra, An alise, Topologia. A vers ao UM tamb em tem seu apelo intuitivo como: Existe um conjunto XS tal que para todo s S , XS As e um conjunto unit ario. Lema 3.17 As quatro formas de axioma da escolha enunciadas acima s ao equivalentes. claro que zero Prova. ZERO se e somente se UM: E e uma vers ao mais simplicada de UM. Precisamos provar que ZERO implica UM. Aplicando seguidamente ZERO, podemos escolher s0 S e as0 As0 . Uma fun c ao denida em todo s S pode ser obtida da seguinte forma: Caso f esteja denida em X S e X = S , ent ao S \ X = e, de novo, por ZERO, podemos escolher sX S \ X e aX AsX , extendendo, desse modo, f para f (sX ) = aX . Posto isso, temos: UM DOIS: Seja A um conjunto. Pela forma ZERO, existe x0 A. Ordene {x0 } pela a ordem trivial. Isto e, x0 = x0 e, portanto x0 x0 . Se A \ {x0 } n ao e vazio, podemos escolher x1 A \ {x0 } e ordenar x0 x1 . Suponha que temos O A bem ordenado. Se O = A, ent ao A \ O n ao e vazio e podemos escolher xM A \ O. Ordenando x M xM para todo x O e fazendo x M y se x y em O, temos o resultado desejado. DOIS UM: Seja {As }sS uma fam lia de conjuntos n ao vazios. Como para cada s S , o conjunto As0 pode ser bem ordenado, por uma ordem s0 , existe as As , primeiro elemento de As . Denindo f (s) = as , temos o resultado desejado.

3.2. CONJUNTOS ORDENADOS

53

: Seja A um conjunto parcialmente ordenado e tal que UM TRES toda cadeia em A tem um majorante. Vamos, usando UM, provar que A tem um maximal. Por UM, podemos escolher unitarios a0 A. Esses subconjuntos de A s ao linearmente ordenados pela ordem herdada de A. Podemos, continuamente usando UM, escolher C A maximal e linearmente ordenado. De fato, o passo zero, de escolha de um conjunto linearmente ordenado, dado por um unit ario em A j a foi tomado e, dado C A lineramente ordenado, podemos, caso A \ C = tomar, novamente usando UM, c A \ C . Caso C {c}, com a ordem herdada de A, seja linearmente ordenado, podemos extender C para C {c}. Sen ao, tomamos (A \{c}) \ C e podemos continuar o processo de modo a tomar C subconjunto de A linearmente ordenado e maximal para essa propriedade. Por hip otese, C possui um majorante. Esse majorante e maximal em A. De fato, caso contrario, teriamos m A onde c m, para todo c C e m C (recordese da deni c ao de majorante: onde e possivel compara c ao, m e o m aximo). DOIS: Seja A um conjunto n TRES ao vazio. Sejam P todos os subconjuntos de A que podem ser bem ordenados. Claramente os unit arios em A s ao bem ordenados. Ordene P por r, s P , r s see r s e a ordem de r coincide com a ordem de s. Provemos que toda cadeia em P tem um majorante. Teremos, ent ao que P tem um maximal. Vamos mostrar que esse maximal e A: Toda cadeia em P tem um maximal: Se C e uma cadeia na ordem denida acima, ent ao para todo r, s C , r s ou s r . Desta forma, dado x, y C , existe r C tal que x, y r e para todo s C , se r s, ent ao x, y r . Desta forma, para todo s C , se r s, ent ao x y em r , x y em s. Deste modo, x y em C e C e um majorante para C . , P tem um maximal. O maximal de P Por TRES e A: Seja M o maximal de P . Se M = A, ent ao A \ M = . Dai, para todo x A \ M , podemos, preservando a ordem de M , impor que esse x seja o m aximo. Desse modo, M {x} tem, na ordem um majorante, contradizendo que M e majorante. Donde, A \ M = . Isto e M = A.

54

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

3.3

Ideais e Filtros

Uma das formas equivalentes de axioma da escolha muito usada em algebra e topologia geral e a o seu enunciado na forma para ltros. Deni c ao 3.18 Dado um conjunto n ao vazio X , um conjunto F contido no conjunto das partes de X (um conjunto formado por subconjuntos de X e um ltro se 1. F ; 2. Para todos A e B em F , A B F ; 3. Para todo A em F e B A, B F . Lema 3.19 Seja F um ltro sobre um conjunto X , Temos que 1. X F ; 2. F e fechado para intersec co es nitas; 3. F e fechado para uni oes. Prova: 1) Como para todo A F e B A, temos que B F , ent ao, como X A para todo A F , temos que X F . 2) Para todo conjunto nito {A1 , . . . , An } de elementos de F , temos que A1 A2 F , donde, (A1 A2 ) A3 F . Indutivamente, suponha (A1 An1 ) F . Pela propriedade 3.182, temos que (A1 An1 ) An F . 3) Se {As }sS , S = e uma familia de conjuntos em F , temos que para s0 S , o conjunto sS As est a contido em As0 , donde, por 3.183 pertence a F. Vamos xar essa no c ao com exemplos. (Rera exemplos na prox. sec.) No exemplo (rera qual prox sec. Ultimo ex) faremos uso de: Lema 3.20 Dado um conjunto n ao vazio X e = Y X , o conjunto F ado pore todos subconjuntos de X que contem Y e um ltro.

3.3. IDEAIS E FILTROS

55

Prova: 1) Como Y n ao e vazio, temos que (Y ) (o u nico subconjunto de vazio e o vazio) e desse modo, ( F ). 2) Considere A e B em F . Ent ao Y A e Y B . Desse modo, Y (A B ). 3) Considere A F . Ent ao Y A. Dai, para todo B A, temos que B A Y . Donde, B F ). Vamos denir base de um ltro. Provar que certos conjuntos s ao base de um ltro e algo mais concreto e acess vel do que mostrar que o ltro gerado por essa base e, de fato, um ltro. Deni c ao 3.21 Dado um conjunto X = , um conjunto B P (X ) e chamado de base de um ltro se 1. B ; 2. Para todo A e B em B , existe um conjunto C B tal que C A B . Lema 3.22 O conjunto F = {A X |C B (C A} e um ltro, chamado de ltro gerado por B . Prova: Vamos provar que F . Sen ao F implica que existe C B tal que C . Ora, ent ao = C e B , contra a deni c ao de B . Vamos provar que F e fechado por intersec c oes nitas. Ora, se A1 e A2 s ao dois elmentos de F , ent ao existem C1 e C2 em B tal que C1 A1 e C2 A2 . Por hip otese, existe C3 B tal que C3 C1 C2 . Ora, ((C1 A1 ) (C2 A2 ) (C3 C1 C2 )) (C3 A1 A2 ) donde, por deni c ao A1 A2 F . Finalmente, se A F , existe C B tal que C A, Donde, para todo A A, C A A . Isto e A F . Observe que duas bases diferentes podem gerar um mesmo ltro. (tem exemplo disso???) Filtros podem ser ordenados de acordo com a ordem do : Deni c ao 3.23 Dados dois ltros F1 e F2 sobre um conjunto X , diremos que F1 e mais no do que F2 se todo A em F1 pertence a F2 .

56

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Um exemplo de dois ltros F1 e F2 com F1 e mais no do que F2 e dado em 3.40 O dual da deni c aode ltro e dado pela Ideais. Filtros em l ogica e ideais em algebra s ao um conceito chave nessas areas da matem atica. Vamos fazer caminho do n ao algebrista (mesmo que os autores tor cam para o time da algebra) e denir ideal dual a deni c ao de ltro: Deni c ao 3.24 Dado um conjunto n ao vazio X , um conjunto I contido no conjunto das partes de X (um conjunto formado por subconjuntos de X e um ideal se 1. X I ; 2. Para todos A e B em I , A B I ; 3. Para todo A em I e B A, B I . A palavra dual tem a sua justicatica no lemma abaixo: Lema 3.25 I e um ltro sobre um conjunto X see seu dual F dado por F = {A X |X \ A I} e um ltro sobre X . Prova: Vamos provar que duais de ideais s ao ltros: 1. X I see X \ X = X F ; 2. Para todo A e B em I , A B I . Equivalentemente, para todo X \ A e X \ B em F , (X \ A) (X \ B ) = X \ (A B ) F . Agora, por hip otese, A B I , donde X \ (A B ) F ; 3. Para todo A em I e B A, B I . Equivalentemente, X \ A em F e X \ B X \ A, X \ B F . Os ltros que s ao m aximais no sentido que nenhum ltro seja mais no do que um ltro maximal. Uma das equival encias do Axioma da Escolha e que todo ltro F admite um renamento de modo que existe um ltro F que e maximal e rena F . Vejamos a deni c ao de ltros maximais ou ultraltros.

3.3. IDEAIS E FILTROS

57

Deni c ao 3.26 Seja F um ltro sobre um conjunto X . Diremos que F e um ultraltro se para todo A X , temos que A F ou X \ A F . Ultraltros s ao maximais no sentido que esses ltros n ao admitem extensao pr opria. Uma das equivalencias do axioma da escolha e que todo ltro pode ser extendido a um ultraltro. Vejamos asser c oes equivalentes para ultraltros antes de provar o Teorema 3.28 Lema 3.27 Seja F um ltro sobre um conjunto X . S ao equivalentes: 1. F e ultraltro; 2. F e maximal no sentido de n ao admitir extens oes pr oprias; 3. ...... Prova: 1 2: Se F n ao e maximal, ent ao existe F , extens ao pr opria de F e, desse modo, A F \ F . Temos que A F . Vamos mostrar que F n ao e ultraltro mostrando que existe B F tal que B (X \ A) = . Considere o ltro gerado por F A. Como esse conjunto e base de um ltro, para todo B F , existe B F A tal que B A B Ora, podemos supor que F . Como (B A B ) (B A) ent ao B (X \ A) = . 2 1 Como para todo A X temos que A F ou (X \ A) F , ent ao temos as duas hip oteses: 1. A F implica que o ltro gerado por F {A} e o pr oprio F ; item (X \ A) F que um ltro gerado por F {A} teria por elemento A (\A) = .

58

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

de modo que F n ao admite extens ao pr opria. Isto eF e maximal. Uma das formas equivalentes do Axioma da Escolha e que o Axioma de que todo ltro pode ser extendido a um ultraltro. Em um esquema, sejam {F , F1 , F2 } um conjunto de ltros, {A1 , A2 , A3 } P (X ) e GF Ai o ltro ao o gerado por o conjunto de F {Ai } ou o conjunto P (X ). Temos, ent seguinte esquema:

3 {2} 2 {1} 1 F {A1 } F

{0, 1, {1}} {{1}}

Teorema 3.28 O Axioma de Zorn e equivalente ao seguinte axioma: Todo ltro F pode ser extendido a um ultraltro. Prova: Seja F um ltro n ao trivial. Escolha A F . Temos que 1. F {A} gera um ltro; 2. F {X \ A)} gera um ltro. De fato, vamos provar que (B1 F (B A = )) (B2 F (B (X \ A) = ) Caso contr ario, teriamos (B1 F (B1 A = )) (B2 F (B2 (X \ A) = ) Agora, ((B1 A = ) (B2 (X \ A) = )) ((B1 B2 A = ) (B2 B1 (X \ A) = ))

3.3. IDEAIS E FILTROS

59

Mas B1 B2 F e e, portanto, n ao vazio, uma contradi c ao com o fato de ambas as suas intersec c oes com A e X \ A s ao o conjunto vazio. Ora, temos ent ao que o ltro F admite extens oes n ao triviais e podemos, desse modo, considerar o conjunto FILTROS de todos os ltros que extendem F ordenados pela rela c ao . Considere uma cadeia C FILTROS. Vamos provar que G = {G|G C} e um ltro e extende cada elemento de C e e, portanto, um majorante: Se G , ent ao existe G C tal que G , o que n ao ocorre. Portanto, {G|G C}; Para todo A e B em G , temos que existem G1 e G2 tais que A G1 B G2 Como C e cadeia, podemos supor sem perder a generalidade que G1 G2 . donde, A e B pertencem a G2 . Portanto A B G2 e, portanto, pertence a G ; Se A G2 , ent ao exite G C tal que A G e, portanto, todos os sobreconjuntos de A pertencem a G . Como cadeias em FILTROS tem majorante, ent ao FILTROS tem algum maximal. Esse maximal, denotado por F e ultraltro, sen ao poderia ser extendido a um certo A F ou X \ A F . Reciprocamente, suponha que todo ltro pode ser extendido a um ultraltro. (Esbo co: Escreva cadeias em Ideais. Use o fato de todo ideal ter uma extens ao maximal e use o gerador disso como MAXIMO.) Ultraltros n ao s ao uma ferramente capaz de gerar exemplos triviais excepto no caso de ltros gerados por subconjuntos de um conjunto X , onde temos: Lema 3.29 Seja X um conjunto e F o ltro gerado por um subconjunto A = . Ent ao os ultraltros que extendem F s ao todos os ultraltros gerados pelos unit arios {a}, para qualquer a A.

60

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Prova: Considere F um ltro gerado por um conjunto A X , A = . Se A n ao e unit ario, para todo {a} A, temos que B F ({a} B ) donde {a} F e base para um ltro G que extende F . Esse ltro e um ultratro porque para todo Y X , temos que a Y ou a Y . Isto e, para todo Y X , temos que a Y ou a X \ Y .

3.4

Exemplos

Temos por objetivo nessa sess ao, ilustrar e, desse modo, contextualizar, a teoria exposta nesse cap tulo. No pr oximo exemplo, vamos mostrar uma ordem obre o corpo C n ao compat vel com as opera c oes de corpo de C. Isto e, a rela c ao de ordem n ao satisfaz a b c > 0 ac bc Exemplo 3.30 Considere C o conjunto dos n umeros complexos. Aqui, vamos considerar C = {a + bi|a, b IR}, com as opera co es usuais, e denimos em C a seguinte ordem: a + bi < c + di se e somente se a < c ou a = c e b < d. Observe que esta e, na verdade, a ordem lexicogr aca (como no exemplo 3) nos pares ordenados (a, b) e (c, d), e se baseia na ordem total denida sobre os n umeros reais. Vejamos que esta e, de fato, uma rela ca o de ordem: PO1 Para qualquer n umero complexo a + bi, temos a + bi a + bi; (reexiva) PO2 Suponhamos que a + bi c + di e que c + di e + f i ent ao temos que a cec e logo a e pois a rela ca o e transitiva nos reais. Se a < e temos que a + bi e + f i pela deni ca o. Por outro lado, se a = e ent ao a = c = e e b ded f assim, a = e e b f , portanto a + bi e + f i(transitiva). PO3 Suponhamos que a + bi c + di e c + di a + bi ent ao, temos que a c e c a logo a = c. Mas como a + bi c + di e c + di a + bi ent ao

3.4. EXEMPLOS

61

b d e tamb em d b e assim, a = c e b = d portanto a + bi = c + di (anti-sim etrica). Vejamos, tamb em que esta e uma ordem linear, pois: suponhamos que a + bi c + di ent ao, necessariamente, temos que n ao vale ( a < c ou ( a = c e b d )) ent ao: ( n ao a < c ) e n ao ( a = c e b d). Mas ( n ao a < c ) e equivalente a ( a c ) e n ao ( a = c e b d) e equivalente a (a = c ou d b). Ent ao, se a + bi c + di temos que a c e al em disso a = c ou b d, portanto a + bi c + di. Agora, vejamos que esta ordem n ao e compativl com a multiplica ca o: em primeiro lugar, quais s ao os n umeros complexos positivo, isto e, tais que a + bi 0? S ao os complexos com a 0 ou a = 0 e b 0. Em particular, i e positivo, e claramente 0 + 2i < 0 + 3i, como i 0 temos que (2i).i < (3i).i o que implica que 2 + 0i < 3 + 0i, contrariando a deni ca o da ordem. De um modo geral, qualquer order sobre C n ao e compativel com a multiplica c ao no corpo C. Sen ao, vejamos. Tome uma ordem sobre C e compat vel com as opera c oes de corpo em C. Suponha que, nessa ordem, i 1 e i 0. dai, i 1 i2 i i3 i2 donde, i 1, e, portanto, i 1. Exemplo 3.31 Vamos ilustrar algumas ordens sobre conjuntos j a conhecidos. 1 As ordens usuais nos n umeros inteiros ou nos n umeros reais s ao exemplos de rela co es de ordem. Essas rela co es s ao denidas de modo intuitivo, dizemos que a b se e somente se b a e um n umero positivo, isto e, se b a e maior do que zero!! 2 Considere N o conjunto dos n umeros naturais e seja P o conjunto de seus subconjuntos, ( verique quais axiomas nos garantem a exist encia de P ). Em P denimos a rela ca o de ordem dada pela inclus ao, isto e, diremos que o conjunto A e menor ou igual ao conjunto B se ( e somente se, pois lembre-se, isto e uma deni ca o) se A est a contido ou

62

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA f e igual a B . E acil ver que, de fato, esta rela ca o satisfaz os axiomas P01, P02 e P03. Al em disso, observe que h a conjuntos A e B para os quais nem A B nem B A, diremos ent ao que A e B s ao incompar aveis. 3 Chame de X ao conjunto das palavras de um dicion ario. As palavras est ao ordenadas por uma ordem chamada lexicogr aca, e quem se interessa por a lgebra ou por computa ca o vai ouvir falar muito dessa ordem, porque ela e usada em algoritmos tradutores, e em a lgebra comutativa, por exemplo. 4 Considere um n umero natural qualquer, por exemplo 60, e seja D60 = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} o conjunto dos divisores (inteiros e positivos) de 60. Em D60 , diremos que x y se x for um divisor de y , assim, por exemplo 4 12 , 12 60, 5 15, 5 20, mas aten ca o, 4 5 nem 15 20.

Os exemplos 1 e 3 acima nos mostram ordens totais e os exemplos 2 e 4, ordens que n ao s ao totais, por isso chamadas de ordens parciais. Vamos ilustrar conjuntos ordenados atrav es do uso de diagramas de em Hasse ou desses diagramas com algumas modica c oes. Em geral, vamos representar conjuntos ordenados (A, ) com pontos x A representados comos pontos do plano Cartesiano e pontos x < y sao representados por vertices x y . A ordem e dada pelo fecho transitivo do digrafo acima denido. Vamos deixar mais claro em exemplos: Exemplo 3.32 T 90 6 2 3 1 O digrafo acima representa um conjunto A = {1, 3, 5, 6, 7, 15, 35, 90.475.T } 15 475 35 5 7

3.4. EXEMPLOS com a ordem < dada por 1 < 2, 1 < 3, 1 < 5, 1 < 6, 1 < 7, 1 < 15, 1 < 35, 1 < 90, 1 < 475, 1 < T, 2 < 6, 2 < 90, 2 < T 3 < 6, 3 < 15, 3 < 90, 3 < 475, 3 < T 5 < 15, 5 < 35, 5 < 90, 5 < 475, 5 < T 7 < 35, 7 < 475, 7 < T 6 < 90, 6 < T 90 < T, 475 < T

63

Exemplo 3.33 Vamos representar o conjunto dos n umeros naturais positivo, N+ com a ordem dada por m < n see m divide n. Essa ordem e representada pelo fecho transitivo do digrafo

8 4 2

12 6 3 9 5 1

18 10 7 14 15

Exemplo 3.34 Considere os intervalos ]0, 1[, ]1, 2[ e ]2, 3[ em R. Seja C1 a uniao desses intervalos com a condi ca o que pontos em intervalos distintos n ao s ao compar aveis e pontos no mesmo intrvalo herdam a ordem usual em R. Considere agora C2 o conjunto obtido pela uni ao de C1 ao conjunto {0, 3} com a ordem dada pela ordem em C1 mais as condi co es: m C2 (0 m); m C2 (m 3).

64

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA Represente o conjunto por: 3 1 0 2 1 C1 3 2 1 0 2 1 0 C2 3 2

C1 n ao tem majorante, m aximo, maximal, minorante, m nimo ou minimal. Os pontos 0 e 3 s ao, respectivamente C2 minorate, m nimo e minimal e majorante, m aximo e maximal. Exemplo 3.35 Considere a ordem em N dada pelo fecho transitivo de 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

Seja A = {2}. Note que A n ao tem m nimo ou minorante em N por e tem por mimal os elementos 0 e 1. Considere B = {0, 1, 2, 3}. Temos que o conjunto de seus majorantes e dado por {4, 6, 8, . . . }. Seus maximais s ao 2 e 3, Como n ao temos majorantes em B , ent ao n ao temos m aximo em B . Exemplo 3.36 Dado um conjunto n ao vazio X , o conjunto X e um ltro sobre X mas P (X ) n ao e um ltro. Prova: Para provar que X e um ltro sobre X , veja que o u nico elemento de F e X , o qual n ao e vazio. Portanto F cont em X e n ao cont em o vazio. No mais, como F e unit ario, ele e fechado por intersec c oes. Como os sobreconjuntos de X s ao apenas X , F e fechado para sobreconjuntos. Para provar que P (X ) n ao e um ltro, observe que P (X ), o que n ao caracteriza um ltro.

3.4. EXEMPLOS

65

Exemplo 3.37 Considere F o conjunto de todos subconjuntos em N cujo complementar e nito. Temos que F e um ltro sobre N. Prova: O conjunto vazio tem como complementar N, que n ao e nito. Portanto F . Dados A e B em F , temos que A B e tal que N \ (A B ) = (N \ A) (N \ B ) O segundo membro da identidade acima e uma uni ao nita de conjuntos nitos, portanto, um conjunto nito e, desse modo, pertencem a F . Se A F e B A, temos que (B A) ((N \ B ) (N \ A)) desse modo N \ B e um subconjunto de um conjunto nito e, portanto, nito.

Exemplo 3.38 Considere F o conjunto de todos subconjuntos em N que est ao contidos no conjunto dos m ultiplos de 3. Ent ao F e um ltro. Prova: Para todo X F , o conjunto 3N = {. . . , 9, 6, 3, 0, 3, 6, 9, . . . } e subconjunto de X e, portanto F . Se A e B est ao em F , temos que 3N e subconjuntos de ambos, A e B e portanto, e subconjunto de A B . Pela deni c ao de F , temos que A B F . Se A F , e B A, temos que 3N A B donde 3N B . Isto e B F. discorrer sobre o exemplo abaixo. Vamos usar a deni c ao de base para

Exemplo 3.39 Seja X o conjunto de todas as fun co es cont nuas de R em R. Dena o conjunto F como o conjunto de todo Y X tal que existe F um conjunto nito n ao vazio tal que para todo x F e f Y , f (x) = 0.

66

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Prova: Considere D = {F R|F e nito}. Para cada F D , seja XF = {f X |f (x) = 0 x F }. Seja B = {XF |F D}. Vamos provar que B e a base de um ltro: 1) Para todo F D , a fun c ao identicamente nula, 0, denida por 0(x) = 0 pertence a XF , donde n ao existe XF B tal que XF = . Isto e, B , 2) Sejam F1 e F2 dois subconjuntos nitos de R e seja F = F1 F2 . Toda fun c ao f em XF pertence a XF1 e a XF2 , donde XF XF1 XF2 . Em conclus ao, para todo XF1 e XF2 em B , existe um conjunto XF B tal que XF XF1 XF2 . Exemplo 3.40 Considere os subconjuntos de N, {0, 17} e {17}. O ltro dado pelos sobreconjuntos de {17}, isto e todos os subconjuntos X N tal que 17 X e mais no do que o ltro dado pelos sobreconjuntos de {0, 17}. Provar esse exemplo e tarefa do leitor.

3.5

Exerc cios

Exerc cio 3.41 Prove que o conjunto denido em 3.14 e em Bem Ordenado. Exerc cio 3.42 Prove que dado um conjunto n ao vazio X e = Y X , o conjunto F como o conjunto de todos subconjuntos de X que cont em Y e um ltro. Exerc cio 3.43 Para todo n N, considere o conjunto I = ... (Tarefa para Gladys: colocar os ideais de Zn e observar o que s ao os ideais primos. Exerc cio 3.44 Sejam B1 e B2 os subconjuntos de (P )(N) dados, respectivamente, por {X N!7 (p(p primo nNnp X }, {{0, 7, 12}, {1, 7, 12, 21}, {7, 21, 35}, {4, 7, 21, 35}} Prove que B1 e B2 geram o mesmo ltro, quer seja o ltro dado por todos os sobreconjuntos de {7}. Exerc cio 3.45 Prove que o o conjunto gerado pelas condi co es 3.18

3.5. EXERC ICIOS 1. F ; 2. Para todos A e B em F , A B F ; 3. Para todo A em F e B A, B F . e (P )(X ).

67

Exerc cio 3.46 Seja F o ltro em N gerado por {3, 7, 13}. Quais s ao os ultraltros que extendem F ?

68

CAP ITULO 3. ORDEM E AXIOMA DA ESCOLHA

Cap tulo 4

N umeros Ordinais e Cardinais

Introduzimos nessa se c ao o conceito de n umeros ordinais e n umeros cardinais. Sabemos que todos conjunto pode ser bem ordenado. Ora, ent ao nosso pr oximo passo e estabelecer propriedades de conjuntos bem ordenados. N os adicionamos ao nosso sistema de axiomas o axioma da escolha. Equivalentemente, n os aceitamos como axioma que todo conjunto pode ser bem ordenado. Ordenar e contar ser ao formas de estabelecermos ordem em conjuntos. As palavras contar, ordenar, comparar ganham os conceitos, a primeira vista distintos de cardinal e ordinal. Os resultados obtidos ser ao bastante interessantes. Vamos, em primeiro lugar estabelcecer a no c ao de cardinais. Essa no c ao tem o sabor intuitivo de contar e comparar elementos de dois conjuntos sem a id levar em conta poss veis rela c oes de ordem nos conjuntos. E eia mais pr oxima da intui c ao de contagem. Vamos ilustrar essa estoria de contar com uma conto Folclore 4.1 Existia na Hungria uma vial onde, incrivelmente, os seus habitantes n ao sabiam contar. Isso foi h a muito tempo, muito tempo, muito tempo atr as. Ora, o chefe da vila era escolhido, por uma ano, como a pessoa que tinha mais ovelhas na cidade. Como esse chefe era escolhido, se as pessoas nao sabiam contar? 69

70

CAP ITULO 4. NUMEROS ORDINAIS E CARDINAIS

Uma resposta: As pessoas poderiam fazer dois cercados para as ovelhas e dois candidatos a chefe poriam suas ovelhas, cada rebanho em um dos cercados. Abre-se a porta dos dois cercados e faz-se passar uma ovelha de cada candidato. Sucessivamente at e que o canditado que tem mais ovelhas e o dono do rebanho onde sobram ovelhas. Repete-se o processo de compra c ao com o vencedor da primeira compara c ao e um novo candidato, at e serem esgotadas as contagens. O vencedor e aquele que, comparadas ovelha a ovelha de cada rebanho, ca com ovelhas sobrando no cercado. E em caso de empate? A aldeia ca sem chefe porque as pessoas discutem os crit erios de desempate por um ano, mas, na minha experi encia, n os n ao precisamos do chefe! Vamos transportar essa id eia de compara c ao para dois conjuntos. Deni c ao 4.2 Sejam A e B dois conjuntos. Diremos que A e B tem a mesma cardinalidade, denotada por |A| = |B | se existe uma fun ca o f bijetora de A em B . Exemplo 4.3 Os conjuntos dos naturais e dos pares dos naturais tem a mesma cardinalidade. Prova: Seja 2N o conjunto {n N|(m N)(n = 2m)} Dena f : N 2N como f (x) = 2x. Essa fun c ao e Injetora: Se f (x) = f (y ), ent ao 2x = 2y . Dai, x = y . Sobrejetora: Se m 2N, ent ao existe n N tal que m = 2n. Dai, f (n) = m. Exemplo 4.4 Os conjuntos dos naturais e dos naturais maiores do que 50 tem a mesma cardinalidade. Prova: Seja N50 o conjunto {m N|50 < m}. Dena f : N N50 como f (m) = 50 + m. Essa fun c ao e Injetora: Se f (x) = f (y ), ent ao x + 50 = y + 50. Dai, x = y .

71 Sobrejetora: Se m N50 , ent ao 50 < m. Dai, m 50 > 0. Dese modo, existe j N tal que j = m 50. Agora, f (j ) = j + 50 = m 50 + 50 = m.

Exemplo 4.5 Os conjuntos dos naturais e o conjunto N + N dado pela uni ao disjunta de duas c opias dos naturais, N 0 N 1 tem a mesma cardinalidade. Prova: Prove que a fun c ao f (x) : N N + N denida por f (x) = e bijetora. Exemplo 4.6 O conjunto dos racionais e dos reais n ao tem a mesma cardinalidade. Prova: Decorre do (n n par 2 , 0) 1 , 1) n impar ( n 2

72

CAP ITULO 4. NUMEROS ORDINAIS E CARDINAIS

Cap tulo 5

Conjuntos Hereditariamente Finitos

5.1 Introdu c ao

Neste cap tulo usamos os axiomas b asicos da teoria dos conjuntos para justicar a constru c ao dos n umeros naturais e dos conjuntos hereditariamente nitos. A seguir, aprofundamos nossa discuss ao sobre os n umeros naturais e os conjuntos hereditariamente nitos, apresentando aplica c oes.

5.2

Conjuntos Hereditariamente Finitos

Conjuntos hereditariamente nitos e, seu caso particular, os n umeros naturais s ao o mais concreto dos objetos matem aticos. Toda a estrutura s ntaxe da l ogica formal, como f ormulas ou provas s ao codicadas como conjuntos hereditariamente nitos. Antes de darmos duas deni c oes de conjuntos hereditariamente nitos, as quais provaremos serem equivalentes, vamos a uma ilustra c ao do que estamos, recursivamente, construindo. O ramo da esquerda da gura representa o conjunto de n umeros naturais. Primeiro, vamos caracterizar a no c ao (ing enua) ilustrada na Figura 5.1, onde formamos conjuntos cujos elementos s ao conjuntos nitos.

73

74

CAP ITULO 5. CONJUNTOS HEREDITARIAMENTE FINITOS

3 {2} 2 {1} 1 0

{0, 1, {1}} {{1}}

Figura 5.1: Conjuntos Finitos Deni c ao 5.1 Conjuntos hereditariamente nitos s ao elementos do conjunto H que e construido por H; Se x1 , x2 , . . . , xn H, ent ao {x1 , x2 , . . . } H Em outras palavras, H e a classe dos conjuntos fechados pela opera c ao de forma c ao de pares. Observe que o pr oprio conjunto H innito (existe pelo Axioma ??), p orem seus elementos s ao conjuntos nitos, denidos logo acima. Na nossa segunda caracteriza c ao usaremos conjunto de pot encias. Nossa deni c ao, mais sint etica, ser a justicada pelo axiomas b asicos de ZFC. Deni c ao 5.2 Dena a seq u encia de conjuntos R0 , R1 , . . . e o seu conjunto limite como: R0 = ; Rn+1 = P (Rn ); R = R0 R1 . . . Nosso trabalho agora e demostrar que as duas cole c oes s ao as mesmas:

5.2. CONJUNTOS HEREDITARIAMENTE FINITOS Lema 5.3 Se x H, ent ao P (x) H.

75

Prova: Pela deni c ao de H, todo subconjunto nito de H e elemento de H e, reciprocamente, um elemento de H e um subconjunto nito de H. Seja H. Se y P (x), ent ao y x. De fato, pela deni c ao de P (x) z (z x z P (x)) Como x e nito, ent ao P (x)) e nito (Veja o Exerc cio 5.7). Desse modo, P (x)) e um subconjunto nito de H e dai um membro de H. Vejamos agora parte da igualdade das duas cole c oes: Teorema 5.4 2. R H. Prova: 1) Por deni c ao, R0 = H. Por indu c ao, se Rn H, pelo Lema 5.3, ent ao Rn+1 = P (Rn ) H. 2) Suponha que x R . Ent ao existe n tal que x Rn . Por 1), Rn H e daiqualquer membro de Rn e hereditariamente nito, dai x H. Em conclus ao R H. O leitor deve notar que (R H), desde que R n ao e nito, uma vez que o conjunto dos naturais e subconjunto de R . Pelo Exerc cio 5.8), o conjunto dos n umeros naturais est a contido em R . De fato, todo conjunto hereditariamente nito pertence a R : Teorema 5.5 H R . Prova: Temos, por deni c ao que R e H. Suponha que temos contru dos os conjuntos hereditariamente nitos x1 , x2 , . . . , xk , cada um deles pertencente a H. Agora, {x1 , x2 , . . . , xn } H. Vamos mostrar que {x1 , x2 , . . . , xn } R . De fato, como x1 R , existe Rn1 com x Rn1 . Analogamente, seja nj , 2 < j k tal que xj Rnj . Seja M ax o m aximo ente n1 , n2 , . . . , nk 1. Para cada n, Rn H;

76

CAP ITULO 5. CONJUNTOS HEREDITARIAMENTE FINITOS

Note que a demostra c ao do Teorema 5.5 e um algoritmo que conta como gerar cada conjunto hereditariamente nito. Estamos falando desse modo de algoritmos, de provas. Deni c ao 5.6 Um conjunto hereditariamente nito x tem posto n se x Rn mas (x Rn+1 )

5.3

Exerc cios

Exerc cio 5.7 Justique o nome potencia ca o e moste que um conjunto com n n elementos tem 2 elementos. Exerc cio 5.8 Se n e um n umero natural, ent ao n R . Exerc cio 5.9 Se x e hereditariamente nito, ent ao o posto de cada elemento de x tem posto menor do que o posto de x.

Cap tulo 6

Mais de L ogica
Essa se c ao ainda est a em constru c ao. V a, por enquanto,at e a pr oxima se c ao. Os simb olos (conectivos) Booleanos , , e tem uma tabela tautologica, se a gente pensar s o em logica cl assica (existem outras l ogicas que n ao obedecem essas tabelas, mas isso e papo para outro curso, quem sabe?). Se denotarmos Verdadeiro por e Falso por , essas tabelas (tautol ogicas) s ao dadas por p p p q q p 77 pq pq

78

CAP ITULO 6. MAIS DE LOGICA

p q pq Bom, agora nosso trabalho de l ogico e chamar de tautologia ou teorema de l ogica cl assica tudo aquilo que, passado por essa tabela, independentemente do valor Booleano, d e como resultado nal . Exemplo:

Exemplo 6.1 Prove as seguintes tautologias: A A; A B (A B ); [A (B C )] [(A B ) (A C )];

Prova: A A: A A Donde: A A A A A B (A B ): A A B AB A B

[A (B C )] [(A B ) (A C )]:

79 A B C B C A (B C ) A tabela de (A B ) (A C ) e dada por: A B C A B A C (A B ) (A C ) Como as duas tabelas, dados os mesmos valores Booleanos, coincidem, ent ao as senten cas s ao equivalentes.

Exerc cio 6.2 Prove que 1. p (q r ) [(p q ) (p r )]; 2. p (q r ) [(p q ) (p r )]; 3. p p;

80

CAP ITULO 6. MAIS DE LOGICA

Cap tulo 7

Os Racionais e os Reais
Antes de enunciar toda axiomatiza c ao de teoria dos conjuntos, o leitor pode jogar com a intui c ao a respeito desses conjuntos. Agora, com certa maturidade, vamos rever os conceitos de reais, racionais e inteiros que, acredito, tenham sido estudados nas aulas de algebra e an alise. Se temos uma id eia do que e o conjunto dos n umeros naturais, vimos nas aulas de algebra as seguintes constru c oes: 1. O anel dos inteiros, Z; 2. O corpo dos racionais, Q; 3. O corpo dos n umeros alg ebricos; 4. O corpo dos n umeros reais, R. (Se voc e gosta de algebra, um bom livro para rever esses assuntos e o Hungerford, [3].) Vimos, sob outra abordagem, nas aulas de an alise, como, a partir de Q, via cortes de Dedekind, podemos completar Q para obter R. Veremos, ent ao, com nossa pr opria abordagem, excelente para introduzirmos a id eia de n umeros ordinais e n umeros cardinais.

81

82

CAP ITULO 7. OS RACIONAIS E OS REAIS

Cap tulo 8

Alguns Exerc cios sugeridos por alunos

Exerc cio ??. Verdadeiro ou falso. Justique: 1. = {}: Falso pois {} e n ao e verdade que ; 2. {0, 1, 2} = {2, 0, 1}: Verdadeiro, pois 0 {0, 1, 2} e 0 {2, 0, 1}, 1 {0, 1, 2} e 1 {2, 0, 1}, 2 {0, 1, 2} e 2 {2, 0, 1}. Como 0, 1, 2 s ao os u nicos elementos desse conjunto, temos a asser c ao vericada; 3. {0, 1, 1, 2, 2, 2, 3, 1, 2} = {0, 1, 2}: Verdadeiro pois 3 {0, 1, 1, 2, 2, 2, 3, 1, 2} e 3 {0, 1, 2} (dois conjuntos s ao iguais see seus elementos s ao os mesmos); 4. {{{} e um conjunto: Falso. Essa express ao e mal formada; 5. {{{}}} = {{}}: Verdadeiro. {{}} {{{}}}, mas {{}} {{}}. Exerc cio 2.32. O s mbolo representa, a partir de agora, a uni ao de conjuntos dada pelo axioma da uni ao. Decida ent ao se as senten cas abaixo s ao verdadeiras ou falsas. Justique a sua resposta. 1. {0, 1} {{0}, {1}} = {0, 1}. Falso. {0, 1} {{0}, {1}} = {0, 1, {0}, {1}} 83

84 CAP ITULO 8. ALGUNS EXERC ICIOS SUGERIDOS POR ALUNOS e {1}} {0, 1, {0}, {1}} mas {1}} {0, 1} 2. {0, 1} {{0}, {1}} = {0, 1, {{0}, {1}}}. Falso, veja justicativa acima; 3. {0, 1} {{0}, {1}} = {0, 1, {0}, {1}}. Verdadeiro, veja a uni ao dada acima.

Exerc cio 2.33. Dado A um conjunto e P uma propriedade, prove que existe um u nico B = {x A|P (x) = V }. Lembrese de que P (x) = V abrevia P e verdadeira em x. Prova do exerc cio 2.33. Sejam B e B tais que B = {x A|P (x) = V } e B = {x A|P (x) = V }. Agora, t B see x A P (t) e verdadeira, see, pela deni c ao de B , t B . Desse modo, t B see t B Exerc cio ??. Sejam A e B dois conjuntos. Voc e pode justicar a forma c ao do conjunto {A, B }? E do conjunto {A, {A, B }}? Identique dessa forma o par ordenado (x, y ) com uma contru c ao como acima. Prova do exerc cio ??. Usando o axioma de forma c ao de pares, podemos construir o conjunto {A, B } a partir dos conjuntos A e B . Dai, pelo mesmo axioma, podemos construir {A, {A, B }} a partir dos conjuntos A e {A, B }. O par ordenado (x, y ) e identicado com o conjunto {x, {x, y }}, que e um conjunto permitido em nossa teoria de conjuntos. Denimos uma rela c ao de boa ordem, como: PO1 Se x y e y z , ent ao, x z ; PO2 x x; PO3 Se x y e y x, ent ao x = y ; Lin Para todo x, y em A, x y ou y x; BO Para todo D A, existe um primeiro elemento x em D (x D e se yD e tal que y x, ent ao x = y .

85 Exerc cio ??. Prove que a condi c ao Lin acima e desnecess aria, isto e, P O1, P O2, P O3 e BO implicam Lin. Prova do exerc cio ??. Bem, o que queremos dizer e que poder amos ter escrito apenas P O1, P O2, P O3 e BO que lin decorreria dessas premissas. De fato, seja x, y A. Por BO, temos que D = {x, y } A tem primeiro elemento. Suponha, sem perda de generalidade que esse elemento e x. Dai, x x e x y . Dai, x y . Exerc cio 2.35. Justique o complementar de conjuntos: xy z (w z (w x w y . Denote a opera c ao de intersec c ao de x por y de x \ y . Voce tem alguma representa c ao de diagrama para o complementar? Prova do exerc cio 2.35. Use o axioma da compreens ao sobre o conjunto x e a propriedade P dada por xy z (w z (w x w y O diagrama eu co devendo at e achar um computador com x-g. Uma sele c ao no Exerc cio 2.39. Prove: 1. A \ B = (A B ) \ B = A \ (A B ); 2. A B = A \ (A \ B ); 3. A \ B \ C = A \ (B C ); 4. A (B C ) = (A B ) (A C ) (Leis Distributivas); 5. A (B C ) = (A B ) (A C ) (Leis Distributivas); 6. A \ (B C ) = (A \ B ) (A \ C ) (Leis de DeMorgan); 7. A \ (B C ) = (A \ B ) (A \ C ) (Leis de DeMorgan). Prova do exerc cio 2.39. Eu fa co os 2, 4 e 6. Voc e faz o resto. Justo? Parte 2. x A B see x A x B see x A (x A x B ). Use p q (p (p q )) para essa u ltima equival encia. Agora, x A (x A x B ) see x A \ (A \ B ). Desse modo, A B = A \ (A \ B ).

86 CAP ITULO 8. ALGUNS EXERC ICIOS SUGERIDOS POR ALUNOS Parte 4. x A (B C ) see x A x (B C ) see x A (x B x C ). Distribuindo, temos a seguinte equival encia: (x A x B ) (x A x C ). O que equivale a dizer que (x A B ) (x A C ). Desse modo, A (B C ) = (A B ) (A C ). Parte 6. x A \ (B C ) see x A (x (B C )), see x A (x B x C )). Usando (p q ) p q , temos que a u ltima express ao equivale a: x A (x B x C ). Distribuindo, x A (x B x C ) ((x A x B ) (x A x C )) Isto e, x A \ B x A \ C . Dai x (A \ B ) (A \ C ). Desse modo, A \ (B C ) = (A \ B ) (A \ C ). Exerc cio ??. Prove que se X e Y s ao conjuntos e f e e uma fun c ao injetora de X em Y , para todo A, B X , f (A) f (B ) = f (A B ) e f (A) \ f (B ) = f (A \ B ). De um contraexemplo para essa asser c ao se f n ao for injetora. Prova do exerc cio ??. Deste modo, as asser c oes acima s ao equivalentes a w X (w A x = f (w)) w B x = f (w)) isto e, w X (x = f (w)) w A B ) o que e equivalente a x f (A B ). Desse modo, f (A) f (B ) = f (A B ) f (A) \ f (B ) = f (A \ B ): x f (A) \ f (B ) see x f (A) x f (B ) see

w X (w A f (w) = x) (w X (w B f (w ) = x) isto e,

w X (w A f (w) = x) (w X (f (w ) = x w B )

87 Note que a passagem acima n ao e trivial. Ela exige voc e escrever a tautologia (p q ) (p = q ). De novo, f e injetora e se x = f (w) e w = w . Desse modo, se t = f (x) e t A, t B e a senten ca acima implica que (Usando f (w) = f (w ) w = w ) se t A e f (t) = x, ent ao t B , donde x F (a) \ f (B ). Suponha agora que x f (A \ B ). Ent ao existe w A \ B tal que f (w) = x. Ora, w A \ B implica que w A, desse modo, x f (A). Analogamente, w A \ B implica w B . Deste modo, x f (B ). Portanto, x f (A) \ f (B ). Pense no exemplo!

88 CAP ITULO 8. ALGUNS EXERC ICIOS SUGERIDOS POR ALUNOS

Cap tulo 9

Al em de ZFC: A teoria das Categorias

Em diversas areas da Matem atica, queremos estudar as propriedades gerais dos objetos que trabalhamos e tamb em como se relacionam, principalmente atrav es de fun c oes espec cas de cada tipo. Podemos, por exemplo, estudar os espa cos vetoriais e suas transforma c oes lineares, os intervalos e as fun c oes cont nuas, os grupos e seus homomorsmos e outros exemplos de categorias (que iremos denir daqui a pouco). E com isso, estamos ganhando generalidadeao estudar propriedades universais( esperamos que esses conceitos quem claros ao longo do cap tulo!). As primeiras deni c oes de categorias foram dadas por Saunders MacLane e Samuel Eilenberg, no m da d ecada de 40, mas o nosso enfoque segue de muito perto, o livro Basic Algebravol 2 de Nathan Jacobson. Usando as palavras do pr oprio Jacobson: Trabalhar com categorias signica uma mudan ca de dire c ao, da forma usual, onde os objetos eram as coisas mais importantes, para um enfoque onde objetos e morsmos formam uma paisagem mais rica para estudar determinado assunto. Citando novamente Jacobson: a linguagem e os resultados elementares da teoria das categorias permeiam hoje em dia uma parte muito fundamental da matem atica impressionante como, em t E ao poucos anos, a teoria de categorias se alastrou entre todas as areas da matem atica, e est a presente em quase todos 89

90

DE ZFC: A TEORIA DAS CATEGORIAS CAP ITULO 9. ALEM

os assuntos atuais. Provavelmente isto ocorre por ser uma abordagem de fato, ao mesmo tempo, natural, e universal!

9.1

Primeiras Deni c oes

Para denir categorias, temos um s erio problema: gostariamos, por exemplo, de trabalhar com todos os grupos, ou com todos os espa cos vetoriais, mas para isso queremos considerar um meta-conjunto ou um super-conjunto, onde caibam muitos outros conjuntos ( sem contudo, cair nos paradoxos discutidos no come co do livro). H a diversas formas de formalizar a teoria de categorias, citamos algumas: Pode-se denir axiomaticamente a teoria de Categorias, e derivar a teoria dos conjuntos a partir deste conjunto de axiomas. Claramente esta abordagem foge ao prop osito deste livro, mas pode ser encontrado no livro Categories for the working mathematicians de Saunders Mc Lane. Extender a teoria dos conjuntos para evitar esse tipo de problemas e poder trabalhar com as categorias mais razo aveis, ( de qualquer jeito, n ao cabem todas!!!) e aqui ainda temos duas formas de extender: decretar que toda a matematica cabe dentro de um conjunto Universo, mas neste caso, este conjunto, n ao se comporta como os outros... Ou considerando a Teoria de Conjuntos dada por Neumann, G odel e Bernays, que extende a teoria de ZFC ( e portanto nos parece a melhor abordagem, aqui neste contexto). Deni c ao 9.1 Segundo a teoria axiom atica de Neumann-G odel-Bernays NBG (que n ao iremos denir com todos os detalhes, aqui neste cap tulo) consideramos dois objetos primitivos classese conjuntosonde por deni ca o classes que s ao elementos de outras classes s ao conjuntos, isto e, existe o seguinte axioma: Sejam X e Y classes tais que Y X ent ao Y e um conjunto. Intuitivamente podemos pensar que uma classe e uma cole ca o de conjuntos que s ao denidos por certas propriedades. Al em disso temos que: Todos os teoremas de ZFC s ao tamb em teoremas de NBG, e todos os teoremas de NBG que se referem apenas a conjuntos s ao teoremas de ZFC.

 9.1. PRIMEIRAS DEFINIC OES

91

Sugerimos ao leitor interessado nessa teoria de conjuntos o livro de Elliot Mendelson, Introduction to Mathematical Logic. Deni c ao 9.2 ([?]) Uma Categoria C consiste de: 1) uma classe de objetos, denotada por Obj(C ). 2) Para cada par ordenado (A, B ) de objetos em Obj(C ), um conjunto HomC (A, B ) cujos elementos s ao chamados de morsmos com dom nio A e contradom nio B. 3) Para cada terna ordenada de objetos (A, B, C ), existe uma fun ca o: (f, g) f g do conjunto HomC (A, B ) HomC (B, C ) HomC (A, C ). Al em disso, supomos que morsmos e objetos satisfazem as seguintes condi co es: a) Se (A, B ) = (C, D) os conjuntos HomC (A, B ) e HomC (C, D) s ao disjuntos. b) Se f HomC (A, B ) , g HomC (B, C ) e h HomC (C, D) ent ao vale: (h g) f = h (g f ). c) Para cada objeto A existe um elemento 1A em HomC (A, A) (que eu nico para cada A), talque f 1A = f, f HomC (A, B ), e 1A g = g g HomC (B, A). Deni c ao 9.3 Uma categoria D e uma subcategoria da categoria C se Obj D e uma subclasse de Obj C e para cada par de objetos A e B em Obj D , HomD (A, B ) HomC (A, B ). Al em disso, 1A e a composi ca o de dois morsmos deve ser a mesma nas duas categorias. Vejamos exemplos de categorias: Exemplo 9.4 O exemplo que primeiro lembramos, e tamb em, um exemplo que parece simples, mas nos remete diretamente aos paradoxos da teoria dos conjuntos: Consideramos como objetos, todos os conjuntos, e como morsmos todas as fun co es. e nos perguntamos, quem e 1 Obj (C ) ?? Obviamente, como j a vimos no Cap tulo ?? Obj (C ) n ao pode ser um conjunto, pelo menos considerando o sistema de Axiomas ZFC, que estivemos usando at e agora. Aqui Obj (C ) e uma classe.
1

Procure e corrija

92

DE ZFC: A TEORIA DAS CATEGORIAS CAP ITULO 9. ALEM Nosso pr oximo exemplo, por outro lado, e um exemplo muito signicativo, pois daqui vieram certas id eias que deram origem a ` no ca o de naturalidadee transforma ca o natural ( que ser a denida logo adiante): Aqui, xamos um corpo K, e consideramos que os objetos s ao os Kespa cos vetoriais de dimens ao nita, e os morsmos as transforma co es lineares entre eles. Isto e, denimos: Obj (C ) = {V |dimK V < } e dados U e V em Obj (C ) o conjunto ( e fac l ver que s ao de fato conjuntos) HomC (U, V ) cujos elementos s ao as transforma co es lineares entre U e V . Alias, observe que o conjunto HomC (U, V ) e ele pr oprio um objeto em Obj (C ). Atrav es dessa categoria, veremos como relacionar objetos diferentes de uma maneira natural, id eia essa que est a na base da deni ca o das transforma co es naturais, que s ao fun co es entre funtores, eles pr oprios, fun co es entre categorias.

Seja C uma categoria, construimos a partir de C uma nova categoria denominada C op fazendo Obj C op = Obj C e para cada par de objetos A e B em Obj C op denimos HomC op (A, B ) = HomC (B, A). Se f HomC op (A, B ) e g HomC op (B, C ) ent ao g f em C op e dado por op f g em C , e para cada A Obj C 1A e denida da mesma forma que em C . E f acil ver que isto de fato dene uma categoria, chamada de categoria oposta de C . Intuitivamente dizemos que C op reverte as echas de C . De maneira natural, perguntamos: como se relacionam diversas categorias? que tipo de fun c oesh a entre elas? Denimos agora como s ao as echas entre categorias:

Deni c ao 9.5 Sejam C e D categorias, um funtor (covariante) F : C D e dado por duas fun co es, que s ao, em geral, representadas pela mesma letra F que satisfazem: F : Obj (C ) Obj (D ) e, para quaisquer objetos A e B de C temos F : HomC (A, B ) HomD (F(A), F(B )) de modo que o quadrado abaixo e comutativo:

 9.1. PRIMEIRAS DEFINIC OES

93

A B F(A) F(B ) Para denir o funtor contravariante considere o quadrado A B F(A) F(B ) Al em disso, F satisfaz as condi co es: Se a fun ca o composta g f est a denida em C , ent ao F (g f ) = F (g) F (f ) e F (1A ) = 1F (A) para todo A Obj (C ) f E acil ver que dar um funtor contravariante F : C D e equivalente a op dar um funtor covariante F : C D A composi c ao de dois ou mais funtores se dene de maneira natural. Observe que a composi c ao de dois funtores covariantes ou dois contravariantes ser a um funtor covariante. Deni c ao 9.6 Sejam C e D duas categorias e F : C D um funtor, diremos que F e: el se para todo par de objetos A e B em C a fun ca o F : HomC (A, B ) HomD (F(A), F(B )) e injetora. pleno se para todo par de objetos A e B em C a fun ca o F : HomC (A, B ) HomD (F(A), F(B )) e sobrejetora. denso se para todo objeto X em D existe um objeto A em C tal que X = F (A). Deni c ao 9.7 Dados dois funtores F : C D e G : C D uma transforma ca o natural

94

DE ZFC: A TEORIA DAS CATEGORIAS CAP ITULO 9. ALEM

Refer encias Bibliogr acas

[1] Eves, H. Introdu ca o a ` Hist oria da Matem atica. Editora da UNICAMP, 1997. [2] Hrbacek, Jech, T. Introduction to Set Theory. Marcel Dekker, Inc, 1999. Third Edition, Revised and Expanded. [3] Hungerford, T. W. Algebra. Holt, Rineart and Winston, Inc., 1974. [4] Kunnen, K. Set Theory An Introduction to Independence Proofs. NorthHolland, 1980. Studies in Logicand the Foundations of Mathematics. [5] McCawlwy, J.D. Everything that Linguistics have Always Wanted to Know about Logic. The University of Chicago Press, 1981. [6] Smullyan, R. Fitting, M. Set Theory and the Contunuum Problem. Oxford University Press, 2000.

95