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

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

יש לך הודעות חדשות (השווה לגרסה הקודמת).

בטופולוגיה, מרחב רגולרי לחלוטין ומרחב טיכונוף הם מרחבים טופולוגיים המקיימים תכונות הפרדה מסוימות. מרחב רגולרי לחלוטין הוא מרחב שבו אפשר להפריד בין קבוצה סגורה לנקודה באמצעות פונקציה רציפה. מרחב רגולרי לחלוטין שבו כל נקודה מהווה קבוצה סגורה, נקרא מרחב טיכונוף, או מרחב $\ 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}}$ הוא גם מרחב האוסדורף לחלוטין, שבו אפשר להפריד נקודות באמצעות פונקציות רציפות, ולכן גם מרחב האוסדורף.