Versione delle 19:52, 6 gen 2007 modifica Ylebru (discussione \| contributi) Utenti autoverificati 22 576 modifiche m ritocco ← Differenza precedente		Versione delle 19:56, 6 gen 2007 modifica annulla Ylebru (discussione \| contributi) Utenti autoverificati 22 576 modifiche +fig Differenza successiva →
Riga 2: <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"> * ''X'' è [[Spazio T1\|T1]], * Per ogni coppia di chiusi disgiunti (''AE'', ''BF''), esiste una coppia di aperti disgiunti (''U'',''V'') tali che ''U'' contiene ''AE'' e ''V'' contiene ''BF''. </div> [[Image:Normal space.png\|thumb\|right\|Ogni coppia di chiusi è contenuta in due aperti disgiunti.]] La condizione che ''X'' sia T1 è necessaria affinché questo assioma implichi gli assiomi di separazione precedenti [[spazio T0\|T0]], [[spazio T1\|T1]], [[spazio T2\|T2]] e [[spazio T3\|T3]]. ==Condizioni equivalenti== *Per il [[lemma di Urysohn]], tale condizione equivale a quella di [[spazio completamente normale\|completa normalità]].

Spazio normale: differenze tra le versioni