הצגת המקור של הדף "שמורות של קשרים"

'''אינווריאנטים''' ב[[תורת הקשרים]] הם [[עצם מתמטי|אובייקטים מתמטיים]] שאפשר להתאים ל[[קשר (תורת הקשרים)|קשרים]], על-מנת ללמוד על תכונותיהם והשוני ביניהם. חקר האינווריאנטים הוא אחד מתחומי המחקר המרכזיים ב[[תורת הקשרים]]. את האינווריאנטים אפשר לחלק לגאומטריים ואלגבריים: בדרך-כלל, הראשונים מתאימים יותר לעבודה תאורטית, אבל קשה יותר לחשב אותם. בכל זאת, טרם נמצא '''אינווריאנט קשרים שלם''' - כלומר אובייקט המבדיל באופן חד משמעי בין כל שני קשרים או בין שתי דיאגרמות המייצגות את אותו קשר.

ידוע ששני קשרים הם שקולים [[אם ורק אם]] ניתן להגיע מאחד לשני בסדרה סופית של [[תורת הקשרים#צעדי ריידמייסטר|צעדי ריידמייסטר]]. לכן, על-מנת להוכיח שתכונה מסוימת של דיאגרמה היא אכן אינווריאנט, מספיק להוכיח שהיא נשמרת תחת צעדי ריידמייסטר.

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

===מספר הרכיבים===
כמו בכל [[מרחב טופולוגי]], מספר רכיבי הקשירות השונים הוא אינווריאנט של שני קשרים איזוטופיים. מספר רכיבי הקשירות הוא מספר הקשרים המרכיבים את השזר. קשר הוא בעל רכיב קשירות בודד.

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

'''מרכיב''' (component) של השזר הוא קבוצה של קשרים שלא ניתן לפרק לשני מרכיבים שאינם [[הקבוצה הריקה]]. מספר המרכיבים האלו הוא אינווריאנט של הקשר.

===מספר הקישור===
[[קובץ:Link with zero linking number.jpg|שמאל|ממוזער|180px|שזר שבו המרכיבים אינם ניתנים להפרדה, למרות שמספר הקישור הוא 0]]
זמן רב לפני טייט, [[קרל פרידריך גאוס|גאוס]] פיתח שיטה לחישוב האופן שבו שתי מסילות מרחביות מתפתלות זו סביב זו, באמצעות [[אינטגרל]] מתאים.

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

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

===הגנוס===
{{ערך מורחב|גנוס (טופולוגיה)}}
בשנת [[1934]] הציג המתמטיקאי הגרמני [[גאורג סייפרט]] שיטה אשר, בהינתן קשר נתון, בונה משטח [[יריעה מכוונת|מכוון]] אשר ה[[שפה (טופולוגיה)|שפה]] שלו היא הקשר (אשר נקרא [[משטח סייפרט]]). משטחים אלו כשלעצמם אינם אינווריאנטיים (כלומר, לדיאגרמות שונות של אותו הקשר יכולים להיות משטחי סייפרט הומוטופיים), אך הגנוס שלהם נשמר תחת צעדי ריידמייסטר. על כן הגנום של המשטח המכוון הפורש את הקשר הוא אינווריאנט אשר נהוג לקרוא לו פשוט הגנום של הקשר.

=== מספר ה3-צביעה ===
{{ערך מורחב|מספר השלוש-צביעה}}

[[קובץ:3-colorings of Rtre+Rtre.JPG|שמאל|ממוזער|500px|3-צביעות של סכום שני עותקים של קשר התלתן הימני]]
בכל צומת בדיאגרמה של קשר נפגשים למעשה שלושה מקטעים (העליון, ושני התחתונים). '''3-צביעה''' של דיאגרמה היא צביעה בשלושה צבעים של כל המקטעים הרצופים, כך שבכל צומת יכולים להופיע או כל שלושת הצבעים, או רק צבע אחד. אם אפשר לקבל צביעה אחת מאחרת על ידי החלפת הצבעים, או על ידי [[איזומורפיזם]] של הדיאגרמה, הן נחשבות שקולות. מתברר שמספר הדרכים השונות לצבוע את הדיאגרמה אינו משתנה תחת צעדי ריידמייסטר, ולכן הוא תלוי רק בקשר (או השזר) שאותו מייצגת הדיאגרמה. זהו, אם כן, אינווריאנט. לדוגמה, כל 3-צביעה של הטבעות הבורומאניות היא בצבע אחד בלבד. באיור משמאל מופיעות כל ה-3-צביעות של הקשר <math>\ T \# T</math> (כאשר T הוא קשר התלתן הימני), שבהן הקשת העליונה נצבעה כחול, וה"אוזן" השמאלית נצבעה כחול או אדום. מאלה, צביעה 3 שקולה לצביעה 2, משום שהיא מתקבלת ממנה על ידי החלפת הצבעים אדום וירוק; צביעה 4 שקולה לשתיהן, משום שאפשר לקבל אותה על ידי סיבוב הדיאגרמה. צביעות 5 ו-6 אינן שקולות (השנייה סימטרית לסיבוב, והראשונה לא). לכן יש לקשר הזה ארבע 3-צביעות שונות. לעומת זאת, לקשר <math>\ T \# T'</math> (כאשר 'T הוא קשר התלתן השמאלי) יש חמש 3-צביעות. מכאן שהקשרים אינם שקולים זה לזה. 

=== סבכים ===
ב-3-צביעות, הצבע של מקטע בצומת מוגדר היטב על ידי צבעי שני המקטעים האחרים. הפעלה של עיקרון זה על אוסף צבעים כללי מוביל באופן טבעי להגדרת [[מבנה אלגברי]] עם [[פעולה בינארית]] אחת, בשם '''סבך''' (באנגלית: quandle; סבך הוא [[מאגמה (מבנה אלגברי)|מאגמה]] שבה כל האיברים [[אידמפוטנט|אידמפוטנטים]], וכל פעולת כפל מימין היא [[אוטומורפיזם]]). הסבך החופשי (זה המקיים רק את היחסים המתחייבים מן הדיאגרמה) קובע את השזר באופן יחיד עד כדי כיוון המרכיבים (Joyce 1982, Mateev 1984), ולכן הוא אינווריאנט אוניברסלי (אלא שלפעמים קשה מאוד להוכיח ששני סבכים אינם איזומורפיים זה לזה).

==אינווריאנטים אלגבריים==
===מטריצת סייפרט===
בהינתן [[משטח סייפרט]], ניתן לבנות ממנו את מטריצת סייפרט. הבניה נעשית על ידי לקיחת [[החבורה היסודית]] של משטח סייפרט, ובהינתן כל זוג לולאות לנסות "להרים" בקצת כל לולאה ולקחת את מספר הקישור של שתי הלולאות. מספור שרירותי של הלולאות מגדיר את המטריצה באופן חד-חד-ערכי עד כדי פרמוטציה. אם נסמן [[מטריצה]] זו ב<math>M</math> אזי מטריצת סייפרט היא <math>M+M^T</math>. המטריצה עצמה אינה אינווריאנט, אך היא שימושית בהגדרה של אינווריאנטים נוספים (כמו פולינומי [[פולינום ג'ונס|ג'ונס]] ו[[פולינום אלכסנדר|אלכסנדר]]), כאשר הבסיסיים שבהם הם הדטרמיננטה והסימן של המטריצה, החזקים מספיק בשביל להבחין בין כל הקשרים מסדר 6 ומטה.

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

===פולינום אלכסנדר===
{{ערך מורחב|פולינום אלכסנדר}}
'''[[פולינום אלכסנדר]]''' של קשר (או שזר) הוא אינווריאנט קשרים שהוצג על ידי [[ג'יימס אלכסנדר]] בשנת 1923, ונחשב לפולינום הקשרים הראשון. הפולינום נחשב לאינווריאנט קשרים טוב, אך איננו שלם. לפולינום מספר הגדרות בעלות אופי שונה, כגון הגדרה [[גאומטריה|גאומטרית]], הגדרה [[קומבינטוריקה|קומבינטורית]]. 

{| class="wikitable" style="float: left; text-align: center;"
|-
|[[קובץ:figure 8 diagram with marked crossing.JPG|80px|קשר השמונה, חציה מימין לשמאל (<math>\,K_L</math>)]]
|[[קובץ:figure 8 diagram with marked crossing swapped.JPG|80px|קשר השמונה, חציה משמאל לימין (<math>\,K_R</math>)]]
|[[קובץ:figure 8 diagram with marked crossing resolved.JPG|80px|קשר השמונה עם התרה של הצומת (<math>\,K_0</math>)]]
|- 
| חציה מימין לשמאל (<math>\,K_L</math>)
| חציה משמאל לימין (<math>\,K_R</math>)
| התרה של הצומת (<math>\,K_0</math>)
|-
|}
נציג את ההגדרה הקומבינטורית באינדוקציה. ראשית, לקשר הטריוויאלי יש פולינום טריוויאלי: <math>\ \Delta(O) = 1</math>. לקשר כללי, בוחרים צומת בדיאגרמה מישורית שלו, וההגדרה תלויה בשלוש הדרכים לעבור דרך הצומת - מימין לשמאל, משמאל לימין, והתרת הצומת (ראו בתמונה במקרה של [[קשר השמינית (תורת הקשרים)|קשר השמינית]]). היחס המגדיר את פולינומי אלכסנדר הוא
<math>\ \Delta(K_R) - \Delta(K_L) = (t^{1/2}-t^{-1/2})\Delta(K_0)</math>.

===פולינומים נוספים===
להלן מספר פולינומי קשרים נוספים. כל הפולינומים האלו מגיעים, בעיקרו של דבר, מתורת ההצגות של [[אלגברת הקה|אלגבראות הקה]] של [[החבורה הסימטרית]].

====פולינום ג'ונס====
{{ערך מורחב|פולינום ג'ונס}}
כ-60 שנים לאחר הצגת פולינום אלכסנדר, התגלה אינווריאנט פולינומי נוסף - '''[[פולינום ג'ונס]]''', שאפשר להגדיר על ידי היחס <math>\ q^{-1} V(K_R) - q V(K_L) = (q^{1/2}-q^{-1/2}) V(K_0)</math>, והתאמת הערך 1 לקשר הטריוויאלי.

פולינום ג'ונס ניתן לחישוב לפי הדיאגרמה של הקשר באופן הבא. הפולינום המתאים אל הקשר הטריוויאלי הוא אחת. אחרת, יש מספר צמתים ששינוי שלהם יביא אותנו לקשר הטריוואלי. ניתן לחשב את הפולינום של הקשר הנתון כסכום של הקשר המתקבל לאחר החלפה של הצומת <math>\ V(K_R)</math>. או <math>\ V(K_L)</math> והקשר שמתקבל מביטול של הצומת  <math>\ V(K_0)</math>. האחד קרוב יותר לקשר הטריוואלי, ואותו נחשב באותה השיטה עד שנגיע לקשר הטריוואלי, ולאחר מספר קטן יותר של צמתים, ולכן גם הוא ניתן לחישוב באופן דומה. 

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

====פולינום ה-HOMFLY====
{{ערך מורחב|פולינום ה-HOMFLY}}
בהמשך הוגדר אינווריאנט פולינומי נוסף, [[פולינום ה-HOMFLY]] (על-פי ראשי התבות של שמות המחברים). זהו פולינום לורן בשני משתנים <math>P(x,y)</math>, המקיים את היחס <math>\ x P(K_R) - x^{-1} P(K_L) = y P(K_0)</math>.

הצבת <math>x=1</math> נותנת את פולינום אלכסנדר; הצבת <math>y=1 </math> נותנת את פולינומי ג'ונס. 

{{-}}

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

[[קטגוריה:תורת הקשרים]]
[[קטגוריה:בעיות פתוחות בטופולוגיה]]