הומוטופיה (טופולוגיה)

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

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

הגדרה של הומוטופיה בין פונקציות[עריכת קוד מקור | עריכה]

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

הומטופיה בין שתי פונקציות רציפות f ו- g ממרחב טופולוגי X למרחב טופולוגי Y, היא פונקציה רציפה  H:X \times [0,1] \to Y מהמכפלה הטופולוגית של המרחב X במרווח היחידה [0,1], אל המרחב Y, כך שעבור כל הנקודות x ב- X מתקיים H(x,0)=f(x) ו-H(x,1)=g(x).

נוח לדמיין כי מרווח היחידה [0,1] מתאר את ציר הזמן. אז הפונקציה H מתארת דפורמציה רציפה בזמן של f ל- g: כאשר מצטמצמים לזמן 0 ("תחילת ההומוטופיה") מתקבלת הפונקציה f וכאשר מצטמצמים לזמן 1 ("סוף ההומוטופיה") מתקבלת הפונקציה g.

בתמונה משמאל מתוארת הומוטופיה בין שתי מסילות, כלומר בין שתי פונקציות רציפות מקטע היחידה X = [0,1] למישור הציור Y = \mathbb{R}^2.

פונקציה תיקרא "נול-הומוטופית", אם היא הומוטופית לפונקציה קבועה כלשהי.

הגדרה של שקילות הומוטופית בין מרחבים[עריכת קוד מקור | עריכה]

הומוטופיה בין ספל קפה לכעך (טורוס)

בעזרת מושג ההומוטופיה ניתן להגדיר יחס שקילות חשוב בין מרחבים טופולוגיים: שני מרחבים טופולוגיים X ו-Y יקראו שקולים הומוטופית אם קיימות זוג העתקות f:X \to Y ו- g:Y \to X כך שההרכבה f\circ g: Y \to Y הומוטופית לפונקציית הזהות על Y ואילו g\circ f: X \to X הומוטופית לפונקציית הזהות על X.

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

נשים לב שמרחבים הומיאומורפיים הם בפרט שקולים הומוטופית, כי אם f:X \to Y הומיאומורפיזם, אז f ו-g = f^{-1} מקיימות את הדרוש בהגדרה. אבל הכיוון ההפוך רחוק מלהיות נכון - זוג מרחבים שקולים הומוטופית בדרך כלל אינם הומיאומורפיים, ויכולים להיות שונים מאוד זה מזה למראית עין. אנקדוטה ידועה מספרת שטופולוגים אינם מבחינים בין ספל הקפה שהם שותים לבין הכעך שהם אוכלים - כיוון שהטורוס וספל הקפה שקולים הומוטופית. מחלקת שקילות הומוטופית נקראת טיפוס הומוטופיה. תורת ההומוטופיה היא תחום עשיר בטופולוגיה המודרנית העוסק במיון טיפוסי ההומוטופיה של מרחבים.



P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.