חבורה יסודית

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

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

מבוא אינטואיטיבי[עריכת קוד מקור | עריכה]

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

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

הגדרה פורמלית[עריכת קוד מקור | עריכה]

נניח כי X הוא מרחב טופולוגי וכי x_0 \in X . פונקציה רציפה \,f:[0,1]\rightarrow X תיקרא לולאה עם נקודת בסיס \,x_0 אם מתקיים f(0) = f(1) = x_0 . בהינתן 2 לולאות \ f,g:[0,1]\rightarrow X עם נקודת בסיס \,x_0, נאמר ש-f ו-g הן הומוטופיות אם קיימת פונקציה רציפה h:[0,1] \times [0,1] \to X כך שלכל  t\in [0,1] מתקיים ש- h(t,0) = f(t) \ , \ h(t,1)=g(t), וכמו כן \ h(0,t)=h(1,t)=x_0. במקרה זה, h תיקרא הומוטופיה בין f ל-g. היחס שהגדרנו מהווה יחס שקילות על קבוצת כל הלולאות על X, ומחלקות השקילות מהוות את איברי החבורה היסודית של X ביחס לנקודת הבסיס  x_0. מבחינה אינטואיטיבית, ניתן לראות בפרמטר השני של הפונקציה h פרמטר המתאר את הזמן, כך שבזמן 0 אנו נמצאים בלולאה f, בזמן 1 בלולאה g, ובדרך אנו עוברים בצורה רציפה (דרך לולאות עם נקודת בסיס  x_0) מ-f אל g, כך שניתן להפוך את f ל-g בצורה רציפה.

נגדיר פעולה על אוסף מחלקות השקילות באופן הבא: בהינתן זוג מחלקות שקילות של לולאות ביחס להומוטופיה \,[f], [g], נבחר נציגים \,f\in [f] ו- \,g\in[g]. נגדיר את \,f*g להיות הלולאה שבה קודם "מטיילים" ב-f, ולאחר מכן "מטיילים" ב-g. באופן פורמלי, עבור 0 \le t \le \frac{1}{2} נגדיר \,(f*g)(t) = f(2t) (כלומר עוברים דרך המסלול של f ב"מהירות כפולה), ועבור \frac{1}{2}\le t\le 1 נגדיר \,(f*g)(t)=g(2t-1) (כלומר עוברים דרך המסלול של g ב"מהירות כפולה"). לבסוף, נגדיר \,[f]*[g] = [f*g]. קל להראות שעבור נציגים אחרים לאותן מחלקות הומוטופיה, f' \in [f],g' \in [g] מתקיים \,f'*g'\in [f*g]. כלומר, על אף שהרכבה של נציגים שונים נותנת מסילות שונות, כל ההרכבות נופלות באותה מחלקת שקילות הומוטופית. לכן פעולת ההרכבה משרה פעולה בינארית על מחלקות השקילות של המסילות. לא קשה להראות שפעולה זו אכן יוצרת מבנה של חבורה. האיבר הנייטרלי הוא הפונקציה הקבועה f(t) = x_0 (כלומר: נקודה - הלולאה הטריוויאלית), וההופכי ללולאה f מוגדר על ידי \,f^{-1}(t) = f(1-t) - כלומר "מטיילים" לאורך f בכיוון ההפוך.

חבורה זו נקראת החבורה היסודית של X עם נקודת בסיס  x_0, והיא מסומנת ב  \pi_1(X,x_0)

למרות שלכאורה החבורה היסודית תלויה בבחירת נקודת הבסיס  x_0, מתברר כי אם X קשיר מסילתית, אז החבורה היסודיות המתאימות לנקודות בסיס שונות הן איזומורפיות.

דוגמאות[עריכת קוד מקור | עריכה]

במרחבים רבים כגון \,\mathbb{R}^n, או כל תת קבוצה קמורה של \,\mathbb{R}^n ישנה רק מחלקת שקילות הומוטופית אחת, ולפיכך החבורה היסודית של המרחב היא החבורה הטריוויאלית. מרחב טופולוגי שהחבורה היסודית שלו טריוויאלית נקרא מרחב פשוט קשר.

דוגמה מעניינת יותר נתונה על ידי המעגל. מתברר כי כל מחלקת הומוטופיה מורכבת מכל הלולאות אשר מקיפות את המעגל מספר נתון של פעמים (אשר יכול להיות חיובי או שלילי, בהתאם לכיוון בו נעים). המכפלה של סיבוב m פעמים בסיבוב n פעמים היא לולאה שמקיפה את המעגל n+m פעמים. לפיכך החבורה היסודית של המעגל איזומורפית ל \,(\mathbb{Z},+) - החבורה החיבורית של המספרים השלמים. ניתן להשתמש בעובדה זו בשביל להוכיח, למשל, את משפט נקודת השבת של בראואר.

בניגוד לחבורות ההומולוגיה וחבורות ההומוטופיה הגבוהות יותר, החבורה היסודית של מרחב טופולוגי אינה בהכרח אבלית. לדוגמה, החבורה היסודית של גרף G היא חבורה חופשית. הדרגה של חבורה זו שווה ל \,1-\chi(G), כלומר 1 פחות קרקטריסטיקת אוילר של G.

פונקטוריאליות[עריכת קוד מקור | עריכה]

נניח ש-   (X,x_0) ו- (Y,y_0) זוג מרחבים מנוקדים. כלומר X ו-Y מרחבים טופולוגיים, ו-\,x_0 \in X \ , \ y_0 \in Y נקודות בתוכם. אם \,f:X \to Y היא פונקציה רציפה המקיימת f(x_0) = y_0, אז בהינתן לולאה  \varphi ב-X עם נקודת בסיס  x_0, נקבל ש-  f\circ \varphi היא לולאה בY עם נקודת בסיס  y_0.

ניתן להראות שהתאמה זו בין המסילות של המרחבים שולחת מסילות הומוטופיות (ביחס לנקודת הבסיס) למסילות הומוטופיות, ומכבדת את פעולת ההרכבה שהגדרנו על המסילות. לכן מתקבל הומומורפיזם בין החבורות  \pi_1(X,x_0) ו- \pi_1(Y,y_0) הנקרא ההומומורפיזם המושרה על ידי f והמסומן על ידי  \pi_1(f), או בצורה היותר נפוצה:

 f_* : \pi_1(X,x_0) \to \pi_1(Y,y_0).

תכונה חשובה של ההומורפיזם שתארנו היא ש- \,\pi_1(f \circ g) = \pi_1(f) \circ \pi_1(g). בשפת תורת הקטגוריות נאמר, ש- \pi_1 הוא פונקטור מהקטגוריה של מרחבים טופולוגים מנוקדים לקטגוריה של חבורות (שימו לב, שהפונקטור  \pi_1 פועל גם על מרחבים טופולוגיים מנוקדים וגם על מורפיזמים בין מרחבים טופולוגיים מנוקדים, כלומר על העתקות רציפות המשמרות את נקודת הבסיס).

מתברר שפונקטור זה אינו מבחין בין פונקציות הומוטופיות ביחס לנקודת הבסיס. כלומר, אם \,f,g:X \to Y הן פונקציות רציפות כך ש  f(x_0) = g(x_0) = y_0 שהן הומוטופיות ביחס ל  \{x_0\}, אז מתקיים  f_* = g_*.

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1

קישורים חיצוניים[עריכת קוד מקור | עריכה]