Spazio normale
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
Uno spazio topologico X è normale se è T1 e, inoltre, per ogni coppia di chiusi disgiunti (A, B), esiste una coppia di aperti disgiunti (U,V) tali che U contiene A e V contiene B.
[modifica] Condizioni equivalenti
- Per il lemma di Urysohn, tale condizione equivale a quella di completa normalità.
- Un'altra condizione equivalente è la seguente, valida per tutti gli spazi T1: dati un chiuso C e un aperto A che lo contiene, esiste sempre un aperto W contenente A la cui chiusura è contenuta in A.