spazio topologico normale

spazio topologico normale

spazio topologico normale spazio topologico che soddisfa gli assiomi di → separazione (T₁) e (T₄), detti rispettivamente assioma di Fréchet e assioma di Tietze, che asseriscono:

• (T₁): presi comunque due punti distinti dello spazio, esistono due aperti che contengono rispettivamente l’uno, ma non l’altro;

• (T₄): presi comunque due sottoinsiemi dello spazio chiusi disgiunti, esistono due aperti disgiunti che contengono rispettivamente l’uno, ma non l’altro.

Ogni spazio topologico normale è anche uno spazio topologico regolare, ma non vale il viceversa (→ separazione).