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.