Topología del subespacio

En topología y áreas relacionadas de las matemáticas , un subespacio de un espacio topológico X es un subconjunto S de X que está equipado con una topología inducida a partir de la de X llamada topología del subespacio ^[1] (o topología relativa , ^[1] o topología inducida , ^[1] o topología de traza ). ^[2]

Dado un espacio topológico y un subconjunto de , la topología del subespacio en se define por${\displaystyle (X,\tau )}$ ${\estilo de visualización S}$${\estilo de visualización X}$${\estilo de visualización S}$

${\displaystyle \tau _{S}=\lbrace S\cap U\mid U\in \tau \rbrace .}$

Es decir, un subconjunto de está abierto en la topología de subespacios si y solo si es la intersección de con un conjunto abierto en . Si está equipado con la topología de subespacios, entonces es un espacio topológico por derecho propio y se denomina subespacio de . Por lo general, se supone que los subconjuntos de espacios topológicos están equipados con la topología de subespacios a menos que se indique lo contrario.${\estilo de visualización S}$${\estilo de visualización S}$${\displaystyle (X,\tau )}$${\estilo de visualización S}$${\displaystyle (X,\tau )}$

Alternativamente, podemos definir la topología del subespacio para un subconjunto de como la topología más burda para la cual se utiliza el mapa de inclusión.${\estilo de visualización S}$${\estilo de visualización X}$

${\displaystyle \iota :S\hookrightarrow X}$

es continua​

En términos más generales, supongamos que es una inyección de un conjunto a un espacio topológico . Entonces, la topología del subespacio en se define como la topología más burda para la cual es continua. Los conjuntos abiertos en esta topología son precisamente los de la forma para abierto en . es entonces homeomorfo a su imagen en (también con la topología del subespacio) y se llama incrustación topológica .${\displaystyle \iota}$${\estilo de visualización S}$${\estilo de visualización X}$${\estilo de visualización S}$${\displaystyle \iota}$${\displaystyle \iota ^{-1}(U)}$${\estilo de visualización U}$${\estilo de visualización X}$${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle \iota}$

Un subespacio se denomina subespacio abierto si la inyección es una función abierta , es decir, si la imagen hacia delante de un conjunto abierto de es abierta en . Asimismo, se denomina subespacio cerrado si la inyección es una función cerrada .${\estilo de visualización S}$${\displaystyle \iota}$${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle \iota}$

La distinción entre un conjunto y un espacio topológico a menudo se difumina en la notación, por conveniencia, lo que puede ser una fuente de confusión cuando uno se encuentra por primera vez con estas definiciones. Por lo tanto, siempre que es un subconjunto de , y es un espacio topológico, entonces los símbolos sin adornos " " y " " a menudo se pueden usar para referirse tanto a como considerados como dos subconjuntos de , y también a y como los espacios topológicos, relacionados como se discutió anteriormente. Por lo tanto, frases como " un subespacio abierto de " se usan para significar que es un subespacio abierto de , en el sentido utilizado anteriormente; es decir: (i) ; y (ii) se considera que está dotado de la topología del subespacio.${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle (X,\tau )}$${\estilo de visualización S}$${\estilo de visualización X}$${\estilo de visualización S}$${\estilo de visualización X}$${\estilo de visualización X}$${\displaystyle (S,\tau _{S})}$${\displaystyle (X,\tau )}$${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle (S,\tau _{S})}$${\displaystyle (X,\tau )}$${\displaystyle S\in \tau}$${\estilo de visualización S}$

A continuación se representan los números reales con su topología habitual.${\displaystyle \mathbb {R}}$

• La topología del subespacio de los números naturales , como subespacio de , es la topología discreta .${\displaystyle \mathbb {R}}$
• Los números racionales considerados como un subespacio de no tienen la topología discreta ({0} por ejemplo no es un conjunto abierto en porque no hay ningún subconjunto abierto de cuya intersección con pueda dar como resultado únicamente el singleton {0}). Si a y b son racionales, entonces los intervalos ( a , b ) y [ a , b ] son ​​respectivamente abiertos y cerrados, pero si a y b son irracionales, entonces el conjunto de todos los x racionales con a < x < b es a la vez abierto y cerrado.${\displaystyle \mathbb {Q}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {Q}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {Q}}$
• El conjunto [0,1] como subespacio de es a la vez abierto y cerrado, mientras que como subconjunto de él es solamente cerrado.${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$
• Como subespacio de , [0, 1] ∪ [2, 3] está compuesto de dos subconjuntos abiertos disjuntos (que también son cerrados) y, por lo tanto, es un espacio desconectado .${\displaystyle \mathbb {R}}$
• Sea S = [0, 1) un subespacio de la recta real . Entonces [0, 1 ⁄ 2 ) es abierto en S pero no en (como por ejemplo la intersección entre (- 1 ⁄ 2 , 1 ⁄ 2 ) y S resulta en [0, 1 ⁄ 2 )). Asimismo, [ 1 ⁄ 2 , 1) es cerrado en S pero no en (ya que no hay ningún subconjunto abierto de que pueda intersecar con [0, 1) para resultar en [ 1 ⁄ 2 , 1)). S es tanto abierto como cerrado como un subconjunto de sí mismo pero no como un subconjunto de .${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$

La topología de subespacios tiene la siguiente propiedad característica. Sea un subespacio de y sea la función de inclusión. Entonces, para cualquier espacio topológico, una función es continua si y solo si la función compuesta es continua. ${\estilo de visualización Y}$${\estilo de visualización X}$${\displaystyle i:Y\to X}$${\estilo de visualización Z}$${\displaystyle f:Z\to Y}$${\estilo de visualización i\circ f}$

Esta propiedad es característica en el sentido de que puede utilizarse para definir la topología del subespacio en .${\estilo de visualización Y}$

Enumeramos algunas propiedades adicionales de la topología de subespacios. En el siguiente ejemplo, sea un subespacio de .${\estilo de visualización S}$${\estilo de visualización X}$

• Si es continua entonces la restricción a es continua.${\displaystyle f:X\to Y}$${\estilo de visualización S}$
• Si es continua entonces es continua.${\displaystyle f:X\to Y}$${\displaystyle f:X\to f(X)}$
• Los conjuntos cerrados en son precisamente las intersecciones de con conjuntos cerrados en .${\estilo de visualización S}$${\estilo de visualización S}$${\estilo de visualización X}$
• Si es un subespacio de entonces también es un subespacio de con la misma topología. En otras palabras, la topología del subespacio que hereda de es la misma que la que hereda de .${\estilo de visualización A}$${\estilo de visualización S}$${\estilo de visualización A}$${\estilo de visualización X}$${\estilo de visualización A}$${\estilo de visualización S}$${\estilo de visualización X}$
• Supongamos que es un subespacio abierto de (por lo que ). Entonces un subconjunto de es abierto en si y solo si es abierto en .${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle S\in \tau}$${\estilo de visualización S}$${\estilo de visualización S}$${\estilo de visualización X}$
• Supongamos que es un subespacio cerrado de (por lo que ). Entonces un subconjunto de es cerrado en si y solo si es cerrado en .${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle X\setminus S\in \tau }$${\estilo de visualización S}$${\estilo de visualización S}$${\estilo de visualización X}$
• Si es una base para entonces es una base para .${\estilo de visualización B}$${\estilo de visualización X}$${\displaystyle B_{S}=\{U\cap S:U\in B\}}$${\estilo de visualización S}$
• La topología inducida en un subconjunto de un espacio métrico al restringir la métrica a este subconjunto coincide con la topología del subespacio para este subconjunto.

Si un espacio topológico que tiene alguna propiedad topológica implica que sus subespacios tienen esa propiedad, entonces decimos que la propiedad es hereditaria . Si solo los subespacios cerrados deben compartir la propiedad, lo llamamos débilmente hereditario .

• Todo subespacio abierto y todo subespacio cerrado de un espacio completamente metrizable es completamente metrizable.
• Cada subespacio abierto de un espacio de Baire es un espacio de Baire.
• Todo subespacio cerrado de un espacio compacto es compacto.
• Ser un espacio Hausdorff es hereditario.
• Ser un espacio normal es débilmente hereditario.
• La limitación total es hereditaria.
• Estar totalmente desconectado es hereditario.
• La primera y la segunda contabilidad son hereditarias.

• El espacio cociente de la noción dual
• topología del producto
• topología de suma directa

• Bourbaki, Nicolas , Elementos de matemáticas: topología general , Addison-Wesley (1966)
• Steen, Lynn Arthur ; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology ( reimpresión de Dover de la edición de 1978), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-486-68735-3, Sr.  0507446
• Willard, Stephen. Topología general , Dover Publications (2004) ISBN 0-486-43479-6