Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בטופולוגיה, מרחב רגולרי לחלוטין ומרחב טיכונוף הם מרחבים טופולוגיים המקיימים תכונות הפרדה מסוימות. מרחב רגולרי לחלוטין הוא מרחב שבו אפשר להפריד בין קבוצה סגורה לנקודה באמצעות פונקציה רציפה. מרחב רגולרי לחלוטין שבו כל נקודה מהווה קבוצה סגורה, נקרא מרחב טיכונוף, או מרחב .
מרחב טופולוגי הוא רגולרי לחלוטין, אם לכל קבוצה סגורה ונקודה שאיננה ב-, קיימת פונקציה רציפה , כך ש- ו-. הפרדה כזו נקראת 'הפרדה באמצעות פונקציה רציפה'. במקרה כזה ברור שאפשר להפריד בין ו- גם באמצעות קבוצות פתוחות, ולכן מרחב רגולרי לחלוטין הוא בפרט מרחב רגולרי. מאותה סיבה, כל מרחב הוא בפרט מרחב T3. בנוסף לזה, מרחב הוא גם מרחב האוסדורף לחלוטין, שבו אפשר להפריד נקודות באמצעות פונקציות רציפות, ולכן גם מרחב האוסדורף. מרחב טופולוגי הוא רגולרי לחלוטין אם ורק אם קיימת לו קומפקטיפיקציה מקסימלית.
כל חבורה טופולוגית היא רגולרית לחלוטין. חבורה טופולוגית המקיימת את תכונת ההפרדה T0 מקיימת את תכונת טיכונוף.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.