Gostaria que alguém esclarecesse a segunite dúvida.


Seja (X,d) um espaço métrico e x_n uma seqüência satisfazendo d( x_(n+1), x_n ) -> 0.
Sejam m e n inteiros positivos diferentes... spg, m > n


-> x_m - x_n = x_m - x_(m-1) + x_(m-1) - x_(m-2) + x_(m-2) - .... + x_(n+1) - x(n)

Usando a desigualdade triangular...

-> 0 <= d( x_m, x_n ) <= d( x_m, x_(m-1)) + d( x_(m-1), x_(m-2)) + .... + d( x_(n+1) , x(n) )

Por que não posso concluir que x_n é Cauchy se cada termo do lado direito fica arbitrariamente pequeno ? Se fosse o caso da implicação ser verdadeira, teríamos que a série harmônica seria convergente, mas não estou conseguindo entender onde está a falha no raciocínio...

Obrigado,
Felipe Pina
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================

Responder a