title: Subespacio (topología)
text: # Subespacio (topología)
  
  Sea ${\bigX,{\mathcal {T}}{\big )}$ un espacio topológico.
  $S\subset X$ será un subespacio de $X\Leftrightarrow S$ es un espacio topológico para la topología inducida por $X$ en $S$, llamada topología del subespacio, topología inducida, topología relativa o topología traza.
  
  # Subespacio (topología)
  ## Definición
  
  Con $S$ definido arriba, definimos la topología del subespacio, ${\mathcal {T_{S}}}$, sobre $S$ como
      ${\mathcal {T_{S}}}=\{S\cap U{\big |}U\in {\mathcal {T}}\}$.
  Es decir, un subconjunto de S es abierto si es intersección de S con algún abierto de X.
  
  # Subespacio (topología)
  ## Ejemplo
  
  En la recta real, $\mathbb {R}$, con su topología habitual ...
  * La topología del subespacio $\mathbb {N}$, subespacio de $\mathbb {R}$, es la topología discreta.
  
  # Subespacio (topología)
  ## Propiedades
  
  * Todo conjunto cerrado es la intersección de S con un conjunto cerrado de X.
  * Las siguientes afirmaciones son equivalentes:
      i) S es un subespacio abierto de X.
      ii) Un subespacio de S es abierto en S.
      iii) El subespacio de S es abierto en X.
  * Las siguientes afirmaciones son equivalentes:
      i) S es un subespacio cerrado de X.
      ii) Un subespacio de S es cerrado en S.
      iii) El subespacio de S es cerrado en X.
  * $B$ es una base para $X\Leftrightarrow B_{S}={\bigS\cap U{\big |}U\in B{\big )}$ es una base para el subespacio $S\subset X$.
  * La topología inducida por un espacio métrico a un subconjunto por la restricción de la métrica del espacio a ese subconjunto es la topología inducida del subespacio para ese subconjunto.