מרחב נורמלי – הבדלי גרסאות

ב[[טופולוגיה]], '''נורמליות''' ותכונת <math>\ T_4</math> הן דוגמאות לסוג חזק יחסית של [[אקסיומות ההפרדה|תכונות הפרדה]]. '''מרחב נורמלי''' הוא [[מרחב טופולוגי]] המפריד בין [[קבוצה סגורה|קבוצות סגורות]] זרות, באמצעות סביבות פתוחות. מרחב נורמלי שבו כל נקודה מהווה קבוצה סגורה, נקרא '''מרחב <math>\ T_4</math>'''. וובה

חשיבותם הרבה של מרחבי <math>\ T_4</math> נובעת מן [[משפט אוריסון|המשפט של אוריסון]]: כל מרחב <math>\ T_4</math> המקיים את [[אקסיומת המנייה השנייה]], הוא מטריזבילי (כלומר: הטופולוגיה שלו מושרית על ידי [[מטריקה]] מתאימה).