Funzione aperta

Da Wikipedia, l'enciclopedia libera.

In topologia, una funzione è aperta se l'immagine di ogni aperto è un aperto. Più formalmente, una funzione f:XY tra spazi topologici è aperta se per ogni aperto U di X la sua immagine f(U) è aperta in Y.[1]

Proprietà[modifica | modifica wikitesto]

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:XY tra spazi topologici è un omeomorfismo se e solo se valgono le seguenti ipotesi:

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[modifica | modifica wikitesto]

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:RR data da f(x) = x2 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: ZQ fra i numeri interi Z e i numeri razionali Q. Poiché Z ha la topologia discreta, la f è continua. D'altra parte, 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 R.

Fatti e teoremi[modifica | modifica wikitesto]

Note[modifica | modifica wikitesto]

  1. ^ M. Manetti, p. 45

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica