C alculo Innitesimal I

prof. Felipe Acker

NUMEROS

Introdu c ao

Uma apresenta c ao rigorosa dos n umeros deveria, provavelmente, come car pelos fundamentos da l ogica e da teoria dos conjuntos para, em seguida, construir sucessivamente os naturais, os inteiros, os racionais, os reais e os complexos. Esta e uma escada cujos degraus t em alturas diferentes: come car da l ogica poderia nos tomar um curso inteiro. Estas notas n ao t em tal ambi c ao e devem, portanto, ser tomadas apenas como uma indica c ao do percurso. Partiremos dos naturais e discutiremos brevemente como passar da aos inteiros, e destes aos racionais. O degrau que mais nos interessa, do ponto de vista da An alise, e o que corresponde ` a passagem dos racionais aos reais. Nele nos deteremos um pouco mais. Uma introdu c ao elementar e bem escrita dos fundamentos da L ogica e da Teoria dos Conjuntos est a no livro Teoria ing enua dos conjuntos, de Paul Halmos (Naive set theory ). Em cada caso (Naturais, Inteiros, Racionais, Reais e Complexos), procuraremos caracterizar o sistema num erico em quest ao por um conjunto de axiomas. Isto signica que vamos xar, em cada caso, um conjunto de propriedades b asicas a partir das quais nossos teoremas devem poder ser demonstrados. Esta e uma forma de organizar o conhecimento matem atico que remonta ` a Gr ecia antiga e tem nos Elementos, de Euclides, o primeiro grande exemplo1 . A maior parte do trabalho e deixada como exerc cio; resultados essencialmente obvios s ao usados livremente, cando a crit erio do leitor a decis ao de demonstr a-los detalhadamente ou n ao .
O sonho de axiomatizar toda a Matem atica tem suas limita c oes : em 1932, Kurt G odel demonstrou que, mesmo que nos limitemos aos n umeros naturais, n ao e poss vel xar um conjunto nito de axiomas a partir do qual se possa decidir, de cada senten ca, se e verdadeira ou falsa
1

Um m nimo de linguagem

Para xar um pouco as id eias, vamos apresentar informalmente um pouco da nota c ao e alguns conceitos b asicos envolvendo conjuntos e fun c oes . Usaremos livremente os s mbolos , , , e | : p q signica se p ent ao q , ou p implica q ; p q signica p se e somente se q , ou p e equivalente a q ; se l e para todo ; se l e existe ; x | p se l e x tal que p; usaremos tamb em, ` as vezes, sss no lugar de se e somente se. O s mbolo ! signica existe um e somente um. Se x e um elemento do conjunto X , diremos que x pertence a X e usaremos a nota c ao x X . Se o conjunto A e subconjunto de X , diremos que A est a contido em X (A X ), ou que X cont em A (X A). Isto signica que todo elemento de A e tamb em elemento de X , ou seja: A X (x A x X ). Para provar a igualdade entre os conjuntos A e B ser a preciso, em geral, provar que A B e B A. A primeira parte desta prova come ca por Seja x A e termina quando conclu mos que x B ; a segunda come ca com Seja x B e termina quando provamos que x A. Um conjunto e usualmente denido apresentando explicitamente seus elementos ou por meio de uma propriedade que os caracterize: X = {a, b, c} signica que X e o conjunto cujos elementos s ao precisamente a, b e c; X = {x Y | p(x)} signica que X e o conjunto cujos elementos s ao precisamente aqueles que est ao em Y e satisfazem ` a propriedade p. Dados dois conjuntos A e B , denimos A \ B (A menos B ) por A \ B = {x A|x / B }. Se todos nossos conjuntos, em um determinado contexto, s ao subconjuntos de um certo X , X \ A e chamado de complementar de A (em X ) e notado por C A ou por AC . 2

O produto cartesiano dos conjuntos X e Y , X Y , e denido por X Y = {(x, y )|x X, y Y }. Para evitar considerar par ordenado como um conceito primitivo, podemos denir, dados x e y , o par ordenado (x, y ) por (x, y ) = {x, {x, y }} ( e uma deni c ao meio extravagante, mas funciona). Uma fun c ao f entre os conjuntos X e Y pode ser denida sem o uso da palavra regra. Basta especicarmos todos os pares ordenados do tipo (x, f (x)). De maneira um pouco mais pedante, diremos que um subconjunto f de X Y e uma fun c ao (notada por f : X Y ) se x X ! y Y | (x, y ) f. (esta deni c ao vem acompanhada da nota c ao y = f (x) para y tal que (x, y ) f ). X e chamado de dom nio de f , Y e chamado de contradom nio de f e f (X ) = {y Y |x X |(x, y ) f } e chamado de imagem de f . Mais geralmente, se A X , a imagem de A por f e o conjunto f (A) = {y Y | x A | f (x) = y }. O elemento f (x) de Y tamb em e chamado de imagem de x por f . Uma fun c ao f e dita injetiva, injetora ou biun voca, se f (a) = f (b) a = b; sobrejetiva, sobrejetora ou sobre, se y Y x X | y = f (x). Se for injetiva e sobrejetiva, f e dita bijetiva, ou bijetora. Neste u ltimo 1 caso, podemos denir a fun c ao inversa, notada por f e denida por f 1 = {(y, x) | (x, y ) f }. No caso geral, a nota c ao f 1 e usada para a imagem inversa de um subconjunto B de Y : f 1 (B ) = {x X | f (x) B } (por abuso de nota c ao , escrevemos f 1 (y ) no lugar de f 1 ({y }), se y Y ).

Os naturais

Uma das maneiras mais simples de caracterizar nossos velhos amigos naturais, os n umeros de contar, e descrev e-los por um conjunto de axiomas, devido a Peano, que apresentamos a seguir. Postulado: Existem um conjunto, I N (conhecido como conjunto dos n umeros naturais) e uma fun c ao S : I N I N , com as seguintes propriedades: (i)S e injetiva; (ii)existe em I N um elemento 0 tal que 0 / S (I N ); (iii) Se A e um subconjunto de I N tal que 0 A e S (A) A, ent ao A=I N.
Exerc cio: S (n) e o sucessor de n, o seguinte, o pr oximo da la. Traduza S (n) por n + 1 e entenda o signicado dos axiomas acima. (iii) e conhecido como princ pio da indu c ao . Note que o elemento 0, citado em (ii) e (iii), tamb em poderia ser o 1. Exerc cio: Mostre que n ao pode haver em I N um segundo elemento 0 tal que 0 / S (I N ). Sugest ao : considere A = I N \ 0 e use o princ pio da indu c ao . Exerc cio: Mostre que a injetividade de S e indispens avel. Sugest ao : sen ao , poder amos fazer I N = {0, 1}, com S (0) = 1 e S (1) = 1. Observa c ao: Uma id eia para construir um conjunto com as propriedades acima (que seria um modelo concreto para I N) e deni-lo a partir de seus elementos, que seriam: 0 = , 1 = {}, 2 = {, {}}, 3 = {, {} , {, {}}} . . .. De qualquer forma, ter amos que postular a exist encia de tal conjunto.2 O que costumamos chamar de deni c ao por indu c ao requer a demonstra c ao do seguinte resultado fundamental:
Esta deni c ao parece t ao concreta, que a necessidade de um tal postulado pode parecer um exagero; no entanto, uma postura excessivamente ing enua, na Teoria dos Conjuntos, pode levar a paradoxos. Um dos mais famosos e o Paradoxo de Russel : seja p(x) a propriedade x n ao pertence a x e seja A = {x | p(x)}; ent ao e f acil concluir que A pertence a A sss A n ao pertence a A.
2

Teorema da Recurs ao : Se X e um conjunto, : X X e uma fun c ao e a X , ent ao existe uma fun c ao f : I N X tal que f (0) = a e f (S (n)) = (f (n))n I N.
Demonstra c ao : Vamos denir a fun c ao f , como manda o regulamento, como um subconjunto do produto cartesiano I N X (de maneira algo sinistra, e verdade). Consideremos a cole c ao F de todos os subconjuntos F de I N X tais que: (i)(0, a) F ; (ii)(n, x) F (S (n), (x)) F . Seja agora f o menor elemento de F , isto e: f = {(m, y ) I N X |(m, y ) F F F } . Note que f F e f F F F .Vamos mostrar que f e a fun c ao que queremos. Para come car, devemos provar que f (n) est a denido para todo n em I N . Seja pois A = {n I N |y X, (n, y ) f } e provemos que A = I N . Como (0, a) F F F , temos 0 f .Al em disto, se n A, ent ao existe y X |(n, y ) f , o que signica que (n, y ) F F F , o que implica em (S (n), (y )) F F F , o que nos d a S (n) A. Logo, pelo princ pio da indu c ao , A = I N. Resta provar que (n, x) f, (n, y ) f x = y . Como j a provamos que, para cada n I N , existe um y X tal que (n, y ) f , basta provar que, se B e o conjunto dos n I N tais que tal y e u nico, ent ao B = I N . Comecemos mostrando que 0 B . De fato: temos (0, a) f ; se (0, b) f , com b = a, podemos considerar F = f \ {(0, b)}; ter amos ent ao F F mas f n ao pode ser subconjunto de F . Suponhamos agora que n B e provemos que S (n) B . Se n B , existe um u nico y X tal que (n, y ) f . Podemos ent ao garantir que (S (n), (y )) f . Se (S (n), z ) f , com z = (y ), podemos considerar F = f \ {(S (n), z )} e observar que F F , mas f n ao est a contido em F , o que e imposs vel. Logo, S (n) B , o que mostra que B = I N e completa a demonstra c ao .

Uma fun c ao cujo dom nio eI N e chamada uma seq u encia (ou, eventualmente, uma sucess ao ). A constru c ao das opera c oes de adi c ao e multiplica c ao de n umeros naturais, a partir dos axiomas de Peano, e uma tarefa interessante (e trabalhosa, se nos dispusermos a provar cada uma das propriedades que utilizamos quotidianamente), a qual n ` ao vamos nos dedicar. Uma pequena amostra e dada nos tr es exer cicios a seguir. Exerc cio: Dena, xado n em I N , n + 0 = n, n + S (m) = S (n + m). Prove que a adi c ao assim denida e comutativa e associativa. Note que a deni c ao seria ligeiramente diferente se come c assemos I N em 1. Mostre que da deni c ao decorre que S (n) = n + 1n I N . Mostre que, se m + n = 0, ent ao m = 0 ou n = 0.Mostre que m + p = n + p m = n. Exerc cio: Dena, xado n em I N , n0 = 0, nS (m) = (nm) + n. Prove que a multiplica c ao assim denida e comutativa e associativa. Prove tamb em a propriedade distributiva. Mostre que, se mn = 0, ent ao m = 0 ou n = 0. Mostre que mp = np, p = 0 m = n.Como seria a deni c ao se escolh essemos come car I N em 1? Exerc cio: Dena, para n e m em I N , a rela c ao de ordem n m por: p I N |n + p = m (note que, se I N come casse em 1, esta deni c ao corresponderia a n < m). Dena n m por m n, n < m por n m e n = m, n > m por m < n. Mostre que, se n m e k I N , ent ao k + n k + m e kn km. Mostre que, dados quaisquer naturais m e n, sempre se tem m n ou n m. Mostre que

a b e b c a c. Mostre que a b e b a a = b. Seja 1 = S (0); mostre que n ao existe n em I N tal que 0 < n e n < 1. Mostre que, para qualquer n I N, n ao existe m em I N tal que n < m < S (n). Dois resultados referentes ` a ordem merecem ser destacados. O primeiro eo Princ pio da Boa Ordena c ao : Se A e um subconjunto n ao vazio de I N , ent ao A tem um menor elemento.
Demonstra c ao : Suponhamos que A = e que A n ao tem um menor elemento. Seja B = {n I N | n < mm A}. Ent ao 0 B , pois, caso contr ario, 0 seria o m nimo de A. Suponhamos agora que um certo n est a em B . Como n ao h a ningu em entre n e S (n), temos S (n) m m A. Se (n) A, S (n) seria o m nimo de A, que estamos supondo n ao existir. Logo, S (n) B , o que mostra que B = I N . Mas isto e imposs vel, pois A = .

O segundo e uma vers ao bastante u til do princ pio da indu c ao , conhecido como Princ pio da Indu c ao Completa: Se A I N e tal que 0 A e S (n) A sempre que m A para todo m n, ent ao A = I N.
Demonstra c ao : Seja B = I N \ A. Se B fosse n ao vazio, B teria um menor elemento b. Como 0 A, temos b = 0, o que nos garante que existe n I N tal que b = S (n); mas da deni c ao de b temos m Am n, o que nos garante que b = S (n) A, absurdo.

Os Inteiros

Os n umeros inteiros s ao constru dos, a partir dos naturais, da maneira simples que aprendemos no col egio: acrescenta-se a I N o conjunto dos inteiros negativos, que s ao os naturais diferentes de 0 com um sinal - na frente. As opera c oes s ao denidas como de h abito. Chegamos, assim, a um conjunto, que notamos por Z Z, com I N Z Z , munido de opera c oes 3 de adi c ao (+) e multiplica c ao (), satisfazendo as seguintes propriedades: ` (i) x + (y + z ) = (x + y ) + z para todos x, y e z em Z Z; (ii) x + y = y + x para todos x e y em Z Z;
em matematiqu es erudito, uma opera c ao denida no conjunto X e uma fun c ao : X X X , usualmente notada por (x, y ) = x y
3

 (iii) o elemento 0 de I N e tal que x + 0 = x para todo x em Z Z; (iv) para todo x em Z Z existe x (denotado por x) em Z Z tal que x + x = 0; (v) x(yz ) = (xy )z para todos x, y e z em Z Z; (vi) xy = yx para todos x e y em Z Z; (vii) x(y + z ) = (xy ) + (xz ) para todos x, y e z em Z Z; (viii) o elemento 1 = S (0) de I N e tal que 1x = x para todo x em Z Z. Como as opera c oes em Z Z estendem as que j a t nhamos em I N , valem tamb em as propriedades, para o conjunto P = I N \ {0}: (ix)x + y P para todos x e y em P ; (x) xy P para todos x e y em P ; (xi) se x Z Z , vale uma e uma s o das seguintes: x P , x P ou x = 0. Cabem aqui algumas observa c oes sobre o que foi escrito acima. Em primeiro lugar, notemos que n ao pode haver um segundo zero nem um segundo 1: de fato, se 0 e tal que x + 0 = xx Z Z , ent ao 0=0+ 0= 0 + 0 = 0. Exerc cio: Note que a mesma demonstra c ao vale com 1 no lugar de 0. Em segundo lugar, o elemento x referido em (iv) tamb em eu nico: se x e tal que x+x = 0, ent ao x =x +0=x + (x + (x)) = ( x + x) + (x) = = (x + x ) + (x) = 0 + (x) = x + 0 = x. Mas podemos ver algo ainda mais interessante. Suponhamos que n ao vamos come car pelos naturais, mas sim pelos inteiros. Podemos ent ao admitir diretamente, sem fazer refer encia a I N , a exist encia de um conjunto Z Z , munido das opera c oes de adi c ao e multiplica c ao , do qual se destaca um subconjunto P (dos positivos), com as seguintes propriedades: (i) x + (y + z ) = (x + y ) + z para todos x, y e z em Z Z;

 (ii) x + y = y + x para todos x e y em Z Z; (iii) existe em Z Z um elemento 0 tal que x + 0 = x para todo x em Z Z; (iv) para todo x em Z Z existe x (denotado por x) em Z Z tal que x + x = 0; (v) x(yz ) = (xy )z para todos x, y e z em Z Z; (vi) xy = yx para todos x e y em Z Z; (vii) x(y + z ) = (xy ) + (xz ) para todos x, y e z em Z Z; (viii) existe em Z Z um elemento 1 = 0 tal que 1x = x para todo x em Z Z. (ix)x + y P para todos x e y em P ; (x) xy P para todos x e y em P ; (xi) se x Z Z , vale uma e uma s o das seguintes: x P , x P ou x = 0.

Observe que a unicidade dos elementos 0 e 1 continua valendo, com a mesma demonstra c ao , assim como a unicidade do sim etrico referido em (iv).Vejamos o que pode ser diretamente deduzido destas propriedades. Proposi c ao : Suponhamos que o conjunto Z Z est a munido das opera c oes de adi c ao e multiplica c ao e que tem um subconjunto P , de tal forma que valem as onze propriedades acima. Ent ao : (i)(x) = x x Z Z; (ii)(x)y = (xy ) xy Z Z; (iii)1 P A demonstra c ao e f acil, do n vel das que acabamos de fazer. A opera c ao de subtra c ao e denida por x y = x + (y ) e a divis ao , quando poss vel, por x y = z yz = x. Denimos, para x e y em Z Z , x < y por (y x) P e x y por x < y ou x = y ( e claro que x > y se y < x e x y se y x). Exerc cio: Mostre que x < y, z > 0 xz < yz . Mostre tamb em que x < y, z Z Z x + z < y + z.

Observemos, por em, que o conjunto dos inteiros n ao eou nico, dos nossos con f hecidos, a possuir as propriedades acima. E acil ver que o conjunto dos racionais tamb em as possui. Exerc cio: Mostre que A = n + m 2, n Z Z, m Z Z , com as opera c oes usuais, satisfaz ` as onze propriedades acima. Para caracterizar Z Z , devemos acrescentar alguma propriedade. Uma poss vel escolha e o chamado princ pio da boa ordena c ao : (xii)todo subconjunto n ao vazio de P tem um menor elemento, isto e: se = A P , ent ao existe a A tal que a xx A. Proposi c ao : Se denirmos I N por I N = {0} P e S : I N I N por S (n) = n + 1, ent ao I N satisfaz aos axiomas de Peano.
Demonstra c ao : S e injetiva, pois x + 1 = y + 1 x = (x + 1) 1 = (y + 1) 1 = y .0 = S (n)n I N , pois 0 = n + 1 n = 1. Como 1 P , temos 1 = 0 e 1 / P . Seja agora A I N tal que 0 A e n A S (n) A. Provemos que A = I N . Se X = P \ A, basta provar que X = . Se x = , podemos chamar de m o menor elemento de X . Note que m P e m = 1 (pois 1 = S (0) A). Tudo que temos a provar, agora, e que o menor elemento de P e 1, pois isto nos d a 1 < m e, conseq uentemente, 0 < m 1 P A, o que daria S (m 1) = m A. Ora, se a e o menor elemento de P e a < 1, ter amos aa < a1 = a, o que e imposs vel.

Exerc cio: Seja a um inteiro qualquer e sejam I Na = {n Z Z |n a} , Sa : I Na I Na , Sa (n) = n + 1. Mostre que I Na satisfaz aos axiomas de Peano. Exerc cio: Mostre que A = n + m 2, n Z Z, m Z Z n ao satisfaz ao princ pio da boa ordena c ao . Exerc cio: Suponha que dois far ois eternos piscam com per odos distintos a e b 1 e que ab e irracional. Suponha tamb em que eles acabam de piscar ao mesmo tempo. Mostre que: (i) nunca mais voltar ao a piscar ao mesmo tempo; (ii) para qualquer natural n e para qualquer real > 0, pode-se garantir que piscar ao ambos, daqui a mais de n anos, pelo menos uma vez com uma defasagem menor do que .

Os Racionais
Os racionais, como sabemos, s ao os n umeros da forma

p , pZ Z, q Z Z, q = 0. q Se quisermos cri a-los a partir de Z Z , por em, temos que evitar a ambig uidade. Podemos representar a fra c ao p/q pelo par ordenado (p, q ), mas queremos considerar iguais pares ordenados que, embora diferentes, deveriam representar o mesmo n umero. Esta e uma pr atica comum em Taxonomia, que tem uma deni c ao precisa em matematiqu es erudito. Vamos fazer uma pequena digress ao para apresent a-la. Deni c ao :Uma rela c ao de equival encia em um conjunto X e um subconjunto de X X (vamos usar a nota c ao x y , que se l ex e equivalente a y , no lugar de (x, y ) )4 tal que: (i)x x x X ; (ii)x y y x; (iii)x y, y z x z. O conjunto x = {y X |y x} e chamado de classe de equival encia de x por . Exerc cio: Note que as classes de equival encia determinam uma parti c ao de X : cada elemento de X pertence a uma e somente uma classe de equival encia. O conjunto das classes de equival encia de X por e chamado de espa co quociente (ou, mais carinhosamente, quociente) de X por e notado por X/ . Vamos agora usar este conceito para denir os racionais. Seja Z Z = Z Z \ { 0} e seja, em Z Z Z Z , a rela c ao de equival encia (p, q ) (m, n) pn = mq. Exerc cio: Mostre que esta e, de fato, uma rela c ao de equival encia. Note que (p, q ) (m, n) signica exatamente que p/q = m/n. Deni c ao : O conjunto Q I = Z ZZ Z e chamado de conjunto dos n umeros racionais. Em Q I s ao denidas as opera c oes :
Como no caso das fun c oes , para n ao introduzir um novo conceito, rela c ao, preferimos apresent a-lo em termos de conjuntos: a rela c ao R e denida pelo conjunto dos pares ordenados (x, y ) tais que x est a relacionado a y por R
4

10

 adi c ao : (p, q ) + (m, n) = (np + qm, qn); multiplica c ao : (p, q )(m, n) = (pm, qn). Os racionais positivos s ao denidos como os que pertencem ao conjunto P das classes de equival encia de pares (m, n), com m e n em I N = I N \ { 0}. Exerc cio: Perceba que as deni c oes acima s ao obvias. Mostre que as opera c oes de adi c ao e multiplica c ao est ao bem denidas, isto e, independem dos representantes das classes de equival encia que considerarmos. Exerc cio: Mostre que, sendo Q I , P , a adi c ao e a multiplica c ao denidos como acima, valem as seguintes propriedades: (i) x + (y + z ) = (x + y ) + z para todos x, y e z em Q I; (ii) x + y = y + x para todos x e y em Q I; (iii) existe em Q I um elemento 0 tal que x + 0 = x para todo x em Q I; (iv) para todo x em Q I existe x em Q I tal que x + (x) = 0; (v) x(yz ) = (xy )z para todos x, y e z em Q I; (vi) xy = yx para todos x e y em Q I; (vii) x(y + z ) = (xy ) + (xz ) para todos x, y e z em Q I; (viii) existe em Q I um elemento 1 = 0 tal que 1x = x para todo x em Q I. (ix) para todo x em Q I tal que x = 0 existe x1 em Q I tal que xx1 = 1;5 (x) x + y P para todos x e y em P ; (xi) xy P para todos x e y em P ; (xii) se x Q I , vale uma e uma s o das seguintes: x P , x P ou x = 0. Nota c ao : Se (p, q ) Z Z Z Z , a classe de equival encia (p, q ) ser a notada por (ou por p/q ). Caso q = 1, usaremos tamb em a nota c ao p para (p, q ). Exerc cio: Considere os conjuntos (n, 1), n Z Z e (n, 1), n I N . Note que o primeiro e uma c opia de I N e o segundo uma c opia de Z Z . Mostre que, mesmo
um conjunto munido de duas opera c oes com as propriedades (i) a (ix) acima e dito um corpo
5

p q

11

se n ao soubermos de que e feito Q I , o simples fato de gozar das doze propriedades acima implica na exist encia de tais c opias. Sugest ao : dena : Q I Q I por (x) = x +1 e f : I N Q I por f (0) = 0 (s ao zeros diferentes!) e f (S (n)) = (f (n)); mostre que f e uma bije c ao e tome f (I N) Q I como c opia de I N . Passaremos a designar por I N esta c opia padr ao de I N e por Z Z a c opia padr ao de Z Z. Exerc cio: Note que os racionais n ao s ao caracterizados pelas propriedades acima, j a que os reais, por exemplo, tamb em as possuem. Mostre que A = x + y 2, x Q, I y Q I tamb em satisfaz ` as doze propriedades acima. Para caracterizar Q I , podemos impor uma propriedade a mais: (xiii) se K Q I e K goza das doze propriedades acima, ent ao K = Q I. Exerc cio: Prove que o nosso Q I (que denimos a partir de Z Z ) goza desta propriedade. Prove que se K Q I , basta que K goze das propriedades (i) a (ix), para que se tenha K = Q I. Como de h abito, denimos, para x e y em Q I , x < y por x y P (com as deni c oes habituais para x y, x > y e x y ). Para x em Q I denimos o valor absoluto (tambm dito m odulo) de x, |x|, por x, x > 0 0, x = 0 |x| = x, x < 0. Exerc cio: Sejam x e y n umeros racionais. Mostre que |xy | = |x||y |. Mostre que |x + y | |x| + |y |. Mostre que |x y | ||x| |y ||. Uma propriedade fundamental e obvia, mas que desempenha um papel central (entre outras coisas, por estar na base dos sistemas de numera c ao) e merece ser destacada, e a seguinte: Proposi c ao : Seja a Q, I a = 0. Para cada racional q existe um u nico inteiro n tal que na q < (n + 1)a.
Demonstra c ao : Vamos considerar apenas o caso em que a e q est ao em P (os outros s ao an alogos). Escrevendo a = b/c e q = j/k, com b, c, j e k em I N , queremos achar o menor n I N tal que (n + 1)b/c > j/k. Fazendo as contas no rascunho, isto nos d a (n + 1)bk > jc. Isto signica que devemos tomar n = m 1, onde m e o menor elemento de A = {x I N | x(bk) > jc}. Como todo subconjunto n ao vazio de I N tem um menor elemento (princ pio da boa ordena c ao

12

), a demonstra c ao estar a encerrada se provarmos que A = . Como b e k n ao podem ser nulos, basta mostrar que se d = bk e e = cj s ao naturais, com d = 0, ent ao existe m I N tal que md > e.

Lema: Se d e e s ao naturais, com d > 0, ent ao existe um natural m tal que md > e.
Demonstra c ao : Se n ao existisse tal m, ter amos e xd x I N e, portanto, e xd I N x I N. Seja

C = {e xd, x I N } e seja c0 o menor elemento de C . Temos c0 = e x0 d para um certo x0 I N . Se considerarmos x1 = x0 + 1 e c1 = e x1 d, teremos c1 C e, portanto, c1 c0 . Mas isto signica que e x0 d = c0 c1 = e x1 d = e (x0 + 1)d = e x0 d d = c0 d, o que e um absurdo, j a que d > 0.

Um outro resultado b asico pode servir de exerc cio. Exerc cio: Seja q um racional positivo. Mostre que existem naturais m e n sem fatores comuns e tais que q = m/n, isto e: se m = dj e n = dk , com d, j e k naturais, ent ao d = 1 (m/n e dita uma fra c ao irredut vel).

Os Reais

Se os naturais s ao os n umeros de contar, os reais s ao os n umeros de medir. Em uma primeira aproxima c ao , reduzimos o problema de medir ao de contar da seguinte forma: xamos um segmento u como unidade; dado um outro segmento s, contamos quantas vezes u cabe dentro de s. Como sabemos, nem sempre temos a sorte de existir um natural n tal que s corresponda exatamente a n c opias de u postas lado a lado. Mas sempre podemos dividir u em m partes iguais, bem pequenas, at e que nos pare ca certo que s corresponde a, exatamente, n destas partes. Dizemos ent ao que s corresponde a n/m vezes u. Ou seja: no sistema que tem u por unidade, a medida de s e dada pelo n umero n/m. Mas... a raz ao alcan ca coisas que os olhos n ao conseguem ver. Sabemos, pelo Teorema de Pit agoras, que, sendo s a diagonal de um quadrado e u o lado do mesmo quadrado, o quadrado de lado s tem area igual a duas vezes a do de lado u. Se expressamos s como n/m vezes u, podemos supor que n/m e irredut vel e tal que n2 = 2. m2

13

Mas isto nos d a n2 = 2m2 , o que signica que n2 e par. Como o quadrado de qualquer n umero mpar e mpar (prove!), segue que n e par. Escrevendo n = 2k , temos 2(2k 2 ) = n2 = 2m2 . Da decorre m2 = 2k 2 , o que signica que m2 e par e, por conseguinte, m tamb em e par. Mas m e n n ao poderiam ser ambos m ultiplos 2, pois n/m foi suposta irredut vel. Isto signica que, na verdade, nem sempre e poss vel expressar a medida de um segmento por um n umero racional6 . Assim, os n umeros reais, usados para medir, formam um conjunto mais complicado que o dos racionais. Apenas a partir do s eculo XVII, com a assimila c ao do sistema de numera c ao de posi c ao e sua extens ao para fra c oes decimais, puderam os n umeros reais nalmente ser representados de forma simples. Recordemos brevemente como isto se d a (o leitor est a convidado a desenhar, sobre uma reta, o procedimento). Dados os segmentos s e u, fazemos s0 = s, u0 = u, e tomamos um natural a0 tal que s0 esteja entre a0 u0 e (a0 + 1)u0 (entendido a que a0 u0 s < (a0 + 1)u0 ). Fazemos s1 = s0 a0 u0 , u1 = (1/10)u0 e tomamos a1 natural tal que a1 u1 s1 < (a1 + 1)u1 (note que, necessariamente, 0 a1 9). Mais geralmente, por indu c ao, denidos sn , un e an , fazemos sn+1 = sn an un , un+1 = (1/10)un , e tomamos an+1 natural tal que an+1 sn+1 < (an+1 + 1)un+1 . Exerc cio: Entenda perfeitamente que este procedimento dene indutivamente uma fun c ao a : I N I N (usaremos a nota c ao an para a(n)) tal que para todo n > 0, an est a em {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. A fun c ao a costuma ser representada por a = a0 , a1 a2 a3 a4 . . .. Escrevendo cada um dos n umeros naturais an na base dez, temos a representa c ao decimal do n umero real (vamos igualmente not a-lo por s) que expressa a raz ao entre os comprimentos de s e u. O que acabamos de dizer signica tamb em que, para cada n, o n umero s est a compreendido entre dois racionais, sn e s n , dados por sn = a0 + s n = sn +
6

a1 10

+ .

a2 102

a3 103

+ ... +

an 10n ,

1 10n

em um certo sentido, matematicamente falando, e praticamente imposs vel, dado um segmento s, que sua medida seja dada por um racional

14

Em outras palavras (e avan cando um pouco), podemos dizer que a representa c ao a de s nos d a uma seq u encia (sn ) de n umeros racionais cujo limite e s (usamos tamb em a nota c ao sn s). Estamos t ao habituados a trabalhar com os decimais que costumamos pensar o n umero s como se fosse a pr opria express ao a0 , a1 a2 a3 a4 . . .. Podemos inclusive adotar essa representa c ao como deni c ao para n umero real. Exerc cio: Note que esta deni c ao deve ser acompanhada das deni c oes das operac oes de adi c ao e multiplica c ao, o que pode ser menos simples do que parece. Dada a seq u encia a = a0 , a1 a2 . . ., calcule a1 , ou, mais simplesmente, prove sua exist encia. Por outro lado, em muitas situa c oes relevantes, os n umeros em quest ao s ao dados por seq u encias de racionais que n ao s ao do modelo acima. Um bom exemplo e dado por s= 1 1 1 1 = 1 + 2 + 2 + 2 + .... 2 n 2 3 4 n=1

Neste caso, s e naturalmente aproximado pela seq u encia (sn ) dada por sn = 1 1 1 1 1 = 1 + 2 + 2 + 2 + ... + 2. 2 k 2 3 4 n k=1
n

Um outro exemplo interessante e dado pelo n umero . A forma mais natural de se obter e inscrever e circunscrever sucessivamente no c rculo unit ario pol gonos regulares com um n umero crescente de lados, aproximando cuidadosamente por racionais os semiper metros de cada um deles. Este processo foi descrito por Arquimedes h a mais de 2000 anos, muito antes da cria c ao de nosso sistema de base 10.7 Exerc cio: Dena a seq u encia (xn ) por um x0 qualquer racional positivo e xn+1 = 1 2 e uma forma simples de criar uma seq u encia de racionais apro2 (xn + xn ). Esta ximando o n umero 2 (que sabemos n ao ser racional). Entenda isto. Uma das maneiras mais concretas de denir o n umero e e dada por e=1+1+
1 1 1 1 1 + + + + ... = , 2 3! 4! 5! n! n=0

o que equivale a caracteriz a-lo por meio da seq u encia de n umeros racionais
a primeira prova de que e, de fato, um n umero irracional foi dada em 1770 por Lambert
7

15

en =

1 . k ! k=0

Um u ltimo e crucial exemplo: consideremos um inocente n umero racional, digamos 1/7. Sua expans ao decimal nos d a 1/7=0,142857142857.... Como bem sabemos, isto dar a uma seq u encia (sn ) tal que sn+1 = sn n I N . No entanto o mesmo n umero 1/7, quando representado na base 7, se escreve 1/7=0,1. A correspondente seq u encia (sn ) e dada por s0 = 0 e sn = 1/7 n > 0. Isto e mais que um exemplo: a menos que queiramos atrelar a deni c ao de n umero real ` a base do sistema de numera c ao , e mais conveniente aceitar que cada real e caracterizado n ao por uma, mas por uma innidade de seq u encias claro que ainda estamos longe de dar, com (diferentes) de n umeros racionais. E isto, uma deni c ao precisa do conjunto dos n umeros reais, mas j a podemos tra car uma estrat egia. Estrat egia: (i)consideraremos equivalentes as seq u encias de racionais que denem o mesmo n umero real; isto deve estabelecer uma rela c ao de equival encia entre seq u encias de racionais; (ii)um n umero real deve ser denido, a exemplo do que zemos com os racionais, como uma classe de equival encia de seq u encias de racionais. Para que isto d e resultado, por em, precisamos de uma deni c ao de limite e, principalmente, de um crit erio que nos permita decidir, sem exibir esse limite, se uma seq u encia tem ou n ao limite. Exerc cio: Pare e pense profundamente. Se vamos denir os n umeros reais a partir das seq u encias de racionais que para eles convergem, n ao podemos fazer coisas como: a seq u encia en = n 1 /k ! dene o n u mero e porque converge para e - isto k=0 seria usar um n umero que ainda n ao existe na sua pr opria deni c ao . Exerc cio: Pense em um caso conhecido: quando provamos que existe a soma innita e = e provar que a seq u encia en = n e k=0 1/k !, o que fazemos k=0 1/k ! crescente e que en < 3 n I N . Assim, implicitamente, aplicamos um crit erio que garante que aquela seq u encia tem um limite sem ter que exibi-lo a priori. Ao contr ario, uma vez provada a exist encia do limite, este e batizado com o nome e.

16

Limites de Seq u encias

Seja (an ) uma seq u encia de n umeros racionais e a um n umero racional. Dizemos que (an ) converge para a, com a nota c ao
n

lim an = a,

se, por melhor que enxerguemos, a partir de um certo ponto vemos an = a. A express ao por melhor que enxerguemos deve ser entendida da seguinte maneira: nossa capacidade de disting uir dois pontos ser a dada por um n umero (racional) positivo , de forma que veremos como iguais dois pontos que distem menos do que um do outro; tal deve poder ser tomado t ao pequeno quanto se queira (para signicar por melhor que enxerguemos ). Em termos mais precisos, devemos ser capazes de, xado um positivo qualquer, encontrar um n0 a partir do qual a dist ancia entre an e a (medida por |an a|) ser a sempre inferior a . Mais concisamente, temos a Deni c ao: O limite da seq u encia (an ) e o n umero a (nota c ao : limn an = a, ou an a) se > 0 n0 I N | n > n0 |an a| < . Se n ao quisermos citar explicitamente o limite a, diremos simplesmente que (an ) converge (ou que e convergente). Exerc cio: Pense meia hora sobre a deni c ao acima. Deni c ao: Diremos que limn an = se M Q I n0 I N | n > n0 an > M (a deni c ao de limn an = e an aloga).
k Exerc cio: Seja q um racional, com |q | < 1. Mostre que q n 0. Seja an = n k=0 q . 0 Mostre que (an ) converge para 1/(1 q ) (estamos pondo, por deni c ao, 0 = 1).

Temos agora que demonstrar os resultados obvios sobre limites. Cada uma das proposi c oes deste cap tulo e fundamental. O leitor deve procurar demonstrar cada uma delas por si pr oprio, sem ler as demonstra c oes do texto (que est ao em letras mi udas de prop osito). Se, ap os um m nimo de duas horas de esfor co (para cada uma), n ao tiver conseguido, pode dar uma primeira lida para pegar a id eia. Mas

17

n ao deve se dar por satisfeito enquanto n ao conseguir faz e-las sozinho, acreditar nelas e se sentir capaz de convencer outras pessoas de sua veracidade. Proposi c ao : Uma seq u encia n ao pode ter mais de um limite.
Demonstra c ao : Suponhamos que an a e an b, com a = b. Vamos usar o princ pio escolhendo tal que n ao seja poss vel estar simultaneamente a uma dist ancia menor que de a = |b a|/2.Como an a, podemos tomar n1 tal que n > n1 |an a| < . Da mesma forma, tal que n > n2 |an a| < .Dados tais n1 e n2 , seja n0 o maior dos dois. teremos ent ao , para n e |an b| < . Mas isto nos d a |b a| = |(b an ) + (an a)| |b an | + |an a| < + = 2 = |b a|, o que e absurdo. do cobertor curto, e de b. Tomemos podemos tomar n2 > n0 , |an a| <

Proposi c ao : Sejam (an ) e (bn ) seq u encias e a e b n umeros racionais tais que an a e bn b. Ent ao : (i)(an + bn ) (a + b); (ii)(an bn ) (ab); (iii) se a = 0, ent ao existe m tal que n > m an = 0; neste caso, considerando apenas n > m, temos (1/an ) (1/a).
Demonstra c ao : Queremos, em cada caso, mostrar que, dado > 0, existe n0 tal que a diferen ca entre o valor da seq u encia e o limite proposto e, em m odulo, inferior a . Vejamos cada item: (i)Dado > 0, sejam n1 e n2 tais que n > n1 |an a| < /2 e n > n2 |bn b| < /2. Seja n0 o maior dentre n1 e n2 . Se n > n0 , teremos n > n1 e n > n2 , de forma que |(an + bn ) (a + b)| = |(an a) + (bn b)| |an a| + |bn b| < /2 + /2 = . (ii)Escrevendo n = an a e n = bn b, temos |an bn ab| = |bn + an + n n | |bn | + |an | + |n n |. Seria agora conveniente achar n0 tal que, para n > n0 , cada uma das tr es parcelas ` a direita fosse inferior a /3. Para controlar a primeira, podemos pensar em n1 tal que n > n1 |n | < 3|b| .

Mas, como n ao podemos jurar que b = 0, e melhor tomar n1 tal que n > n1 |n | < Da mesma forma, tomemos n2 tal que n > n2 |n | < 3(|a| + 1) . 3(|b| + 1) .

Poder amos quase jurar que, nestas condi c oes |n n | est a sob controle: anal, estamos com |n | < 3(|b| + 1) 3 , |n | < 3(|a| + 1) 3 .

Na verdade, se n ao for pequeno, podemos ter /3 > 1. Para evitar tal inconveniente, podemos impor uma condi c ao a mais anossos n (poderia, e claro, ser com os n ): tomamos n3 tal que n > n3 |n | < 1. Agora basta tomar para n0 o maior dentre n1 , n2 e n3 . (iii)Comecemos provando que, sendo a = 0, temos an = 0 para n sucientemente grande. Usando o princ pio do cobertor curto, tomamos m tal que n > m |an a| < |a|/2. temos ent ao , se n > m,

18

|an | = |(an a) + a| ||a| |an a|| = |a| |an a| > |a|

|a| 2

|a| 2

> 0.

Seja agora > 0. Queremos, j a supondo n > m, obter |(1/an ) 1/a)| < . Mas 1 an 1 a = a an aan = 1 |aan | |an a|,

Como j a estamos com |an | > |a|/2, podemos assegurar que 1/|aan | < 2/|a|2 . Logo, para n > m, temos 1 an 1 a < 2 |a|2 |an a|.

Se conseguirmos fazer com que |an a| seja inferior a |a|2 /2, teremos a vit oria. Ora, como an a, basta tomar n1 tal que isto aconte ca para n > n1 (note que |a|2 /2 e positivo). Agora e s o fazer n0 igual ao maior dentre m e n1 .

Exerc cio: Seja c um racional xo e seja (bn ) dada por bn = cn I N . Mostre que bn c. Conclua que, se an a, ent ao can ca; em particular, (an ) (a). Mostre que an a, bn b (an bn ) (a b). Mostre que, se a = 0 an a, bn b, ent ao existe m tal que an = 0 para n > m e que, para n > m, se tem bn /an b/a. Exerc cio: Sejam (an ) e (bn ) seq u encias de racionais tais que an 0 e existe c Q I tal que |bn | < cn I N . Mostre que an bn 0. Exerc cio: Seja (an ) uma seq u encia tal que (an ) n ao converge para zero. Mostre que existem > 0 e n0 I N tais que |an | > n > n0 . Os resultados acima s ao , certamente, importantes e u teis. Mas temos um problema: as seq u encias de racionais que usamos para denir n umeros irracionais n ao t em, com certeza, limite em Q I . Por outro lado, nem toda seq u encia que n ao tem limite em Q I dene, de fato, um n umero real. Exerc cio: Sejam (an ), (bn ) e (cn ) as seq u encias de racionais dadas por an = (1)n , bn = n, cn = p/q , com p e q naturais n ao nulos e tais que (p + q 1)(p + q 2)/2 + q = n. Mostre que nenhuma das tr es e digna de convergir (a terceira cont em um pequeno enigma e e um tanto mais dif cil que as outras duas). Isto nos coloca duas quest oes : Como disting uir, dentre as seq u encias de racionais, aquelas que denem, de fato, um n umero real? Como decidir se duas seq u encias distintas denem um mesmo n umero real?

A segunda quest ao tem uma resposta simples: duas seq u encias (an ) e (bn ) que convergem para o mesmo n umero s ao tais que (an bn ) converge para zero. Isto

19

 e otimo, j a que, para decidir se an bn 0, n ao precisamos saber para que valor convergem (an ) e (bn ) ! A primeira quest ao , por em, e mais delicada: precisamos de um crit erio que nos permita dizer que uma seq u encia tem limite, sem ter que exibir tal limite.8 Uma resposta pode ser dada pela seguinte observa c ao : se uma seq u encia (an ) converge para a, os an , ao se aproximarem de a, t em que se aproximar uns dos outros. Ou seja, a partir de um certo ponto, por melhor que enxerguemos, vemos todos os an como se fossem iguais. Podemos dizer que este comportamento independe, na verdade, de a ser racional ou irracional. Ora, isto quer dizer que, dado qualquer positivo (para marcar o qu ao bem enxergamos), teremos um n0 tal que, para n e m maiores que n0 , a dist ancia entre an e am , dada por |an am |, e inferior a .

Seq u encias de Cauchy

Deni c ao: Uma seq u encia (an ) e dita de Cauchy se > 0 n0 I N | n, m > n0 |an am | < . Proposi c ao: Toda seq u encia convergente e de Cauchy.
Demonstra c ao: Suponhamos que an a e seja > 0 dado. Basta tomar n0 tal que n > n0 |an a| < /2. Temos ent ao , se n > n0 e m > n0 ,
+ = . |an am | = |an a + a am | = |(an a) + (a am )| |an a| + |a am | < 2 2

Exerc cio: Veja se est a claro para voc e que o resultado acima deve ser verdadeiro tamb em quando a for um n umero real. Mais ainda: veja se, dentro do que acredita que sejam os reais, e razo avel crer que as deni c oes e proposi c oes sobre limites que at e agora discutimos devem continuar verdadeiras em I R.
Temos que fugir ` a tenta c ao de dizer, por exemplo, que an = k=0 1/n! e bn = (1 + 1/n)n t em o mesmo limite porque ambas convergem para e: no atual est agio, estamos tentando denir os n umeros reais (dentre eles o n umero e); desta forma, se nos limitamos aos racionais, nem (an ) nem (bn ) t em limite
8 n

20

Exerc cio: Mostre que, sendo (an ) uma seq u encia de Cauchy, existe M tal que |an | < M n I N . Sugest ao : tome n0 tal que |an am | < 1 n, m > n0 e fa ca M igual ao maior dentre |a0 |, |a1 |, . . . , |an0 | e |an0 +1 | + 1. Exerc cio: Seja (an ) dada por a0 = 2 e an+1 = an /2 + 1/an . Mostre que (an ) e de Cauchy, mas n ao existe a em Q I tal que an a (aten c ao, n ao vale roubar: supor que existe o limite e depois provar que este e 2 foge ` as regras, j a que 2, para n os, ainda n ao existe; vai ser preciso provar diretamente que (an ) e de Cauchy). Exerc cio: Seja (an ) uma seq u encia de naturais tal que an {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} k para todo n > 1 e seja (sn ) dada por sn = n e de k=0 ak /10 . Mostre que (sn ) Cauchy. Pelo que acabamos de ver, as seq u encias de Cauchy podem ser chamadas de potencialmente convergentes: se uma seq u encia de Cauchy de racionais n ao tem limite em Q I , ent ao e por que seu limite e um n umero real. Mas, como os n umeros reais ainda n ao foram formalmente denidos, esta armativa ainda n ao faz sentido. A consagrada representa c ao de n umero real, dada por objetos do tipo a0 , a1 a2 a3 . . ., com a0 I N e an {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} n > 0,9 nos indica que pensamos um n umero real como um tipo particular de seq u encia de Cauchy de racionais. Nosso prop osito, agora, e radicalizar esta id eia, denindo um n umero real por uma seq u encia de Cauchy (qualquer) de racionais. Para tornar equivalentes seq u encias de Cauchy com o mesmo limite, vamos criar um monstro que, felizmente, ter a vida provis oria. Seja R o conjunto de todas as seq u encias de Cauchy de n umeros racionais. Denamos em R a seguinte rela c ao, dada por : (an ) (bn ) lim (an bn ) = 0.
n

Exerc cio: Mostre que e uma rela c ao de equival encia. Deni c ao : Um n umero real e uma classe de equival encia de R pela rela c ao acima. O conjunto dos n umeros reais e designado por I R. Se o n umero real x corresponde ` a seq u encia (an ), diremos que x e representado, ou denido, por (an ). Exerc cio: Mostre que, se (an ) e de Cauchy e (bn an ) 0, ent ao (bn ) tamb em e de Cauchy (sugest ao : fa ca |bn bm | = |(bn an ) + (an am ) + (am bm )| |bn an | + |an am | + |am bm |).
9

As correspondentes seq u encias de racionais s ao dadas por qn =

n k=0

ak /10k

21

Exerc cio: Mostre que, se q e um racional e (an ) e uma seq u encia de Cauchy, ent ao ou bem an q , ou bem existe n0 I N tal que, para n > n0 , todos os an est ao do mesmo lado de q (todos acima ou todos abaixo). Para garantir que o monstro n ao e t ao mau quanto parece, temos um teorema a demonstrar. Teorema: Seja b um natural, com b > 1. Para toda seq u encia de Cauchy (an ) de racionais, existe uma seq u encia de Cauchy (qn ) tal que (qn ) (an ), com (qn ) de uma das seguintes formas:

qn = 0 ; qn = bk ; bk k=0 bk , bk k=0
n n

qn =

com b0 I N , e bn { m I N | m < b} n I N .
Demonstra c ao: Fixemos o b e seja (an ) nossa seq u encia . Se an 0, estamos no caso qn = 0n I N . Podemos ent ao supor que (an ) n ao converge para 0. Observemos agora o seguinte: se a seq u encia de Cauchy (an ) n ao converge para q , ent ao existe no tal que an > q n > no ou an < q n > no (vamos usar reiteradamente esta id eia). Basta ent ao considerar o caso em que an > 0 para n sucientemente grande. Consideremos os n umeros da forma
m

q=
k=0

bk bk

, b0 I N, bk {m I N | m < b} k m.

Se (an ) converge para algum destes n umeros, ent ao (an ) (qn ), com
n

qn =
k=0

bk bk

entendido que bk = 0 se k > m. Podemos ent ao supor que (an ) n ao converge para nenhum dos n umeros q como acima. Usando a base b para representar os naturais, e f acil ver que os racionais acima referidos s ao os n umeros da forma q=p 1 bm , pI N , mI N.

Como (an ), sendo de Cauchy, e limitada superiormente por algum M , temos que, para cada n em I N , existe um natural pn tal que, a partir de um certo no , todos os am se ao tais que pn bn Basta ent ao fazer qn = pn /bn . < am < pn + 1 bn .

Exerc cio: Preencha os detalhes obscuros da demonstra c ao. Entenda que o teorema acima signica que, xada uma base b para o sistema de numera c ao , todo n umero real tem uma representa c ao na base b. Esta representa c ao eu nica? Se n ao e, quais

22

s ao os n umeros que t em mais de uma e quantas representa c oes , no m aximo, pode um n umero ter? Denido e entendido o que e um n umero real, cam ainda por denir as opera c oes e a ordem em I R. Esta e nossa pr oxima ocupa c ao . Deni c ao : Sejam a e b os n umeros reais representados, respectivamente, pelas seq u encias de Cauchy (an ) e (bn ). Ent ao sua soma, a + b, e seu produto, ab, s ao os n umeros reais denidos, respectivamente, pelas seq u encias de Cauchy (an + bn ) e (an bn ). A deni c ao acima depende, e claro, da demonstra c ao de algumas coisas: devemos poder garantir que as seq u encias (an + bn ) e (an bn ) s ao , de fato, de Cauchy e, mais ainda, que os n umeros reais por elas denidos n ao mudariam se troc assemos (an ) e (bn ) por seq u encias equivalentes. Proposi c ao : Sejam (an ) e (bn ) seq u encias de Cauchy em Q I . Ent ao : (an + bn ) e (an bn ) s ao seq u encias de Cauchy; se ( an ) (an ) e ( bn ) (bn ), ent ao ( an + bn ) (an + bn ) e ( an bn ) (an bn ).
Demonstra c ao : Para provar que (an + bn ) e (an bn ) s ao de Cauchy, xemos > 0. Tomando n1 tal que n, m > n1 |an am | < /2 e n2 tal que n, m > n2 |bn bm | < /2, temos que, se m, n > no = n1 + n2 , ent ao m, n > n1 e m, n > n2 ; logo, |(an + bn ) (am + bm )| = |(an am )+(bn bm )| |an am | + |bn bm | < /2+ /2 = , o que prova que (an + bn ) e de Cauchy. Por outro lado, escrevendo |an bn am bm | = |an(bn bm ) + bm (an am )| |an ||bn bm | + |bm ||an am |, podemos tomar n3 , n4 , M1 e M2 tais que: |an | < M1 n I N; |bm | < M2 m I N; m, n > n3 |bn bm | < /2M1 ; m, n > n4 |an am | < /2M2 . Ent ao , se m, n > no = max {n3 , n4 , n5 , n6 }, temos |an bn am bm | < , o que mostra que (an bn ) e de Cauchy. Para provar a segunda parte, basta notar que se (an a n ) 0 e (bn bn ) 0, ent ao : (an + bn a n bn ) = (an a n ) + (bn bn ) 0; (an bn a n bn ) = an (bn b n ) 0 (note que (an ) e ( bn ), sendo de Cauchy, s ao limitadas). n ) + bn (an a

As opera c oes acima denidas fazem de I R um corpo, isto e, satisfazem ` as seguintes propriedades: (i) x + (y + z ) = (x + y ) + z para todos x, y e z em I R; (ii) x + y = y + x para todos x e y em I R;

23

 (iii) existe em I R um elemento 0 tal que x + 0 = x para todo x em I R; (iv) para todo x em I R existe x em I R tal que x + (x) = 0; (v) x(yz ) = (xy )z para todos x, y e z em I R; (vi) xy = yx para todos x e y em I R; (vii) x(y + z ) = (xy ) + (xz ) para todos x, y e z em I R; (viii) existe em I R um elemento 1 = 0 tal que 1x = x para todo x em I R. (ix) para todo x em I R tal que x = 0 existe x1 em I R tal que xx1 = 1.

Das onze propriedades acima (que o leitor deve ser capaz de demonstrar sozinho), provaremos a (ix), que e um pouco mais dif cil que as demais.
Demonstra c ao de (xi): O n umero real 0 corresponde ` as seq u encias de racionais que convergem para 0. Assim, se xI R e x = 0, podemos tomar uma seq u encia qualquer (an ) representando x e, como (an ) n ao converge para 0, garantir que existe um m1 I N tal que an = 0 n > m1 (mais ainda: como (an ) e de Cauchy, existem um Q I e um m2 I N 1 tais que |an | > > 0 n > m2 ). Podemos ent ao denir x pela seq u encia (bn ) dada por bn = 1/an , n > m1 , 0, n m1 .

Devemos provar que (bn ) e de Cauchy. Sendo m1 , m2 e como acima, temos para n e m maiores que m1 e que m2 , |bn bm | = 1 an 1 am = |am an | |an am | < 1 2 |an am |.

Supondo dado > 0, podemos tomar m3 I N tal que n, m > m3 |a m an | < 2 e fazer no = max {m1 , m2 , m3 }. Ent ao , para n, m > no , temos bn bm | < . imediato que, para x1 assim denido, temos xx1 = 1 (onde o n E umero real 1 e denido pela seq u encia (1n ) dada por 1n = 1 n I N ). Para fechar a demonstra c ao , devemos provar que o x1 que obtivemos independe do processo que utilizamos. A prova e puramente alg ebrica. Se, por um outro processo qualquer (usando outra seq u encia para representar x, por exemplo), obtiv essemos um x tal que xx = 1, ter amos: x =x 1 = x (xx
1

) = ( xx)x

= (xx )x

= 1x

=x

Exerc cio: Note que existe, dentro de I R, uma c opia de Q I , dada pelas seq u encias constantes (isto e, o n umero racional q tem em I R um clone, dado pela seq u encia (qn ), qn = q n I N ). Para denir a ordem em I R, basta que digamos quais s ao os n umeros positivos. Exerc cio: Seja (an ) a seq u encia denida por an = 1/(n + 1). Note que: an > 0 n I N; an 0.

24

O exerc cio acima nos mostra que, para denir o conjunto P dos reais positivos, n ao e uma boa id eia incluir todos os que podem ser representados por seq u encias de Cauchy (an ) com an > 0 n I N , pois isto resultaria em fazer de 0 um n umero positivo. Por outro lado, a exig encia de que an > 0 n I N pode ser excessiva. Exerc cio: Seja (bn ) a seq u encia dada por bn = 1, n 1989, 1, n > 1989.

Note que (bn ) e de Cauchy, os bn n ao s ao todos positivos, mas (bn ) certamente corresponde a um real positivo. Poder amos dizer, ent ao , que os reais positivos s ao os representados por seq u encias de Cauchy (an ) de racionais para cada uma das quais existe m I N tal que an > 0 n > m e tais que (an ) n ao converge para 0. Vamos, por em, adotar uma outra deni c ao (que o leitor est a convidado a provar ser equivalente). Deni c ao: Um n umero real x e dito positivo se pode ser representado por uma seq u encia de Cauchy (an ) de racionais tal que existem um racional e um natural m com an > n > m. Designaremos por P o conjunto dos reais positivos. Dados x e y em I R, diremos que x e maior que y quando (x y ) P (nota c ao : x > y ). As deni c oes para , < e s ao as usuais. Como de h abito, devemos provar que a deni c ao n ao depende da seq u encia (an ) escolhida para representar x. Vamos incluir a demonstra c ao no lema abaixo. Lema: Se x e um real positivo, ent ao existe um racional q tal que 0 < q < x (estamos identicando q com o real dado pela seq u encia constante e igual a q ).
Demonstra c ao : Sejam (an ) uma seq u encia representando x, racional positivo e m natural tais que an > n > m. Se (bn ) e uma outra seq u encia representando x, temos an bn 0, de forma que podemos tomar m1 tal que n > m1 |an bn | < /2. Da segue, para n acima de m e de m1 , bn = an + (bn an ) an |bn an | > 2 = 2 .

Isto mostra que, para toda seq u encia (bn ) representando x, existe no tal que bn > /2 n > no . Fazendo q = /4, temos tamb em bn q > /4 n > no , o que mostra que, identicando q com a correspondente seq u encia constante, temos x > q > 0, como prometido.

Podemos agora garantir que o conjunto P dos reais positivos satisfaz ` as propriedades: (x) x + y P para todos x e y em P ;

25

 (xi) xy P para todos x e y em P ; (xii) se x I R, vale uma e uma s o das seguintes: x P , x P ou x = 0.

Obviamente, as doze propriedades que acabamos de enunciar, sendo comuns a I Rea Q I , n ao s ao sucientes para caracterizar o conjunto dos n umeros reais. Mas j a podemos, com elas, falar em m odulo (ou norma) de um n umero real e denir limite (em I R) de uma seq u encia de n umeros reais. Deni c ao: Dado um n umero real x, seu valor absoluto (tamb em dito m odulo, ou norma), e o elemento de P dado por

|x| =

x, se x P ; 0, se x = 0; x, se x P.

Exerc cio: Prove as tradicionais propriedades do valor absoluto. N ao esque ca a desigualdade triangular: |x + y | |x| + |y | x, y I R. Prove tamb em que |x a| < a < x < a + . Deni c ao : Uma seq u encia (xn ) de n umeros reais converge para o n umero real x se > 0 n0 I N | n > n0 |xn x| < . Diremos, neste caso, que x e o limite de xn (quando n tende a innito) e usaremos, indiferentemente, as nota c oes xn x, limn xn = x ou lim xn = x. Valem, obviamente, e com as mesmas demonstra c oes , as mesmas propriedades que j a provamos para seq u encias de racionais (inclusive as deni c oes e propriedades de seq u encias de Cauchy). Deni c ao: Uma seq u encia (xn ) de n umeros reais e dita de Cauchy se > 0 n0 I N | n, m > n0 |xn xm | < . Como j a vimos, existem seq u encias de Cauchy de n umeros racionais que n ao convergem para qualquer elemento de Q I . Este foi, na verdade, o ponto de partida e a motiva c ao para nossa constru c ao de I R. Conclu da a (laboriosa) constru c ao, e chegada a hora de demonstrarmos o aguardado teorema garantindo que todo real e limite de uma seq u encia de racionais e que toda seq u encia de Cauchy de

26

racionais tem limite em I R. Na verdade, provaremos um pouco mais, j a que podemos trabalhar tamb em, agora, com seq u encias de Cauchy de n umeros reais. Estas considera c oes fazem sentido, e claro, por estarmos identicando cada racional q ao real denido pela seq u encia constante (qn ), qn = q n I N. Teorema: O conjunto dos n umeros reais tem as seguintes propriedades: todo n umero real e limite de uma seq u encia de n umeros racionais; toda seq u encia de Cauchy de n umeros reais converge para um n umero real.
Demonstra c ao : Seja x um n umero real e seja (an ) uma seq u encia de racionais que representa x. Vamos mostrar que a seq u encia (qn ) de reais dada pelos pr oprios an converge para x (note que cada qm e denido pela seq u encia constante (qmn ) dada por qmn = am ). Seja, pois, dado um n umero real positivo (note que deve ser dado, tamb em, por uma seq u encia (n ) de racionais). Podemos ent ao tomar um racional , positivo, e um n1 I N tais que n > n1 0 < < n . Como (an ) e de Cauchy, podemos tomar n2 I N tal que n, m > n2 |an am | < /2. Isto nos d a, sendo qmn = am n I N, |an qmn | < /2 m, n > n2 . Seja ent ao n0 = max {n1 , n2 }. Fixado m > n0 , temos, para n > n0 , n |an qmn | > /2. Mas isto signica que |x qm | < m > n0 , o que prova que todo real e limite de uma seq u encia de racionais e, ao mesmo tempo, que toda seq u encia de Cauchy de racionais converge para o real por ela denido. Seja agora (xn ) uma seq u encia de Cauchy em I R e seja, para cada n I N , qn um racional tal que |qn xn | < 1/n (acabamos de provar que tal qn existe, j a que xn e limite de uma seq u encia de racionais). Como (xn ) e de Cauchy, (qn ) tamb em e. De fato, se e um real positivo, podemos, tomando n1 I N tal que n, m > n1 |xn xm | < /3 e n2 I N tal que n > n2 1/n < /3, concluir que n, m > n0 = max {n1 , n2 } |qn qm | = |qn xn | + |xn xm | + |xm qm | < 1/n + /3 + 1/m < . Ora, sendo (qn ) uma seq u encia de Cauchy de racionais, existe um real x tal que qn x. Mas isto equivale a (qn x) 0. Como, por outro lado, temos (xn qn ) 0, segue (xn x) 0, o que prova a converg encia de (xn ).

Corol ario: Entre dois reais distintos existe sempre um racional.

Demonstra c ao : Sejam x e y reais, com x = y . Suponhamos, para simplicar, que y > x. Como y x > 0, podemos tomar racionais a e b com |x a| < (y x)/2 e |y b| < (y x)/2. Seja q = (a + b)/2. Temos ent ao , como

a (y x)/2 < x < a + (y x)/2, que x (y x)/2 < a < (x + y )/2. Analogamente, temos (x + y )/2 < b < y + (y x)/2. Somando as desigualdades, temos 2x < a + b < 2y .

Exerc cio: Mostre que entre dois reais distintos existe sempre um irracional. Su gest ao : comece provando a exist encia de um irracional positivo u ( 2, por exemplo). Tendo constru do o conjunto dos n umeros reais e provado suas propriedades fundamentais, podemos agora, sem remorso, esquecer as classes de equival encia de seq u encias de Cauchy de racionais. Podemos simplesmente trabalhar com os reais a partir de suas propriedades, sem estarmos a lembrar, a cada instante, de que material s ao feitos.

27

Propriedades caracter sticas de I R

Come caremos de novo, agora a partir de I R, cujas propriedades fundamentais listamos a seguir. O conjunto I R dos n umeros reais e dotado de duas opera c oes , ditas de adi c ao ((x, y ) x + y ) e de multiplica c ao ((x, y ) xy ), al em de um subconjunto P (dos positivos), de forma que valem as seguintes propriedades: (i) x + (y + z ) = (x + y ) + z para todos x, y e z em I R; (ii) x + y = y + x para todos x e y em I R; (iii) existe em I R um elemento 0 tal que x + 0 = x para todo x em I R; (iv) para todo x em I R existe x em I R tal que x + (x) = 0; (v) x(yz ) = (xy )z para todos x, y e z em I R; (vi) xy = yx para todos x e y em I R; (vii) x(y + z ) = (xy ) + (xz ) para todos x, y e z em I R; (viii) existe em I R um elemento 1 = 0 tal que 1x = x para todo x em I R. (ix) para todo x em I R tal que x = 0 existe x1 em I R tal que xx1 = 1. (x) x + y P para todos x e y em P ; (xi) xy P para todos x e y em P ; (xii) se x I R, vale uma e uma s o das seguintes: x P , x P ou x = 0; (xiii) se (xn ) e uma seq u encia de Cauchy em I R, ent ao existe x em I R tal que xn x. Como j a vimos, I R cont em uma c opia de Q I (que ser a, doravante, identicada ao original), o mesmo acontecendo com Z ZeI N . Vamos aproveitar as propriedades de I N, Z Z eQ I j a demonstradas, mas poder amos tentar partir dos axiomas acima e reconstruir tudo. Neste caso, ainda falta uma propriedade para caracterizar I R. De fato, usamos fortemente o fato (aparentemente obvio) de que a seq u encia (1/(n +1) converge para 0. Isto equivale ` a seguinte propriedade, dita propriedade arquimediana:

28

 (xiv) para todo x em I R e para todo em P existe n em I N tal que n > x. No enunciado da propriedade arquimediana, usamos, e claro, conceitos que n ao foram denidos neste cap tulo, mas que podem ser recriados: a > b signica (a + (b)) P e I N e o menor subconjunto de I R contendo {0, 1} e fechado para a adi c ao (isto e, ao qual pertence a soma de quaisquer dois de seus elementos). De qualquer forma, se tiv essemos que come car nosso estudo dos n umeros pelos reais, seria desagrad avel partir de axiomas como os acima, que fazem refer encia aos naturais e ao conceito de limite. Por este motivo, e usual, quando se tomam os reais como ponto de partida, substituir as propriedades (xiii) e (xiv) por uma outra, conceitualmente mais simples, dita propriedade do supremo. Um intervalo em I R (poderia tamb em ser em Q I, Z Z ou mesmo em I N) e um subconjunto I de I R tal que x, y I, x < z < y z I (onde a rela c ao x < y e denida, como de h abito, por (y x) P , assim como x y sss x < y ou x = y e x y sss x > y ou x = y ). Se I = {x I R | a x b}, I e notado [a, b]; se I = {x I R | a < x b }, I e notado ]a, b], com deni c oes an alogas para [a, b[ e ]a, b[. A propriedade do supremo arma, simplesmente, que intervalos limitados possuem extremidades. Sejamos mais precisos. Propriedade do Supremo: Se = A I ReA e limitado superiormente, isto e, M I R | M a a A, ent ao existe s em I R, dito o supremo de A, tal que: s a a A; r a a A r s.
Demonstra c ao : Note, inicialmente, que I = {r I R | r a a A} e um intervalo (um elemento de I e dito uma cota superior de A). Mais: se r1 I e r2 > r1 ent ao necessariamente r2 I . Sejam agora a0 um elemento de A e b0 = M . Vamos denir, indutivamente duas seq u encias , (an ) e (bn ), da seguinte forma: fazemos cn = (an + bn )/2 e an+1 = Basta agora notar que: bn I n I N; nI N n A | an n ; an < bm n, m I N; bn an = (M a0 )/2n n I N. an , cn I cn , c n / I bn+1 = cn , c n I bn , cn / I

29

Da segue que (an ) e (bn ) s ao seq u encias de Cauchy, convergindo ambas para o mesmo limite s. Vamos mostrar que s e o supremo de A. Primeiramente, n ao pode haver a A com a > s, pois, neste caso, haveria necessariamente n I N tal que bn < a, o que e imposs vel. Por outro lado, se existisse r tal que r I e r < s, haveria n I N tal que r < an e, portanto, um n A com r < n , o que tamb em n ao d a.

Um argumento central na demonstra c ao acima tem at e nome ( e uma propriedade explorada por Cantor). Propriedade dos Intervalos Encaixantes: Se a seq u encia de intervalos fechados ([an , bn ] e tal que [an+1 , bn+1 ] [an , bn ] n I N, lim (bn an ) = 0, ent ao existe um u nico n umero real c tal que c [an , bn ] n I N.
Demonstra c ao : Basta notar que tanto (an ) como (bn ) s ao de Cauchy (uma crescente e a outra decrescente) e t em o mesmo limite.

Uma seq u encia (an ) tal que an+1 an n I N e dita mon otona decrescente (ou, simplesmente, decrescente). Se an+1 < an n I N , (an ) e dita estritamente decrescente, deni c oes an alogas valendo para seq u encias crescentes. Se n ao quisermos especicar crescente ou decrescente, dizemos apenas mon otona. Exerc cio: Mostre que, se (an ) e decrescente e converge para a, ent ao a an n I N. Uma outra propriedade, talvez um pouco menos evidente, diz respeito ` a possibilidade de extrairmos, de uma seq u encia de reais (em princ pio n ao convergente) uma subseq u encia convergente. Uma subseq u encia da seq u encia (an ) e obtida jogando fora alguns dos an e considerando a seq u encia dos que sobram (podemos at e jogar fora innitos an , desde que tamb em sobrem innitos). Deni c ao : (ank ) e dita uma subseq u encia de (an ) se a aplica c ao k nk , k I N e uma fun c ao estritamente crescente de I N em I N (note que, neste caso, a aplica c ao k ank dene uma nova seq u encia ). Propriedade de Bolzano-Weierstrass: Se (xn ) e uma seq u encia limitada de n umeros reais, ent ao (xn ) tem uma subseq u encia convergente.

30

Demonstra c ao : (xn ) ser limitada signica que existem reais a e b tais que xn [a, b] n I N.

Fa camos ent ao

a0 = a, b0 = b, c0 = (a + b)/2 e observemos o seguinte: se xn [ak , bk ] n > k, ck = (ak + bk )/2, Ak = {n I N | xn [ak , ck ]} e Bk = {n I N | xn [ck , bk ]}, ent ao pelo menos um, dentre Ak e Bk e ilimitado. Tomemos pois xn0 em [a0 , b0 ] e, uma vez dados [ak , bk ] e ck = (ak + bk )/2, fa camos [ak+1 , bk+1 ] = [ak , ck ], se Ak e ilimitado, ou [ak+1 , bk+1 ] = [ck , bk ], caso contr ario. Tomamos ent ao xnk+1 em [ak+1 , bk+1 ] e reiteramos. Fica assim denida a subseq u encia (xnk ) de (xn ). Como xnk [ak , bk ] k I N e os intervalos [ak , bk ] satisfazem ` a propriedade dos intervalos encaixantes, temos que (xnk ) e convergente.

31