Continuidad y cerradura: caracterización topológica

En este video del Curso de topología general probamos una caracterización de la continuidad usando la cerradura de conjuntos. El resultado central es: f es continua si y solo si, para todo A ⊆ X, f(cl(A)) ⊆ cl(f(A)). La idea matemática es que la continuidad preserva cercanía en sentido topológico: los puntos que están en la cerradura de A deben enviarse a puntos que están en la cerradura de la imagen de A. Hay que cuidar que la cerradura del lado izquierdo se toma en X, mientras que la cerradura del lado derecho se toma en Y. La prueba usa la caracterización previa de continuidad mediante preimágenes de cerrados. 00:00 Presentación de la caracterización por cerradura 00:20 Espacios topológicos X, Y y función f: X → Y 00:35 Enunciado del teorema 00:52 Condición para todo subconjunto A ⊆ X 00:59 Imagen de la cerradura contenida en la cerradura de la imagen 01:14 Intuición: cosas cercanas van a lugares cercanos 01:35 Cuidado: cerradura en X y cerradura en Y 02:06 Prueba de la ida 02:15 Tomar A ⊆ X 02:32 Usar continuidad y preimágenes de cerrados 03:01 La cerradura de f(A) es cerrada en Y 03:16 La preimagen de cl(f(A)) es cerrada en X 03:55 Estrategia: probar que A está contenido en esa preimagen 04:35 Consecuencia: cl(A) queda contenida en la preimagen 04:46 Aplicar f para obtener la contención buscada 05:10 Tomar un punto a ∈ A 05:31 Todo conjunto está contenido en su cerradura 05:51 a pertenece a la preimagen de cl(f(A)) 06:06 A queda contenido en la preimagen 06:38 cl(A) queda contenida en f⁻¹(cl(f(A))) 06:50 Aplicar imagen directa 07:07 Conclusión de la ida 07:15 Prueba del regreso 07:51 Usar la caracterización por preimágenes de cerrados 07:59 Tomar F ⊆ Y cerrado 08:10 Objetivo: probar que f⁻¹(F) es cerrado en X 08:31 Cerrados como puntos fijos de la cerradura 08:44 Queremos cl(f⁻¹(F)) ⊆ f⁻¹(F) 09:24 Uso abstracto de la hipótesis con A = f⁻¹(F) 09:56 f⁻¹(F) es un subconjunto de X 10:20 Identificación de la hipótesis a utilizar 10:58 Aplicar la hipótesis de cerradura 11:25 Imagen directa de f⁻¹(F) 11:45 Basta usar la contención f(f⁻¹(F)) ⊆ F 12:14 F es cerrado en Y 12:38 Conclusión intermedia 12:47 f(cl(f⁻¹(F))) ⊆ F 13:05 Pasar a preimagen 13:32 f⁻¹(F) contiene su cerradura 13:50 f⁻¹(F) es cerrado en X 13:59 Conclusión del regreso 14:14 Resumen de la caracterización 14:23 Teorema global de continuidad 14:59 f es continua 15:17 Caracterización por preimágenes de abiertos 15:53 Caracterización por preimágenes de cerrados 16:28 Caracterización por cerradura 16:59 Ejercicios naturales: composición y restricción 17:07 Cierre #TopologiaGeneral #Topologia #Continuidad #Cerradura #Matematicas