Suponer que es uniformemente continua. Supongamos que ambos son secuencia en que convergen a . Demuestra que si y , entonces .
Por definición, ya que , ,
Se puede hacer una declaración paralela para la secuencia . Esto implica que
Desde es uniformemente continua, esto nos informa que , calle y ,
(excluimos la condición delta ya que mostramos que siempre se cumple)
Se pueden hacer condiciones similares usando cada secuencia exclusivamente
Luchando por descifrar los últimos pasos.
Aquí hay una prueba en el marco de IST, asumiendo , , y son estándar. Dejar ser infinitamente grande. Entonces y ambos están infinitamente cerca de , entonces está infinitamente cerca de . Por continuidad uniforme, está infinitamente cerca de . Porque , está infinitamente cerca de y de manera similar está infinitamente cerca de . De este modo y están infinitamente cerca, por lo tanto (siendo estándar) iguales.
zhw.