Estoy autoaprendiendo Real Analysis del texto Understanding Analysis de Stephen Abbott. Me gustaría que alguien verifique si mis pruebas/contraejemplos del siguiente ejercicio son rigurosos y correctos.
[Abbott, 4.4.6] Dé un ejemplo de cada uno de los siguientes, o indique que tal solicitud es imposible. Para cualquiera que sea imposible, proporcione una breve explicación de por qué este es el caso.
(a) Una función continua y una secuencia de Cauchy tal que no es una sucesión de Cauchy.
(b) Una función uniformemente continua y una secuencia de Cauchy tal que no es Cauchy.
(c) Una función continua y una secuencia de Cauchy tal que no es una sucesión de Cauchy.
Prueba.
(a) Considere definida y continua en .
Dejar Sea una sucesión de Cauchy en , dónde .
es una sucesión ilimitada, por lo que no es Cauchy.
(b) Esta solicitud es imposible.
Suponer es una sucesión de Cauchy en . Entonces, para todos , existe , para todos .
Desde es uniformemente continua, para todo , existe , tal que para todos los puntos satisfactorio , tenemos .
En consecuencia, para todos , existe , tal que para todos .
Entonces, es Cauchy.
(c) Esta solicitud es imposible.
es un conjunto cerrado. Para todas las secuencias de Cauchy tal que , la secuencia de imágenes . Entonces, es Cauchy.
Tus respuestas son correctas. Sin embargo, la justificación de la tercera respuesta no está bien escrita. Yo lo pondría de la siguiente manera:
Si es una secuencia de Cauchy de elementos de , entonces converge a alguna y desde es un subconjunto cerrado de , . Entonces, desde es continuo, y el hecho de que converge implica que es una sucesión de Cauchy.
Otra posibilidad consiste en decir que si es una sucesión de Cauchy, entonces está acotada. Entonces, para algunos , . Pero la restricción de a es uniformemente continua, y las funciones uniformemente continuas mapean secuencias de Cauchy en secuencias de Cauchy.
La escritura en b podría mejorarse un poco. quieres empezar con , usa la continuidad uniforme para obtener , y luego use que la secuencia es Cauchy para obtener para ese particular . La necesidad de esto es más fácil de ver cuando te das cuenta de que depende de y depende de .
BCLC