Universidade de Bras lia Departamento de Matemtica a

Construo dos Nmeros Reais ca u

Clio W. Manzi Alvarenga e

Sumrio a
1 Seqncias de n meros racionais ue u 2 Pares de Cauchy 3 Um problema 4 Comparao de pares de Cauchy ca 5 Adio de pares de Cauchy ca 6 Multiplicao de pares de Cauchy ca 7 Os 7.1 7.2 7.3 7.4 7.5 n meros reais u Adio de nmeros reais . . . . . . . . . . . ca u Multiplicao de nmeros reais . . . . . . . ca u Os nmeros reais e os nmeros racionais . . u u Interpretao geomtrica dos nmeros reais . ca e u Supremo e nmo . . . . . . . . . . . . . . . 1 2 4 9 11 12 14 15 17 19 20 25

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Seo 1. Seqncias de n meros racionais ca ue u

Seqncias de n meros racionais ue u

Sejam N o conjunto dos nmeros naturais e Q o conjunto dos nmeros u u racionais. Uma funo s : N Q chamada uma seqncia de nmeros racionais. ca e ue u Como exemplo, seja s : N Q tal que para todo nmero natural n, u n . Assim, s(0) = 0, s(1) = 1/2, s(2) = 2/3 , etc. s(n) = 1+n Seja s : N Q uma seqncia de nmeros racionais. Ento quando n ue u a um nmero natural, s(n) um certo nmero racional que tambm que e u e u e tambm costuma ser indicado com esta notao sn . Isto , s(n) = sn e sn e ca e e chamado o n-simo termo da seqncia s. e ue E claro que sabendo quais so todos os sn ns conhecemos completamente a o a nossa seqncia s. Por essa razo uma seqncia s : N Q costuma ser ue a ue indicada com a notao {sn | n N}, ou {sn }n N , ou simplesmente sn quando ca no h perigo de confuso. a a a Exemplo 1. Consideremos a seqncia f : N Q tal que para todo nmero ue u n natural n, fn a maior frao que tem denominador 10 e no ultrapassa e ca a 1/3 . Desse modo, f0 = 0; f1 = 0, 3; f2 = 0, 33; etc. Uma seqncia de nmeros racionais sn dita limitada quando existem ue u e dois nmeros racionais p, q tais que para todo n N: u p A seqncia ue sn q

1 limitada pois para todo nmero n, e u 1+n 0 1 1+n 1

A seqncia n2 no limitada. ue a e Uma seqncia an dita crescente se, para todo nmero natural j : ue e u aj aj+1

Como exemplo seja a : N Q tal que para todo n, an a maior frao e ca que tem denominador 10n e no ultrapassa 5/7 . O leitor pode mostrar que a {an } de fato crescente e tambm limitada, pois para todo n, 0 an < 5/7. e e A seqncia bn chamada decrescente se, para todo nmero natural j : ue e u

Seo 2. Pares de Cauchy ca

bj +1

bj

Por exemplo, seja {bn } a seqncia tal que para todo n, bn a menor ue e frao que tem denominador 8n e maior do que 1/3 . O leitor pode mostrar ca e que {bn } decrescente, e limitada, pois para todo nmero natural e u n, 1/3 < bn 1. Neste exemplo fcil ver que b0 = 1 ; b1 = 3/8 ; e a b2 = 22/82 ; b3 = 171/83 ; etc. Exerc cios 2. 1) Mostre que a seqncia ue 2) Mostre que a seqncia ue n n+1 n+2 n+1 nN nN crescente e limitada. e decrescente e limitada. e

3) Para cada nmero natural n, seja an a maior frao que tem denomiu ca n nador 7 e no ultrapassa 3/8 , isto an a e 3/8 < an + 1/7n . Mostre que {an } uma seqncia crescente e limitada. (Sugesto: seja an = cn /7n para e ue a todo n N. Mostre que cn 7cn cn+1 , e portanto an an+1 ).

Pares de Cauchy

J encontramos em nossos estudos de Matemtica problemas dos seguina a tes tipos: 1) Dado o nmero natural n, achar as duas fraes de denominador 10n , u co an e bn tais que 1 5 5 < b n e b n an = n an < ; 7 7 10 2) Dado o nmero natural m, achar as duas fraes positivas cm e dm , do u co denominador 10m tais que c2 < 2 ; 2 < d 2 e dm cm = m m etc. No primeiro problema acima, quando o nmero natural n vai percoru rendo o conjunto dos nmeros naturais, as solues an formam uma seu co qncia crescente {an } e as solues bn formam uma seqncia decrescente ue co ue claro tambm que os termos an e bn , de mesmo {bn }. E e ndice, vo cando a cada vez mais prximos ` mdia em que o o a e ndice n cresce, pois a diferena c bn an = 1/10n vai cando pequena. 1 10m

Seo 2. Pares de Cauchy ca

O segundo problema acima tambm exibe um fenmeno parecido. e o Os dois exemplos citados acima e muitos outros (que no daremos agora a mas encontraremos mais tarde) sugerem que examinemos com ateno este ca novo tipo de objeto matemtico: um par de seqncias de nmeros racia ue u onais {an , bn } tais que {an } crescente, {bn } decrescente an e e bn para todo nmero natural n e a diferena bn an vai se aproximando de zero ` u c a medida em que o ndice n cresce. No exigiremos, entretanto, que an ou bn a n seja frao de denominador 10 . ca Esse novo tipo de objeto matemtico, o nosso par de seqncias {an , bn } a ue nas condies acima, ns chamaremos de par de Cauchy e iremos estudar na co o prxima seo. o ca Denio 3. Dizemos que duas seqncias an e bn de nmeros racionais ca ue u formam nessa ordem o par de Cauchy {an , bn } se as seguintes condies co esto vericadas: a 1) an crescente, bn decrescente; e e 2) Para todo n N : an bn ;

3) Dado qualquer nmero racional > 0 existe um nmero natural n0 tal u u que para todo n n0 : b n an < Exemplos 4. 1) Seja r um nmero racional. Para todo nmero natural n, u u fcil ver que as trs condies acima esto satisfeitas e seja an = bn = r. E a e co a portanto {an , bn } um par de Cauchy. e 1 1 a 2) Para todo n N sejam an = e bn = . E fcil mostrar n+1 n+1 que {an , bn } um par de Cauchy. e Exerc cios 5. 1) Seja {an , bn } um par de Cauchy. Mostre que {bn , an } um par de e Cauchy. 2) Seja {cn , dn } um par de Cauchy tal que para todo n N, cn > 0. Mostre que {1/dn , 1/cn } um par de Cauchy. (Sugesto: para vericar e a a condio (3) da denio de par de Cauchy, observe que ca ca 1 dn cn dn cn 1 = . cn dn cn dn c2 0 3) Seja {en , fn } um par de Cauchy tal que para todo n N, fn < 0. Mostre que {1/fn , 1/en } um par de Cauchy. e

Seo 3. Um problema ca

4) Sejam {an , bn }, {cn , dn } dois pares de Cauchy tais que para todo n N, an > 0 e cn > 0. Mostre que {an cn , bn dn } um par de Cauchy (Sugesto: e a para vericar a condio (3) da denio de par de Cauchy, observe que ca ca bn dn an cn = bn dn an dn + an dn an cn portanto bn dn an cn dn (bn an ) + an (dn cn ) d0 (bn an ) + b0 (dn cn )) de Cauchy. Mostre que

5) Sejam {an , bn }, {cn , dn } dois pares {an + cn , bn + dn } um par de Cauchy. e

6) Sejam {an , bn } um par de Cauchy e n0 um nmero natural. Dena as u seqncias an . b n do seguinte modo: ue b n = bn0 , an = an0 para n b n = bn , an = an n0

para n > n0

e Mostre que {an , b n } um par de Cauchy

Um problema

Dado um par de Cauchy {an , bn }, vamos supor que exista um nmero u racional r tal que para todo n N: an r bn

Queremos saber se poss existir um outro nmero racional s, diferente e vel u de r, tal que para todo n N: an Vamos mostrar que no. a Se existisse um tal nmero s, diferente de r, ento ou s > r ou s < r. u a Vamos vericar que s no pode ser maior do que r. a De fato, se s > r ento s r > 0. De acordo com a condio 3) da a ca denio de par de Cauchy, podemos tomar = s r (veja pgina 3) e ento ca a a existe um nmero natural n0 tal que para todo n n0 acontece isto: u 0 b n an < s bn

Seo 3. Um problema ca

isto (pois = s r): e b n an < s r Logo b n + r < s + an Mas estamos supondo que an s bn para todo n N. Ento a b n + an

b n + r < s + an e portanto

bn + r < bn + an isto , e r < an Isso absurdo pois por hiptese an e o r bn para todo n. A demonstrao de que s no pode ser menor do que r anloga ` ca a e a a anterior, como o leitor pode observar. Concluso 6. Dado um par de Cauchy {an , bn }, se existir um nmero raa u cional r tal que para todo n N acontece isto: an r bn

ento r o unico nmero racional que est assim relacionado com o par de a e u a Cauchy {an , bn }. Por essa razo podemos introduzir a seguinte denio. a ca Denio 7. Dados o par de Cauchy {an , bn } e o nmero racional r, ns ca u o dizemos que {an , bn } determina r se para todo n N acontece isto: an r bn

O leitor a esta altura pode fazer a seguinte pergunta: dado um par de Cauchy {cn , dn } sempre existe um nmero racional s tal que {cn , dn } deu termina s no sentido da Denio 7 acima? ca A resposta a essa pergunta : nem sempre. e E claro que o par de Cauchy mero 2, pois para todo n N: 2+ 1 n+1 2 2+ 1 n+1 2+ 1 1 , 2+ n+1 n+1 determina o nu

Vamos agora dar exemplo de um par de Cauchy {an , bn } que no detera mina nenhum nmero racional. As seqncias an e bn do par {an , bn } so u ue a denidas do seguinte modo: Para cada n N:

Seo 3. Um problema ca

6 2; 2.

an a maior frao de denominador 10n tal que a2 e ca n

bn a menor frao positiva do denominador 10n tal que b2 e ca n

E claro que para todo n bn an = 1/10n . Logo, dado > 0, existe n0 tal que, para n n0 , 1/10n < , isto , |bn an | < . O leitor pode vericar e que an crescente e bn decrescente. E claro que para todo n, an bn . Logo e e {an , bn } de fato um par de Cauchy. e Vamos ento vericar que no existe nenhum nmero racional tal que, a a u para todo n N: an h b n De fato, se um tal nmero racional h existisse deveria acontecer um destes u trs casos: e 1 o ) h2 = 2; 2 o ) h2 < 2; 3 o ) h2 > 2. Vamos mostrar que nenhum desses casos poss e vel. 1 o ) No existe nenhum nmero racional h tal que h2 = 2. De fato, se a u existe um tal h poder amos escrev-lo h = p/q, onde p e q so nmeros e a u 2 2 naturais primos entre si e q = 0. Ento viria: p /q = 2 p2 = 2 q 2 . a 2 Logo p par. Portanto p par. Ento p2 mltiplo de 4 e como p2 = 2 q 2 e e a e u conclu mos que q 2 mltiplo de 2. Isso contraria o fato de que p e q so e u a primos entre si e um particular no podem ser ambos pares. a 2 o ) Vamos mostrar que h2 < 2 tambm no poss e a e vel: Como bn = (bn h) + h, ento [(bn h) + h]2 = b2 > 2 (Por denio de a ca n bn , b2 > 2). Logo n (bn h)2 + 2 h (bn h) + h2 > 2 Como para todo n N, bn an = 1/10n e an 0 < bn h isto , e 0 < bn h 1 10n b n an h bn , ento a

Seo 3. Um problema ca

e ento temos a 2 (bn h) h (bn h)2 Portanto 1 2h + n + h2 102n 10 (bn h)2 + 2(bn h)h + h2 (1) = [(bn h) + h] =
2

2h 10n 1 102n

b2 n

>2

Dado o nosso nmero racional positivo h, existe um nmero natural n0 u u tal que 1 10n0 > h Logo, para todo n n0 , podemos escrever: 10n 10n0 > 1 , isto , e h 1 10n > h 1 10n n0 :

ou h> e ento conclu a mos que para todo n

1 1 1 1 h > n n = 2n n 10 10 10 10 e assim, de acordo com o resultado (1) , obtemos: 1 2 1 2 h + n h + h2 > 2n + n h + h2 > 2 n 10 10 10 10 isto , e 3h + h2 > 2 10n para todo n n0 , n N. Podemos concluir de (2) que 3h > 2 h2 10n (2)

Seo 3. Um problema ca

ou, visto ser 2 h2 > 0 : 3h > 10n 2 h2 qualquer que seja n n0 . 3h > 0 sempre existe 2 h2 e u Ora, (3) absurdo pois dado o nmero racional um nmero natural n maior do que n0 tal que u 3h < 10n 2 2h Est pois mostrado que h2 no pode ser menor do que 2. a a e 3 o ) Deixamos a cargo do leitor mostrar que o terceiro caso, isto , h2 > 2, tambm no pode ocorrer (Sugesto: observe que an = (an h) + h, a2 < 2 e a a n e mostre que a hiptese h2 > 2 conduz a absurdo). o Uma observao nal : acabamos de ver que dado um par de Cauchy ca arbitrrio {an , bn } nem sempre podemos garantir a existncia de um nmero a e u racional r que tenha a seguinte propriedade: an r bn , n N (3)

Sabemos tambm que quando um tal nmero r existe, ento no poss e u a a e vel existir um outro nmero s racional, diferente de r e que tambm satisfaa as u e c condies co an s b n para todo n N. E essa a razo pela qual, quando an r bn para todo a n N, podemos dizer que o par de Cauchy {an , bn } determina o nmero u racional r. Nesse caso seria fcil obtermos um outro par de Cauchy, diferente a de {an , bn } e que tambm determina o mesmo nmero r. Com efeito, e u e suciente tomarmos 1 an = an n+1 1 b n = bn + n+1 para todo n N. E claro que an = an , b n = bn e an an r bn b n , isto , an r b n . O leitor pode vericar que {an , b n } um par de Cauchy e e e como an r b n , ento {an , b n } determina o nmero r. a u Moral da histria: um par de Cauchy pode determinar no mximo um o a nmero racional. Mas um nmero racional pode ser determinado por muitos u u pares de Cauchy diferentes.

Seo 4. Comparao de pares de Cauchy ca ca

Comparao de pares de Cauchy ca

Denio 8. Dados dois pares de Cauchy {an , bn } e {cn , dn } ns dizemos ca o que {an , bn } estritamente menor do que {cn , dn }, e escrevemos {an , bn } e < {cn , dn }, se existir algum ndice n0 N tal que bn0 < cn0 Geometricamente a denio acima signica isto: para n > n0 : ca

an an0

bn bn0 cn0

cn

dn dn0

Denio 9. Dado dois pares de Cauchy {an , bn } e {cn , dn }, quando ca {an , bn } < {cn , dn } ns dizemos que {cn , dn } estritamente maior do que o e {an , bn } e escrevemos {cn , dn } > {an , bn }. Observao 10. Consideremos os dois pares de Cauchy {an , bn } e {cn , dn } ca 1 1 tais que para todo n N, an = bn = 1 e cn = 1 , dn = 1 + . n+1 n+1 a E fcil ver que {an , bn } no nem estritamente maior nem estritamente a e menor do que {cn , dn }. O leitor observa que tanto {an , bn } como {cn , dn } determinam o mesmo nmero racional 1. u Problema 11. Dados dois pares de Cauchy {an , bn }, {cn , dn }, suponhamos que existe um nmero racional r tal que an r bn para todo n N (isto u , {an , bn } determina o nmero r). Suponhamos ainda que {an , bn } no e u a e nem estritamente maior nem estritamente menor do que {cn , dn }. Mostrar que {cn , dn } ento determina o mesmo nmero racional r. a u Soluo. Como {an , bn } no estritamente menor do que {cn , dn } poca a e demos armar que para todo n N : cn bn (4)

Como {an , bn } no estritamente maior do que {cn , dn }, conclu a e mos que para todo n N: an dn Para provarmos que {cn , dn } determina r precisamos mostrar que para todo n N temos: cn r dn .

Seo 4. Comparao de pares de Cauchy ca ca

10

Ora, se a armao: ca Para todo n N, cn r dn fosse falsa, ento deveria existir um nmero natural n0 tal que um desses a u dois casos seguintes aconteceria: 1 o ) r < cn0 ; 2 o ) dn0 < r. - a Vamos mostrar que (1 o ) no pode ocorrer. De fato, se r < cn0 , ento a cn0 r > 0 e para todo n n0 , cn r cn0 r > 0. Tomemos o nmero u racional positivo cn0 r. Como {an , bn } um par de Cauchy, existe n1 > n0 e tal que para todo n n1 acontece isto: bn an < cn0 r Ento para todo n a n1 temos b n an < c n r pois cn0 r cn r e bn an < cn0 r para n que para n n1 : bn c n < a n r n1 . Ento conclu a mos (5) 0 e portanto o

mos que bn cn Mas em virtude do resultado (4) conclu resultado (5) acima implica que an r > 0 para todo n Isso contraria a hiptese de ser an o n1 .

r para todo n N.

Deixamos a cargo do leitor mostrar que no podemos ter dn0 < r para a nenhum n0 N. Assim ca demonstrado que se {an , bn } determina o nmero racional r e u {cn , dn } um par de Cauchy que no nem estritamente maior nem estrie a e tamente menor do que {an , bn }, ento {cn , dn } determina o mesmo nmero a u racional r. O resultado acima serve de motivao para a seguinte denio: ca ca Denio 12. Dados dois pares de Cauchy {an , bn } e {cn , dn }, dizemos ca que {an , bn } equivalente a {cn , dn } e escrevemos {an , bn } {cn , dn } e se {an , bn } no nem estritamente maior nem estritamente menor que a e {cn , dn }.

Seo 5. Adio de pares de Cauchy ca ca

11

Deixamos a cargo do leitor mostrar as seguintes propriedades da relao ca introduzida acima. Para facilitar a escrita usaremos letras gregas para indicar pares de Cauchy. I) para todo par de Cauchy ; II) = ; III) Se e , ento ; a e > , ento > . a

IV) Se ,

Sugesto: para demonstrar a propriedade III, suponha que ela no seja a a verdadeira e mostre que isso conduz a absurdo. Tome = {an , bn }, = {cn , dn }, = {en , fn }. Ento se no equivalente a , ento ou > a a e a ou > . Mostre que nenhum desses casos pode ocorrer. Exerc cios 13. 1) Sejam {an , bn } e {cn , dn } dois pares de Cauchy. Mostre que {an , bn } {cn , dn } se e s se para todo n, an dn e cn bn . o 2) Sejam r, s nmeros racionais e {an , bn } um par de Cauchy que deu termina r, e {cn , dn } um par de Cauchy que determina s. Mostre que {an + cn , bn + dn } um par de Cauchy que determina r + s. e 3) Sejam r, s nmeros racionais positivos, {an , bn } um par de Cauchy que u determina r e {cn , dn } um par de Cauchy que determina s. Suponhamos que para todo n N, an > 0 e cn > 0. Mostre que {an cn , bn dn } um par e de Cauchy que determina r . s e {1/bn , 1/an } um par de Cauchy que e determina 1/r. 4) Seja m um nmero natural e {an , bn } um par de Cauchy. Considere u as seqncias an , b n denidas do seguinte modo: ue b n = bm e an = am para n m b n = bn e an = an para n > m Mostre que {an , b n } um par de Cauchy equivalente a {an , bn }. e

Adio de pares de Cauchy ca

Dados dois pares de Cauchy = {an , bn } e = {cn , dn }, podemos formar o par de Cauchy {an + cn , bn + dn }, que chamaremos de soma dos pares de Cauchy e e escreveremos: {an , bn } + {cn , dn } = {an + cn , bn + dn }

Seo 6. Multiplicao de pares de Cauchy ca ca

12

Vamos indicar com O o par de Cauchy {en , fn } tal que en = fn = 0 para todo n N. Dado o par de Cauchy = {an , bn }, podemos formar o par de Cauchy = {bn , an }, que chamaremos de simtrico de . e O leitor pode vericar que so vlidas as seguintes propriedades, onde as a a letras gregas indicam pares de Cauchy: 1) e = + + ; 2) = ; 3) + O = ; 4) + () O (Observe que no temos igualdade, e sim equivalncia); a e 5) + = + ; 6) ( + ) + = + ( + ); 7) > = + > + para todo par de Cauchy .

Multiplicao de pares de Cauchy ca

J sabemos que quando {an , bn } e {cn , dn } so pares de Cauchy tais a a que para todo n N an > 0 e cn > 0, ento {an cn , bn dn } tambm a e e um par de Cauchy. Se alm disso {an , bn } determinar o nmero racional e u positivo r e {cn , dn } determinar o nmero racional positivo s, ento fcil u a e a mostrar que {an cn , bn dn } determina o nmero r . s. Em vista disso natural u e que coloquemos a seguinte denio: ca Denio 14. Se = {an , bn } e = {cn , dn } so pares de Cauchy tais ca a que para todo n N, an > 0 e cn > 0 ento chamamos de produto de a por o par de Cauchy {an cn , bn dn } e escrevemos: {an , bn } {cn , dn } = {an cn , bn dn } Antes de prosseguirmos, vamos resolver o seguinte exerc cio: Exerc cio 15. Seja {an , bn } um par de Cauchy estritamente maior que o par de Cauchy (veja pgina 12). Ento existe um par de Cauchy {an , b n } 0 a a tal que {an , bn } {an , b n } e an > 0 para todo n N. Soluo. ca Como {an , bn } > 0, ento existe um a ndice n0 N tal que an0 > 0. Para todo n n0 teremos an > 0. Consideremos as seguintes seqncias an , b n : ue

Seo 6. Multiplicao de pares de Cauchy ca ca

13 para n n0

b n = bn0

e an = an0

b n = bn e an = an para n > n0 O leitor pode vericar que {an , b n } um par de Cauchy equivalente a e {an , bn } e tal que para todo n N, an > 0. Vamos escolher, no exemplo acima, o ndice n0 de tal modo que an0 seja o primeiro termo maior do que zero na seqncia an (isto , an0 > 0 e aj 0 ue e e para j < n0 ). Diremos ento que {an , b n } o par de Cauchy associado a a {an , bn }. Denio 16. Sejam {an , bn }, {cn , dn } pares de Cauchy estritamente maica ores do que Seja {an , b n } o par associado a {an , bn } e {c n , d n } o par 0. associado a {cn , dn }. (Sabemos ento que an > 0 e c n > 0 para todo n e a ca {an , bn } {an , b n }, {cn , dn } {c n , d n }, colocamos por denio: {an , bn } {cn , dn } = {an c n , b n d n }) Exerc cios 17. As letras gregas indicam pares de Cauchy estritamente maiores do que 0. Mostre que: 1) = 2) ( ) = ( ) 3) , = 4) Seja o par de Cauchy {en , fn } tal que en = fn = 1 para todo n. Seja 1 um par de Cauchy estritamente positivo. Verique que 1 5) Seja = {an , bn } um par de Cauchy tal que an > 0 para todo n, e consideremos o par de Cauchy 1 = { 1/ bn , 1/an }. Mostre que 1 O par 1 chamado o inverso de . 1. e 6) Sejam e dois pares de Cauchy estritamente maiores do que e 0 seja o par de Cauchy associado a , e o par de Cauchy associado a . Mostre que = ( )1 ( )1 (isto , se dois pares de Cauchy estritamente maiores do que so equivae 0 a lentes, ento os inversos de seus respectivos associados tambm so equivaa e a lentes).

Seo 7. Os n meros reais ca u

14

Os n meros reais u

Seja Q o conjunto dos nmeros racionais. Sabemos que QQ o conjunto u e dos pares ordenados de nmeros racionais, isto : u e Q Q = {(a, b) | a Q e b Q} Ora, as funes f : N Q Q co chamar de A. formam um conjunto que podemos

Que um elemento de A? e Um elemento de A uma e funao f : N Q Q que pode ser pensada como um par de seqncias c ue de nmeros racionais {an , bn }. Em particular um par de Cauchy pertence a u A, isto , os pares de Cauchy formam um subconjunto de A. Seja ento o e a conjunto dos pares de Cauchy e j sabemos que A. a Dado um par de Cauchy , vamos junta num conjunto todos os pares de Cauchy equivalentes a . Isto , e = { | } Diremos que o nmero real determinado pelo par de Cauchy . O par e u de Cauchy ento chamado um representante do nmero real . e a u Vamos mostrar que dois pares de Cauchy equivalentes determinam o mesmo nmero real, isto : u e Proposio 18. = = . ca Demonstrao. Como e so subconjuntos de , para provarmos ca a que = temos que mostrar que e . Por denio temos: ca = { | } = { | } e por hiptese sabemos que . Ento , pois . Dado , o a temos e como , temos , isto . Portanto todo e elemento de tambm elemento de , isto . De modo anlogo e e e a podemos mostrar que e assim ca provado que = = Vamos chamar de R o conjunto de todos os nmeros reais. u

Seo 7. Adio de n meros reais ca ca u

15

Denio 19. Sejam e dois nmeros reais. Dizemos que estrica u e tamente maior do que e escrevemos > se para todo e todo acontece isto: > (isto , o par de Cauchy estritamente e e maior que o par de Cauchy ). O leitor pode vericar que vlido o seguinte resultado: e a Proposio 20. Dados dois nmeros reais e ento acontece um e um ca u a s dos seguintes casos: o
o 1 - ) = ; o 2 - ) > ; o 3 - ) > .

Exerc cio 21. Sejam , dois pares de Cauchy tais que > . Mostre que > , isto , se e ento > . e a

7.1

Adio de n meros reais ca u

Sejam , dois nmeros reais. Seja um representante de , u e um representante de , como e so pares de Cauchy ns a o podemos formar o par de Cauchy + , e depois tomamos o nmero real u determinado por + . Com essas notaes: co Denio 22. + = ( + ) ca Observao 23. A soma de dois nmeros reais est bem denida, pois ca u a se em lugar de tivssemos tomado e em lugar de e escolhssemos , ter e amos (conforme exerc cio da pgina a 12): + + como dois pares de Cauchy equivalentes determinam o mesmo nmero real (veja Proposio 18). Temos: u ca ( + ) = ( + ) Observao 24. A razo pela qual passamos dos pares de Cauchy aos ca a nmeros reais que desse modo conseguimos substituir a relao de equiu e ca valncia entre pares de Cauchy pela relao de igualdade entre nmeros reais. e ca u Intuitivamente dois pares de Cauchy equivalentes {an , bn } e {an , b n } tais que an = an ou bn = b n no devem apenas por causa dessa circunstncia a a ser considerados diferentes pois, sendo equivalentes, determinam o mesmo nmero, conforme vimos em exemplos anteriores a propsito de nmeros u o u racionais. (Por exemplo, os pares de Cauchy {an , bn } e {an , b n } tais que an = bn = 0 e an = 1/(n + 1), b n = 1/(n + 1) determinam o nmero 0). u

Seo 7. Adio de n meros reais ca ca u

16

Proposio 25. Sejam , e nmeros reais. Ento: ca u a > + > + Demonstrao. ca exerc cio

Denio 26. Seja r um nmero racional e consideremos o par de Cauchy ca u r = {an , bn } tal que para todo n natural, an = bn = r. O nmero real u determinado pelo par de Cauchy r ser escrito r . a Seja um nmero real. Vamos mostrar que a equao u ca + x = 0 tem no mximo uma soluo. a ca De fato, suponhamos que x e x fossem dois nmeros reais diferentes u 1 2 e tais que + x = 0 1 + x = 0 2 Como x = x , em virtude da Proposio 20 podemos admitir por exemplo ca 1 2 que x > x . Ora, a Proposio 25 acima garante-nos que ca 1 2 x > x x + > x + 1 2 1 2 ca e 2 a e e assim vemos que se x + = 0 , ento 0 > x + isto , x no soluo a 1 2 da equao dada. Portanto a equao acima tem no mximo uma soluo. ca ca a ca O leitor pode vericar sem diculdade que, se {an , bn } um par de Caue chy representante de , ento o par de Cauchy {bn , an } tem a seguinte a propriedade: {an , bn } + {bn , an } 0 Desse modo, chamando de o nmero real determinado pelo par de Cauu chy {bn , an }, temos + ( ) = 0 Fica pois mostrada a seguinte Proposio 27. Dado o nmero real , a equao + x = 0 tem ca u ca uma unica soluo. Essa soluo indicada com a notao . Isto , ca ca e ca e + ( ) = 0 . A adio de nmeros reais tem propriedades semelhantes as da adio ca u ca de nmeros racionais. Isto , sendo , , nmeros reais o leitor pode u e u vericar que so vlidas as seguintes propriedades: a a

Seo 7. Multiplicao de n meros reais ca ca u

17

+ = + ( + ) + = + ( + ) + 0 = Para todo real existe um nmero real tal que u + ( ) = 0

7.2

Multiplicao de n meros reais ca u

` a A pgina 12 tratamos da multiplicao de dois pares de Cauchy estrica Vamos agora usar os resultados l obtidos para tamente maiores de que 0. a discutirmos agora a multiplicao de nmeros reais. ca u Denio 28. Sejam e dois nmeros reais estritamente maiores do ca u que 0 . Sejam {an , bn } um par de Cauchy representante de e {cn , dn } um par de Cauchy representante de . Ento esses dois pares de Cauchy a De acordo com a denio dada so ambos estritamente maiores do que 0. a ca na pgina 12 podemos considerar o produto desses dois pares de a Cauchy {an , bn } {cn , dn } que vamos chamar de . Ento, por denio, a ca = . Observao 29. Suponhamos que {an , bn } e {an , b n } sejam dois pares de ca Cauchy equivalentes que determinam o nmero real estritamente maior do u que 0 , . Sejam {cn , dn } e {c n , d n } dois pares de Cauchy equivalentes que determinam o nmero real estritamente maior do que 0 , . Ento, conforme u a o exerc 3 da pgina 11, {an , bn } {cn , dn } {an , b n } {c n , d n }. Assim cio a sendo, temos ({an , bn } {cn , dn }) = ({an , b n } {c n , d n }) Isso mostra que quando , so dois nmeros reais estritamente maiores do a u que 0 , ento o produto denido acima est de fato bem denido e no a a a depende de como escolhemos um representante para e outro representante para a m de, a partir deles, determinarmos . Para completarmos a denio do produto de dois nmeros reais, precica u samos tratar dos casos em que ao menos um dos fatores no um nmero a e u real estritamente maior do que 0 . Denio 30. Seja um nmero real qualquer. Ento colocamos: ca u a 0 = 0

Seo 7. Multiplicao de n meros reais ca ca u

18

Observao 31. Suponhamos que seja um nmero real estritamente ca u menor do que 0 . Ento o leitor pode vericar que um nmero real a e u estritamente maior do que 0 . Denio 32. Sejam e dois nmeros reais tais que estritamente ca u e menor do que 0 e estritamente maior do que 0 . Ento colocamos e a = (( ) ) Denio 33. Sejam e dois nmeros reais estritamente menores do ca u que 0 . Ento colocamos a = ( ) ( ) Observao 34. Com as quatro denies estudadas acima, o produto de ca co dois nmeros reais ca denido em todos os casos poss u veis. O leitor pode vericar que a multiplicao de nmeros reais tem propriedades semelhantes ca u a `s da multiplicao de nmeros racionais: ca u 1 o ) = ; 2 o ) ( ) = ( ); 3 o ) ( + ) = + ; 4 o ) 0 = 0 ; 5 o ) = 0 = 0 ou = 0 ; 6 o ) 1 = ; 7 o ) Se < e > 0 ento < ; a 8 o ) Se , so nmeros reais e = 0 ento existe um unico nmero a u a u real tal que = Tal nmero real indicado com a notao = u e ca .

Seo 7. Os n meros reais e os n meros racionais ca u u

19

7.3

Os n meros reais e os n meros racionais u u

Proposio 35. Sejam um nmero real e d um nmero racional positivo. ca u u Ento existem nmeros racionais r e s tais que r < s, s r < d e r < a u < s (Para a denio de r veja a pgina 16). ca a Demonstrao. Dado o nmero real , seja {an , b n } um par de Cauchy ca u a representante de . E fcil conseguirmos um outro par de Cauchy {an , bn }, ue equivalente a {an , b n }, tal que a seqncia an seja estritamente crescente (isto , aj < aj +1 para j N) e bn seja estritamente decrescente (isto , bj +1 < bj e e para j N). Como {an , bn } um par de Cauchy, dado o nosso nmero e u racional d > 0 existe n0 tal que para n n0 , acontece isto: bn an < d. Em particular, temos bn0 an0 < d. Tomemos r = an0 e s = bn0 . Ento r < s, a s r < d, e como r < {an , bn } < s , ento a r < < s Observao 36. Na proposio acima, se tivermos > 0 conseguimos ca ca um nmero racional r tal que 0 < r < . u Exerc cios 37. 1) Sejam , dois nmeros reais tais que < . Mostre que existe u um nmero racional q tal que < q < . u 2) Sejam , dois nmeros reais estritamente positivos.Mostre que u existe um nmero natural n tal que < n . u 3) Mostre que no existe nenhum nmero racional h tal que h2 = 3. a u 4) Mostre que existe um nmero real positivo tal que 2 = 3 (Suu gesto: d um par de Cauchy que represente o pedido). a e Vamos agora considerar a funo : Q R que a cada nmero racional ca u a r associa o nmero real r (veja pgina 16). Quais so as propriedades da u a funao ? O leitor pode vericar facilmente que para todo a, b, Q: c 1 a ) (a + b) = (a) + (b) isto , (a + b) = a + b ; e 2 a ) (a b) = (a) (b) isto , (a b) = a b ; e 3 a ) Se a < b ento (a) < (b) a isto , a < b = a < b ; e

Seo 7. Interpretao geomtrica dos n meros reais ca ca e u

20

4 a ) Vamos agora considerar a imagem Q em R do conjunto Q atravs da e funo . Isto , Q = (Q) R. ca e O conjunto Q por assim dizer uma cpia do conjunto Q pois em Q e o operamos com os elementos de Q da mesma maneira como operamos com os elementos de Q. A (3 a ) propriedade acima nos mostra que se a, b Q e a = b ento a = b . Podemos ento tratar os elementos de Q como se a a nesse sentido que podemos dizer que os nmeros fossem nmeros racionais. E u u racionais Q formam um subconjunto dos nmeros reais. u u A proposio 35 pode agora ser vista deste modo: dado um nmero real ca e um nmero racional d > 0, sempre existem nmeros racionais r e s cuja u u distncia a menor do que d, tais que r < < s . a e

7.4

Interpretao geomtrica dos n meros reais ca e u

Sobre uma reta marcamos dois pontos distintos O, U , escolhemos como sentido positivo de percurso da reta o que vai de O para U :
O U P

Em seguida, dado um nmero racional p qualquer, marcamos na reta acima u o ponto P de tal modo que a medida algbrica do segmento OP feita com e a unidade OU seja expressa pelo nmero dado p. (Assim, se p > O, ento u a o ponto P se ache ` direita de O, e se p < O, o ponto P est ` esquerda a aa de O). Assim a cada nmero racional p podemos associar um ponto bem u determinado, P , de nossa reta. Se chamssemos de Q o conjunto de todos a os pontos de nossa reta que so correspondentes de nmeros racionais, ento a u a aconteceria o seguinte: h pontos na nossa reta que no pertencem a Q! Isto a a , existem em nossa reta acima, pontos I que no so correspondentes de e a a nenhum nmero racional, pois o segmento OI no pode ser medido algeu a bricamente com o segmento OU de maneira que a medida seja um nmero u racional. Dado o nmero real , suponhamos que {an , bn } seja um par de Cauu chy representante de . Os termos an , bn so nmeros racionais. Vamos a u ento, para cada n N, achar os pontos An e Bn correspondentes a an e bn , a respectivamente. Pois bem, existe na reta um e um s ponto A tal que para o todo n, A pertence ao segmento de extremidades An e Bn : E natural ento associarmos o nmero real ao ponto A acima descrito. a u Com isso acontece o seguinte: cada ponto da reta o correspondente de um e

Seo 7. Interpretao geomtrica dos n meros reais ca ca e u

21

A1

A2

An

Bn

B2

B1

unico nmero real e cada nmero real pode ser representado na nossa reta u u atravs de um unico ponto. e A proposio 35 signica geometricamente que perto de cada ponto A ca que representa um nmero real sempre poss encontrar pontos R e u e vel S tais que A pertence ao segmento de extremos R e S, e R e S so pontos a correspondentes a nmeros racionais: u
A R S

Exerc cio 38. Sejam n uma seqncia crescente de nmeros reais, e n ue u uma seqncia decrescente de nmeros reais tais que para todo n N, ue u n n . Mostre que se p, q so dois nmeros naturais quaisquer, ento a u a p q .

Proposio 39. Sejam um nmero real e {rn , sn } um par de Cauchy ca u que determina o nmero real . Suponhamos que para todo n N, < s . u n Ento . a Demonstrao. Seja {an , bn } um par de Cauchy representante do nca u mero real . Precisamos mostrar que {an , bn } no estritamente maior do a e que {rn , sn }. Que aconteceria se {an , bn } fosse estritamente maior do que {rn , sn }? Ento existiria um nmero natural n0 tal que a u sn0 < an0 (6)

Seja {en , fn } o par de Cauchy tal que para todo n N, en = fn = sn0 . amos: Ento, em virtude de (6), ter a {en , fn } < {an , bn } (7)

Mas {en , fn } determina o nmero real s 0 e {an , bn } determina o nmero u u n real . Logo, (7) implica que s 0 < n
1

e isso contraria a hiptese de ser < s para todo n N. o n

Seo 7. Interpretao geomtrica dos n meros reais ca ca e u

22

Exerc cio 40. Sejam um nmero real e {rn , sn } um par de Cauchy que u determina o nmero real . Suponhamos que para todo n N, rn < . u Mostre que ento . a Observao 41. O leitor deve notar na proposio 42 seguinte que as ca ca u a e seqncias n , n de nmeros reais que l consideramos tm propriedades ue semelhantes as das seqncias de nmeros racionais que entram na formao ue u ca de um par de Cauchy.
ue u Proposio 42. Sejam n , n duas seqncias de nmeros reais tais que ca o 1 - ) n crescente e n decrescente; e e o 2 - ) n n para todo n N;

o 3 - ) Dado qualquer nmero real positivo , existe um nmero natural n0 u u (que pode depender de ) tal que para todo n n0 n n < Ento existe um e um s nmero real tal que n a o u todo n N.

n para

Observao 43. Quando estudamos pares de Cauchy {an , bn }, onde an , bn ca eram nmeros racionais, vimos que nem sempre existia um nmero racional u u r tal que an r bn para todo n N. Na proposio 42 acima estamos ca considerando pares de Cauchy {n , n }, onde agora n , n so nmeros reais. a u A proposio 42 ento arma que nesse caso sempre existe um nmero real ca a u n para todo n N. tal que n Demonstrao. (da Proposio 42) ca ca Primeiramente vamos exibir um nmero real que tem a propriedade enunu ciada na proposio 42, isto , ca e
n

n para todo n N.

Para apresentarmos basta que demos um par de Cauchy {rn , sn }, representante de . O par de Cauchy {rn , sn } constru denindo as seqncias e do ue rn , sn por induo do seguinte modo: ca
Para n = 0, tomamos como r0 um nmero racional menor do que 0 e u tal que 0 r0 < 1;

Seo 7. Interpretao geomtrica dos n meros reais ca ca e u

23

Suponhamos que j foram denidos os termos rn para n = 0, 1, . . . , p , a de maneira que r0 < r1 < . . . < rp , r n < n e , para n = 0, . . . , p r < 1 n n n+1 Vamos ento denir o termo seguinte, rp+1 : a Como que
u p+1 e rp < p , podemos tomar um nmero racional rp+1 tal

rp < rp+1 < p+1

1 p+2 Est pois completamente denida a seqncia rn e podemos lembrar outra a ue vez quais so suas propriedades: a
p+1 rp+1 <

rn crescente; e
rn < n para todo n N; n rn <

1 para todo n N. n+1

De modo parecido podemos denir a seqncia sn de maneira tal que ue sn decrescente; e

n < sn para todo n N; sn n <

1 para todo n N. n+1

rn n n sn

Armamos que {rn , sn } um par de Cauchy. E claro que rn sn para todo e n, pois rn < n n < sn . Pela denio de rn e sn , vemos que rn crescente ca e a e sn decrescente. Falta apenas vericarmos a 3 - condio da denio de e ca ca

Seo 7. Interpretao geomtrica dos n meros reais ca ca e u

24

um par de Cauchy. Isto , precisamos mostrar que dado qualquer nmero e u racional d > 0, existe n0 N tal que para n n0 , sn r n < d Ora, dado o nosso d > 0, conseguimos um n1 natural tal que para n d 3 (usando a nossa hiptese 3 sobre as seqncias n e n ). o ue
n n <

n1

Agora tomamos n0 > n1 tal que 1 d < n0 + 1 3 E claro que para n n0 , teremos 1 d < . Finalmente, observamos que n+1 3

sn rn = sn n + n n n rn

portanto
sn rn = (sn n ) + (n n ) + (n rn ) 1 1 + (n n ) + < n+1 n+1 Assim, para n n0 , temos

d d d + + =d 3 3 3 O par de Cauchy {rn , sn } determina o nmero real . u a E fcil ver que (conforme exerc cio da pgina 21) dados dois nmeros a u naturais p, q quaisquer, p < s (8) q sn rn < Usando a proposio 39, conclu ca mos de (8) que
p

para todo nmero natural p. De modo anlogo podemos mostrar que u a para todo p N.

Deixamos a cargo do leitor mostrar que no pode existir um outro nmero a u real , diferente de , tal que
n

para todo n N.

Seo 7. Supremo e ca nmo

25

7.5

Supremo e nmo

Daqui por diante os nmeros reais sero indicados quase sempre com u a letras latinas minsculas e eventualmente com letras gregas minsculas, mas u u sem o asterisco (). Denio 44. Seja A um conjunto no vazio de nmeros reais. Dizemos ca a u que A superiormente limitado se existe algum nmero real M tal que para e u todo a A, a M . Denio 45. Seja A um conjunto no vazio e superiormente limitado de ca a nmeros reais. Dizemos que o nmero real s o supremo de A se esto u u e a satisfeitas as duas seguintes condies: co
a 1 -) a

s, a A; r para todo a A, ento s a r.

a 2 - ) Se r um nmero real tal que a e u

Observao 46. A segunda condio acima na denio de supremo nos ca ca ca diz que entre todos os nmeros reais que majoram o conjunto A, o nmero u u s o menor. e Exemplo 47. Seja A = {x R | x < 1}. Vamos mostrar que o supremo de A 1. De fato, pela prpria denio de A, e o ca a < 1, a A Suponhamos que o nmero real r seja tal que a u r, a A. Vamos mostrar que 1 r. De fato, em caso contrrio ter a amos r < 1. Ora, o nmero x = (r + 1)/ 2 maior do que r e menor do que 1. Portanto r no u e a satisfaz a condio de ser maior ou igual a qualquer elemento de A. Fica ca assim mostrado que o supremo de A de fato 1. e Denio 48. Seja A um conjunto no vazio e inferiormente limitado de ca a nmeros reais. Ento o nmero real m chamado o mximo de A se esto u a u e a a satisfeitas as duas seguintes condies: co
a 1 - ) m A; a 2 -) a

m, a A.

a a Observao 49. E claro que se um conjunto A tem mximo m, ento m ca tambm o supremo de A. O conjunto A = {x R | x < 1} tem supremo e e nal a 1, mas no tem mximo, pois 1 A. a a /

Seo 7. Supremo e ca nmo

26

Exerc cios 50. Ache o supremo dos seguintes conjuntos: B = {x R | 7x + 1 < 4x + 5} F = yR 1 <0 y+1

Proposio 51. Seja A um conjunto no vazio e superiormente limitado de ca a nmeros reais. Ento existe um nmero real tal que o supremo de A. u a u e Demonstrao. Se o conjunto A tiver um mximo m, ento claro que ca a a e m tambm o supremo de A. e e Vamos ento supor que o nosso conjunto A no tem mximo e vamos a a a provar que existe o supremo de A. Constituiremos duas seqncias rn , sn de nmeros reais de modo que ue u 1 o) 2 o) o 3 -) 4 o) 5 o) rn crescente, sn decrescente; e e para todo n N, rn < sn ; dado > 0, existe n0 N tal que para n n0 , sn rn < ; para cada n N, a sn , a A; para cada n N, existem elementos a A tais que rn < a < sn As seqncias rn e sn so denidas por induo do seguinte modo: ue a ca Como A no vazio e superiormente limitado podemos considerar dois e a nmeros reais, r0 e s0 tais que u r0 A (pois A = ) a < s0 , a A (pois A: superiormente limitado) Consideremos o nmero real u m1 = r0 + s0 2

r0

n1

s0

Dois casos so poss a veis (visto A no ter mximo, por hiptese) a a o 1 o ) a < m1 , a A;

Seo 7. Supremo e ca nmo

27

2 o ) a A tal que m1 < a. No primeiro caso tomamos: r1 = r0 No segundo caso tomamos: r1 = m 1 e s1 = s0 e s1 = m 1

Suponhamos que j foram escolhidos os nmeros reais rn , sn a u para n = 0, . . . , p de maneira tal que 1 o ) rn rn+1 < sn+1 sn para n = 0, . . . , p 1 o 2 - ) a < sn a A, n = 0, . . . , p 3 o ) Para cada n = 0, . . . , p, existe a A tal que rn < a < sn s0 r0 2n Vamos ento dizer como tomar os termos seguintes rp+1 e sp+1 : a 4 o ) sn rn =
rp sp

m1

Consideramos o nmero real mp+1 = (sp + rp )/2 . Ento (pela hiptese u a o de A no ter mximo) so poss a a a veis dois casos: 1 o ) a < mp+1 , a A; 2 o ) existem a A tais que mp+1 < a. No primeiro caso denimos rp+1 = rp e sp+1 = mp+1 No segundo caso denimos, rp+1 = mp+1 e sp+1 = sp O leitor pode vericar que as seqncias rn e sn satisfazem as 5 propriue edades enunciadas no comeo desta demonstrao, isto , ` pgina 26. Em c ca e a a particular as trs primeiras propriedades implicam, pela proposio 42, que e ca as seqncias rn e sn determinam um nmero real tal que para todo n N: ue u r n < < sn

Seo 7. Supremo e ca nmo

28

Vamos mostrar que o supremo de A: e 1 o) a , a A De fato, suponhamos que isso no fosse verdade. Ento existiria um a a elemento x A tal que < x.
x

Como x > 0, podemos achar um nmero natural n0 tal que sn0 rn0 < , u isto , sn0 rn0 < x . Mas isso absurdo pois rn0 < e x < sn0 e e (Observe que sn0 rn0 < x rn0 < x sn0 . Como rn0 < , ento a rn0 > 0. Como x < sn0 , ento x sn0 < 0. Um nmero negativo no a u a pode ser maior que um positivo). Est ento mostrado que para todo a A: a a a , a A, ento a .

2 o ) Se um nmero real tal que a e u

Em outras palavras, precisamos mostrar que qualquer nmero real menor u do que superado por algum elemento de A. e De fato, dado > 0, consideremos nmero real . Podemos achar u um nmero natural n0 tal que sn0 rn0 < como < sn0 , temos u rn0 < . Portanto como rn0 < , temos < rn0 < . Ora, como existem elementos a A tais que rn0 < a < sn0 , conclu mos que existem nmeros a A tais que u <a Ento no maior ou igual a qualquer elemento de A. Como > 0 a a e arbitrrio conclu e a mos que se a, a A, ento . Isto , o a e e supremo de A. Denio 52. Um subconjunto no vazio de nmeros reais, B, inferiorca a u e mente limitado se existe um nmero real m tal que m b, b B. u Denio 53. Seja B um subconjunto no vazio e superiormente limitado ca a de nmeros reais. O nmero real f o u u e nmo de B se as duas condies co seguintes esto vericadas: a
a 1 -) f a 2 - ) Se g

b, b B; b, b B, ento g a f.

Deixamos a cargo de leitor a demonstrao da seguinte proposio: ca ca

Seo 7. Supremo e ca nmo

29

Proposio 54. Seja B R um subconjunto no vazio e inferiormente ca a limitado de nmeros reais. Ento existe um nmero real f tal que f o u a u e nmo de B.