מרחב המסרק

בטופולוגיה, מרחב המסרק (המסרק ההרמוני) הוא תת מרחב של המרחב הטופולוגי ${\displaystyle \mathbb {R} ^{2}}$, אשר דומה למסרק.

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

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

נתבונן ב-${\displaystyle \mathbb {R} ^{2}}$ עם הטופולוגיה הסטנדרטית. תהי ${\displaystyle K}$ הקבוצה ${\displaystyle \{0\}\cup \{1/n\mid n\in \mathbb {N} \}}$. קבוצת המסרק ${\displaystyle C}$ מוגדרת:

${\displaystyle C=(K\times [0,1])\cup ([0,1]\times \{0\})}$

הקבוצה הראשונה באיחוד היא ה"שיניים" של המסרק, ואילו הקבוצה השנייה היא ה"ידית" שלו. הקבוצה ${\displaystyle C}$ עם הטופולוגיה המושרית היא מרחב המסרק (המסרק ההרמוני).

מרחב המסרק (המסרק ההרמוני) הוא דוגמה למרחב קשיר שאינו מרחב קשיר מקומית.

• עקומת הסינוס של הטופולוגים