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

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

## הגדרה פורמלית
**קומפלקס שרשרת** (A_\bullet, \partial_\bullet) הוא סדרה של חבורות אבליות או מודולים ... *A*-2, *A*-1, *A*0, *A*1, *A*2, ... המקושרים על ידי הומומורפיזמים (הנקראים **אופרטורי שפה**) \partial_n: A_n \rightarrow A_{n-1} כך שההרכבה של כל שני הומומורפיזמים עוקבים שווה ל־0: \partial_n \circ \partial_{n+1}=0 לכל *n*.

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

::\cdots \to
A_{n+1} \begin{matrix} \partial_{n+1} \\ \to \\ \, \end{matrix}
A_n \begin{matrix} \partial_n \\ \to \\ \, \end{matrix}
A_{n-1} \begin{matrix} \partial_{n-1} \\ \to \\ \, \end{matrix}
A_{n-2} \to \cdots \to
A_2 \begin{matrix} \partial_2 \\ \to \\ \, \end{matrix}
A_1 \begin{matrix} \partial_1 \\ \to \\ \, \end{matrix}
A_0 \begin{matrix} \partial_0 \\ \to \\ \, \end{matrix}
A_{-1} \begin{matrix} \partial_{-1} \\ \to \\ \, \end{matrix}
A_{-2} \begin{matrix} \partial_{-2} \\ \to \\ \, \end{matrix}
\cdots


הגדרה קרובה להגדרה זו היא של קומפלקס קו־שרשרת. **קומפלקס קו־שרשרת** (A^\bullet, \partial^\bullet) הוא סדרה של חבורות אבליות או מודולים ... *A*-2, *A*-1, *A*0, *A*1, *A*2, ... המקושרים על ידי הומומורפיזמים \partial_n^\bullet : A_n \rightarrow A_{n+1}, כך שההרכבה של כל שני הומומורפיזמים עוקבים היא 0: \partial_{n+1}^\bullet \circ \partial_n^\bullet = 0 לכל *n*. בדרך כלל נרשם קומפלקס קו־שרשרת בדרך הבאה:
::
\cdots \to
A_{-2} \begin{matrix} \partial^\bullet_{-2} \\ \to \\ \, \end{matrix}
A_{-1} \begin{matrix} \partial^\bullet_1 \\ \to \\ \, \end{matrix}
A_0 \begin{matrix} \partial^\bullet_0 \\ \to \\ \, \end{matrix}
A_1 \begin{matrix} \partial^\bullet_1 \\ \to \\ \, \end{matrix}
A_2 \to \cdots \to
A_{n-1} \begin{matrix} \partial^\bullet_{n-1} \\ \to \\ \, \end{matrix}
A_n \begin{matrix} \partial^\bullet_n \\ \to \\ \, \end{matrix}
A_{n+1} \to \cdots.

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

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

## סימונים והגדרות נוספות
אם נשמיט את האינדקסים, הקשר הטבעי על *<math>\partial</math>* ניתן לניסוח על ידי:

:\partial^2 = 0.

התמונה של \partial היא חבורת ה**שפות**, או בקומפלקס קו־שרשרת – חבורת ה**קו־שפות**. הגרעין של \partial נקרא חבורת , או במקרה של קומפלקס קו־שרשרת – חבורת ה**קו־ציקלוסים**. מכיוון ש־\partial^2 = 0 הרי שחבורת השפות היא תת חבורה של חבורת הציקלוסים.

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

## ראו גם
* אלגברה הומולוגית
* סדרה מדויקת
* הומולוגיה (טופולוגיה אלגברית)

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

* 

קטגוריה:אלגברה הומולוגית