Propiedades de una topología.

Las reglas internas que gobiernan cómo se comportan los abiertos entre sí.

🎯 Qué vas a aprender

Vas a explorar en profundidad las consecuencias de los axiomas O1-O3. Aprenderás a demostrar propiedades como: «la intersección finita de abiertos es abierta» (y por qué falla para infinitas), cómo se relacionan las topologías entre sí mediante la relación de fineza \( (\mathcal T_1 \subseteq \mathcal T_2 \) ​​ significa que \( \mathcal T_2 \) ​ es más fina), y a manejar las topologías extremas: la discreta (todos los conjuntos son abiertos) y la trivial o indiscreta (solo \( \emptyset \) y \(X\) ).

🚧 Dónde suele tropezarse

• «Más fina» vs «más gruesa»: El estudiante invierte constantemente la relación. Si \(\mathcal T_1 \subseteq \mathcal T_2 \) ​, ¿cuál es más fina? El cerebro dice «si es más grande, es más gruesa», pero es al revés: más abierta = más fina = más discriminante.
• Demostrar que algo NO es topología: En los exámenes es clásico dar una familia de conjuntos y pedir que demuestres que no es topología. El estudiante no sabe por dónde atacar: ¿busco un contraejemplo para O1, O2 o O3?
• La topología discreta «es trampa»: El alumno cree que la topología discreta es un caso «tonto» que no se usa. No entiende que es la topología más fina posible y que aparece como respuesta en muchos ejercicios de construcción.

🛠️ Cómo trabajarlo

• La analogía del «filtro»: Una topología más fina es como un filtro con agujeros más pequeños: distingue más puntos, separa más conjuntos. La topología trivial es un filtro con un solo agujero gigante: todo pasa, nada se distingue.
• Protocolo de ataque para «Demuestra que NO es topología»: Te damos un árbol de decisión: 1) ¿Están \( \emptyset \) y \( X \)? Si no → falla O1. 2) ¿La unión de estos dos abiertos está? Si no → falla O2. 3) ¿La intersección de estos dos abiertos está? Si no → falla O3. Con ejemplos resueltos de cada caso.
• Línea de fineza: Un diagrama visual donde colocamos las topologías conocidas (trivial, cofinita, usual, discreta) ordenadas por fineza, para que interiorices la relación de inclusión.

Conceptos nuevos: Topología y conjuntos abiertos (otra vez, pero distinto). Topología metrizable.

Archivo