מרחב כיסוי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
תיקון המשפט המתמטי
שורה 22:
* נניח <math>\gamma</math> מסילה ב-<math>X</math>, ו-<math>x \in p^{-1}(\{\gamma(0)\})</math>. אזי קיימת ויחידה מסילה <math>\hat{\gamma}^x</math> המקיימת <math>\hat{\gamma}^x(0)=x</math> ו-<math>p \circ \hat{\gamma}^x=\gamma</math>. זוהי '''הרמה''' של העקומה <math>\gamma</math> מ-<math>X</math> ל-<math>C</math> המתחילה ב-<math>x</math>.
 
* נניח ש-<math>\gamma , \delta</math> שתי עקומות [[הומוטופיה (טופולוגיה)|הומוטופיות]] ביחס לקצוות (כלומר, ההומוטופיה קובעת את <math>\gamma(0),\gamma(1)</math>). אזי ניתן להרים את ההומוטופיה ל-<math>XC</math> כלומר העקומות <math>\hat{\gamma}^x,\hat{\delta}^x</math> הומוטופיות ביחס לקצוות, ובפרט מסתיימות באותה נקודה - <math>\hat{\gamma}^x(1)=\hat{\delta}^x(1)</math>.
 
המסקנה המידית של המשפט היא עבור <math>X</math> [[מרחב פשוט קשר|פשוט קשר]]: