Espacios Métricos Completos y Convergencia

Pregunta :

Dejar ( X norte ) norte norte sea ​​una sucesión en un espacio métrico completo ( X , d ) tal que

norte norte d ( X norte , X norte + 1 ) < + .
Muestra esa ( X norte ) norte norte converge y esto ya no es cierto si asumimos que norte norte d 2 ( X norte , X norte + 1 ) < + .

Solución :

Creo que he mostrado la convergencia en el caso en que norte norte d ( X norte , X norte + 1 ) < + usando la desigualdad triangular en d ( X norte , X norte + metro ) para cualquier ( norte , metro ) norte 2 . Más explícitamente,

( norte norte ) ( metro norte )         d ( X norte , X norte + metro ) k = 0 metro 1 d ( X norte + k , X norte + k + 1 ) k = norte + d ( X k , X k + 1 ) k norte d ( X k , X k + 1 ) < + .
Por eso, ( X norte ) norte norte es Cauchy.

Sin embargo, tengo problemas para proporcionar un contraejemplo para el caso en el que solo tenemos norte norte d 2 ( X norte , X norte + 1 ) < + . Idealmente, me gustaría generar alguna secuencia en un espacio métrico completo ( X , d ) dónde

( norte norte )         d ( X norte , X norte + 1 ) = 1 norte + 1
(nótese que adopto la convención de que norte = { 0 , 1 , 2 , 3 , } ). Esto me permitiría apelar al hecho de que norte norte 1 norte + 1 diverge pero norte norte 1 ( norte + 1 ) 2 converge Cualquier ayuda es apreciada.

Exactamente correcto. Solo presiona un poco más tu ejemplo. por ejemplo, si X norte = 1 + 1 2 + 1 3 + + 1 norte en R qué es d ( X norte , X norte + 1 ) ?
¿No deberías mostrar eso? d ( X norte , X norte + metro ) < ε ?
Para la primera parte, detener la desigualdad en k = norte . Perdiste todo lo que habías logrado cuando diste un paso más.

Respuestas (1)

Llevar ε > 0 . Desde la serie norte = 1 d ( X norte , X norte + 1 ) Concierges, hay algunos norte norte tal que norte = norte d ( X metro , X norte + 1 ) < ε . Entonces sí metro > norte norte ,

d ( X norte , X metro ) d ( X norte , X norte + 1 ) + d ( X norte + 1 , X norte + 2 ) + + d ( X metro 1 , X metro ) norte = norte d ( X metro , X norte + 1 ) < ε .
Entonces, ( X norte ) norte norte es una sucesión de Cauchy, y por lo tanto converge.

Por otro lado, norte = 1 ( norte + 1 4 norte 4 ) 2 converge, pero la secuencia ( norte 4 ) norte norte diverge

¡Gracias por la ayuda! Esto definitivamente funciona.
Me alegro de poder ayudar.