Você está na página 1de 31

Clculo Innitesimal I a

prof. Felipe Acker

NUMEROS

Introduo ca

Uma apresentao rigorosa dos nmeros deveria, provavelmente, comear ca u c pelos fundamentos da lgica e da teoria dos conjuntos para, em seguida, cono struir sucessivamente os naturais, os inteiros, os racionais, os reais e os complexos. Esta uma escada cujos degraus tm alturas diferentes: comear da e e c lgica poderia nos tomar um curso inteiro. Estas notas no tm tal ambio e o a e ca devem, portanto, ser tomadas apenas como uma indicao do percurso. Parca tiremos 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 Anlise, o que corresponde ` passagem dos racionais aos reais. Nele nos a e a deteremos um pouco mais. Uma introduo elementar e bem escrita dos fundamentos da Lgica e ca o da Teoria dos Conjuntos est no livro Teoria ingnua dos conjuntos, de Paul a e Halmos (Naive set theory). Em cada caso (Naturais, Inteiros, Racionais, Reais e Complexos), procuraremos caracterizar o sistema numrico em questo por um conjunto de e a axiomas. Isto signica que vamos xar, em cada caso, um conjunto de propriedades bsicas a partir das quais nossos teoremas devem poder ser a demonstrados. Esta uma forma de organizar o conhecimento matemtico e a que remonta ` Grcia antiga e tem nos Elementos, de Euclides, o primeiro a e grande exemplo1 . A maior parte do trabalho deixada como exerc e cio; resultados essencialmente bvios so usados livremente, cando a critrio do leitor a deciso de o a e a demonstr-los detalhadamente ou no . a a
O sonho de axiomatizar toda a Matemtica tem suas limitaes : em 1932, Kurt a co Gdel demonstrou que, mesmo que nos limitemos aos nmeros naturais, no poss o u a e vel xar um conjunto nito de axiomas a partir do qual se possa decidir, de cada sentena, se c verdadeira ou falsa e
1

Um m nimo de linguagem

Para xar um pouco as idias, vamos apresentar informalmente um pouco e da notao e alguns conceitos bsicos envolvendo conjuntos e funes . Usca a co aremos livremente os s mbolos , , , e | : p q signica se p ento q, ou p implica q; a p q signica p se e somente se q, ou p equivalente a q; e se l para todo; e se l existe; e x | p se l x tal que p; e usaremos tambm, `s vezes, sss no lugar de se e somente se. O s e a mbolo ! signica existe um e somente um. Se x um elemento do conjunto X, diremos que x pertence a X e e usaremos a notao x X. Se o conjunto A subconjunto de X, diremos ca e que A est contido em X (A X), ou que X contm A (X A). Isto a e signica que todo elemento de A tambm elemento de X, ou seja: e e A X (x A x X). Para provar a igualdade entre os conjuntos A e B ser preciso, em a geral, provar que A B e B A. A primeira parte desta prova comea por c Seja x A e termina quando conclu mos que x B; a segunda comea com c Seja x B e termina quando provamos que x A. Um conjunto usualmente denido apresentando explicitamente seus ele ementos ou por meio de uma propriedade que os caracterize: X = {a, b, c} signica que X o conjunto cujos elementos so precisae a mente a, b e c; X = {x Y | p(x)} signica que X o conjunto cujos elementos so e a precisamente aqueles que esto em Y e satisfazem ` propriedade p. a a 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, / so subconjuntos de um certo X, X \ A chamado de complementar de a e A (em X) e notado por CA ou por AC . 2

O produto cartesiano dos conjuntos X e Y , X Y , denido por e 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}} ( uma denio meio extravagante, mas funciona). e ca Uma funo f entre os conjuntos X e Y pode ser denida sem o uso ca 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 uma funo (notada por f : X Y ) se e ca x X ! y Y | (x, y) f. (esta denio vem acompanhada da notao y = f (x) para y tal que (x, y) ca ca f ). X chamado de dom e nio de f , Y chamado de contradom e nio de f e f (X) = {y Y |x X|(x, y) f } chamado de imagem de f . Mais e geralmente, se A X, a imagem de A por f o conjunto f (A) = {y e Y | x A | f (x) = y}. O elemento f (x) de Y tambm chamado de e e imagem de x por f . Uma funo f dita injetiva, injetora ou biun ca e 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 dita bijetiva, ou bijetora. Neste ultimo e 1 caso, podemos denir a funo inversa, notada por f e denida por ca f 1 = {(y, x) | (x, y) f }. No caso geral, a notao f 1 usada para a imagem inversa de um ca e subconjunto B de Y : f 1 (B) = {x X | f (x) B} (por abuso de notao , escrevemos f 1 (y) no lugar de f 1 ({y}), se y Y ). ca

Os naturais

Uma das maneiras mais simples de caracterizar nossos velhos amigos naturais, os nmeros de contar, descrev-los por um conjunto de axiomas, u e e devido a Peano, que apresentamos a seguir. Postulado: Existem um conjunto, I (conhecido como conjunto dos N n meros naturais) e uma funo S : I I , com as seguintes prou ca N N priedades: (i)S injetiva; e (ii)existe em I um elemento 0 tal que 0 S(I ); N / N (iii) Se A um subconjunto de I tal que 0 A e S(A) A, ento e N a A=I . N
Exerc cio: S(n) o sucessor de n, o seguinte, o prximo da la. Traduza S(n) por e o n + 1 e entenda o signicado dos axiomas acima. (iii) conhecido como princ e pio da induo . Note que o elemento 0, citado em (ii) e (iii), tambm poderia ser o ca e 1. Exerc cio: Mostre que no pode haver em I um segundo elemento tal que a N 0 S(I ). Sugesto : considere A = I \ e use o princ 0/ N a N 0 pio da induo . ca Exerc cio: Mostre que a injetividade de S indispensvel. Sugesto : seno , e a a a poder amos fazer I = {0, 1}, com S(0) = 1 e S(1) = 1. N Observao: Uma idia para construir um conjunto com as propriedades acima ca e (que seria um modelo concreto para I ) deni-lo a partir de seus elementos, que N e seriam: 0 = , 1 = {}, 2 = {, {}}, 3 = {, {} , {, {}}} . . .. De qualquer forma, ter amos que postular a existncia de tal conjunto.2 e O que costumamos chamar de denio por induo requer a demonstrao ca ca ca do seguinte resultado fundamental:
Esta denio parece to concreta, que a necessidade de um tal postulado pode ca a parecer um exagero; no entanto, uma postura excessivamente ingnua, na Teoria dos e Conjuntos, pode levar a paradoxos. Um dos mais famosos o Paradoxo de Russel : seja e p(x) a propriedade x no pertence a x e seja A = {x | p(x)}; ento fcil concluir que A a a e a pertence a A sss A no pertence a A. a
2

Teorema da Recurso : Se X um conjunto, : X X uma funo e a X, a e e ca ento existe uma funo f : I X tal que f (0) = a e f (S(n)) = (f (n))n I . a ca N N
Demonstrao : Vamos denir a funo f , como manda o regulamento, como um subconjunto do produto cartesiano ca ca I X (de maneira algo sinistra, verdade). Consideremos a coleo F de todos os subconjuntos F de I X tais que: N e ca N (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 X|(m, y) F F F } . N Note que f F e f F F F .Vamos mostrar que f a funo que queremos. Para comear, devemos provar e ca c que f (n) est denido para todo n em I . Seja pois A = {n I |y X, (n, y) f } e provemos que A = I . Como a N N N (0, a) F F F , temos 0 f .Alm disto, se n A, ento existe y X|(n, y) f , o que signica que (n, y) F F F , e a o que implica em (S(n), (y)) F F F , o que nos d S(n) A. Logo, pelo princ a pio da induo , A = I . ca N Resta provar que (n, x) f, (n, y) f x = y. Como j provamos que, para cada n I , existe um y X tal que a N (n, y) f , basta provar que, se B o conjunto dos n I tais que tal y unico, ento B = I . Comecemos mostrando e N e a N que 0 B. De fato: temos (0, a) f ; se (0, b) f , com b = a, podemos considerar F = f \ {(0, b)}; ter amos ento F F a mas f no pode ser subconjunto de F . Suponhamos agora que n B e provemos que S(n) B. Se n B, existe um a unico y X tal que (n, y) f . Podemos ento garantir que (S(n), (y)) f . Se (S(n), z) f , com z = (y), podemos a considerar F = f \ {(S(n), z)} e observar que F F , mas f no est contido em F , o que imposs a a e vel. Logo, S(n) B, o que mostra que B = I e completa a demonstrao N ca .

Uma funo cujo dom I chamada uma seqncia (ou, eventualmente, ca nio e N e ue uma sucesso ). a A construo das operaes de adio e multiplicao de nmeros naturais, ca co ca ca u a partir dos axiomas de Peano, uma tarefa interessante (e trabalhosa, se nos e dispusermos a provar cada uma das propriedades que utilizamos quotidianamente), a ` qual no vamos nos dedicar. Uma pequena amostra dada nos trs exericios a a e e c seguir. Exerc cio: Dena, xado n em I , n + 0 = n, n + S(m) = S(n + m). Prove N que a adio assim denida comutativa e associativa. Note que a denio seria ca e ca ligeiramente diferente se comessemos I em 1. Mostre que da denio decorre ca N ca que S(n) = n + 1n I . Mostre que, se m + n = 0, ento m = 0 ou n = 0.Mostre N a que m + p = n + p m = n. Exerc cio: Dena, xado n em I , n0 = 0, nS(m) = (nm) + n. Prove que a N multiplicao assim denida comutativa e associativa. Prove tambm a proca e e priedade distributiva. Mostre que, se mn = 0, ento m = 0 ou n = 0. Mostre que a mp = np, p = 0 m = n.Como seria a denio se escolhssemos comear I em ca e c N 1? Exerc cio: Dena, para n e m em I , a relao de ordem n m por: p N ca I |n + p = m (note que, se I comeasse em 1, esta denio corresponderia a N N c ca 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 , ento k + n k + m e kn km. Mostre que, N a 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 no existe n em I tal que 0 < n e n < 1. Mostre que, para qualquer n I , a N N no existe m em I tal que n < m < S(n). a N Dois resultados referentes ` ordem merecem ser destacados. O primeiro o a e Princ pio da Boa Ordenao : Se A um subconjunto no vazio de I , ento ca e a N a A tem um menor elemento.
Demonstrao : Suponhamos que A = e que A no tem um menor elemento. Seja B = {n I | n < mm A}. Ento ca a N a 0 B, pois, caso contrrio, 0 seria o m a nimo de A. Suponhamos agora que um certo n est em B. Como no h ningum a a a e 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 no existir. a Logo, S(n) B, o que mostra que B = I . Mas isto imposs N e vel, pois A = .

O segundo uma verso bastante util do princ da induo , conhecido como e a pio ca Princ pio da Induo Completa: Se A I tal que 0 A e S(n) A ca N e sempre que m A para todo m n, ento A = I . a N
Demonstrao : Seja B = I \ A. Se B fosse no vazio, B teria um menor elemento b. Como 0 A, temos b = 0, o ca N a que nos garante que existe n I tal que b = S(n); mas da denio de b temos m Am n, o que nos garante que N ca b = S(n) A, absurdo.

Os Inteiros

Os nmeros inteiros so constru u a dos, a partir dos naturais, da maneira simples que aprendemos no colgio: acrescenta-se a I o conjunto dos inteiros negativos, e N que so os naturais diferentes de 0 com um sinal - na frente. As operaes so a co a denidas como de hbito. Chegamos, assim, a um conjunto, que notamos por Z a Z, com I Z munido de operaes 3 de adio (+) e multiplicao (), satisfazendo N Z, co ca ca a `s 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 matematiqus erudito, uma operao denida no conjunto X uma funo e ca e ca : X X X, usualmente notada por (x, y) = x y
3

(iii) o elemento 0 de I tal que x + 0 = x para todo x em Z N e Z; (iv) para todo x em Z existe x (denotado por x) em Z tal que x + x = 0; Z Z (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 tal que 1x = x para todo x em Z N e Z. Como as operaes em Z estendem as que j t co Z a nhamos em I , valem tambm N e as propriedades, para o conjunto P = I \ {0}: N (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 vale uma e uma s das seguintes: x P , x P ou x = 0. Z, o Cabem aqui algumas observaes sobre o que foi escrito acima. Em primeiro co lugar, notemos que no pode haver um segundo zero nem um segundo 1: de a fato, se tal que x + = xx Z ento 0e 0 Z, a = 0 + = + 0 = 0. 0 0 0 Exerc cio: Note que a mesma demonstrao vale com 1 no lugar de 0. ca Em segundo lugar, o elemento x referido em (iv) tambm unico: se x tal que e e e x + x = 0, ento a 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 no vamos a comear pelos naturais, mas sim pelos inteiros. Podemos ento admitir diretac a mente, sem fazer referncia a I , a existncia de um conjunto Z munido das e N e Z, operaes de adio e multiplicao , do qual se destaca um subconjunto P (dos co ca ca 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 um elemento 0 tal que x + 0 = x para todo x em Z Z Z; (iv) para todo x em Z existe x (denotado por x) em Z tal que x + x = 0; Z Z (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 um elemento 1 = 0 tal que 1x = x para todo x em Z 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 vale uma e uma s das seguintes: x P , x P ou x = 0. Z, o

Observe que a unicidade dos elementos 0 e 1 continua valendo, com a mesma demonstrao , assim como a unicidade do simtrico referido em (iv).Vejamos o ca e que pode ser diretamente deduzido destas propriedades. Proposio : Suponhamos que o conjunto Z est munido das operaes de ca Z a co adio e multiplicao e que tem um subconjunto P , de tal forma que valem as ca ca onze propriedades acima. Ento : a (i)(x) = x x Z Z; (ii)(x)y = (xy) xy Z Z; (iii)1 P A demonstrao fcil, do n das que acabamos de fazer. ca e a vel A operao de subtrao denida por x y = x + (y) e a diviso , quando ca ca e a poss vel, por x y = z yz = x. Denimos, para x e y em Z x < y por Z, (y x) P e x y por x < y ou x = y ( claro que x > y se y < x e x y se e y x). Exerc cio: Mostre que x < y, z > 0 xz < yz. Mostre tambm que x < y, z e Z x + z < y + z. Z

Observemos, porm, que o conjunto dos inteiros no o unico, dos nossos cone a e a hecidos, a possuir as propriedades acima. E fcil ver que o conjunto dos racionais tambm as possui. e Exerc cio: Mostre que A = n + m 2, n Z m Z , com as operaes usuais, Z, Z co satisfaz `s onze propriedades acima. a Para caracterizar Z devemos acrescentar alguma propriedade. Uma poss Z, vel escolha o chamado princ e pio da boa ordenao : ca (xii)todo subconjunto no vazio de P tem um menor elemento, isto : se a e = A P , ento existe a A tal que a xx A. a Proposio : Se denirmos I por I = {0} P e S : I I por S(n) = n + 1, ca N N N N ento I satisfaz aos axiomas de Peano. a N
Demonstrao : S injetiva, pois x + 1 = y + 1 x = (x + 1) 1 = (y + 1) 1 = y.0 = S(n)n I , pois ca e N 0 = n + 1 n = 1. Como 1 P , temos 1 = 0 e 1 P . Seja agora A I tal que 0 A e n A S(n) A. / N Provemos que A = I . Se X = P \ A, basta provar que X = . Se x = , podemos chamar de m o menor elemento de N X. Note que m P e m = 1 (pois 1 = S(0) A). Tudo que temos a provar, agora, que o menor elemento de P 1, e e pois isto nos d 1 < m e, conseq entemente, 0 < m 1 P A, o que daria S(m 1) = m A. Ora, se a o menor a u e elemento de P e a < 1, ter amos aa < a1 = a, o que imposs e vel.

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

Os Racionais
Os racionais, como sabemos, so os nmeros da forma a u

p , p Z q Z q = 0. Z, Z, q Se quisermos cri-los a partir de Z porm, temos que evitar a ambigidade. a Z, e u Podemos representar a frao p/q pelo par ordenado (p, q), mas queremos considca erar iguais pares ordenados que, embora diferentes, deveriam representar o mesmo nmero. Esta uma prtica comum em Taxonomia, que tem uma denio precisa u e a ca em matematiqus erudito. Vamos fazer uma pequena digresso para apresent-la. e a a Denio :Uma relao de equivalncia em um conjunto X um subconjunto ca ca e e de X X (vamos usar a notao x y, que se l x equivalente a y, no lugar ca e e 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} chamado de classe de equivalncia de x e e por . Exerc cio: Note que as classes de equivalncia determinam uma partio de X: e ca cada elemento de X pertence a uma e somente uma classe de equivalncia. e O conjunto das classes de equivalncia de X por chamado de espao e e c quociente (ou, mais carinhosamente, quociente) de X por e notado por X/ . Vamos agora usar este conceito para denir os racionais. Seja Z = Z \ {0} Z Z e seja, em Z Z , a relao de equivalncia Z Z ca e (p, q) (m, n) pn = mq. Exerc cio: Mostre que esta , de fato, uma relao de equivalncia. Note que e ca e (p, q) (m, n) signica exatamente que p/q = m/n. Denio : O conjunto Q = Z Z chamado de conjunto dos n meros ca I Z Z e u racionais. Em Q so denidas as operaes : I a co
Como no caso das funes , para no introduzir um novo conceito, relao, preferimos co a ca apresent-lo em termos de conjuntos: a relao R denida pelo conjunto dos pares a ca e ordenados (x, y) tais que x est relacionado a y por R a
4

10

adio : (p, q) + (m, n) = (np + qm, qn); ca multiplicao : (p, q)(m, n) = (pm, qn). ca Os racionais positivos so denidos como os que pertencem ao conjunto P das a classes de equivalncia de pares (m, n), com m e n em I = I \ {0}. e N N Exerc cio: Perceba que as denies acima so bvias. Mostre que as operaes de co a o co adio e multiplicao esto bem denidas, isto , independem dos representantes ca ca a e das classes de equivalncia que considerarmos. e Exerc cio: Mostre que, sendo Q, P , a adio e a multiplicao denidos como I ca ca 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 um elemento 0 tal que x + 0 = x para todo x em Q; I I (iv) para todo x em Q existe x em Q tal que x + (x) = 0; I I (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 um elemento 1 = 0 tal que 1x = x para todo x em Q. I I (ix) para todo x em Q tal que x = 0 existe x1 em Q tal que xx1 = 1;5 I I (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, vale uma e uma s das seguintes: x P , x P ou x = 0. I o Notao : Se (p, q) Z Z , a classe de equivalncia (p, q) ser notada por ca Z Z e a (ou por p/q). Caso q = 1, usaremos tambm a notao p para (p, q). e ca Exerc cio: Considere os conjuntos (n, 1), n Z e (n, 1), n I . Note que o Z N primeiro uma cpia de I e o segundo uma cpia de Z Mostre que, mesmo e o N o Z.
um conjunto munido de duas operaes com as propriedades (i) a (ix) acima dito co e um corpo
5

p q

11

se no soubermos de que feito Q, o simples fato de gozar das doze propriedades a e I acima implica na existncia de tais cpias. Sugesto : dena : Q Q por e o a I I (x) = x+1 e f : I Q por f (0) = 0 (so zeros diferentes!) e f (S(n)) = (f (n)); N I a mostre que f uma bijeo e tome f (I ) Q como cpia de I . Passaremos a e ca N I o N designar por I esta cpia padro de I e por Z a cpia padro de Z N o a N Z o a Z. Exerc cio: Note que os racionais no so caracterizados pelas propriedades acima, a a j que os reais, por exemplo, tambm as possuem. Mostre que a e A = x + y 2, x Q, y Q I I tambm satisfaz `s doze propriedades acima. e a Para caracterizar Q, podemos impor uma propriedade a mais: I (xiii) se K Q e K goza das doze propriedades acima, ento K = Q. I a I Exerc cio: Prove que o nosso Q (que denimos a partir de Z goza desta proI Z) priedade. Prove que se K Q, basta que K goze das propriedades (i) a (ix), para I que se tenha K = Q. I Como de hbito, denimos, para x e y em Q, x < y por x y P (com as a I denies habituais para x y, x > y e x y). Para x em Q denimos o valor co I absoluto (tambm dito mdulo) de x, |x|, por o x, x > 0 0, x = 0 |x| = x, x < 0. Exerc cio: Sejam x e y nmeros racionais. Mostre que |xy| = |x||y|. Mostre que u |x + y| |x| + |y|. Mostre que |x y| ||x| |y||. Uma propriedade fundamental e bvia, mas que desempenha um papel central o (entre outras coisas, por estar na base dos sistemas de numerao) e merece ser ca destacada, a seguinte: e Proposio : Seja a Q, a = 0. Para cada racional q existe um unico inteiro n ca I tal que na q < (n + 1)a.
Demonstrao : Vamos considerar apenas o caso em que a e q esto em P (os outros so anlogos). Escrevendo a = b/c ca a a a e q = j/k, com b, c, j e k em I , queremos achar o menor n I tal que (n + 1)b/c > j/k. Fazendo as contas no N N rascunho, isto nos d (n + 1)bk > jc. Isto signica que devemos tomar n = m 1, onde m o menor elemento de a e A = {x I | x(bk) > jc}. Como todo subconjunto no vazio de I tem um menor elemento (princ N a N pio da boa ordenao ca

12

), a demonstrao estar encerrada se provarmos que A = . Como b e k no podem ser nulos, basta mostrar que se ca a a d = bk e e = cj so naturais, com d = 0, ento existe m I tal que md > e. a a N

Lema: Se d e e so naturais, com d > 0, ento existe um natural m tal que a a md > e.
Demonstrao : Se no existisse tal m, ter ca a amos e xd x I e, portanto, e xd I x I . N N N Seja

C = {e xd, x I } e seja c0 o menor elemento de C. Temos c0 = e x0 d para um certo x0 I . Se considerarmos N N 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 um absurdo, j que d > 0. e a

Um outro resultado bsico pode servir de exerc a 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 : se m = dj e n = dk, com d, j e k e naturais, ento d = 1 (m/n dita uma frao irredut a e ca vel).

Os Reais

Se os naturais so os nmeros de contar, os reais so os nmeros de medir. a u a u Em uma primeira aproximao , reduzimos o problema de medir ao de contar da ca 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 cpias de o u postas lado a lado. Mas sempre podemos dividir u em m partes iguais, bem pequenas, at que nos parea certo que s corresponde a, exatamente, n destas e c partes. Dizemos ento que s corresponde a n/m vezes u. Ou seja: no sistema que a tem u por unidade, a medida de s dada pelo nmero n/m. e u Mas... a razo alcana coisas que os olhos no conseguem ver. Sabemos, pelo a c a Teorema de Pitgoras, que, sendo s a diagonal de um quadrado e u o lado do a mesmo quadrado, o quadrado de lado s tem rea igual a duas vezes a do de lado a u. Se expressamos s como n/m vezes u, podemos supor que n/m irredut e e vel tal que n2 = 2. m2

13

Mas isto nos d n2 = 2m2 , o que signica que n2 par. Como o quadrado de a e qualquer nmero u mpar e mpar (prove!), segue que n par. Escrevendo n = 2k, e temos 2(2k 2 ) = n2 = 2m2 . Da decorre m2 = 2k 2 , o que signica que m2 par e, por conseguinte, m tambm e e par. Mas m e n no poderiam ser ambos mltiplos 2, pois n/m foi suposta e a u irredut vel. Isto signica que, na verdade, nem sempre poss expressar a medida de um e vel segmento por um nmero racional6 . Assim, os nmeros reais, usados para medir, u u formam um conjunto mais complicado que o dos racionais. Apenas a partir do sculo XVII, com a assimilao do sistema de numerao de posio e sua extenso e ca ca ca a para fraes decimais, puderam os nmeros reais nalmente ser representados de co u forma simples. Recordemos brevemente como isto se d (o leitor est convidado a a 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 induo, ca 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 funo a : I I (usaremos a notao an para a(n)) tal que para todo n > 0, ca N N ca an est em {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. a A funo a costuma ser representada por a = a0 , a1 a2 a3 a4 . . .. Escrevendo ca cada um dos nmeros naturais an na base dez, temos a representao decimal u ca do nmero real (vamos igualmente not-lo por s) que expressa a razo entre os u a a comprimentos de s e u. O que acabamos de dizer signica tambm que, para cada e n, o nmero s est compreendido entre dois racionais, sn e sn , dados por u a sn = a0 + sn = sn +
6

a1 10

+ .

a2 102

a3 103

+ ... +

an 10n ,

1 10n

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

14

Em outras palavras (e avanando um pouco), podemos dizer que a reprec sentao a de s nos d uma seqncia (sn ) de nmeros racionais cujo limite ca a ue u e s (usamos tambm a notao sn s). Estamos to habituados a trabalhar com e ca a os decimais que costumamos pensar o nmero s como se fosse a prpria expresso u o a a0 , a1 a2 a3 a4 . . .. Podemos inclusive adotar essa representao como denio para ca ca nmero real. u Exerc cio: Note que esta denio deve ser acompanhada das denies das operaca co co es de adio e multiplicao, o que pode ser menos simples do que parece. Dada a ca ca seqncia a = a0 , a1 a2 . . ., calcule a1 , ou, mais simplesmente, prove sua existncia. ue e Por outro lado, em muitas situaes relevantes, os nmeros em questo so co u a a dados por seqncias de racionais que no so do modelo acima. Um bom exemplo ue a a dado por e s= 1 1 1 1 = 1 + 2 + 2 + 2 + .... 2 n 2 3 4 n=1

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

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

o que equivale a caracteriz-lo por meio da seqncia de nmeros racionais a ue u


a primeira prova de que , de fato, um nmero irracional foi dada em 1770 por e u Lambert
7

15

en =

1 . k! k=0

Um ultimo e crucial exemplo: consideremos um inocente nmero racional, u digamos 1/7. Sua expanso decimal nos d 1/7=0,142857142857.... Como bem a a sabemos, isto dar uma seqncia (sn ) tal que sn+1 = sn n I . No entanto a ue N o mesmo nmero 1/7, quando representado na base 7, se escreve 1/7=0,1. A u correspondente seqncia (sn ) dada por s0 = 0 e sn = 1/7 n > 0. ue e Isto mais que um exemplo: a menos que queiramos atrelar a denio de e ca nmero real ` base do sistema de numerao , mais conveniente aceitar que u a ca e cada real caracterizado no por uma, mas por uma innidade de seqncias e a ue (diferentes) de nmeros racionais. E claro que ainda estamos longe de dar, com u isto, uma denio precisa do conjunto dos nmeros reais, mas j podemos traar ca u a c uma estratgia. e Estratgia: e (i)consideraremos equivalentes as seqncias de racionais que denem o ue mesmo nmero real; isto deve estabelecer uma relao de equivalncia entre u ca e seqncias de racionais; ue (ii)um nmero real deve ser denido, a exemplo do que zemos com os u racionais, como uma classe de equivalncia de seqncias de racionais. e ue Para que isto d resultado, porm, precisamos de uma denio de limite e, e e ca principalmente, de um critrio que nos permita decidir, sem exibir esse limite, se e uma seqncia tem ou no limite. ue a Exerc cio: Pare e pense profundamente. Se vamos denir os nmeros reais a partir u das seqncias de racionais que para eles convergem, no podemos fazer coisas ue a como: a seqncia en = n 1/k! dene o nmero e porque converge para e - isto ue u k=0 seria usar um nmero que ainda no existe na sua prpria denio . u a o ca Exerc cio: Pense em um caso conhecido: quando provamos que existe a soma innita e = 1/k!, o que fazemos provar que a seqncia en = n 1/k! e ue e k=0 k=0 crescente e que en < 3 n I . Assim, implicitamente, aplicamos um critrio N e que garante que aquela seqncia tem um limite sem ter que exibi-lo a priori. Ao ue contrrio, uma vez provada a existncia do limite, este batizado com o nome e. a e e

16

Limites de Seqncias ue

Seja (an ) uma seqncia de nmeros racionais e a um nmero racional. Dizeue u u mos que (an ) converge para a, com a notao ca
n

lim an = a,

se, por melhor que enxerguemos, a partir de um certo ponto vemos an = a. A expresso por melhor que enxerguemos deve ser entendida da seguinte maneia ra: nossa capacidade de distingir dois pontos ser dada por um nmero (racional) u a u positivo , de forma que veremos como iguais dois pontos que distem menos do que um do outro; tal deve poder ser tomado to pequeno quanto se queira a (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 distncia entre an e a (medida por |an a|) a ser sempre inferior a . Mais concisamente, temos a a Denio: O limite da seqncia (an ) o nmero a (notao : limn an = a, ca ue e u ca ou an a) se > 0 n0 I | n > n0 |an a| < . N Se no quisermos citar explicitamente o limite a, diremos simplesmente que (an ) a converge (ou que convergente). e Exerc cio: Pense meia hora sobre a denio acima. ca Denio: Diremos que limn an = se ca M Q n0 I | n > n0 an > M I N (a denio de limn an = anloga). ca e a Exerc cio: Seja q um racional, com |q| < 1. Mostre que q n 0. Seja an = n q k . k=0 Mostre que (an ) converge para 1/(1 q) (estamos pondo, por denio, 00 = 1). ca Temos agora que demonstrar os resultados bvios sobre limites. Cada uma das o proposies deste cap co tulo fundamental. O leitor deve procurar demonstrar cada e uma delas por si prprio, sem ler as demonstraes do texto (que esto em letras o co a midas de propsito). Se, aps um m u o o nimo de duas horas de esforo (para cada c uma), no tiver conseguido, pode dar uma primeira lida para pegar a idia. Mas a e

17

no deve se dar por satisfeito enquanto no conseguir faz-las sozinho, acreditar a a e nelas e se sentir capaz de convencer outras pessoas de sua veracidade. Proposio : Uma seqncia no pode ter mais de um limite. ca ue a
Demonstrao : Suponhamos que an a e an b, com a = b. Vamos usar o princ ca pio escolhendo tal que no seja poss a vel estar simultaneamente a uma distncia menor que de a 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 ento , para n a e |an b| < . Mas isto nos d a |b a| = |(b an ) + (an a)| |b an | + |an a| < + = 2 = |b a|, o que absurdo. e do cobertor curto, e de b. Tomemos podemos tomar n2 > n0 , |an a| <

Proposio : Sejam (an ) e (bn ) seqncias e a e b nmeros racionais tais que ca ue u an a e bn b. Ento : a (i)(an + bn ) (a + b); (ii)(an bn ) (ab); (iii) se a = 0, ento existe m tal que n > m an = 0; neste caso, cona siderando apenas n > m, temos (1/an ) (1/a).
Demonstrao : Queremos, em cada caso, mostrar que, dado > 0, existe n0 tal que a diferena entre o valor da seqncia ca c ue e o limite proposto , em mdulo, inferior a . Vejamos cada item: e o (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 trs parcelas ` direita fosse inferior a /3. Para e a controlar a primeira, podemos pensar em n1 tal que n > n1 |n | < 3|b| .

Mas, como no podemos jurar que b = 0, melhor tomar n1 tal que a e 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 condies |n n | est sob controle: anal, estamos com co a |n | < 3(|b| + 1) 3 , |n | < 3(|a| + 1) 3 .

Na verdade, se no for pequeno, podemos ter /3 > 1. Para evitar tal inconveniente, podemos impor uma condio a a ca mais anossos n (poderia, claro, ser com os n ): tomamos n3 tal que n > n3 |n | < 1. Agora basta tomar para n0 e 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 ento , se n > m, a

18

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

|a| 2

|a| 2

> 0.

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

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

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

Exerc cio: Seja c um racional xo e seja (bn ) dada por bn = cn I . Mostre que N bn c. Conclua que, se an a, ento can ca; em particular, (an ) (a). a Mostre que an a, bn b (an bn ) (a b). Mostre que, se a = 0 an a, bn b, ento existe m tal que an = 0 para n > m e que, para n > m, se a tem bn /an b/a. Exerc cio: Sejam (an ) e (bn ) seqncias de racionais tais que an 0 e existe c Q ue I tal que |bn | < cn I . Mostre que an bn 0. N Exerc cio: Seja (an ) uma seqncia tal que (an ) no converge para zero. Mostre ue a que existem > 0 e n0 I tais que |an | > n > n0 . N Os resultados acima so , certamente, importantes e uteis. Mas temos um a problema: as seqncias de racionais que usamos para denir nmeros irracionais ue u no tm, com certeza, limite em Q. Por outro lado, nem toda seqncia que no a e I ue a tem limite em Q dene, de fato, um nmero real. I u Exerc cio: Sejam (an ), (bn ) e (cn ) as seqncias de racionais dadas por an = ue (1)n , bn = n, cn = p/q, com p e q naturais no nulos e tais que (p + q 1)(p + a q 2)/2 + q = n. Mostre que nenhuma das trs digna de convergir (a terceira e e contm um pequeno enigma e um tanto mais dif que as outras duas). e e cil Isto nos coloca duas questes : o Como distingir, dentre as seqncias de racionais, aquelas que denem, de u ue fato, um nmero real? u Como decidir se duas seqncias distintas denem um mesmo nmero real? ue u

A segunda questo tem uma resposta simples: duas seqncias (an ) e (bn ) que a ue convergem para o mesmo nmero so tais que (an bn ) converge para zero. Isto u a

19

timo, j que, para decidir se an bn 0, no precisamos saber para que valor eo a a convergem (an ) e (bn ) ! A primeira questo , porm, mais delicada: precisamos de um critrio que a e e e nos permita dizer que uma seqncia tem limite, sem ter que exibir tal limite.8 ue Uma resposta pode ser dada pela seguinte observao : se uma seqncia (an ) ca ue converge para a, os an , ao se aproximarem de a, tm que se aproximar uns dos e 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 quo bem a enxergamos), teremos um n0 tal que, para n e m maiores que n0 , a distncia entre a an e am , dada por |an am |, inferior a . e

Seqncias de Cauchy ue

Denio: Uma seqncia (an ) dita de Cauchy se ca ue e > 0 n0 I | n, m > n0 |an am | < . N Proposio: Toda seqncia convergente de Cauchy. ca ue e
Demonstrao: Suponhamos que an a e seja > 0 dado. Basta tomar n0 tal que n > n0 |an a| < /2. Temos ca ento , se n > n0 e m > n0 , a
|an am | = |an a + a am | = |(an a) + (a am )| |an a| + |a am | < 2 + 2 = .

Exerc cio: Veja se est claro para voc que o resultado acima deve ser verdadeiro a e tambm quando a for um nmero real. Mais ainda: veja se, dentro do que acredita e u que sejam os reais, razovel crer que as denies e proposies sobre limites que e a co co at agora discutimos devem continuar verdadeiras em I e R.
Temos que fugir ` tentao de dizer, por exemplo, que an = a ca k=0 1/n! e bn = (1 + 1/n)n tm o mesmo limite porque ambas convergem para e: no atual estgio, estamos e a tentando denir os nmeros reais (dentre eles o nmero e); desta forma, se nos limitamos u u aos racionais, nem (an ) nem (bn ) tm limite e
8 n

20

Exerc cio: Mostre que, sendo (an ) uma seqncia de Cauchy, existe M tal que ue |an | < M n I . Sugesto : tome n0 tal que |an am | < 1 n, m > n0 e faa N a c 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 ) de e Cauchy, mas no existe a em Q tal que an (ateno, no vale roubar: supor a I a ca a que existe o limite e depois provar que este 2 foge `s regras, j que 2, para e a a ns, ainda no existe; vai ser preciso provar diretamente que (an ) de Cauchy). o a e Exerc cio: Seja (an ) uma seqncia de naturais tal que an {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} ue para todo n > 1 e seja (sn ) dada por sn = n ak /10k . Mostre que (sn ) de e k=0 Cauchy. Pelo que acabamos de ver, as seqncias de Cauchy podem ser chamadas de ue potencialmente convergentes: se uma seqncia de Cauchy de racionais no ue a tem limite em Q, ento por que seu limite um nmero real. Mas, como os I a e e u nmeros reais ainda no foram formalmente denidos, esta armativa ainda no u a a faz sentido. A consagrada representao de nmero real, dada por objetos do tipo ca u a0 , a1 a2 a3 . . ., com a0 I e an {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} n > 0,9 nos indica N que pensamos um nmero real como um tipo particular de seqncia de Cauchy u ue de racionais. Nosso propsito, agora, radicalizar esta idia, denindo um nmero o e e u real por uma seqncia de Cauchy (qualquer) de racionais. ue Para tornar equivalentes seqncias de Cauchy com o mesmo limite, vamos ue criar um monstro que, felizmente, ter vida provisria. a o Seja R o conjunto de todas as seqncias de Cauchy de nmeros racionais. ue u Denamos em R a seguinte relao, dada por : ca (an ) (bn ) lim (an bn ) = 0.
n

Exerc cio: Mostre que uma relao de equivalncia. e ca e Denio : Um n mero real uma classe de equivalncia de R pela relao ca u e e ca acima. O conjunto dos nmeros reais designado por I u e R. Se o nmero real x u corresponde ` seqncia (an ), diremos que x representado, ou denido, por a ue e (an ). Exerc cio: Mostre que, se (an ) de Cauchy e (bn an ) 0, ento (bn ) tambm e a e de Cauchy (sugesto : faa |bn bm | = |(bn an ) + (an am ) + (am bm )| e a c |bn an | + |an am | + |am bm |).
9

As correspondentes seqncias de racionais so dadas por qn = ue a

n k=0

ak /10k

21

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

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

qn =

com b0 I , e bn {m I | m < b} n I . N N N
Demonstrao: Fixemos o b e seja (an ) nossa seqncia . Se an 0, estamos no caso qn = 0n I . Podemos ento ca ue N a supor que (an ) no converge para 0. Observemos agora o seguinte: se a seqncia de Cauchy (an ) no converge para a ue a q, ento existe no tal que an > q n > no ou an < q n > no (vamos usar reiteradamente esta idia). Basta ento a e a considerar o caso em que an > 0 para n sucientemente grande. Consideremos os n meros da forma u
m

q=
k=0

bk bk

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

Se (an ) converge para algum destes n meros, ento (an ) (qn ), com u a
n

qn =
k=0

bk bk

entendido que bk = 0 se k > m. Podemos ento supor que (an ) no converge para nenhum dos n meros q como acima. a a u Usando a base b para representar os naturais, fcil ver que os racionais acima referidos so os n meros da forma e a a u q=p 1 bm , pI , mI N N.

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

Exerc cio: Preencha os detalhes obscuros da demonstrao. Entenda que o teorema ca acima signica que, xada uma base b para o sistema de numerao , todo nmero ca u real tem uma representao na base b. Esta representao unica? Se no , quais ca ca e a e

22

so os nmeros que tm mais de uma e quantas representaes , no mximo, pode a u e co a um nmero ter? u Denido e entendido o que um nmero real, cam ainda por denir as e u operaes e a ordem em I Esta nossa prxima ocupao . co R. e o ca Denio : Sejam a e b os nmeros reais representados, respectivamente, pelas ca u seqncias de Cauchy (an ) e (bn ). Ento sua soma, a + b, e seu produto, ab, so ue a a os nmeros reais denidos, respectivamente, pelas seqncias de Cauchy (an + bn ) u ue e (an bn ). A denio acima depende, claro, da demonstrao de algumas coisas: deveca e ca mos poder garantir que as seqncias (an + bn ) e (an bn ) so , de fato, de Cauchy e, ue a mais ainda, que os nmeros reais por elas denidos no mudariam se trocssemos u a a (an ) e (bn ) por seqncias equivalentes. ue Proposio : Sejam (an ) e (bn ) seqncias de Cauchy em Q. Ento : ca ue I a (an + bn ) e (an bn ) so seqncias de Cauchy; a ue se (n ) (an ) e (n ) (bn ), ento (n + n ) (an + bn ) e (nn ) (an bn ). a b a a b a b
Demonstrao : Para provar que (an + bn ) e (an bn ) so de Cauchy, xemos > 0. Tomando n1 tal que ca a n, m > n1 |an am | < /2 e n2 tal que n, m > n2 |bn bm | < /2, temos que, se m, n > no = n1 + n2 , ento a 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 ) de Cauchy. Por outro lado, escrevendo |an bn am bm | = |an(bn bm ) + bm (an am )| e |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 . Ento , se m, n > no = max {n3 , n4 , n5 , n6 }, temos |an bn am bm | < , o que mostra que (an bn ) de Cauchy. a e Para provar a segunda parte, basta notar que se (an an ) 0 e (bn n ) 0, ento : b a (an + bn an n ) = (an an ) + (bn n ) 0; b b (an bn an n ) = an (bn b ) + n (an an ) 0 (note que (an ) e (n ), sendo de Cauchy, so limitadas). b b b a n

As operaes acima denidas fazem de I um corpo, isto , satisfazem `s co R e a 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 um elemento 0 tal que x + 0 = x para todo x em I R R; (iv) para todo x em I existe x em I tal que x + (x) = 0; R R (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 um elemento 1 = 0 tal que 1x = x para todo x em I R R. (ix) para todo x em I tal que x = 0 existe x1 em I tal que xx1 = 1. R R

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

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

Supondo dado > 0, podemos tomar m3 I tal que n, m > m3 |a m an | < 2 e fazer no = N max {m1 , m2 , m3 }. Ento , para n, m > no , temos bn bm | < . a imediato que, para x1 assim denido, temos xx1 = 1 (onde o n mero real 1 denido pela seqncia (1n ) dada E u e ue por 1n = 1 n I ). Para fechar a demonstrao , devemos provar que o x1 que obtivemos independe do processo que N ca utilizamos. A prova puramente algbrica. Se, por um outro processo qualquer (usando outra seqncia para representar e e ue x, por exemplo), obtivssemos um x tal que x = 1, ter e x amos: x = x1 = x(xx
1

) = (x)x x

= (x)x x

= 1x

=x

Exerc cio: Note que existe, dentro de I uma cpia de Q, dada pelas seqncias R, o I ue constantes (isto , o nmero racional q tem em I um clone, dado pela seqncia e u R ue (qn ), qn = q n I ). N Para denir a ordem em I basta que digamos quais so os nmeros positivos. R, a u Exerc cio: Seja (an ) a seqncia denida por an = 1/(n + 1). Note que: ue an > 0 n I ; N an 0.

24

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

Note que (bn ) de Cauchy, os bn no so todos positivos, mas (bn ) certamente e a a corresponde a um real positivo. Poder amos dizer, ento , que os reais positivos so os representados por sea a qncias de Cauchy (an ) de racionais para cada uma das quais existe m I tal ue N que an > 0 n > m e tais que (an ) no converge para 0. Vamos, porm, adotar a e uma outra denio (que o leitor est convidado a provar ser equivalente). ca a Denio: Um nmero real x dito positivo se pode ser representado por uma ca u e seqncia de Cauchy (an ) de racionais tal que existem um racional e um natural ue m com an > n > m. Designaremos por P o conjunto dos reais positivos. Dados x e y em I diremos que x maior que y quando (x y) P (notao : x > y). R, e ca As denies para , < e so as usuais. co a Como de hbito, devemos provar que a denio no depende da seqncia a ca a ue (an ) escolhida para representar x. Vamos incluir a demonstrao no lema abaixo. ca Lema: Se x um real positivo, ento existe um racional q tal que 0 < q < x e a (estamos identicando q com o real dado pela seqncia constante e igual a q). ue
Demonstrao : Sejam (an ) uma seqncia representando x, racional positivo e m natural tais que an > ca ue n > m. Se (bn ) uma outra seqncia representando x, temos an bn 0, de forma que podemos tomar m1 tal que e ue 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 seqncia (bn ) representando x, existe no tal que bn > /2 n > no . Fazendo q = /4, ue temos tambm bn q > /4 n > no , o que mostra que, identicando q com a correspondente seqncia constante, temos e ue x > q > 0, como prometido.

Podemos agora garantir que o conjunto P dos reais positivos satisfaz `s proa priedades: (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 vale uma e uma s das seguintes: x P , x P ou x = 0. R, o

Obviamente, as doze propriedades que acabamos de enunciar, sendo comuns a I e a Q, no so sucientes para caracterizar o conjunto dos nmeros reais. Mas R I a a u j podemos, com elas, falar em mdulo (ou norma) de um nmero real e denir a o u limite (em I de uma seqncia de nmeros reais. R) ue u Denio: Dado um nmero real x, seu valor absoluto (tambm dito mdulo, ca u e o ou norma), o elemento de P dado por e

|x| =

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

Exerc cio: Prove as tradicionais propriedades do valor absoluto. No esquea a a c desigualdade triangular: |x + y| |x| + |y| x, y I Prove tambm que R. e |x a| < a < x < a + . Denio : Uma seqncia (xn ) de nmeros reais converge para o nmero real ca ue u u x se > 0 n0 I | n > n0 |xn x| < . N Diremos, neste caso, que x o limite de xn (quando n tende a innito) e usaremos, e indiferentemente, as notaes xn x, limn xn = x ou lim xn = x. co Valem, obviamente, e com as mesmas demonstraes , as mesmas propriedades co que j provamos para seqncias de racionais (inclusive as denies e propriedades a ue co de seqncias de Cauchy). ue Denio: Uma seqncia (xn ) de nmeros reais dita de Cauchy se ca ue u e > 0 n0 I | n, m > n0 |xn xm | < . N Como j vimos, existem seqncias de Cauchy de nmeros racionais que no a ue u a convergem para qualquer elemento de Q. Este foi, na verdade, o ponto de partida I e a motivao para nossa construo de I Conclu a (laboriosa) construo, ca ca R. da ca chegada a hora de demonstrarmos o aguardado teorema garantindo que todo e real limite de uma seqncia de racionais e que toda seqncia de Cauchy de e ue ue

26

racionais tem limite em I Na verdade, provaremos um pouco mais, j que podeR. a mos trabalhar tambm, agora, com seqncias de Cauchy de nmeros reais. Estas e ue u consideraes fazem sentido, claro, por estarmos identicando cada racional q ao co e real denido pela seqncia constante (qn ), qn = q n I . ue N Teorema: O conjunto dos nmeros reais tem as seguintes propriedades: u todo nmero real limite de uma seqncia de nmeros racionais; u e ue u toda seqncia de Cauchy de nmeros reais converge para um nmero real. ue u u
Demonstrao : Seja x um n mero real e seja (an ) uma seqncia de racionais que representa x. Vamos mostrar ca u ue que a seqncia (qn ) de reais dada pelos prprios an converge para x (note que cada qm denido pela seqncia constante ue o e ue (qmn ) dada por qmn = am ). Seja, pois, dado um n mero real positivo (note que deve ser dado, tambm, por uma seu e qncia (n ) de racionais). Podemos ento tomar um racional , positivo, e um n1 I tais que n > n1 0 < < n . ue a N Como (an ) de Cauchy, podemos tomar n2 I tal que n, m > n2 |an am | < /2. Isto nos d, sendo e N a qmn = am n I N, |an qmn | < /2 m, n > n2 . Seja ento n0 = max {n1 , n2 }. Fixado m > n0 , temos, para a n > n0 , n |an qmn | > /2. Mas isto signica que |x qm | < m > n0 , o que prova que todo real limite de e uma seqncia de racionais e, ao mesmo tempo, que toda seqncia de Cauchy de racionais converge para o real por ela ue ue denido. Seja agora (xn ) uma seqncia de Cauchy em I e seja, para cada n I , qn um racional tal que |qn xn | < 1/n ue R N (acabamos de provar que tal qn existe, j que xn limite de uma seqncia de racionais). Como (xn ) de Cauchy, (qn ) a e ue e tambm . De fato, se um real positivo, podemos, tomando n1 I tal que n, m > n1 |xn xm | < /3 e n2 I e e e N 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 seqncia de Cauchy de racionais, existe um real x tal que qn x. Mas isto ue equivale a (qn x) 0. Como, por outro lado, temos (xn qn ) 0, segue (xn x) 0, o que prova a convergncia e de (xn ).

Corolrio: Entre dois reais distintos existe sempre um racional. a


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

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 gesto : comece provando a existncia de um irracional positivo u ( 2, por exema e plo). Tendo constru o conjunto dos nmeros reais e provado suas propriedades do u fundamentais, podemos agora, sem remorso, esquecer as classes de equivalncia de e seqncias de Cauchy de racionais. Podemos simplesmente trabalhar com os reais ue a partir de suas propriedades, sem estarmos a lembrar, a cada instante, de que material so feitos. a

27

Propriedades caracter sticas de I R

Comearemos de novo, agora a partir de I cujas propriedades fundamentais c R, listamos a seguir. O conjunto I dos n meros reais dotado de duas operaes , R u e co ditas de adio ((x, y) x + y) e de multiplicao ((x, y) xy), alm de um ca ca e 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 um elemento 0 tal que x + 0 = x para todo x em I R R; (iv) para todo x em I existe x em I tal que x + (x) = 0; R R (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 um elemento 1 = 0 tal que 1x = x para todo x em I R R. (ix) para todo x em I tal que x = 0 existe x1 em I tal que xx1 = 1. R R (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 vale uma e uma s das seguintes: x P , x P ou x = 0; R, o (xiii) se (xn ) uma seqncia de Cauchy em I ento existe x em I tal e ue R, a R que xn x. Como j vimos, I contm uma cpia de Q (que ser, doravante, identicada a R e o I a ao original), o mesmo acontecendo com Z e I . Vamos aproveitar as propriedades Z N de I , Z e Q j demonstradas, mas poder N Z I a amos tentar partir dos axiomas acima e reconstruir tudo. Neste caso, ainda falta uma propriedade para caracterizar I De fato, usamos fortemente o fato (aparentemente bvio) de que a seqncia R. o ue (1/(n+1) converge para 0. Isto equivale ` seguinte propriedade, dita propriedade a arquimediana:

28

(xiv) para todo x em I e para todo em P existe n em I tal que n > x. R N No enunciado da propriedade arquimediana, usamos, claro, conceitos que no e a foram denidos neste cap tulo, mas que podem ser recriados: a > b signica (a + (b)) P e I o menor subconjunto de I contendo {0, 1} e fechado para N e R a adio (isto , ao qual pertence a soma de quaisquer dois de seus elementos). ca e De qualquer forma, se tivssemos que comear nosso estudo dos nmeros pelos e c u reais, seria desagradvel partir de axiomas como os acima, que fazem referncia a e aos naturais e ao conceito de limite. Por este motivo, usual, quando se tomam e 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 (poderia tambm ser em Q, Z ou mesmo em I ) um R e I Z N e subconjunto I de I tal que R x, y I, x < z < y z I (onde a relao x < y denida, como de hbito, por (yx) P , assim como x y ca e a sss x < y ou x = y e x y sss x > y ou x = y). Se I = {x I | a x b}, I R e notado [a, b]; se I = {x I | a < x b}, I notado ]a, b], com denies anlogas R e co a 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 e A limitado superiormente, isto , R e e M I | M a a A, R ento existe s em I dito o supremo de A, tal que: a R, s a a A; r a a A r s.
Demonstrao : Note, inicialmente, que I = {r I | r a a A} um intervalo (um elemento de I dito ca R e e uma cota superior de A). Mais: se r1 I e r2 > r1 ento necessariamente r2 I. Sejam agora a0 um elemento de A e a b0 = M . Vamos denir, indutivamente duas seqncias , (an ) e (bn ), da seguinte forma: fazemos cn = (an + bn )/2 e ue an+1 = Basta agora notar que: bn I n I ; N n I n A | an n ; 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 ) so seqncias de Cauchy, convergindo ambas para o mesmo limite s. Vamos mostrar que a ue s o supremo de A. Primeiramente, no pode haver a A com a > s, pois, neste caso, haveria necessariamente n I e a N tal que bn < a, o que imposs e vel. Por outro lado, se existisse r tal que r I e r < s, haveria n I tal que r < an e, N portanto, um n A com r < n , o que tambm no d. e a a

Um argumento central na demonstrao acima tem at nome ( uma proca e e priedade explorada por Cantor). Propriedade dos Intervalos Encaixantes: Se a seqncia de intervalos fechaue dos ([an , bn ] tal que e [an+1 , bn+1 ] [an , bn ] n I , N lim (bn an ) = 0, ento existe um unico nmero real c tal que c [an , bn ] n I . a u N
Demonstrao : Basta notar que tanto (an ) como (bn ) so de Cauchy (uma crescente e a outra decrescente) e tm ca a e o mesmo limite.

Uma seqncia (an ) tal que an+1 an n I dita montona decrescente ue Ne o (ou, simplesmente, decrescente). Se an+1 < an n I , (an ) dita estritaN e mente decrescente, denies anlogas valendo para seqncias crescentes. Se co a ue no quisermos especicar crescente ou decrescente, dizemos apenas montona. a o Exerc cio: Mostre que, se (an ) decrescente e converge para a, ento a an n e a I . N Uma outra propriedade, talvez um pouco menos evidente, diz respeito ` possia bilidade de extrairmos, de uma seqncia de reais (em princ ue pio no convergente) a uma subseqncia convergente. Uma subseqncia da seqncia (an ) obtida ue ue ue e jogando fora alguns dos an e considerando a seqncia dos que sobram (podemos ue at jogar fora innitos an , desde que tambm sobrem innitos). e e Denio : (ank ) dita uma subseqncia de (an ) se a aplicao ca e ue ca k nk , k I N uma funo estritamente crescente de I em I (note que, neste caso, a aplicao e ca N N ca k ank dene uma nova seqncia ). ue Propriedade de Bolzano-Weierstrass: Se (xn ) uma seqncia limitada de e ue nmeros reais, ento (xn ) tem uma subseqncia convergente. u a ue

30

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

Faamos ento c a

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 | xn [ak , ck ]} e Bk = {n I | xn [ck , bk ]}, ento pelo menos um, dentre Ak e Bk ilimitado. Tomemos N N a e pois xn0 em [a0 , b0 ] e, uma vez dados [ak , bk ] e ck = (ak + bk )/2, faamos [ak+1 , bk+1 ] = [ak , ck ], se Ak ilimitado, c e ou [ak+1 , bk+1 ] = [ck , bk ], caso contrrio. Tomamos ento xnk+1 em [ak+1 , bk+1 ] e reiteramos. Fica assim denida a a a subseqncia (xnk ) de (xn ). Como xnk [ak , bk ] k I e os intervalos [ak , bk ] satisfazem ` propriedade dos intervalos ue N a encaixantes, temos que (xnk ) convergente. e

31