## [Topología Inducida](/es/node/62161) Definición La topología sobre un subconjunto A de un espacio topológico X cuyas abiertas son precisamente las intersecciones U ∩ A para U abierto en X; es la topología que A hereda de X. ## Principio Principio Construir la topología más fina en A que haga continua la inclusión i: A → X declarando abiertas únicamente las partes que son intersecciones con abiertos de X. ## Demostración Demostración En R con la topología usual, la topología inducida en [0,1] contiene conjuntos de la forma (a,b) ∩ [0,1], por lo que [0,1) es abierto como subconjunto y {0} muestra comportamiento de borde relativo para ciertos abiertos. ## Aplicación incorrecta Aplicación incorrecta Suponer que la topología inducida preserva todas las propiedades estructurales de X (por ejemplo, la completitud métrica) sin comprobar si dicha propiedad es estable al tomar subconjuntos. ## Consecuencia Consecuencia Las propiedades definidas por abiertos (conexidad, compacidad, separación Hausdorff cuando corresponde) se restringen naturalmente a A; las aplicaciones continuas en X se restringen a aplicaciones continuas sobre A. ## Inversión Inversión Tratar A con una topología no relacionada (por ejemplo, la discreta) invierte la herencia: la inclusión puede dejar de ser continua y las relaciones de clausura dejan de coincidir con las inducidas por X. ## Límite Límite Se aplica solo a subconjuntos de un espacio ambiente dado y no produce abiertos distintos de las intersecciones; no es una construcción de cociente ni de producto y excluye topologías que no se obtienen por intersección con abiertos de X. ## Tensión semántica Tensión semántica La tensión está entre relativo/inducido/intrínseco: la topología derivada de una métrica restringida coincide con la topología inducida si la métrica en A es la restricción de la métrica ambiente, pero distintas métricas en A pueden generar topologías no equivalentes. ## Síntesis Síntesis La topología inducida es el procedimiento canónico por el cual un subconjunto hereda la estructura de abiertos del espacio padre: se intersectan los abiertos del padre con el subconjunto y esas intersecciones generan la topología en A, asegurando la continuidad de la inclusión y la correcta transferencia de propiedades topológicas definidas por abiertos.