מרחב בלתי קשיר לחלוטין

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

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

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

דוגמאות

תכונות

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

מרחבים בלתי-קשורים לחלוטין הם מרחבי T1.

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0