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.