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 sorgente]

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 sorgente]

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 sorgente]

Note[modifica | modifica sorgente]

  1. ^ M. Manetti, op. cit., p. 45

Bibliografia[modifica | modifica sorgente]

Voci correlate[modifica | modifica sorgente]

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