Topologia di sottospazio
# Topologia di sottospazio

In topologia, un sottoinsieme di uno spazio topologico eredita anch'esso una topologia, detta topologia di sottospazio o più semplicemente topologia indotta.

## Definizione

Se $Y$ è un sottoinsieme di uno spazio topologico $X$, la topologia indotta su $Y$ dalla topologia su $X$ è la seguente: un sottoinsieme $U$ di $Y$ è aperto se e solo se esiste un aperto $V$ di $X$ tale che $V\cap Y=U$. In altre parole, gli aperti di $Y$ sono le intersezioni degli aperti di $X$ (cioè gli aperti $V$) con $Y$. La topologia indotta si dice anche topologia relativa di $Y$ in $X$.

Normalmente si assume che un sottoinsieme di uno spazio topologico abbia la topologia indotta. Considerato come spazio topologico con la topologia relativa, $Y$ si dice sottospazio topologico (o brevemente sottospazio) di $X$, mentre $X$ si dice spazio ambiente.

Alternativamente, si può definire la topologia su $Y$ in uno dei modi seguenti:

* La topologia su $Y$ è la meno fine fra tutte quelle che rendono la mappa inclusione $i\colon Y\to X$ continua.
* La topologia su $Y$ è l'unica che soddisfi la seguente proprietà universale: Per ogni spazio topologico $Z$ una applicazione $f\colon Z\to Y$ è continua se e solo se lo è la sua composizione $i\circ f\colon Z\to X$ con l'inclusione $i\colon Y\to X$.

## Esempi

* I numeri interi $\mathbb {Z}$ vengono normalmente considerati con la topologia indotta dai numeri reali $\mathbb {R}$. Tale topologia sui numeri interi è quella discreta.
* Anche i numeri razionali $\mathbb {Q}$ vengono normalmente considerati con la topologia indotta dai numeri reali $\mathbb {R}$, ma questa non è discreta.
* Consideriamo l'intervallo $I=[0,1]$ con la topologia indotta da $\mathbb {R}$. Il sottoinsieme $(0,1]$ è aperto in $I$ ma non in $\mathbb {R}$.

## Proprietà

* Intersecando tutti gli aperti di una base di $X$ con $Y$ si ottiene una base per $Y$.
* Se $X$ è uno spazio metrico, la metrica ristretta ad $Y$ induce la topologia del sottoinsieme.
* Se $X$ è compatto e $Y$ è chiuso allora $Y$ è anch'esso compatto.
* Se $X$ è di Hausdorff allora anche $Y$ lo è.
* Gli insiemi chiusi di $Y$ sono le intersezioni di $Y$ con gli insiemi chiusi di $X$.
