Os Nmeros Reais II u

MODULO 1 - AULA 5

Aula 5 Os N meros Reais II u

Metas da aula: Enunciar o fundamental Teorema do Supremo para os
nmeros reais. Denir as operaoes de adiao, subtraao, produto e diviso u c c c a no conjunto R dos nmeros reais. Mostrar que R com essas operaoes satisfaz u c as propriedades de um corpo ordenado. Estabelecer a caracterizaao dos c reais como um corpo ordenado completo. Fazer uma breve discusso sobre a a propriedade dos intervalos encaixados.

Objetivos: Ao nal desta aula, voc dever ser capaz de: e a

Saber o enunciado do Teorema do Supremo e seu uso na demonstraao c de proposioes simples sobre os nmeros reais. c u Em particular, saber demonstrar as propriedades elementares das operaoes c com os nmeros reais. u Saber o signicado e o uso da propriedade dos intervalos encaixados.

O Teorema do Supremo e as Operaoes nos Reais c

Comearemos nossa aula enunciando um resultado que estabelece uma c propriedade fundamental de R, exatamente aquela que d a R uma estrutura a superior a dos nmeros racionais e que possibilita todo o desenvolvimento ` u posterior da Anlise Real. a H dois mtodos clssicos consagrados de demonstrar esse resultado, a e a ambos exigindo uma grande dose de abstraao. Um deles, que atravs c e e da introduao dos chamados cortes, devido a R. Dedekind (1831-1916), c e motivo pelo qual o processo cou conhecido como cortes de Dedekind. O outro, que atravs de classes de equivalncia de seqncias de Cauchy, e e e ue conceito este que ser estudado em aulas futuras, devido a G. Cantor, a e nome que j encontramos diversas vezes nas aulas anteriores. Deixaremos a sua demonstraao para a seao Prossiga ao m desta aula, onde faremos c c uma exposiao resumida do processo devido a Dedekind. c Vejamos, agora, o enunciado do important ssimo Teorema do Supremo. Teorema 5.1 (Teorema do Supremo) O conjunto ordenado R tem a propriedade do supremo. De posse do Teorema do Supremo, agora nos poss e vel denir as operaoes de adiao, subtraao, produto e diviso nos reais. c c c a
69

CEDERJ

Os Nmeros Reais II u

ANALISE REAL Denio 5.1 ca Dados a, b R, sejam A := (, a) Q = {x Q : x < a}, B := (, b) Q = {x Q : x < b}.

Ponhamos A + B := {x Q : x = r + s, r A, s B}. Denimos a + b := sup(A + B). Para a, b (0, +), sejam A+ := (0, a) Q = {x Q : 0 < x < a}, B+ := (0, b) Q = {x Q : 0 < x < b}. (5.1)

Ponhamos A+ B+ := {x Q : x = rs, r A+ , s B+ }, 1/A+ := {x Q : x = 1/r, r A+ }.

Denimos a b := sup(A+ B+ ) 1/a := inf 1/A+ (5.2) (5.3)

Para a, b R, denimos a b := a + (b), 0 a = a 0 := 0, (5.4) (5.5)

e, para a, b (0, +), a (b) = (a) b := (a b), (a) (b) := a b, 1/(a) := (1/a). (5.6) (5.7) (5.8)

Se b = 0, denimos a/b := a (1/b).

CEDERJ 70

(5.9)

Os Nmeros Reais II u

MODULO 1 - AULA 5

Na deniao anterior, observe que os conjuntos A+B e A+ B+ so noc a a vazios e limitados superiormente, portanto, pelo Teorema 5.1, os supremos nas denioes de a + b e a b existem. Observe tambm que o conjunto c e 1/A+ := {x Q : x = 1/r, r A+ } no limitado superiormente, mas a e limitado inferiormente (por qu?): a existncia do e e e nmo garantida pelo e Teorema 5.1. Os quatro resultados seguintes se destinam, em particular, a mostrar que a Deniao 5.1 coerente com (a), (b), (c) e (d) da Deniao 4.3. c e c Teorema 5.2 As operaoes de adiao e multiplicaao em R, dadas pela Deniao 5.1, coc c c c incidem com as operaoes correspondentes em Q quando a, b Q. Isso c conrma (a) da Deniao 4.3. c Prova: A armaao segue imediatamente da densidade de Q e das denioes c c para a + b e a b na Deniao 5.1, j que, nesse caso, A + B = (, a + b) Q c a e A+ B+ = (, ab) Q, como fcil constatar. e a Teorema 5.3 Se r Q e B Q, B no-vazio e limitado superiormente, ento a a r + sup B = (sup B) + r = sup(B + r). (5.10)

Prova: Observe inicialmente que tanto r + sup B como (sup B) + r so cotas a superiores de B + r. Alm disso, se < r + sup B, ento existe s Q com e a < s < r + sup B, pela densidade de Q. Como, s r < sup B existe t B tal que s r < t. Logo, < s < r + t e r + t r + B, donde no cota a e superior de r + B, se < r + sup B. Da mesma forma, no cota superior a e de r + B se < (sup B) + r. Conclu mos que vale (5.10).

Teorema 5.4 Se r Q, r > 0, B Q (0, +), B no vazio e limitado superiormente, a e e ento a r sup B = (sup B) r = sup(r B), (5.11) onde r B := {x Q : x = rs, para algum s B}. Decorre da em particular, a conrmaao de (b) da Deniao 4.3. , c c
71

CEDERJ

Os Nmeros Reais II u

ANALISE REAL Prova: A primeira igualdade em (5.11) decorre da prpria Deniao 5.1, j o c a que se A+ := (0, r) Q e B+ := (0, sup B) Q, ento, claramente, a A+ B+ = B+ A+ = {x Q : x = rs, r A+ , s B+ }, Provemos a segunda igualdade em (5.11). Primeiro, notemos que r sup B cota superior de r B. De fato, se x r B, ento x = rs para algum e a s B. Como B B+ e r = sup A+ , segue que x r sup B. e r sup B = sup(A+ B+ ) ao passo que (sup B) r = sup(B+ A+ ).

Faamos := r sup B. Dado qualquer < com > 0, temos c que existe Q com < < . Mas ento existe A+ B+ tal que a < < . Em particular, = r s onde r < r e s < sup B. Logo, < rs, para algum s B. Como < < rs, com rs r B, segue que no a e cota superior de r B. Portanto, = sup(r B), o que prova (5.11). Se r = 10k para algum k N e B = (0, x) Q para um dado nmero u real x > 0, a relaao (5.11) nos d c a 10k x = sup(10k B). Seja x = a0 a1 a2 a3 . . . . Se r B, ento existe m N, com m > k, tal que a k r < a0 a1 a2 . . . am < x. Logo, 10 r 10k B e 10k r < a0 a1 . . . ak ak+1 . . . am < a0 a1 . . . ak ak+1 . . . am am+1 . . . , onde a0 a1 . . . ak representa o inteiro N = a0 10k + a1 10k1 + + ak . Logo, a0 a1 . . . ak ak+1 ak+2 . . . uma cota superior de 10k B. e

Por outro lado, fcil ver que se < := a0 a1 . . . ak ak+1 ak+2 . . . , e a ento < a0 a1 . . . ak ak+1 . . . am = 10k a0 a1 a2 . . . am para algum m N. a Como 10k a0 a1 a2 . . . am 10k B, ento no cota superior de 10k B. a a e Logo, = sup(10k B) = 10k x, o que conrma (b) da Deniao 4.3. c Teorema 5.5 A Deniao 5.1 tambm coerente com (d) da Deniao 4.3. c e e c

Prova: Suponhamos a e b ambos positivos com representaoes decimais coc incidindo a partir de um certo k N {0}. Sem perda de generalidade, apenas para simplicar notaao, tomemos k = 1 e suponhamos tambm que c e a > b: a = a0 a1 a2 . . . ak . . . , b = b0 a1 a2 . . . ak . . . ,
CEDERJ 72

Os Nmeros Reais II u

MODULO 1 - AULA 5

e, portanto, a0 > b0 . Devemos provar que a b = a0 b0 . Seja A = (, a) Q, B = (b, +) Q e A B = A + (B), isto , e A B = {x Q : x = r + s, r < a, s < b}. Temos a b = a + (b) = sup(A B). Consideremos as sucesses de elementos de Q, r1 < r2 < < rn < < a o e s1 < s2 < < sn < < b, dadas por r1 := a0 a1 , r2 := a0 a1 a2 , r3 := a0 a1 a2 a3 , ... ... ... ... rn := a0 a1 a2 . . . an , ... ... ... ... s2 := b0 a1 (a2 + 1), ... ... ... ... s1 := b0 (a1 + 1),

s3 := b0 a1 a2 (a3 + 1), sn = b0 a1 a2 . . . (an + 1) ... ... ... ...,

Dado r A qualquer, poss encontrar n1 N tal que r < rn < a e vel para todo n > n1 (por qu?). Da mesma forma, dado qualquer s B, e e poss encontrar n2 N tal que s < sn < b para todo n > n2 . Assim, dado vel qualquer x A B, x = r + s, com r A, s B, e, portanto, poss e vel obter n0 N (tome n0 = max{n1 , n2 }) tal que x < rn + sn < a b para todo n > n0 . Assim, ab = sup(R+S), onde R+S := {r1 +s1 , r2 +s2 , r3 +s3 , . . . }. Agora, vericamos facilmente que rn + sn = (a0 b0 1) 999 . . . 9000 . . . , onde todas as casas decimais a direita do ponto decimal, at a n-sima, so ` e e a iguais a 9 e todas as seguintes so iguais a 0. Da segue que a a b = a 0 b0 . De fato, a0 b0 uma cota superior de R + S. Alm disso, se y < a0 b0 , e e ento, pela densidade de Q, existe q Q com y < q < a0 b0 , e, usando a a
73 CEDERJ

onde adotamos a convenao que, quando ak = 9, a representaao decimal c c de sk terminando com ak + 1 deve ser substitu pela representaao decda c imal correta. Essa, como sabemos, obtida pela regra que manda pr 0 e o na k-sima casa decimal e somar 1 a casa decimal imediatamente anterior, e ` procedendo dessa forma at a primeira casa decimal anterior a k-sima cujo e ` e algarismo correspondente seja menor que 9 ou, se no existir tal casa, concluir a o processo subtraindo-se 1 ao inteiro negativo b0 .

Os Nmeros Reais II u

ANALISE REAL representaao decimal de q, deduzimos facilmente que existe n0 N tal que c q < rn + sn para todo n > n0 . Logo, se y < a0 b0 , y no cota superior de a e R + S, e, portanto, a0 b0 = sup(R + S) = a b, como quer amos mostrar.

Antes de passarmos a vericaao das propriedades das operaoes de ` c c adiao e multiplicaao em R, introduzidas na Deniao 5.1, vamos enunciar c c c um resultado que estabelece um fato conhecido como Propriedade Arquimediana de R, cuja demonstraao decorre diretamente do Teorema 5.4. c Teorema 5.6 (Propriedade Arquimediana) Se x R, y R, e x > 0, ento existe n N tal que a nx > y. Prova: Claramente, podemos supor y > 0. Seja y = b0 b1 b2 b3 . . . e x = a0 a1 a2 a3 . . . . Como, pelo Teorema 5.4, 10k x = a0 a1 a2 . . . ak ak+1 ak+2 . . . , basta tomar n = 10k , com k grande o suciente, de modo que a0 a1 a2 . . . ak b0 + 1 > y, o que sempre poss e vel.

Propriedades Algbricas e Caracterizao dos Reais e ca

O resultado seguinte estabelece as propriedades fundamentais das operaoes c de adiao e multiplicaao em R, denidas anteriormente. c c Teorema 5.7 As operaoes de adiao + : R R R e multiplicaao : R R : R c c c denidas conforme a Deniao 5.1 satisfazem as seguintes propriedades: c (A) Propriedades da Adio ca (A1) Se a R e b R, ento a + b R. a (A2) Comutatividade da adiao: a + b = b + a para todos a, b R. c (A3) Associatividade da adiao: (a + b) + c = a + (b + c) para todos c a, b, c R.
CEDERJ 74

Os Nmeros Reais II u

MODULO 1 - AULA 5

(A4) R contm um elemento 0 tal que 0 + a = a para todo a R. e (A5) Para todo a R existe um elemento a R tal que a + (a) = 0. (M) Propriedades da Multiplicao ca (M1) Se a R e b R, ento o produto a b R. a (M2) Comutatividade da multiplicaao: a b = b a para todos a, b R. c (M3) Associatividade da multiplicaao: (a b) c = a (a c) para todos c a, b, c R. (M4) R contm um elemento 1 = 0 tal que 1 a = a para todo a R. e (M5) Para todo a R, com a = 0, existe um elemento 1/a R tal que a (1/a) = 1. (D) A Lei Distributiva a (b + c) = a b + a c para todos a, b, c R. Um conjunto C dotado de operaoes + e satisfazendo (A), (M) e (D) c e uma estrutura algbrica chamada corpo. Em particular, R um corpo. e e Prova: As propriedades (A1) e (M1) seguem imediatamente do Teorema do Supremo. Vamos provar (A3) e (M3); as demais sero deixadas como a exerc cio. (A3) Devemos mostrar que a + (b + c) = (a + b) + c para todos a, b, c R. Consideremos os conjuntos A e B dados na Deniao 5.1 e denimos C = c (, a + b) Q. Vamos mostrar que (a + b) + c = sup(A + B + C) = a + (b + c) para todos a, b, c R. (5.12) Observe que os conjuntos A, B e C so subconjuntos de Q e, como a adiao a c em Q associativa, podemos escrever (A+B)+C = A+(B +C) = A+B +C. e Mostremos, ento, a primeira igualdade em (5.12). Temos de provar que a sup(sup(A + B) + C) = sup(A + B + C). Denotemos := sup(sup(A + B) + C). Para todo x A + B + C, temos x = r + s + t, com r A, s B e t C. Em particular, x = (r + s) + t sup(A + B) + t ; portanto, uma cota superior de A + B + C. e
75 CEDERJ

Os Nmeros Reais II u

ANALISE REAL Suponhamos que R e < . Vamos mostrar que no cota a e superior de A + B + C. Com efeito, pelo Teorema 4.5, existe um p Q satisfazendo < p < . Como = sup(sup(A + B) + C), pelas propriedades do supremo, existe um t C tal que p < sup(A+B)+t = sup(A+B+t), onde usamos o Teorema5.3 na ultima igualdade. Pelas propriedades do supremo, existem r A, s B tais que p < r + s + t, e r + s + t A + B + C. Como, < p < r + s + t, conclu mos que no cota superior de A + B + C, se a e < sup(sup(A + B) + C). Portanto, ca provado que sup(sup(A + B) + C) = sup(A + B + C). Da mesma forma, vericamos que sup(A + sup(B + C)) cota superior e de A + B + C e, se < sup(A + sup(B + C)), ento no cota superior de a a e A+B +C. Segue desses fatos que vale sup(A+sup(B +C)) = sup(A+B +C), o que conclui a prova de (5.12). Em particular, vale (A3). (M3) O caso em que 0 {a, b, c} imediato. Assim, basta analisar o caso e 0 {a, b, c}. Mais ainda, basta considerar o caso em que a, b e c so positivos, / a em vista de (5.6) e (5.7). Neste caso, a demonstraao totalmente anloga c e a a de (A3). `

Denio 5.2 ca

1. Um corpo ordenado um corpo C, com relaao a operaoes + e e c c nele denidas, o qual tambm um conjunto ordenado, segundo uma e e relaao de ordem < nele denida, tal que: c (i) se x, y, z C e y < z ento x + y < x + z, a (ii) se x, y C, x > 0 e y > 0, ento xy > 0. a Se x > 0, chamamos x positivo, e se x < 0, chamamos x negativo. 2. Um corpo C que satisfaz a propriedade do supremo dito um corpo e completo. Teorema 5.8 R um corpo ordenado completo. e Prova: Basta provar que as operaoes +, , e a ordem < de R satisfazem (i) c e (ii) na Deniao 5.2. c (i) Se y < z, ento A := (, y) Q a B := (, z) Q. Seja C := (, x)Q. Claramente, temos A+C B +C. Mais ainda, vamos mostrar
CEDERJ 76

Os Nmeros Reais II u

MODULO 1 - AULA 5

que a densidade de Q implica que existe r B + C tal que r > x + y. Basta tomar r Q tal que x + y < r < x + z. Como r < x + z, r no cota a e superior de B + C e, portanto, existem p B e q C tal que r < p + q. Logo, r p < q < x, donde r p C e, ento, r = p + (r p) B + C. a Segue da que x + y = sup(A + C) < sup(B + C) = x + z. (ii) Segue imediatamente da deniao. c

Notao: No que segue, em vez de x y vamos simplesmente escrever xy. ca Tambm vamos denotar x2 := xx, x3 := xxx. De modo geral, podemos e denir, por induao, x1 = x e xn+1 = xxn . c Uma vez estabelecida a caracterizaao de R como corpo ordenado comc pleto, perfeitamente poss desenvolver toda a Anlise Real sem jamais e vel a precisar fazer qualquer referncia a nossa deniao de nmeros reais como e ` c u decimais; esse ser, naturalmente, nosso procedimento daqui para diante. De a fato, embora no venhamos a faz-lo, pode-se provar que, dados dois corpos a e ordenados quaisquer C1 e C2 , ento eles so isomorfos. Com isso, queremos a a dizer que existe uma bijeao de C1 sobre C2 , tal que (x + y) = (x) + (x) c e (xy) = (x)(y). Em particular, pode-se mostrar facilmente que para um tal isomorsmo vale (0) = 0, (1) = 1, (x) = (x), (1/x) = 1/(x), se x = 0, e (x) > 0 se x > 0. Mais ainda, decorre tambm dessas observaoes que todo corpo ordee c nado completo contm Q como um subcorpo; isto , contm um subcorpo e e e isomorfo a Q, que, para todos os efeitos, podemos perfeitamente considerar como sendo o prprio Q. o Logo, o que importa no a forma que os elementos de R tm india e e vidualmente, mas o modo como esses elementos se comportam em face das operaoes + e , da relaao de ordem < e dos processos aproximativos garanc c tidos pela propriedade do supremo!

Existncia de e

Mostramos, na aula passada, que a equaao x2 = 2 no possui soluao c a c em Q. Vamos mostrar, a seguir, que a mesma equaao possui soluao em R. c c

77

CEDERJ

Os Nmeros Reais II u

ANALISE REAL Teorema 5.9 Existe um nmero real positivo x tal que x2 = 2. u Prova: Lembremos que [0, +) := {x R : x 0}. Seja A := {y [0, +) : y 2 < 2}. Como 1 A, ele no vazio. Outrossim, A limitado a e e 2 superiormente, pois se z > 2, ento z > 4, de modo que z A. Portanto, a a / propriedade do supremo implica A ter um supremo em R. Seja x := sup A. Observe que x > 1. Mostraremos que x2 = 2, descartando as duas outras possibilidades: x < 2 e x > 2. Primeiramente, suponhamos x < 2. Mostraremos que essa hiptese o nos permite achar n N tal que x + 1/n A, contradizendo o fato de que, sendo x = sup A, x cota superior de A. Para saber como escolher tal n, e 2 observemos que 1/n 1/n, de modo que 1 2 2x 1 1 = x2 + + 2 x2 + (2x + 1). n n n n Portanto, se pudermos escolher n, de modo que x+ 1 (2x + 1) < 2 x2 , n (5.13)

(5.14)

ento teremos (x + 1/n)2 < x2 + (2 x2 ) = 2. Por hiptese, temos 2 x2 > 0, a o 2 de modo que (2 x )/(2x + 1) > 0. Logo, a Propriedade Aquimediana nos permite encontrar n N tal que 1 2 x2 < . n 2x + 1 (5.15)

Podemos agora inverter a ordem dos passos e, comeando por (5.15), obtemos c (5.14), que utilizamos em (5.13), para concluir que (x + 1/n)2 < 2, isto , e x + 1/n A, o que nos d a contradiao desejada. Portanto, no poss a c a e vel 2 termos x < 2. Agora suponhamos x2 > 2. Vamos procurar encontrar m N tal que (x 1/m)2 > 2, o que implica (x 1/m)2 > y 2 para todo y A. Usaremos o fato de que, se a, b so nmeros reais positivos, e a2 < b2 ento a < b (veja a u a o Exerc 13). Assim, conclu cio mos que x 1/m cota superior de A e e e menor que x, contradizendo o fato de que x = sup A. Assim, observemos que 1 2x 2x 1 2 + 2 > x2 . = x2 m m m m Logo, se pudermos escolher m, de modo que x 2x < x2 2, m
CEDERJ 78

(5.16)

(5.17)

Os Nmeros Reais II u

MODULO 1 - AULA 5

ento teremos (x1/m)2 > x2 (x2 2) = 2. Agora, por hiptese, temos x2 a o 2 > 0, de modo que (x2 2)/2x > 0. Logo, pela Propriedade Arquimediana, existe m N tal que 1 x2 2 < . (5.18) m 2x De novo, podemos inverter a ordem dos passos acima, comeando com (5.18), c obtendo (5.17) e usando este ultimo em (5.16). Logo, a hiptese x2 > 2 o tambm nos leva a uma contradiao. e c Como as possibilidades x2 > 2 e x2 < 2 esto exclu a das, necessaria2 mente vale x = 2.

A Propriedade dos Intervalos Encaixados

Comeamos essa seao conclusiva de nossa quinta aula com um resulc c tado simples que caracteriza os subconjuntos de R que so intervalos. a Teorema 5.10 (Caracterizao dos Intervalos) ca Seja S um subconjunto de R que contm, ao menos, dois pontos. Ento, S e a um intervalo se, e somente se, tem a propriedade e se x, y S e x < y, ento [x, y] S. a (5.19)

Prova: O fato de que todo intervalo de R possui tal propriedade segue da prpria descriao dos 8 poss o c veis tipos de intervalo alm do prprio R, que e o descrevemos na aula passada. Vamos provar que se S satisfaz (5.19) ento S um intervalo. Existem a e quatro casos poss veis: (i) S limitado; (ii) S limitado superiormente mas e e no inferiormente; (iii) S limitado inferiormente mas no superiormente; a e a (iv) S no limitado nem superiormente, nem inferiormente. a e Caso (i): Seja a := inf S e b := sup S. Ento, S [a, b] e mostraremos a que (a, b) S. Se a < z < b, ento z no uma cota inferior de S, portanto, a a e deve existir x S com x < z. Tambm verdade que z no uma cota e e a e superior de S; portanto, deve existir y S com z < y. Conseqentemente, u z [x, y] e (5.19) implica z S. Como z abitrrio, conclu e a mos que (a, b) S. Agora, se a S e b S ento S = [a, b]. Se a S e b S, ento a / / a S = (a, b). As outras possibilidades nos do S = [a, b) e S = (a, b]. a Caso (ii): Se b := sup S. Ento, S (, b], e mostraremos que a (, b) S. De fato, se z < b, ento existem x, y S tais que z [x, y] S a
79 CEDERJ

Os Nmeros Reais II u

ANALISE REAL (por qu?). Portanto, (, b) S. Se b S, ento S = (, b]; se b S, e a / ento S = (, b). a Os casos (iii) e (iv) so semelhantes e sero deixados como exerc a a cio.

Dizemos que uma seqncia de intervalos In , n N, encaixada se ue e I1 I2 In In+1 . Teorema 5.11 (Propriedade dos Intervalos Encaixados) Seja In = [an , bn ], n N, uma seqncia encaixada de intervalos fechados e ue limitados. Ento, existe um nmero R tal que In para todo n N. a u Prova: Como os intervalos so encaixados, temos In I1 para todo n N, a a de modo an b1 para todo n N. Logo, o conjunto no vazio A := {ak : k N} limitado superiormente e, pela propriedade do supremo, existe e = sup A. Por deniao de supremo, temos an para todo n N. c

Armamos que bn para todo n N. Vamos mostrar que, para qualquer n N, bn uma cota superior de A. Fixemos n N. Temos dois e casos a considerar: (i) k n; (ii) k < n. Se k n, ento In Ik e, portanto, a temos ak bk bn . Se k < n, ento, como Ik In , temos ak an bn . a Portanto, conclu mos que ak bn para todo k N, de modo que bn uma e cota superior de A, qualquer que seja n N. Logo, bn para todo n N. Portanto, temos an bn para todo n N, isto , In para todo e n N. Teorema 5.12 Seja In = [an , bn ], n N, uma seqncia encaixada de intervalos fechados e ue limitados, tais que os comprimentos bn an de In satisfazem inf{bn an : n N} = 0. Ento, o nmero contido em In para todo n N unico. a u e Prova: Se := inf{bn : n N}, ento um argumento semelhante ao da a prova do Teorema 5.11 mostra que an para todo n N e, portanto, que . De fato, no dif mostrar que x In para todo n N, se, e somente a e cil se, x (veja Exerc 17). Se tivermos inf{bn an : n N} = 0, cio ento, para qualquer > 0, existe um m N tal que 0 bm am < . a Como isso vale para todo > 0, segue que = 0 (por qu? veja o e
CEDERJ 80

Os Nmeros Reais II u

MODULO 1 - AULA 5

Exerc 16). Portanto, conclu cio mos que = o unico ponto que pertence e a In para todo n N. Exerc cios 5.1

1. Use o Teorema 5.3 para provar que se x nmero real positivo, com e u x = a0 a1 a2 . . . , e y = b0 000 . . . , ento x + y = (a0 + b0 ) a1 a2 . . . . a Aqui, como no texto da aula, a0 , b0 N e a1 , a2 , {0, 1, . . . , 9}; em particular, y = b0 N. 2. Prove (A2) e (M2) do Teorema 5.7. (Dica: Para (A2), dena A = (, a) Q, B = (, b) Q e C = (, a + b) Q. Mostre que C = A + B. Para (M2), basta fazer o caso em que a e b so positivos. Dena A+ = (0, a) Q, B+ = (0, b) Q e a C+ = (0, ab) Q. Mostre que C+ = A+ B+ .) 3. Prove (M3) do Teorema 5.7. 4. Prove (A4) do Teorema 5.7. 5. Prove (M4) do Teorema 5.7. 6. Prove (A5) do Teorema 5.7. 7. Prove (M5) do Teorema 5.7. 8. Prove (D) do Teorema 5.7. Faa primeiro o caso mais simples, em que c a, b e c so positivos. a 9. Prove que as propriedades (A1)-(A5) da adiao num corpo qualquer C c implicam as seguintes proposioes: c (a) Se x + y = x + z, ento y = z; a (b) Se x + y = x, ento y = 0; a (c) Se x + y = 0, ento y = x; a (d) (x) = x.
81 CEDERJ

Os Nmeros Reais II u

ANALISE REAL A proposiao (a) a lei do cancelamento. Observe que (b) estabelece c e a unicidade do elemento neutro da adiao, cuja existncia dada por c e e (A4), e (c), a unicidade do simtrico aditivo que existe por (A5). e (Dica: Para provar (a), por exemplo, os axiomas (A) nos do a y = 0 + y = (x + x) + y = x + (x + y)

= x + (x + z) = (x + x) + z = 0 + z = z.)

10. Prove que as propriedades (M1)-(M5) da multiplicaao num corpo qualc quer C implicam as seguintes proposioes: c (a) Se x = 0 e xy = xz, ento y = z; a (b) Se x = 0 e xy = x, ento y = 1; a (c) Se x = 0 e xy = 1, ento y = 1/x; a (d) Se x = 0 ento 1/(1/x) = x. a 11. Prove que os axiomas de corpo ((A), (M) e (D)) implicam as seguintes armaoes, para x, y, z C: c (a) 0x = 0; (b) Se x = 0 e y = 0, ento xy = 0; a (c) (x)y = (xy) = x(y); (d) (x)(y) = xy. (Dica: (a) conseqncia de 0x + 0x = (0 + 0)x = 0x. Prove (b) por e ue contradiao usando os inversos 1/x e 1/y. Use a lei distributiva para c provar (c) fazendo (x)y + xy = . . . . (d) conseqncia de (c).) e ue 12. Mostre que num corpo ordenado qualquer vale xy > 0 se, e somente se, x > 0 e y > 0 ou x < 0 e y < 0. 13. Mostre que se a, b so nmeros reais positivos e a2 < b2 , ento a < b. a u a (Dica: Use b2 a2 = (b a)(b + a).)
CEDERJ 82

Os Nmeros Reais II u

MODULO 1 - AULA 5

14. Use a Propriedade Arquimediana para mostrar que inf{1/n : n N} = 0. 15. Complete a prova do Teorema 5.10, fazendo os casos (iii) e (iv). 16. Mostre que se a R tal que 0 a < para todo > 0, ento a = 0. e a 17. Com a notaao das provas dos Teoremas 5.11 e 5.12, mostre que c e n=1 In . Mostre tambm que [, ] = n=1 In .

Prossiga: Cortes de Dedekind

Nesta seao, vamos provar o Teorema 5.1 atravs do mtodo de Dedekind c e e que recorre ao aux dos chamados cortes, cuja deniao damos a seguir. lio c Na discusso seguinte sobre cortes, reproduziremos com leves modicaoes a c os trs primeiros passos do resumo contido no livro de W. Rudin, Princ e pios de Anlise Matemtica, Ao Livro Tecnico, Rio de Janeiro, 1971. a a Denio 5.3 ca Chamamos corte qualquer conjunto Q com as seguintes propriedades: (i) no vazio e = Q; a e (ii) Se p , q Q, e q < p, ento q ; a (iii) Se p , ento p < r para algum r . a Usaremos as letras p, q, r, . . . para denotar nmeros racionais, e , , u , . . . para denotar cortes. Observemos que (iii) simplesmente diz que no tem maior elemento a (ou mximo); (ii) implica dois fatos: a Se p e q , ento p < q. / a Se r e r < s, ento s . / a / Denio 5.4 ca Denotamos por R o conjunto dos cortes. Em R, denimos a relaao < c como signicando: um subconjunto prprio de . e o Lema 5.1 A relaao < em R uma ordem. Em particular, R um conjunto ordenado. c e e
83 CEDERJ

Os Nmeros Reais II u

ANALISE REAL Prova: Veriquemos os requisitos da Deniao 4.5. Se < e < , c e claro que < , j que um subconjunto prprio de um subconjunto prprio a o o um subconjunto prprio. Tambm claro que, para quaisquer , R, e o e e vale, no mximo, uma das trs alternativas: < , = , < . Para a e mostrar que pelo menos uma vale, suponhamos que as duas primeiras sejam falsas. Ento, no subconjunto de . Logo, existe um p com p . a a e / Se q , segue que q < p (j que p ), e, ento, q , por (ii). Logo, a / a . Como = , conclu mos: b < .

Lema 5.2 O conjunto ordenado R tem a propriedade do supremo. Prova: Seja A um subconjunto no-vazio de R, e suponhamos que R a uma cota superior de A. Denimos como a unio de todos os A. e a Provaremos que R e que = sup A.

Provemos agora que = sup A. Claramente, para todo A. Suponhamos < . Ento, existe um s tal que s . Como s , a / s para algum A. Logo < , e no uma cota superior de A. a e Isso nos d o resultado desejado: = sup A. a

Inicialmente, provemos que um corte. Como A no vazio, existe e a e um 0 A. Esse 0 no vazio. Como 0 , no vazio. Em seguida, a e a e temos , j que para todo A, e, portanto, = Q. Logo, a satisfaz a condiao (i) da Deniao 5.3. Para provar (ii) e (iii), tomemos c c p . Ento, p 1 para algum 1 A. Se q < p, ento q 1 ; logo, a a q ; isto prova (ii). Se r 1 escolhido de modo que r > p, vemos que e r , j que 1 , e, portanto, satisfaz (iii). Assim, R. a

Nosso objetivo agora ser mostrar que existe uma identicaao natural a c entre o conjunto ordenado R, que, pelo Lema 5.2, tem a propriedade do supremo, e o conjunto ordenado dos nmeros reais R (i.e., decimais dotados u da ordem dada na Deniao 4.7). c Denio 5.5 ca Dados dois conjuntos ordenados C1 e C2 , dizemos que uma funao : C1 c C2 preserva a ordem se, para quaisquer x, y C1 vale: x < y implica (x) < (y).

CEDERJ

84

Os Nmeros Reais II u

MODULO 1 - AULA 5

Lema 5.3 Sejam C1 e C2 dois conjuntos ordenados e : C1 C2 uma bijeao de C1 c sobre C2 preservando ordem. Ento, C1 tem a propriedade do supremo se, e a somente se, C2 tem a propriedade do supremo. Prova: Primeiramente, notemos que a inversa 1 : C2 C1 tambm e preserva ordem. Isto claro, uma vez que, denotando tambm por o e e grco de , para todos (x1 , y1 ), (x2 , y2 ) , temos x1 < x2 implica y1 < y2 . a Logo, se (y1 , x1 ), (y2 , x2 ) 1 e y1 < y2 , ento, devemos ter x1 < x2 , pois, a do contrrio, ter a amos x1 x2 , o que implicaria y1 y2 , em contradiao com c a hiptese y1 < y2 . o Portanto, basta provarmos que, se C1 tem a propriedade do supremo, ento C2 tambm a tem. Suponhamos ento que C1 tem a propriedade do a e a supremo e seja A C2 um conjunto no-vazio e uma cota superior de A. a 1 Ento, (A) C1 no vazio e, como 1 preserva ordem, 1 () cota a a e e superior de 1 (A). Logo, como C1 tem a propriedade do supremo, existe = sup 1 (A). Armamos que () = sup A. De fato, () claramente e uma cota superior de A, j que preserva ordem. Alm disso, se < (), a e ento, 1 () < ; logo, 1 () no cota superior de 1 (A) e, portanto, a a e 1 = ( ()) no cota superior de A. Logo, (a) = sup A. a e

Lema 5.4 Dada a R, a = (, a) Q um corte. Mais ainda, a aplicaao : R e c R, com (a) = a injetiva e preserva ordem. e Prova: Devemos vericar (i), (ii) e (iii) da Deniao 5.3. Que a no vazio c a e segue do fato que, se a0 a parte inteira do decimal a, ento, a > 0 implica e a a0 a e a 0, a0 1 a . Que a = Q segue do fato que a0 + 1 a . / Logo, vale (i). A condiao (ii) imediata. A condiao (iii) conseqncia c e c e ue direta da densidade de Q em R. O fato de que : R R preserva ordem e claro, pois, se a1 < a1 , a1 a2 , o que tambm prova que injetiva. e e Atravs da injeao preservando ordem a a , podemos considerar e c R R. A prova do Teorema 5.1 estar conclu se mostrarmos que a a da aplicaao : a a bijetiva. No que segue, vamos considerar R R c e e, para todo a R, vamos denotar tambm por a, em vez de a , o corte e associado (, a) Q.

85

CEDERJ

Os Nmeros Reais II u

ANALISE REAL Lema 5.5 R = mZ [m, m + 1]. Prova: Primeiramente, provemos que N no limitado superiormente em a e R. De fato, se N fosse limitado superiormente em R, pela propriedade do supremo, existiria = sup N em R. Agora dena o conjunto 1 = {q Q : q = r 1, r }. No dif vericar que 1 R, tarefa que a e cil deixamos como exerc cio. Claramente, 1 < e, pelas propriedades do supremo, existe m N tal que 1 < m. Verica-se, facilmente, que da segue que < m + 1, o que nos d uma contradiao. a c Assim, dado qualquer R, com 0, o conjunto A = {n N : n > } no vazio e, Pelo Princ a e pio da Boa Ordenaao, contm um m c e nimo m . Vericamos, ento, facilmente, que [m 1, m ]. a

Se R < 0, dena = {q Q : existe r , q < r}. Verica/ se facilmente que um corte e que, se < 0, a > 0, tarefa que e deixamos como exerc cio. Pelo que j foi provado, [m, m + 1], para a algum m N {0}. Ento, verica-se facilmente que [m 1, m], o a que conclui a demonstaao. c

Prova do Teorema 5.1: Vamos provar que : sobrejetiva. Dado R, pelo Lema 5.5, existe a0 a0 + 1. Para simplicar vamos supor que a0 0. facilmente denir a1 , a2 , . . . , an , {0, 1, 2, . . . , 9}, a0 +

R R, (a) = a e Z tal que a0 < Por induao, podemos c tais que (5.20)

a2 an a1 a2 an + 1 a1 + 2 + + n < a0 + + 2 + + . 10 10 10 10 10 10n

Provemos primeiro que a . Seja q . Como q q e, por (ii) / da Deniao 5.3, q , vemos que q subconjunto prprio de , isto , c e o e q < . Logo, q um subconjunto prprio de , isto q < . Por (iii) e o e da Deniao 5.3, existe r tal que q < r. Claramente, existe n tal que c n 10 (r q) > 1, isto , r q > 1/10n . Logo, ou r a0 e, neste caso, q < a0 , e ou existe n tal que q < a0 + a1 a2 bn + 2 + + n r, 10 10 10

Seja a R, a = a0 a1 a2 . . . an . . . . Armamos que = a = (, a) Q.

Provemos agora que a . Seja q a . Ento, q < a e, pela a deniao da ordem para os decimais dada pela Deniao 4.7, ou q < a0 , ou c c
CEDERJ 86

com bn < an . Portanto, q . Conclu mos que a .

Os Nmeros Reais II u

MODULO 1 - AULA 5

existe n N tal que q < a0 + a1 a2 bn + 2 + + n, 10 10 10

com bn an . Assim, de (5.20) vemos que existe r Q, com r > q e r . Da decorre que q , donde conclu mos que a . Portanto, = a , como quer amos demonstrar.

87

CEDERJ