Dimostrazione

 

 

 

Per dimostrare che f –1 (t) è una topologia, basta osservare che  per una qualunque famiglia di aperti Bi di t, e  per una famiglia finita di aperti Bj di t.