Hausdorff
Se X è uno spazio di Hausdorff (o equivalentemente $T_2$) lo è anche uno spazio ad esso omeomorfo?

Risposte
certo!
due spazi topologici omeomorfi sono topologicamente indistinguibili
se così non fosse, bisognerebbe cambiare la definizione di omeomofismo
nel merito, prendi 2 p.ti e gli aperti che li "separano"
prendi le loro immagini (dei 2 p.ti e degli aperti, che saranno apeti a loro volta, quest'ultimi) et voilà
se 2 insiemi hanno intersezione vuota, anche le loro immagini ce l'hanno
due spazi topologici omeomorfi sono topologicamente indistinguibili
se così non fosse, bisognerebbe cambiare la definizione di omeomofismo

nel merito, prendi 2 p.ti e gli aperti che li "separano"
prendi le loro immagini (dei 2 p.ti e degli aperti, che saranno apeti a loro volta, quest'ultimi) et voilà
se 2 insiemi hanno intersezione vuota, anche le loro immagini ce l'hanno
Grazie... Come ho fatto a non pensarci!?!
