Spazio normale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
incipit
Riga 1:
In [[matematica]], e più precisamente in [[topologia]], uno '''spazio regolare''' o '''T4''' è uno [[spazio topologico]] che soddisfa il seguente [[assioma di separazione]]:
{{stub matematica}}
<div style="float:center; width:95%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">
 
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''.
</div>
 
==Condizioni equivalenti==
 
*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 ==