הומולוגיה (מתמטיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ תקלדה
שורה 2:
עבור אובייקט <math>X</math> מסמנים את ההומולוגיה ה-<math>i</math> של <math>X</math> ב-<math>.H_i(X)</math> ה[[אינדקס (מתמטיקה)|אינדקס]] <math>i</math> הוא [[מספר שלם]] וההומולוגיה היא, כמעט תמיד, [[חבורה אבלית]]. לעתים מוגדרים עליה גם מבנים נוספים.
 
כמעתכמעט בכל המקרים, ניתן להגדיר את מושגהמושג ההומולוגיההומולוגיה דרך מושגהמושג ה[[הומולוגיה של קומפלקס שרשרת]]. הדרך האופיינית להגדרת ההומולוגיה של <math>X</math> היא תחילה להגדיר קומפלקס שרשרת <math>C(X)</math> ואז להגדיר <math>.H_i(X):=H_i(C(X))</math> הגדרת הקומפלקס <math>C(X)</math> יחודית לכל סוג אובייקטים (מרחב טופולוגי, חבורה, וכו'). לכל אובייקט <math>X</math> בנית הקומפלקס <math>C(X)</math> אינה קנונית ותלויה בבחירות מסוימות, אבל התוצאה הסופית <math>H_i(X)</math> לא תלויה בבחירות אלו.
 
ניתן להעשיר את מושג ההומולוגיה על ידי הוספת מקדמים. לדוגמה עבור מרחב טופולוגי <math>X</math> וחבורה אבלית (או באופן כללי יותר [[אלומה (מתמטיקה)|אלומת]] חבורות אבליות מעל <math>X</math>)