הומוטופיה

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

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

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

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

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

### הומוטופיה ביחס לקבוצה
בהשראת האנימציה לעיל, נאמר ששתי העתקות f,g:X \to Y הן **הומוטופיות ביחס לקבוצה** A \subseteq X אם יש ביניהן הומוטופיה כנ"ל, המקיימת גם
\forall a \in A, t \in [0,1] : H(a,t)=H(a,0)

כלומר, לכל אורך השינוי בין הפונקציות, הערכים על הקבוצה A לא משתנים. בפרט נובע \forall a \in A : f(a)=H(a,0)=H(a,1)=g(a) (זהו תנאי הכרחי ו**לא** מספיק להומוטופיה ביחס ל-A).

אם כן, בדוגמה לעיל המסילות הומוטופיות ביחס ל-\partial [0,1] = \{0,1\}. באופן כללי, בחבורה היסודית של מרחב טופולוגי, האיברים הם מסילות סגורות שמזוהות עד כדי הומוטופיה ביחס לקצוות קטע היחידה. עיקרון זה מוכלל בחבורות ההומוטופיה.

## הגדרה של שקילות הומוטופית בין מרחבים
[ממוזער|שמאל|250px|הומוטופיה בין ספל קפה ל[כעך (טורוס)]]

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

## קישורים חיצוניים

* 
* 
* 

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