Spazio di Hausdorff: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Bisogna notare che i due punti nello spazio siano distinti. E' una proprietà banalmente necessaria, ma formalmente più corretta.
Riga 9:
Uno spazio di Hausdorff è uno [[spazio topologico]] che soddisfa il seguente [[assioma di separazione]]:
 
: <math> \forall x,y \in X \text{ distinti, esistono degli intorni aperti } U,V \text{ di } x,y \text{ } | \text{ } U \cap V = \varnothing </math>.<ref>{{Cita|W. Rudin|Pag. 36|rudin}}.</ref>
 
E. Sernesi, Pag. 88.</ref>
 
Uno spazio di Hausdorff è anche uno [[spazio T1]], infatti basta dimostrare che i punti sono chiusi: ma questo è vero poiché esistono degli intorni disgiunti del punto in questione e dell'insieme complementare e dunque il complementare è intorno di ogni suo punto, allora è aperto e il singolo punto è un chiuso.