Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

A construo dos nmeros reais

Jose Roberto Nascimento
Universidade Federal do Par Faculdade de Matemtica e-mail: jrsn19@hotmail.com

21 de Maio de 2013

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Cantor e as Sequncias de Cauchy

Cantor abordou o problema da criao dos nmeros reais de um ponto de vista distinto do adotado por Dedekind. Comeando, como Dedekind, com o conjunto dos nmeros racionais, Cantor utilizou a noo de sequncia fundamental, uma sequncia a1 , a2 , ..., an , ... com a propriedade de que para qualquer valor racional positivo existe um natural n1 tal que |am an | < para m, n n1 . Para Cauchy, era bvio que uma sequncia destas convergia para um nmero real b. Cantor, por outro lado, defendia que armar isto seria cometer um erro lgico, pois esta armao pressupunha a existncia desse nmero real.
Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Cantor e as Sequncias de Cauchy

Cantor utilizou a sequncia fundamental para denir o nmero real b. Por outras palavras, Cantor associou a toda a sequncia fundamental de nmeros racionais a um nmero real. O numero racional r era, ele prprio, associado a uma sequncia, a sequncia r , r , ..., r , ..., mas existiam igualmente sequncias no associadas a nmeros racionais. Por exemplo, a sequncia 1, 1.4, 1.41, 1.414, ... que so as aproximaes por falta do nmero x tal que x 2 = 2.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Cantor e as Sequncias de Cauchy

Cantor deniu uma relao de equivalncia no conjunto de todas essas sequncias. Assim, o nmero a associado sequncia (an ) diz-se igual ao nmero b, associado sequncia (bn ) , se para todo > 0, existe um n0 N, tal que |an bn | < , para todo n > n1 . Denio O conjunto dos nmeros reais correspondia ento ao conjunto das classes de equivalncia de sequcias de Cauchy.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Denio Diz-se que a sequncia (xn ) uma sequncia de Cauchy, quando essa sequncia satisfaz a condio de que para todo racional > 0 existe um natural n0 tal que m, n > n0 |xm xn | < Teorema Todas as sequncias convergentes so de Cauchy.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Denio Denotemos por R o conjunto das sequncias de Cauchy de nmeros racionais e denimos em R a relao de modo que (xn ) (yn ) se, e somente se limn (xn yn ) = 0

A denio anterior verica as trs propriedades de uma equivalncia:

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Reexividade: (xn ) (xn ) (xn xn ) 0. Simetria: (xn ) (yn ) (yn ) (xn ) (xn yn ) 0 ento (yn xn ) 0.

Transitividade: Se (xn ) (yn ) e (yn ) (zn ) ento (xn ) (zn )

n

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

n

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Considerando em R a relao de equivalncia temos que [xn ] = {(yn ) R; (yn ) (xn )} a classe de equivalncia da sequncia (xn ).

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Denio Denotemos por R o conjunto quociente de R pela relao de equivalncia , isto , R = {[xn ]; (xn ) R }

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Se a sequncia (xn ) tem limite no domnio Q, dos nmeros racionais, e se esse limite r , o nmero real [xn ], ser representado por [r ], uma vez que a sequncia constante r , com todos elementos iguais ao nmero racional r , tem como limite r .

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Denio Diz-se que a sequncia de Cauchy de nmeros racionais (xn ), goza da propriedade P , denotado por P (xn ), quando existem um racional positivo d e um nmero natural n0 tal que n > n0 d < xn , ou seja, P (xn ) (d Q, d > 0 n0 N; n > n0 d < xn )

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Denio Diz-se que a sequncia de Cauchy de nmeros racionais (xn ), goza da propriedade N , denotado por N (xn ), quando existem um racional positivo d e um nmero natural n0 tal que n > n0 xn < d , ou seja, N (xn ) (d Q, d > 0 n0 N; n > n0 xn < d )

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Teorema Se a sequncia de Cauchy de nmeros racionais (xn ) no converge para 0, ento (xn ) possui ou a propriedade P ou a propriedade N , uma com excluso da outra.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Teorema As sequncia equivalentes tm conjuntamente a propriedade P ou a propriedade N , isto P (xn ) (yn ) se (yn ) (xn ) ento P (yn ). N (xn ) (yn ) se (yn ) (xn ) ento N (yn ).

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Denio O nmero real = [xn ] diz-se positivo ou maior do que [0] se a sequncia (xn ) admite a propriedade P . Simbolicamente [0] < [xn ] P (xn ). O numero real = [yn ] diz-se negativo ou menor do que [0] se a sequncia representante admite a propriedade N . Ou seja, [0] > [yn ] N (yn ).

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Ordenao do Conjunto dos Nmeros Reais

Denio Dois numeros reais = [xn ] e = [yn ] dizem-se entre si na relaco menor que ou maior que, simbolicamente [xn ] < [yn ], [xn ] menor que [yn ] [yn ] > [xn ], [yn ] maior que [xn ] sempre que [yn xn ] > [0].

As Denies acima ordenam o conjunto R.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R
Teorema Se (xn ) e (yn ) so sequncias de Cauchy, o mesmo acontece sequncia (xn + yn ). Demonstrao Com efeito, para todo racional

> 0, existem n1 , n2 N tais que 2 2 2 + 2 =

n > n1 |xm xn | < n > n2 |ym yn | <

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

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R

Teorema Se (xn ) (rn ) e (yn ) (sn ) ento (xn + yn ) (rn + sn ). Demonstrao Basta fazer a passagem ao limite na identidade xn + yn (rn + sn ) = (xn rn ) + (yn sn )

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R

Denio A soma + de dois nmeros reais, = [xn ] e = [yn ] , o conjunto [xn + yn ] de todas as sequncias equivalentes sequncia (xn + yn ), com [xn ] + [yn ] = [xn + yn ].

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Propriedades Operatrias
Seja = [xn ], = [yn ] e = [zn ]. Ento (a) Comutativa: + = + . Uma vez que o conjunto dos nmeros racionais comutativo relativamente adio, 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 ]

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Propriedades Operatrias

(c) A equacao aditiva + = tem sempre solucao em R. Com efeito, temos que = [yn xn ] a nica soluo da equao acima. Denio A soluo da equao + = , que se representa por = , considera-se obtida de e de por uma operao que se chama subtrao.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R

Teorema Se (xn ) e (yn ) so sequncias de Cauchy, o mesmo acontece sequncia (xn yn ). Demonstrao |xm ym xn yn | |xm ym xm yn | + |xm yn xn yn | = = |xm ||ym yn | + |yn ||xm xn | < M +K = 2M 2K

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R

Teorema Se (xn ) (rn ) e (yn ) (sn ) ento (xn yn ) (rn sn ). Denio O produto . de dois nmeros reais, = [xn ] e = [yn ] , o conjunto [xn .yn ] , de todas as sequncias equivalentes sequncia (xn .yn ), com [xn .yn ] = [xn ].[yn ].

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Operaes em R
Teorema Em R temos que: (a) Comutativa: + = + , . = .; (b) Associativa: + ( + ) = ( + ) + , .(. ) = (. ). ; (c) A equao aditiva + = tem sempre soluo em R; (d) A equacao multiplicativa . = , com = 0, sempre possvel e tem sempre uma nica soluo em R; (e) satisfeita a lei da monotonia relativamente adio; (f) satisfeita a lei da monotonia relativamente multiplicao;
Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Se uma classe [(xn )] contm uma seqncia que converge para um nmero racional a, ento cada sequncia nesta classe converge tambm para a. Por outro lado, todas as sequncias que converge para a est nesta classe, em particular a sequncia constante xn = a. Isto estabelece uma correspondncia 1-1 entre Q e um subconjunto Q de R, a qual dada pela funo :QQ a (a) = [(a)]

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Note que a funo : Q Q bijetora e satisfaz: (i) (a + b) = (a) + (b); (ii) (a b) = (a) (b) e portanto, trata-se de um isomorsmo entre Q e Q.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Se (xn ) uma sequncia de Cauchy em Q ento ||xm | |xn || |xm xn | implica que (|xn |) uma sequncia de Cauchy. Denio O valor absoluto do nmero real = [(xn )] o nmero | = [(|xn |)]|.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Sequncia de nmeros reais

Seja = [(xn )]. Representaremos por (m ) a sequncia de nmeros reais determinada pela sequncia fundamental de nmeros racionais
m m m m (xn ) = (x1 , x2 , ..., xn , ...)

isto
1 2 3 m 1 = [(xn )], 2 = [(xn )], 3 = [(xn )], ..., m = [(xn )], ...

Uma sequncia de nmeros reais racionais ser denotado por (r m ), onde r m a sequncia constante (r m ) = (r m , r m , ...)

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Denio Dizemos que lim m = se, para todo > 0 tivermos |m | < para m sucientemente grande. m y |) Ou equivalentemente, que a sequncia de racionais (|xn n tende para zero.

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Teorema Se R, ento existe uma sequncia de racionais (r m ) que converge para o nmero . Demonstrao Seja (xn ) uma sequncia de Cauchy que determina a classe de e seja (r m ) a sequncia correspondente em Q. Ento, como (xn ) de Cauchy, temos lim |xm xn | = 0, ou seja, lim |r m |,logo lim r m =

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Teorema Toda sequncia de Cauchy de nmeros reais converge para um nmero real. Demonstrao Seja (m ) uma sequncia de Cauchy em R e considere para cada m N, r m um racional tal que |r m x m | < 1/m. Ento temos que (r m ) de cauchy em Q e como (r m ) contm a sequncia constante (r m , r m , r m , ...) temos lim |r m r n | = 0. Seja = [(r m )]. Ento | m | | r m | + |r m m | 0

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Intervalos encaixantes
Seja (In ) uma sequncia de intervalos encaixantes In = [an , bn ], In+1 In , |In | = bn an 0. Provemos que

In = {c }, para algum nmero c

n=1

Mostremos que (an ) uma sequncia 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 <

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Intervalos encaixantes

Assim, (an ) de Cauchy. Logo, pela hiptese que temos, existe c tal que an c . De forma anloga 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 = .

Jose Roberto Nascimento

A construo dos nmeros reais

Cantor e as Sequncias de Cauchy Ordenao do Conjunto dos Nmeros Reais Operaes em R Corpo ordenado completo

Propriedade do Supremo

Todo conjunto no-vazio de nmeros reais limitado superiormente possui supremo.

Jose Roberto Nascimento

A construo dos nmeros reais