Sea un espacio métrico compacto, sea una sucesión de funciones continuas de en y sea una función continua. Probar que uniformemente a si y sólo si para toda sucesión en que converge a , la sucesión converge en a .

Tengo problemas para probar la vuelta, no se bien como encararlo.

Probá por el contrareciproco: Suponé que no converge unifomemente, entonces existe tal que ...
Intentá seguir este camino, si te trabás posteá lo que hiciste y te ayudo.

Creo que salió, lo que hice fue: Si no converge uniformemente, entonces existe tal que para todo n existe x tal que .
Entonces tomé el que sirve y lo llamé . Y consideré el conjunto . O sea el conjunto de los x que hacen que no converja uniformemente.
Ahora tomo un elemento de cada . Y me queda una sucesión . Como esta sucesión está en un compacto tiene una subsucesión convergente. Considero entonces convergente, y x su límite.
Y por construcción se que . Ahora quisiera ver que no converge a .
Se que
Se que si es suficientemente grande y como f es continua, .
Entonces .
Entonces encontré una sucesión que converge a , y que no converge a . Entonces por contrarecíproco probé lo que quería.

¿Está bien lo que hice? Me llama la atención que en ningún momento usé el dato de que el codominio de mis funciones es

A mi me parece bastante bien. Igual está mal la negación de la convergencia uniforme, te faltó el "".