מרחב רגולרי

בטופולוגיה, רגולריות ותכונת  הן דוגמאות לתכונות הפרדה. מרחב רגולרי הוא מרחב טופולוגי המפריד בין נקודות לבין קבוצות סגורות, באמצעות סביבות פתוחות. מרחב רגולרי שבו כל נקודה מהווה קבוצה סגורה, נקרא מרחב . 

מרחב טופולוגי הוא רגולרי, אם לכל קבוצה סגורה  ונקודה  שאיננה ב-, קיימות קבוצות פתוחות וזרות, שאחת מהן מכילה את  והשנייה את . תכונה זו נקראת 'הפרדה בקבוצות פתוחות'. 
ניסוח אחר: לכל נקודה  וקבוצה פתוחה  במרחב, כך ש-, קיימת קבוצה פתוחה  כך ש-.

כל מרחב  הוא מרחב אוריסון (הקרוי גם מרחב ), כלומר אפשר להפריד בו בין נקודות באמצעות סביבות סגורות וזרות. בפרט, מרחב כזה הוא מרחב האוסדורף (מרחב ), שבו אפשר להפריד בין נקודות באמצעות סביבות פתוחות.

מרחב האוסדורף שהוא גם מרחב קומפקטי מקומית הוא מרחב רגולרי.

תכונת הרגולריות סגורה למכפלות: אם  רגולריים, אז גם המכפלה  רגולרית.

 ראו גם 
 אקסיומות ההפרדה
 מרחב רגולרי לחלוטין

קישורים חיצוניים


רגולרי