Conjuntos cerrados en una topología.

La otra cara de la moneda: lo que queda cuando quitas lo abierto.

🎯 Qué vas a aprender

Vas a definir los conjuntos cerrados como los complementarios de los abiertos y descubrir que satisfacen sus propios axiomas (C1, C2, C3), que son el dual exacto de los axiomas de abiertos (intersección arbitraria de cerrados es cerrada, unión finita de cerrados es cerrada). Aprenderás a trabajar indistintamente con abiertos o cerrados según convenga, y a entender que un conjunto puede ser abierto y cerrado a la vez (clopen), o ni abierto ni cerrado.

🚧 Dónde suele tropezarse

• «Cerrado = no abierto»: Este es el error más extendido y más grave de toda la topología introductoria. El estudiante cree que si un conjunto no es abierto, automáticamente es cerrado. FALSO. En \( \mathbb R \) con la topología usual, \( [0,1) \) no es abierto ni cerrado. Este error aparece en el 70% de los exámenes.
• La dualidad se le escapa: Cuando le piden demostrar algo sobre cerrados, intenta hacerlo «a mano» en vez de pasar al complementario, usar la propiedad de abiertos y volver. Pierde tiempo y comete errores.
• Los conjuntos clopen le parecen una paradoja: «¿Cómo va a ser abierto y cerrado a la vez? ¡Eso es una contradicción!» El estudiante no ha interiorizado que «cerrado» no significa «no abierto», sino «complementario de un abierto».

🛠️ Cómo trabajarlo

• El semáforo de los conjuntos: Clasificamos visualmente los conjuntos en cuatro categorías con colores: 🟢 Solo abierto, 🔴 Solo cerrado, 🟣 Ambos (clopen), ⚪ Ninguno. Con ejemplos en \( \mathbb R \) para cada caso: \( (0,1) \) es 🟢, \( [0,1] \) es 🔴, \( \emptyset \) y \( \mathbb R \) son 🟣, y \( [0,1) \) es ⚪. Este esquema destruye para siempre la falacia de «cerrado = no abierto».
• La «Máquina de Dualidad»: Te damos una tabla de traducción automática: donde dice «unión» pon «intersección», donde dice «abierto» pon «cerrado», donde dice «arbitraria» pon «finita» y viceversa. Con ejercicios de práctica donde conviertes teoremas sobre abiertos en teoremas sobre cerrados.
• Ejercicios tipo examen resueltos: «Determina si los siguientes conjuntos son abiertos, cerrados, ambos o ninguno en \(( \mathbb R, \mathcal T_{usual} ) \)». Resueltos paso a paso, mostrando el razonamiento completo y señalando exactamente dónde el profesor busca el error.
• Demostraciones duales guiadas: Te mostramos una demostración sobre abiertos y, al lado, su gemela sobre cerrados, línea por línea, para que veas cómo la dualidad funciona en la práctica y la uses como atajo en los exámenes.

Conceptos nuevos: Conjunto cerrado.

Archivo