מרחב רגולרי לחלוטין

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בטופולוגיה, מרחב רגולרי לחלוטין ומרחב טיכונוף הם מרחבים טופולוגיים המקיימים תכונות הפרדה מסוימות. מרחב רגולרי לחלוטין הוא מרחב שבו אפשר להפריד בין קבוצה סגורה לנקודה באמצעות פונקציה רציפה. מרחב רגולרי לחלוטין שבו כל נקודה מהווה קבוצה סגורה, נקרא מרחב טיכונוף, או מרחב \ T_{3\frac{1}{2}}.

מרחב טופולוגי X הוא רגולרי לחלוטין, אם לכל קבוצה סגורה F ונקודה x שאיננה ב- F, קיימת פונקציה רציפה \ f: X \rightarrow \mathbb{R}, כך ש- \ f(F)=0 ו- \ f(x)=1. הפרדה כזו נקראת 'הפרדה באמצעות פונקציה רציפה'. במקרה כזה ברור שאפשר להפריד בין F ו- x גם באמצעות קבוצות פתוחות, ולכן מרחב רגולרי לחלוטין הוא בפרט מרחב רגולרי. מאותה סיבה, כל מרחב \ T_{3\frac{1}{2}} הוא בפרט מרחב T3. בנוסף לזה, מרחב \ T_{3\frac{1}{2}} הוא גם מרחב האוסדורף לחלוטין, שבו אפשר להפריד נקודות באמצעות פונקציות רציפות, ולכן גם מרחב האוסדורף. מרחב טופולוגי הוא רגולרי לחלוטין אם ורק אם קיימת לו קומפקטיפיקציה מקסימלית.

כל חבורה טופולוגית היא רגולרית לחלוטין. חבורה טופולוגית המקיימת את תכונת ההפרדה T0 מקיימת את תכונת טיכונוף.

ראו גם[עריכת קוד מקור | עריכה]