Spazio normale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m argomenti correlati -> voci correlate |
Nessun oggetto della modifica |
||
Riga 3:
Uno '''[[spazio topologico|spazio]]''' topologico ''X'' è '''normale''' se è [[Spazio T1|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''.
==Condizioni equivalenti==
Per il [[lemma di Urysohn]], tale condizione equivale a quella di [[spazio completamente normale|completa normalità]].▼
▲*Per il [[lemma di Urysohn]], tale condizione equivale a quella di [[spazio completamente normale|completa normalità]].
*Un'altra condizione equivalente è la seguente, valida per tutti gli [[Spazio T1|spazi T1]]: dati un [[Insieme chiuso|chiuso]] ''C'' e un [[Insieme aperto|aperto]] ''A'' che lo contiene, esiste sempre un aperto W contenente ''A'' la cui chiusura è contenuta in ''A''.
== Voci correlate ==
| |||