אינדקס שזירה

במתמטיקה, **אינדקס השזירה** (באנגלית: **Linking number**) הוא אינווריאנט מספרי שמתאר את השזירה של שני עקומים סגורים במרחב תלת-ממדי.

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

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

## חישוב אינדקס השזירה

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



המספר הכולל של צמתים חיוביים פחות או המספר הכולל של צמתים שליליים שווה ל*פעמיים* אינדקס השזירה. כלומר:

:\text{linking number}=\frac{n_1 + n_2 - n_3 - n_4}{2} 

כאשר *n*1, *n*2, *n*3, *n*4 מייצגים את מספר הצמתים מכל סוג. שני הסכומים n_1 + n_3\,\! ו-n_2 + n_4\,\! הם תמיד שווים, מה שמוביל לנוסחה השקול הבאה:

:\text{linking number}\,=\,n_1-n_4\,=\,n_2-n_3.

## תכונות ודוגמאות
* לכל שני עקומים בלתי שזורים יש אינדקס שזירה אפס. אף על פי כן, ההפך אינו בהכרח נכון - שני עקומים בעלי אינדקס שזירה אפס עשויים עדיין להיות שזורים זה בזה (כמו במקרה של שזר וייטהד).
* היפוך האוריינטציה של כל אחד מהעקומים גורם להיפוך הסימן של אינדקס השזירה, בעוד היפוך האוריינטציה של שני העקומים מותיר אותו בלא שינוי.
* אינדקס השזירה הוא כיראלי: שיקוף בראי של שזר כלשהו בהכרח הופך את סימן האינדקס. הקונבנציה של סימן חיובי של אינדקס השזירה מבוססת על כלל יד ימין.
* אינדקס הליפוף של עקום בעל אוריינטציה קבועה במישור *x-y* שווה לאינדקס השזירה שלו ביחס ל*ציר ה-z* (ציר ה-*z* עובר דרך נקודת הייחוס שבמישור ה-*x-y*).
* בפיזיקה, אינדקס השזירה הוא דוגמה למה שמכונה מספר קוונטי טופולוגי. לתאוריה של מספרים אלו יש קשר לשזירה קוונטית.

## הגדרת האינטגרל של גאוס
 
בהינתן שני עקומים גזירים ובלתי-נחתכים \gamma_1, \gamma_2 \colon S^1 \rightarrow \mathbb{R}^3, נגדיר את העתקת גאוס \Gamma מהטורוס לספירת היחידה על ידי:

:\Gamma(s,t) = \frac{\gamma_1(s) - \gamma_2(t)}

ההגדרה האנליטית של גאוס מאפשרת לרשום נוסחה מפורשת לאינדקס השזירה של *γ*1 ו-*γ*2, אינטגרל קווי כפול שידוע כ**אינטגרל השזירה של גאוס**:

:\begin{align}
\mathrm {link}(\gamma_1,\gamma_2) &=\,\frac{1}{4\pi}
\oint_{\gamma_1}\oint_{\gamma_2}
\frac{\mathbf{r}_1 - \mathbf{r}_2}{|\mathbf{r}_1 - \mathbf{r}_2|^3}
\cdot (d\mathbf{r}_1 \times d\mathbf{r}_2)\\[4pt]
 &= \frac{1}{4\pi}\int_{S^1 \times S^1} \frac{\mathrm {det}(\dot\gamma_1(s),\dot\gamma_2(t),\gamma_1(s)-\gamma_2(t))}{|\gamma_1(s)-\gamma_2(t)|^3}\, ds \, dt\end{align}


האינטגרל הזה מחשב את השטח המכוון הכולל של התמונה של העתקת גאוס (האינטגרנד הוא היעקוביאן של Γ) ולאחר מכן מחלק בשטח הספירה (שהוא 4\pi).

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

## הכללות
[ממוזער|180px|שמאל|השמורות של מילנור מכלילות את אינדקס השזירה לשלושה או יותר מרכיבים, ומאפשרות להוכיח ש[טבעות בורומאיות|הטבעות הבורומאיות שזורות, אף על פי שלכל שני מרכיבים שלהן יש אינדקס שזירה 0.]]
* בדיוק כשם שעקומים סגורים יכולים להיות שזורים במרחב תלת-ממדי, כל שתי יריעות סגורות מממדים *m* ו-*n* עשויות להיות שזורות במרחב אוקלידי מממד m + n + 1. לכל שזר כזה מקושרת העתקת גאוס, אשר ערך הדרגה שלה הוא הכללה של אינדקס השזירה.
* אינדקס השזירה מוגדר בעבור שני מעגלים שזורים; אם שלושה או יותר מעגלים נתונים, הכללה של אינדקס השזירה היא השמורות של מילנור, שהן אינווריאנט מספרי המכליל את אינדקס השזירה.

## היסטוריה
להגדרה האנליטית של גאוס לאינדקס השזירה יש שורשים היסטוריים הן בעיסוקיו כאסטרונום והן בעיסוקיו כמתמטיקאי ופיזיקאי. ב-1804 הוא פרסם חיבור קצר שכותרתו "**על קביעת גבולות המיקומים הגאוצנטריים של הפלנטות**", בו עסק בבעיה שפתרונה הוא בעל ערך מיידי לעבודתו של האסטרונום: קביעת התחום השמיימי בו כוכבי לכת, אסטרואידים ושביטים עשויים להופיע, תחום אותו הוא מכנה zodiacus. כדי למצוא את גבולות התחום הזה, הוא גזר משוואה דיפרנציאלית שמקיימת השפה של ה-zodiacus; המשוואה שהתקבלה הייתה תבנית דיפרנציאלית הזהה למונה שבאינטגרנד של אינטגרל השזירה. בחיבורו, ציין גאוס 3 מקרים אפשריים למצב ההדדי של מסלול כדור הארץ ומסלול העצם הנצפה: כאשר המרחק המינימלי של העצם מן השמש גדול מהמרחק המקסימלי של כדור הארץ מהשמש, ההפך, וכאשר שני המסלולים *שזורים* זה בזה. הוא הראה שבשני המקרים  הראשונים, פתרונות המשוואה מייצגים שני עקומים סגורים על הספירה, בעוד שבמקרה השלישי מתקבל עקום סגור יחיד. עם זאת, כפי שגאוס הדגיש, אף לא אחד מהאזורים התחומים על ידי העקום במקרה השלישי יהיה ה-zodiacus - במקרה זה, כך כתב, "מסיבות טופולוגיות ה-zodiacus יהיה הספירה השמיימית כולה". החיבור מסיים בדיון מעמיק בחישוב ה-zodiacus של האסטרואידים החדשים שנתגלו, קרס ופאלאס.

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

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

## הערות שוליים

קטגוריה:תורת הקשרים
קטגוריה:קרל פרידריך גאוס