מרחב פשוט קשר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏הגדרה: זו לא "הגדרה שקולה"
מ תמונות - הסבה לעברית, תיקון פרמטרים#
שורה 1:
ב[[טופולוגיה]], '''מרחב פשוט קשר''' הוא [[מרחב טופולוגי]] קשיר מסילתית, שבו אפשר לכווץ כל [[מסילה (מתמטיקה)|לולאה סגורה]] לנקודה אחת, באופן רציף. זוהי הדרך הפורמלית לנסח את הדרישה שבמרחב לא יהיו חורים שאפשר לאתר אותם באמצעים חד-ממדיים. מרחבים כאלה הם מן העצמים היסודיים ב[[טופולוגיה אלגברית]].
[[תמונהקובץ:P1S2all.jpg|מרכז|ממוזער|350px|[[ספירה (גאומטריה)|הספרה]] היא דוגמה למרחב פשוט קשר מכיוון שניתן לכווץ כל לולאה לנקודה באופן רציף.{{הערה|זהו נימוק חלקי, שכן יש לנמק מדוע לולאה המהווה [[העתקה על]] הספרה גם היא ניתנת לכיווץ רציף לנקודה.}}]]
 
== הגדרה ==
שורה 7:
 
== דוגמאות ==
[[תמונהקובץ:Torus_cycles.png|שמאל|ממוזער|200px|[[טורוס|הטורוס]] אינו פשוט קשר. ניתן לראות שבלתי אפשרי לכווץ באופן רציף את הלולאות בתמונה לנקודה]]
 
ה[[מישור אוקלידי|מישור האוקלידי]] הוא פשוט קשר, משום שכל לולאה אפשר לכווץ בהדרגה לנקודה אחת. לעומת זאת, אם מוציאים מן המישור נקודה אחת, הוא מפסיק להיות פשוט קשר - את המסילה המקיפה את הנקודה החסרה אי אפשר לכווץ. כזה הוא המצב כל עוד הקבוצה שמוציאים היא [[קבוצה חסומה|חסומה]]. אם מוציאים ממישור [[קרן (גאומטריה)|קרן]], התוצאה היא שוב מרחב פשוט קשר, מכיוון שאי אפשר להקיף את הקרן החסרה בלולאה שתאבחן את חסרונה. אם מוציאים מהמישור [[ישר (גאומטריה)|ישר]] שלם, הוא מתפרק לשני [[קשירות מסילתית|מרכיבי קשירות]], שכל אחד מהם פשוט קשר.