מרחב פשוט קשר

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף תחום פשוט קשר)
קפיצה לניווט קפיצה לחיפוש

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

הספרה היא דוגמה למרחב פשוט קשר מכיוון שניתן לכווץ כל לולאה לנקודה באופן רציף.[1]

הגדרה

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

דוגמאות

הטורוס אינו פשוט קשר. ניתן לראות שבלתי אפשרי לכווץ באופן רציף את הלולאות בתמונה לנקודה

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

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

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

תכונות

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

הכיסוי האוניברסלי

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

הערות שוליים

  1. ^ זהו נימוק חלקי, שכן יש לנמק מדוע לולאה המהווה העתקה על הספרה גם היא ניתנת לכיווץ רציף לנקודה.