title: Funzione aperta
text: # Funzione aperta
  
  In topologia, una funzione è aperta se l'immagine di ogni aperto è un aperto. Più formalmente, una funzione $f:X\to Y$ tra spazi topologici è aperta se per ogni aperto $U$ di $X$ la sua immagine $f(U)$ è aperta in $Y$.
  
  ## Proprietà
  
  La definizione di funzione aperta è simile a quella di funzione continua (= la controimmagine di ogni aperto è un aperto). Nonostante possa sembrare più naturale parlare di immagini che di controimmagini, le funzioni aperte sono in topologia (e in matematica in generale) molto meno importanti delle funzioni continue.
  
  Nella maggior parte dei casi, è necessario dimostrare che una funzione è aperta con lo scopo di verificare che sia un omeomorfismo. Infatti una $f:X\to Y$ tra spazi topologici è un omeomorfismo se e solo se valgono le seguenti ipotesi:
  
  * $f$ è biunivoca;
  * $f$ è continua;
  * $f$ è aperta o chiusa.
  
  Infatti, se $f$ è biunivoca, la sua inversa è continua se e solo se $f$ è aperta. Inoltre, sempre se $f$ è biunivoca, una funzione è aperta se e solo se è chiusa. Spesso è più facile dimostrare che è chiusa.
  
  ## Esempi
  
  La proiezione del piano euclideo su uno dei due assi è aperta. In generale, la proiezione di uno spazio euclideo su un sottospazio (con la topologia del sottospazio) è aperta.
  
  La parabola $f:\mathbb {R} \to \mathbb {R}$ data da $f(x)=x^{2}$ non è aperta, perché l'immagine dell'intervallo aperto $(-1,1)$ è l'intervallo $[0,1)$.
  
  Esistono funzioni bigettive e continue non aperte. Ad esempio, prendiamo una qualsiasi corrispondenza biunivoca $f:\mathbb {Z} \to \mathbb {Q}$ fra i numeri interi $\mathbb {Z}$ e i numeri razionali $\mathbb {Q}$. Poiché $\mathbb {Z}$ ha la topologia discreta, la $f$ è continua. D'altra parte, $\mathbb {Q}$ non ha la topologia discreta, e quindi la $f$ non può essere aperta. Esistono anche esempi di funzioni biunivoche e continue ma non aperte definite su uno spazio connesso, ad esempio $\mathbb {R}$.
  
  ## Fatti e teoremi
  
  * La proiezione di uno spazio prodotto su uno dei suoi fattori è aperta.
  * In analisi complessa, il teorema della funzione aperta asserisce che ogni funzione olomorfa non costante definita su un aperto connesso di $\mathbb {C}$ è aperta.
  * Il teorema dell'invarianza del dominio asserisce che una funzione continua e localmente iniettiva tra due varietà topologiche di eguale dimensione (ad esempio $\mathbb {R} ^{n}$) è aperta.
  * Una funzione continua e biunivoca da $\mathbb {R}$ in $\mathbb {R}$ è anche aperta, e quindi è un omeomorfismo.
  