מרחב בלתי קשיר לחלוטין
בטופולוגיה, מרחב בלתי־קשיר לחלוטין הוא מרחב טופולוגי שכל תת-קבוצה בו שאינה יחידון אינה קשירה. באופן שקול, זהו מרחב שרכיבי הקשירות שלו הם היחידונים.
לפי ההגדרה כל יחידון הוא הן מרחב קשיר והן מרחב בלתי־קשיר לחלוטין. לכן יש המגדירים מרחב בלתי־קשיר לחלוטין כבעל שתי נקודות לפחות. במקרה כזה, כל מרחב בלתי־קשיר לחלוטין הוא בפרט לא־קשיר.
דוגמאות
- כל מרחב דיסקרטי הוא בלתי קשיר לחלוטין.
- כל קבוצה בישר הממשי שאינה מכילה אף קטע לא־טריוויאלי היא בלתי־קשירה לחלוטין (כי הקטעים הם הקבוצות הקשירות היחידות בישר). כך למשל קבוצת המספרים הרציונליים, קבוצת המספרים האי־רציונליים וקבוצת קנטור, כולם בלתי־קשירים לחלוטין.
- שדה המספרים ה-p-אדיים עם הטופולוגיה הסטנדרטית הוא בלתי־קשיר לחלוטין.
תכונות
- מרחבים בלתי־קשירים לחלוטין הם מרחבי T1.
- תת־מרחבים ומרחבי מכפלה של מרחבים בלתי־קשירים לחלוטין גם הם בלתי־קשירים לחלוטין.
- תמונה רציפה של מרחב בלתי־קשיר לחלוטין אינה בהכרח מרחב בלתי־קשיר לחלוטין. למשל כל מרחב מטרי קומפקטי הוא תמונה רציפה של קבוצת קנטור (ראו כאן).
This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.