לדלג לתוכן

קומפלקס שרשרת

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

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

הגדרה פורמלית

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

קומפלקס שרשרת הוא סדרה של חבורות אבליות או מודולים ... A-2, A-1, A0, A1, A2, ... המקושרים על ידי הומומורפיזמים (הנקראים אופרטורי שפה) כך שההרכבה של כל שני הומומורפיזמים עוקבים שווה ל־0: לכל n.

בדרך כלל נרשם קומפלקס בדרך הבאה:

הגדרה קרובה להגדרה זו היא של קומפלקס קו־שרשרת. קומפלקס קו־שרשרת הוא סדרה של חבורות אבליות או מודולים ... A-2, A-1, A0, A1, A2, ... המקושרים על ידי הומומורפיזמים , כך שההרכבה של כל שני הומומורפיזמים עוקבים היא 0: לכל n. בדרך כלל נרשם קומפלקס קו־שרשרת בדרך הבאה:

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

קומפלקס שרשרת חסום הוא קומפלקס שרשרת בו כמעט לכל i (כלומר, פרט למספר סופי) מתקיים ש־Ai שווה ל־0. קומפלקס סופי ניתן להמשכה שמאלה וימינה על ידי אפסים. בדומה, קומפלקס שרשרת חסום מלמעלה הוא קומפלקס שרשרת כך שקיים n כך שלכל i>n מתקיים ש־Ai שווה ל־0. קומפלקס שרשרת חסום מלמטה מוגדר באופן דומה.

סימונים והגדרות נוספות

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

אם נשמיט את האינדקסים, הקשר הטבעי על ניתן לניסוח על ידי:

.

התמונה של היא חבורת השפות, או בקומפלקס קו־שרשרת – חבורת הקו־שפות. הגרעין של נקרא חבורת הציקלוסים, או במקרה של קומפלקס קו־שרשרת – חבורת הקו־ציקלוסים. מכיוון ש־ הרי שחבורת השפות היא תת חבורה של חבורת הציקלוסים.

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

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

[עריכת קוד מקור | עריכה]
ויקישיתוף מדיה וקבצים בנושא קומפלקס שרשרת בוויקישיתוף