Dimostrazione

 

 

 

a)      f biunivoca e continua e f omeomorfismo Û f bicontinua Û " A aperto di X, f(A) aperto di Y Û f aperta;

b)      f biunivoca e continua e f omeomorfismo Û f bicontinua Û " C chiuso di X, f(C) chiuso di Y Û f chiusa.