Você está na página 1de 10

Introdu c ao

Cantor abordou o problema da cria ca o dos n umeros reais de um ponto de vista distinto do adotado por Dedekind. Come cando, como Dedekind, com o conjunto dos n umeros racionais, Cantor utilizou a no c ao de sequ encia fundamental, uma sequ encia a1 , a2 , ..., an , ... com a propriedade de que para qualquer valor racional positivo |am an | < para m, n n1 . Para Cauchy, era o bvio que uma sequ encia destas convergia para um n umero real b. Cantor, por outro lado, defendia que armar isto seria cometer um erro l ogico, pois esta arma ca o pressupunha a exist encia desse n umero real. A id eia central na deni ca o de Cantor para os n umeros reais e bastante simples. Se OP e um segmento cuja medida, com rela c ao a unidade estipulada para comprimento, n ao e um n umero racional, e poss vel encontrar segmentos de comprimentos racionais, os quais aproximem o comprimento de OP t ao bem quanto queiramos. Cantor utilizou a sequ encia fundamental para denir o n umero real b associada ao comprimento do segmento OP . Por outras palavras, Cantor associou a toda a sequ encia fundamental de n umeros racionais a um n umero real. O n umero racional r era, ele pr oprio, associado a uma sequ encia, a sequ encia r, r, ..., r, ..., mas existiam igualmente sequ encias n ao associadas a n umeros racionais. Por exemplo, a sequ encia 1, 1.4, 1.41, 1.414, ... que s ao as aproxima co es por falta do n umero x tal que x2 = 2. 1 existe um natural n1 tal que

Se considerarmos a sequ encia denida por x1 = c > 0 onde c e um racional positivo 1 a arbitr ario, e pondo xn+1 = (xn + ), temos que (xn ) denida por recorr encia e 2 xn uma sequ encia fundamental. Com efeito, para mostrar que (xn ) e uma sequ encia fundamental provaremos o seguinte: Se 0 < 1 e suponhamos que (xn ) seja uma sequ encia tal que

|xn+2 xn+1 | |xn+1 xn |, n N Armamos que (xn ) e de Cauchy. De fato, temos que |x3 x2 | |x2 x1 |, |x4 x3 | 2 |x2 x1 | e em geral, |xn+1 xn | n1 |x2 x1 | para todo n N . Segue-se que para todo n, p N arbitr arios vale

|xn+p xn | |xn+p xn+p1 | + ... + |xn+1 xn | (n+p2 + n+p3 + ... + n1 )|x2 x1 | = n1 (p1 + p2 + ... + + 1)|x2 x1 | = n1
1p |x2 1

x1 |

Cantor deniu uma rela ca o de equival encia no conjunto de todas essas sequ encias. Assim, o n umero a associado ` a sequ encia (an ) diz-se igual ao n umero b, associado ` a sequ encia (bn ) , se para todo > 0, existe um n0 N, tal que |an bn | < , para todo n > n1 . Deni c ao 0.1 O conjunto dos n umeros reais correspondia ent ao ao conjunto das classes de equival encia de sequ ecias de Cauchy. Deni c ao 0.2 Diz-se que a sequ encia (xn ) e uma sequ encia de Cauchy, quando essa sequ encia satisfaz a condi c ao de que para todo racional > 0 existe um natural n0 tal que m, n > n0 |xm xn | < Teorema 0.1 Todas as sequ encias convergentes s ao de Cauchy. 2

Uma vez demonstrado que todas as sequ encias convergentes de n umeros racionais s ao sequ encias de Cauchy, deparamo-nos com a impossibilidade, no dom nio dos n umeros racionais, de fazer corresponder a cada sequ encias de Cauchy um n umero racional, que seja o seu limite. Atendendo a isso, a ideia utilizada por Cantor, para a edica ca o do conjunto dos n umeros reais, foi a de fazer corresponder, a cada sequ encias de Cauchy de n umeros racionais, um n umero real. Deni c ao 0.3 Denotemos por R o conjunto das sequ encias de Cauchy de n umeros racionais e denimos em R a rela c ao de modo que (xn ) (yn ) se, e somente se limn (xn yn ) = 0 A deni ca o anterior verica as tr es propriedades de uma equival encia: 1. Reexividade: (xn ) (xn ) (xn xn ) 0.

2. Simetria: (xn ) (yn ) (yn ) (xn )

(xn yn ) 0 ent ao (yn xn ) 0.

3. Transitividade: Se (xn ) (yn ) e (yn ) (zn ) ent ao (xn ) (zn )

lim (xn zn ) = lim [(xn yn ) + (yn zn )] = 0


n

Considerando em R a rela ca o de equival encia temos que [xn ] = {(yn ) R; (yn ) (xn )} e a classe de equival encia da sequ encia (xn ).

Deni c ao 0.4 Denotemos por R o conjunto quociente de R pela rela c ao de equival encia , isto e,

R = {[xn ]; (xn ) R } Se a sequ encia (xn ) tem limite no dom nio Q, dos n umeros racionais, e se esse limite e r, o n umero real [xn ], ser a representado por [r], uma vez que a sequ encia constante r, com todos elementos iguais ao n umero racional r, tem como limite r. Deni c ao 0.5 Diz-se que a sequ encia de Cauchy de n umeros racionais (xn ), goza da propriedade P , denotado por P (xn ), quando existem um racional positivo d e um n umero natural n0 tal que n > n0 d < xn , ou seja,

P (xn ) (d Q, d > 0 n0 N; n > n0 d < xn ) Deni c ao 0.6 Diz-se que a sequ encia de Cauchy de n umeros racionais (xn ), goza da propriedade N , denotado por N (xn ), quando existem um racional positivo d e um n umero natural n0 tal que n > n0 xn < d, ou seja,

N (xn ) (d Q, d > 0 n0 N; n > n0 xn < d) Teorema 0.2 Se a sequ encia de Cauchy de n umeros racionais (xn ) n ao converge para 0, ent ao (xn ) possui ou a propriedade P ou a propriedade N , uma com exclus ao da outra. Teorema 0.3 As sequ encia equivalentes t em conjuntamente a propriedade P ou a propriedade N , isto e P (xn ) (yn ) se (yn ) (xn ) ent ao P (yn ). N (xn ) (yn ) se (yn ) (xn ) ent ao N (yn ).

Deni c ao 0.7 O n umero real = [xn ] diz-se positivo ou maior do que [0] se a sequ encia (xn ) admite a propriedade P . Simbolicamente [0] < [xn ] P (xn ). O numero real = [yn ] diz-se negativo ou menor do que [0] se a sequ encia representante admite a propriedade N . Ou seja,

[0] > [yn ] N (yn ). Deni c ao 0.8 Dois numeros reais = [xn ] e = [yn ] dizem-se entre si na relac ao menor que ou maior que, simbolicamente

[xn ] < [yn ], [xn ] menor que [yn ] [yn ] > [xn ], [yn ] maior que [xn ] sempre que [yn xn ] > [0].

As Deni co es acima ordenam o conjunto R. Teorema 0.4 Se (xn ) e (yn ) s ao sequ encias de Cauchy, o mesmo acontece ` a sequ encia (xn + yn ). Demonstra c ao 1 Com efeito, para todo racional > 0, existem n1 , n2 N tais que n > n1 |xm xn | < n > n2 |ym yn | < 2 2 2 + 2 =

logo, |(xm + ym ) (yn + yn )| |xm xn | + |ym yn | <

Teorema 0.5 Se (xn ) (rn ) e (yn ) (sn ) ent ao (xn + yn ) (rn + sn ).


5

Demonstra c ao 2 Basta fazer a passagem ao limite na identidade

xn + yn (rn + sn ) = (xn rn ) + (yn sn ) Deni c ao 0.9 A soma + de dois n umeros reais, = [xn ] e = [yn ] , e o conjunto [xn + yn ] de todas as sequ encias equivalentes ` a sequ encia (xn + yn ), com

[xn ] + [yn ] = [xn + yn ]. Seja = [xn ], = [yn ] e = [zn ]. Ent ao (a) Comutativa: + = + . Uma vez que o conjunto dos n umeros racionais e comutativo relativamente a ` adi ca o, temos + = [xn + yn ] = [yn + xn ] = [yn ] + [xn ] = + . (b) Associativa: + ( + ) = ( + ) + . [xn ] + ([yn ] + [zn ]) = [xn ] + [yn + zn ] = [xn + (yn + zn )] =

= [(xn + yn ) + zn ] = [xn + yn ] + [zn ] = ([xn ] + [yn ]) + [zn ] (c) A equacao aditiva + = tem sempre solucao em R. Com efeito, temos que = [yn xn ] eau nica solu ca o da equa ca o acima.
6

Deni c ao 0.10 A solu c ao da equa c ao + = , que se representa por = , considera-se obtida de e de por uma opera c ao que se chama subtra c ao. Teorema 0.6 Se (xn ) e (yn ) s ao sequ encias de Cauchy, o mesmo acontece ` a sequ encia (xn yn ). Demonstra c ao 3 |xm ym xn yn | |xm ym xm yn | + |xm yn xn yn | = = |xm ||ym yn | + |yn ||xm xn | < M 2M +K 2K =

Teorema 0.7 Se (xn ) (rn ) e (yn ) (sn ) ent ao (xn yn ) (rn sn ). Deni c ao 0.11 O produto . de dois n umeros reais, = [xn ] e = [yn ] , e o conjunto [xn .yn ] , de todas as sequ encias equivalentes a sequ ` encia (xn .yn ), com [xn .yn ] = [xn ].[yn ]. Em R temos que: (a) Comutativa: + = + , . = .; (b) Associativa: + ( + ) = ( + ) + , .(. ) = (. ). ; (c) A equa c ao aditiva + = tem sempre solu c ao em R; (d) A equacao multiplicativa . = , com = 0, e sempre poss vel e tem sempre uma u nica solu c ao em R; satisfeita a lei da monotonia relativamente ` (e) E a adi ca o; satisfeita a lei da monotonia relativamente ` (f ) E a multiplica ca o;
7

Note que existe, dentro de R, uma c opiade Q , dada pelas sequ encias constantes (isto e, o n umero racional r tem em R um clone, dado pela sequ encia (rn ), (rn ) = r n N. Teorema 0.8 Se (xn ) e uma sequ encia fundamental de n umeros racionais denindo o n umero real , ent ao, dado arbitrariamente um inteiro N > 0, existe n0 N tal que n > n0 |xn | < 1 N

Demonstra c ao 4 Dado N > 0, existe n0 N tal que 1 N

m, n > n0 |xm xn | <

Fixemos um ndice arbitr ario n n0 , e consideremos as sequ encias x1 , x2 , x3 , ..., xm , ... e xn , xn , xn , ..., xn , ... Elas denem respectivamente os n umeros e xn Temos ent ao que a sequ encia

x1 xn , x2 xn , x3 xn , ..., xm xn , ... dene o n umero xn , e como 1 1 < xm xn < N N


8

para todo m > n0 , ent ao 1 1 1 < xn < | xn | < N N N

Teorema 0.9 Toda sequ encia de Cauchy de n umeros reais converge para um n umero real. Demonstra c ao 5 Seja (xn ) uma sequ encia de Cauchy em R e seja, para cada n N, rn um racional tal que |rn xn | < 1/n (acabamos de provar que tal rn existe). Como (xn ) e de Cauchy, (rn ) tamb em e.

Seja o n umero denido pela sequ encia (rn ), ent ao (rn ) 0. Como, por outro lado, temos (xn rn ) 0, segue (xn ) 0, o que prova a converg encia de (xn ). Seja (In ) uma sequ encia de intervalos encaixantes In = [an , bn ], In+1 In , |In | = bn an 0. Provemos que

In = {c}, para algum n umero c


n=1

Mostremos que (an ) e uma sequ encia de Cauchy. Com efeito, sabemos que |In | 0, ou seja,

> 0, n0 N; n n0 bn an < Portanto,

m > n n0 an am bm bn |an am | bn an <


9

Assim, (an ) e de Cauchy. Logo, pela hip otese que temos, existe c tal que an c. De forma an aloga

m > n n0 |bn nm | b; bn b Portanto [c, b] In para todo n N e como |In | 0 temos que

c=be
n=1

In = .

Todo conjunto n ao-vazio de n umeros reais limitado superiormente possui supremo.

10