Topología traza

Plantilla:Fusionar En topología, la topología traza (también, inducida o relativa) es la topología que se define sobre un subconjunto $Y\subseteq X$ a partir de la topología del espacio topológico $X$.

Definición formal

Sean $(X,𝒯)$ un espacio topológico y $Y$ un subconjunto de $X$. Entonces, la topología traza sobre $Y$ es la topología menos fina que hace continua a la inyección canónica $i:Y\hookrightarrow X$, es decir, la aplicación definida por $i(y)=y,\mathrm{\forall }y\in Y$.

Es posible probar que los abiertos de la topología traza sobre $Y\subseteq X$ son las intersecciones de $Y$ con los abiertos de $X$:

$𝒯{|}_Y=\{Y\cap A:A\in 𝒯\}$.

La topología traza se denota mediante $𝒯{|}_Y$ y se dice que $(Y,𝒯{|}_Y)$ es un subespacio topológico del espacio $(X,𝒯)$. Si la aplicación $i:Y\hookrightarrow X$ es abierta, se dice que $Y$ es un subespacio abierto, y que $Y$ es un subespacio cerrado si $i:Y\hookrightarrow X$ es cerrada.

Propiedades

Propiedades de la topología traza sobre un subespacio $Y\subseteq X$:

• Un conjunto $U^{\prime }\subseteq Y$ es abierto en la topología $𝒯{|}_Y$ si, y sólo si, existe un abierto $U\in 𝒯$ tal que $U^{\prime }=Y\cap U$.
• Un conjunto $U^{\prime }\subseteq Y$ es cerrado en la topología $𝒯{|}_Y$ si, y sólo si, existe un cerrado $U$ de $X$ tal que $U^{\prime }=Y\cap U$.
• Si $B\subseteq Y\subseteq X$, entonces $𝒯{|}_B=(𝒯{|}_Y){|}_B$.
• Si $Y$ es un subespacio abierto de $X$, un conjunto $U^{\prime }\subseteq Y$ es abierto en $Y$ si, y sólo si, es abierto en $X$.
• Si $Y$ es un subespacio cerrado de $X$, un conjunto $U^{\prime }\subseteq Y$ es cerrado en $Y$ si, y sólo si, es cerrado en $X$.

Propiedades hereditarias

Una propiedad topológica $𝒫$ se dice que es hereditaria si los subespacios de un espacio topológico que cumple $𝒫$ también cumplen $𝒫$.

Ejemplos de propiedades que son hereditarias:

• Los axiomas de separación T₀, T₁ y T₂ (Hausdorff).
• El primer y segundo axioma de numerabilidad.
• Ser metrizable.

La compacidad y la propiedad de ser normal son ejemplos de propiedades no hereditarias. Los subespacios abiertos heredan la separabilidad y los subespacios cerrados heredan la propiedad de ser de Lindelöf.

Véase también

• Espacio topológico
• Topología
• Espacio de Hausdorff
• Conjunto abierto
• Funciones abiertas y cerradas

Bibliografía

• Bourbaki, Nicolas, Elements of Mathematics: General Topology, Addison-Wesley (1966)
• Willard, Stephen. General Topology, Dover Publications (2004) Plantilla:ISBN

Enlaces externos

• The subspace topology, a Metric and Topological Spaces. Plantilla:En
• Ejemplos de subespacios en Topología inducida (subespacio)