Cap tulo 10 Constru c ao dos conjuntos num ericos

Neste cap tulo deniremos os quatro principais conjuntos num ericos os n umeros naturais, inteiros, racionais e reais juntamente com as opera c oes de adi c ao e multiplica c ao. A partir deste cap tulo o leitor deve se convencer que a maioria das constru c oes matem aticas aprendidas at e agora podem ser feitas a partir da teoria dos conjuntos. Faltam ainda o axioma da escolha e da substitui c ao, u teis para algumas constru c oes.

10.1

Teorema da recurs ao

Antes de denirmos as opera c oes b asicas nos n umeros naturais, precisamos enunciar o teorema da recurs ao. Teorema 10.1 (da recurs ao) Sejam X um conjunto, x um elemento de X e g uma fun c ao de X em X . Ent ao existe uma u nica fun c ao f de em tal que f (0) = x; f (n+ ) = g (f (n)), para todo n . Demonstra c ao: Usando o axioma da separa c ao, dena o conjunto C = {R P ( X ) : (0, x) R ny ((n, y ) R (n+ , g (y ))) R}. Claramente X C . Logo, C e n ao-vazio. Podemos, portanto, denir o conjunto f= C

Precisamos provar que f e uma fun c ao e que satisfaz a condi c ao para pertencer a C . Arma c ao 1: f C 55

56

DOS CONJUNTOS NUMERICOS CAP ITULO 10. CONSTRUC AO

O procedimento da demonstra c ao da arma c ao 1 e an alogo ` a demonstra c ao que e um conjunto indutivo. Como (0, x) R, para todo R C , ent ao (0, x) f . Se (n, y ) f , ent ao (n, y ) R, para todo R C . Logo, pela hip otese sobre os elementos + + de C , (n , g (y )) R, para todo R C . Logo, (n , g (y )) f , concluindo a prova da arma c ao. Arma c ao 2: f e uma fun c ao de dom nio Vamos provar, por indu c ao, que para todo n vale a f ormula P (n), denida abaixo: P (n) y ((n, y ) f ) y z (((n, y ) R (n, z ) R) (y = z )) Vamos provar P (0). Pela arma c ao 1, (0, x) f . Vamos provar que, se (0, y ) f , ent ao y = x. Suponha, por absurdo, que existe y = x tal que (0, y ) f . Considere R = f {(0, y )}. Vamos vericar que R C . De fato, (0, x) R, pois (0, x) f e x = y . Se (n, y ) R, ent ao (n, y ) f , pois R f . Logo, (n+ , g (y )) f (pela arma c ao 1). Como n+ = 0 (axioma 4 de Peano), temos que (n+ , g (y )) f e diferente de (0, y ) e, portanto, pertence a R. Portanto, conclu mos que R C , o que implica que f R. Como R f , temos f = R, absurdo, pois (0, y ) f e (0, y ) / R. Vamos agora provar que P (n) implica P (n+ ). Assumindo P (n) como verdadeiro, temos que existe y tal que (n, y ) f . Logo, como f C , temos que (n+ , g (y ) f , provando a primeira parte de P (n+ ). Agora supomos, por absurdo, que existe z = g (y ) tal que (n+ , z ) f . Dena R = f {(n+ , z )}. Vamos vericar que R C , Como n+ = 0, continuamos tendo (0, x) R. Suponha que (m, v ) R. Como f C e R f temos que (m+ , g (v )) R. Se m = n, o axioma 3 de Peano nos garante que m+ = n+ , logo, (m+ , g (v )) = (n+ , z ), provando que (m+ , g (v )) R. Se m = n, pela hip otese indutiva P (n) temos que v = y (pois (n, y ) f ), e j a vimos que (n+ , g (y ) f . Como z = g (y ), tamb em temos que (n+ , g (y ) R. Provamos, com isso, que R C o que novamente contradiz com o fato de R estar contido propriamente em f . Isso conclui a demonstra c ao da arma c ao 2. Das arma c oes 1 e 2 segue imediatamente o teorema. Sendo f uma fun c ao de dom nio e satisfazendo as condi c oes da fam lia de conjuntos C , temos que (0, x) f , o que signica que f (0) = x. Como, para todo n, temos, pela pr opria deni c ao de + fun c ao, (n, f (n)) f , da arma c ao 1 segue que (n , g (f (n)) f , o que signica que f (n+ ) = g (f (n)). A unicidade da fun ca o f pode ser provada por indu c ao. Suponha que existe h satisfazendo as mesmas condi c oes do teorema estabelecidas para f . Temos que f (0) = h(0), pois ambos s ao iguais a x. Se f (n) = h(n), ent ao g (f (n)) = g (h(n)), e ambos s ao iguais a f (n+ ) e h(n+ ). Logo, por indu c ao, f = h.

 10.2. ARITMETICA DOS NUMEROS NATURAIS

57

10.2

Aritm etica dos n umeros naturais

J a denimos como o conjunto dos n umeros naturais, e mostramos que ele satisfaz os axiomas de Peano. Falta denir a aritm etica. Ou seja, precisamos denir duas fun c oes de em que correspondem ` as opera c oes de soma e produto. A ideia geral da deni c ao da soma e utilizar o teorema da recurs ao para denir, para cada n umero natural m, uma fun c ao sm : tal que sm (0) = m sm (n+ ) = (sm (n))+ e denimos m + n como sm (n). Utilizando novamente o teorema da recurs ao e a deni c ao das fun c oes acima podemos denir, para cada n umero natural m, uma fun c ao pm : tal que pm (0) = 0 pm (n+ ) = (pm (n))+ e denimos m n como pm (n). Essa deni c ao de soma e produto ainda precisa ser melhor justicada, para podemos constru -la axiomaticamente. Fa camos isso. Teorema 10.2 Existe uma fun c ao s de em s(m)(0) = m e s(m)(n+ ) = (s(m)(n))+ .

tal que, para todo n, m ,

Demonstra c ao: Usando o axioma da separa c ao dena s = {(m, f ) : n((f (0) = m) (f (n+ ) = (f (n))+ ))} Pelo teorema da recurs ao, utilizando-o para a fun c ao g = {(n, n+ ) : n }, para cada m existe uma u nica f satisfazendo as condi c oes descritas na deni c ao de s. Logo, s e uma fun c ao. Deni c ao 10.3 Denimos a opera c ao de soma em como a fun c ao + : dada por +((m, n)) = s(m)(n). Denotamos +((m, n)) por m + n. Teorema 10.4 Existe uma fun c ao p de em p(m)(0) = 0 e p(m)(n+ ) = p(m)(n) + m.

tal que, para todo n, m ,

Demonstra c ao: Usando o axioma da separa c ao dena p = {(m, f ) : n((f (0) = 0) (f (n+ ) = (f (n) + m)))} Tomando a fun c ao g = {(i, j ) : i + m = j }, o teorema da recurs ao garante que p e uma fun c ao. Deni c ao 10.5 Denimos a opera c ao de soma em como a fun c ao : dada por ((m, n)) = p(m)(n). Denotamos ((m, n)) por m n.

58

DOS CONJUNTOS NUMERICOS CAP ITULO 10. CONSTRUC AO

Da deni c ao de soma e produto seguem os seguintes axiomas da aritm etica de Peano, quando adicionamos os s mbolos funcionais bin arios + e ` a linguagem da aritm etica: m+0=m m + n+ = (m + n)+ m0=0 m n + = (m n ) + n Eventualmente usaremos a nota c ao xy para representar x y .

10.3

Rela c ao de equival encia

Para construirmos o conjunto dos n umeros inteiros a partir do conjunto dos n umeros naturais, e o conjunto dos n umeros racionais a partir do conjunto dos n umero inteiros, precisamos, antes, desenvolver o conceito de rela c ao de equival encia. Deni c ao 10.6 Dizemos que uma rela c ao R X X e uma rela c ao de equival encia em X se satisfaz as seguintes propriedades, para todos x, y, z X : Reexividade: xRx; Simetria: se xRy ent ao yRx; Transitividade: se xRy e yRz ent ao xRz . Denimos o conjunto das classes de equival encia de R como X/R = {Y P X : xy (y Y xRy )} Os elementos de X/R s ao, obviamente, chamados de classes de equival encia, tamb em denotado do seguinte modo: X/R = {[x] : x X } onde [x] = {y X : xRy } Teorema 10.7 Seja R uma rela c ao de equival encia em um conjunto X . As seguintes arma c oes s ao verdadeiras: (a) X/R = X ;

(b) / X/R; (c) Para todos Y, Z X/R, se Y = Z ent ao Y Z = ; (d) Se x Y e todo Y X/R, para todo y X temos que xRy se, e somente se, y Y.

 DO CONJUNTO DOS NUMEROS 10.4. CONSTRUC AO INTEIROS

59

Demonstra c ao: Usaremos a nota c ao [x] para o conjunto {y X : xRy }. Dado x X , temos que x [x], uma vez que, pela propriedade reexiva, xRx. Isso prova (a). Como todo elemento de X/R e da forma [x], para algum x X , isso prova tamb em a parte (b) Para provar (c), assumindo que Y e Z s ao dois elementos de X/R que n ao s ao disjuntos, mostraremos que Y = Z . Sejam x Y Z e y0 , z0 X tais que Y = [y0 ] e Z = [z0 ]. Dado y Y , temos, por deni c ao, que y0 Ry . Logo, pela simetria, yRy0 . Mas como x Y , temos y0 Rx. Pela transitividade temos yRx. Mas, como x Z , temos z0 Rx e, pela simetria, xRz0 . Logo, a transitividade nos d a yRz0 e, novamente pela simetria, z0 Ry , o que prova que y Z . Isso conclui que Y Z e um argumento an alogo mostra que Z Y , provando que Y = Z . Mostremos a parte (d). Se Y X/R, existe y0 X tal que Y = [y0 ]. Como x Y , temos que y0 Rx e, portanto, xRy0 . Se yRx, por transitividade e simetria temos yRy0 e y0 Ry , de onde temos que y Y . Por outro lado, se y Y , temos y0 Ry e, portanto, xRy , concluindo a prova do teorema. Em outras palavras, o Teorema 10.7 parte (d) nos diz que duas classes de equival encia [x] e [y ] s ao iguais se, e somente se, xRy .

10.4

Constru c ao do conjunto dos n umeros inteiros

A constru c ao dos n umeros inteiros a partir dos naturais se assemelha muito ` a constru c ao dos racionais a partir dos inteiros, sendo essa u ltima mais conhecida. Iremos identicar pares de n umeros naturais que possuem a mesma diferen ca. Por exemplo, identicaremos o par (5, 3) com os pares (4, 2), (6, 4) etc. Assim, o n umero inteiro 2 e o conjunto {(2, 0), (3, 1), (4, 2), . . .} (sendo esses pares ordenados formados por n umeros naturais), enquanto 2 e o conjunto {(0, 2), (1, 3), (2, 4), . . .}. 2 Denimos R ( ) como o conjunto dos pares ((a, b), (c, d)) tais que a + d = b + c. Deixamos como exerc cio ao leitor provar o seguinte fato: R e uma rela c ao de equival encia Dena o conjunto dos n umeros inteiros como Z = ( )/R Falta denirmos as opera c oes de soma e produto em Z. Para n ao sobrecarregar o texto, abusaremos a nota c ao utilizando os mesmos s mbolos + e para a soma e produto de n umeros inteiros. Uma deni c ao informal seria [(a, b)] + [(c, d)] = [(a + c, b + d)] [(a, b)] [(c, d)] = [(ac + bd, ad + bc)] Por em, tal deni c ao n ao pode depender da escolha do representante. Nesta primeira vez que fazemos esse tipo de constru c ao seremos mais rigorosos, denindo explicitamente as fun c oes de soma e produto. Como mais um abuso de nota c ao, denotaremos

60

DOS CONJUNTOS NUMERICOS CAP ITULO 10. CONSTRUC AO

(Z Z) Z por Z Z Z, ou, simplesmente, Z3 , e o par ((x, y ), z ) pela tripla (x, y, z ). Denimos: S = {(x, y, z ) Z3 : abcd((a, b) x (c, d) y (a + c, b + d) z }

P = {(x, y, z ) Z3 : abcd((a, b) x (c, d) y (ac + bd, ad + bc) z } Teorema 10.8 Sejam S e P denidos como acima. Temos que (a) S e P s ao fun c oes; (b) Para todos a, b, c, d em temos que S ([(a, b)], [(c, d)]) = [(a + c, b + d)]; (c) Para todos a, b, c, d em temos que P ([(a, b)], [(c, d)]) = [(ac + bd, ad + bc)]. Demonstra c ao: Para as tr es partes do teorema precisamos mostrar a independ encia em rela c ao a ` escolha dos representantes. Isto e, mostraremos a seguinte arma c ao: Arma c ao: Se (a, b)R(a , b ) e (c, d)R(c , d ) ent ao (a + c, b + d)R(a + c , b + d ) e (ac + bd, ad + bc)R(a c + b d , a d + b c ). Provaremos a arma c ao assumindo as propriedaes conhecidas da aritm etica: comutatividade, associatividade, lei do cancelamento etc. Suponha que (a, b)R(a , b ) e (c, d)R(c , d ). Isso signica que a + b = b + a e c + d = d + c . Logo, a + b + c + d = b + a + d + c , o que signica que (a + c, b + d)R(a + c , b + d ). Agora veremos que (ac + bd, ad + bc)R(a c + b d , a d + b c ). Como a + b = a + b e c + d = c + d, temos que, para todos x, y, z, w em , vale a seguinte igualdade: (a + b )x + (c + d )y + (a + b)z + (c + d)w = (a + b)x + (c + d)y + (a + b )z + (c + d )w Tomando x = c + c , y = a + a , z = d + d e w = b + b , utilizando as propriedades operat orias de n umeros naturais, provamos que ac + bd + a d + b c = ad + bc + a c + b d e, portanto, (ac + bd, ad + bc)R(a c + b d , a d + b c ). Deixamos os detalhes das contas para o leitor completar. Vejamos como isso ajuda a provar o teorema. Para provar que S e uma fun c ao 2 2 de Z em Z, primeiro temos que provar que, para todo (x, y ) Z , existe z tal que (x, y, z ) S . Mas isso e verdade, pois pelo Teorema 10.7, parte (b), existe x e y s ao n ao-vazios. Logo, existem (a, b) x e (c, d) y . Pela parte (a) do mesmo teorema, existe z tal que (a + c, b + c) z , o que nos d a, pela deni c ao de S , que (x, y, z ) S . O mesmo argumento mostra que, para todo (x, y ) Z2 , existe z tal que (x, y, z ) P , tomando, desta vez, z contendo (ac + bd, ad + bc). Isso j a prova, quando concluirmos que S e P s ao fun c oes, as partes (b) e (c) do presente teorema.

 DO CONJUNTO DOS NUMEROS 10.5. CONSTRUC AO RACIONAIS

61

Agora vejamos a unicidade. Suponha que (x, y, z ) S e (x, y, z ) S . Pela deni c ao de S , (x, y, z ) S implica que existem n umeros naturais a, b, c, d tais que (a, b) x, (c, d) y e (a + c, b + d) z , e (x, y, z ) S implica que existem n umeros naturais a , b , c , d tais que (a , b ) x, (c , d ) y e (a + c , b + d ) z . Note que n ao podemos, a princ pio, assumir que os n umeros a, b, c, d que testemunham que (x, y, z ) S s ao os mesmos que testemunham que (x, y, z ) S . Por em, como (a, b) e (a , b ) ambos pertencem a x, o Teorema 10.7, parte (d), nos garante que (a, b)R(a , b ). Da mesma forma temos (c, d)R(c , d ). Logo, pela arma c ao, (a + c, b + d)R(a + c , b + d ). Logo, o Teorema 10.7, parte (d), tamb em nos assegura que (a + c , b + d ) z . Portanto, (a + c , b + d ) z z , o que implica, pela parte (c) do Teorema 10.7, que z = z , como quer amos provar. A demonstra c ao de que P e uma fun c ao e an aloga. Sendo x e y n umeros inteiros, denotamos S ((x, y )) por x + y , e P ((x, y )) por x y ou, simplesmente, xy . Como estamos usando os mesmos s mbolos em conjuntos diferentes, estamos fugindo um pouco do rigor da l ogica, e precisamos estar atentos ao contexto. O importante e nunca perder a conex ao com a linguagem l ogica estrita, estando ciente de como cada uma dessas nota c oes funciona como abreviatura. Denir fun c ao em classes de equival encia atrav es de um representante, para depois mostrar que a deni c ao independe da escolha do representatne, e uma pr atica bastante comum no cotidiano da matem atica, com a qual o estudante deve ter se deparado diversas vezes. Aqui foi apresentada a formaliza c ao desse processo, que, como podemos notar, n ao e trivial, apesar de ser bem intuitivo. Reparem que todos os itens do Teorema 10.7 foram utilizados e, na demonstra c ao desse, foram utilizadas todas as tr es propriedades de rela c ao de equival encia.

10.5

Constru c ao do conjunto dos n umeros racionais

A constru c ao de Q a partir de Z se assemelha muito ` a constru c ao de Z a partir de . Primeiro denimos o n umero inteiro 0 (eventualmente denotado por 0Z , quando houver possibilidade de confus ao com o n umero natural 0) como a classe [(0, 0)]. Denimos uma rela ca o R em Z (Z {0Z }) como R = {((a, b), (c, d) (Z (Z {0Z }))2 : ac = bd}

Fica como exerc cio vericar que R e uma rela c ao de equival encia. Denimos Q = (Z (Z {0Z }))/R Obviamente, a classe de equival encia representada pelo par (a, b) corresponde ao ,eR e a equival encia de fra c oes. n umero racional representado pela fra c ao a b Denimos a soma e o produto de n umeros reais da seguinte forma: [(a, b)] + [(c, d)] = [(ad + bc, bd)] [(a, b)] [(c, d)] = [(ac, bd)]

62

DOS CONJUNTOS NUMERICOS CAP ITULO 10. CONSTRUC AO

Deixamos como exerc cio ao leitor provar que essa deni c ao independe da escolha do representante. Os demais detalhes para a formaliza c ao s ao iguais aos que foram feitos anteriormente.

10.6

Constru c ao do conjunto dos n umeros reais

A constru c ao que ser a feita nesta se c ao deve-se a Richard Dedekind (18311916). Para construirmos os n umeros reais a partir dos racionais, precisamos, antes, introduzir uma s erie de deni c oes para podermos falar da ordem em Q. Dizemos que um n umero inteiro x e positivo se existe n tal que n = 0 e (n, 0) x. Dizemos que um n umero racional x e positivo se existe (a, b) x tal que a e b s ao n umeros inteiros positivos. Denimos uma rela c ao < em Q da seguinte forma: a < b se, e somente se, existe um n umero racional positivo c tal que a + c = b. Dizemos que um subconjunto C de C e um corte se satisfaz as seguintes propriedades: e n ao-vazio: x(x C ); n ao cont em todos os racionais: x(x Q x / C ); n ao tem m aximo: xy : x < y ; e fechado para baixo: xy ((x C y < x) y C ); cont em todos os n umeros racionais que est ao entre dois de seus elementos: xy z ((x C z C x < y y < z ) y C ). Denimos o conjunto dos n umeros reais como: R = {C Q : C e um corte} Intuitivamente, pensamos em um n umero real, nesta constru c ao por cortes, como o conjunto dos racionais menores do que ele. Dados dois n umeros reais A e B (ou seja, dois cortes em Q) denimos a soma e o produto de A e B como: [A] + [B ] = {a + b : a A b B } [A] [B ] = {x Q : ab(a A b B x < a b)} Deixamos como exerc cio provar que as deni c oes acima est ao boas. Ou seja, que os subconjuntos de Q denidos acima s ao cortes. Ao leitor mais paciente indicamos a tarefa de provar todos os axiomas de corpo ordenado completo com a ordem dada pela inclus ao que s ao estudados em An alise Real.

 DO CONJUNTO DOS NUMEROS 10.6. CONSTRUC AO REAIS

63

Exerc cios
1. Seja X um conjunto e sejam x0 e y0 dois elementos distintos de X . Considere a seguinte rela c ao em X : R = {(x, y ) X X : x = y } {(x0 , y0 ), (y0 , x0 )} (a) Prove que R e uma rela c ao de equival encia em X . (b) Descreva os elementos de X/R. 2. Considere C um conjunto n ao-vazio de conjuntos n ao-vazios tal que, para todos x e y pertencentes a C , se x = y ent ao x y = . Seja X = C . Dena em X a rela c ao: R = {(x, y ) X : z (z C x z y z )} (a) Prove que R e uma rela c ao de equival encia em X . (b) Mostre que C = X/R. (c) Prove que duas rela c oes de equival encia diferentes possuem classes de equival encias diferentes. 3. Como ca uma rela c ao de equival encia sobre ? Ela satisfaz o Teorema 10.7? 4. Prove a propriedade comutativa da soma de n umeros naturais e da soma de n umeros inteiros. 5. Prove que a rela c ao R denida na Se c ao 10.4 e uma rela c ao de equival encia (podendo assumir as propriedades usuais da soma de n umeros naturais, como associatividade e a lei do cancelamento).