מרחב כוויץ

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

בטופולוגיה מרחב כוויץ (Contractible space) הוא מרחב טופולוגי השקול הומוטופית לנקודה. באופן אינטואיטיבי ניתן לדמיין מרחב כוויץ כמרחב אשר ניתן לכווץ לנקודה בודדת באופן רציף.

כל מרחב כוויץ הוא פשוט קשר וקשיר מסילתית.

הגדרה ואפיון

יהי מרחב טופולוגי. נאמר ש- כוויץ אם קיים איבר וקיימת הומוטופיה כך ש-.

להלן שני תנאים שקולים:

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

דוגמאות ותכונות

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

מרחב כוויץ מקומית

נאמר שמרחב טופולוגי הוא כוויץ מקומית (Locally contractible) אם לכל נקודה יש בסיס מקומי של מרחבים כוויצים. מרחביים כוויצים מקומית גם הם n-קשירים לכל n, ובפרט הם קשירים מקומית וקשירים מקומית מסילתית.

מרחב כוויץ איננו בהכרח כוויץ מקומית, וגם ההפך לא תמיד נכון.

ראו גם