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

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

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

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

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

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

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

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

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.