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

בניגוד ל[[הומולוגיה (טופולוגיה אלגברית)|חבורות ההומולוגיה]] וחבורות ההומוטופיה הגבוהות יותר, החבורה היסודית של מרחב טופולוגי אינה בהכרח [[חבורה אבלית|אבלית]]. לדוגמה, החבורה היסודית של [[תורת הגרפים|גרף]] ''G'' היא [[חבורה חופשית]]. הדרגה של חבורה זו שווה ל <math>\,1-\chi(G)</math>, כלומר 1 פחות [[קרקטריסטיקת אוילר]] של ''G''.

 

 

נניח ש- <math> (X,x_0)</math> ו- <math>(Y,y_0)</math> זוג מרחבים מנוקדים. כלומר X ו-Y מרחבים טופולוגיים, ו-<math>\,x_0 \in X \ , \ y_0 \in Y</math> נקודות בתוכם.