Spazio normale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
preciso
ripreciso...
Riga 1:
In [[matematica]], e più precisamente in [[topologia]], uno '''spazio T4normale''' è uno [[spazio topologico]] che soddisfa il seguente [[assioma di separazione]]:
<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">
Per ogni coppia di chiusi disgiunti (''E'', ''F''), esiste una coppia di aperti disgiunti (''U'',''V'') tali che ''U'' contiene ''E'' e ''V'' contiene ''F''.
</div>
[[Image:Normal space.png|thumb|right|Ogni coppia di chiusi è contenuta in due aperti disgiunti.]]
Uno '''spazio normaleT4''' è uno spazio T4normale che è anche [[spazio T1|T1]]. Questa condizione è necessaria affinché l'assioma T4 implichi gli assiomi di separazione precedenti [[spazio T0|T0]], [[spazio T1|T1]], [[spazio T2|T2]] e [[spazio T3|T3]].
 
Nelle pubblicazioni matematiche, le due definizioni sono spesso scambiate, a seconda del periodo storico o del gusto dell'autore.