תורת הקשרים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
קשר התלתן, הקשר הלא-טריוויאלי הפשוט ביותר
הדמיה תלת-ממדית של קשר התלתן

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

עיסוק מרכזי של תורת הקשרים הוא לענות על השאלה מתי שני קשרים נתונים הם זהים זה לזה.

קשרים, דיאגרמות ושזרים[עריכת קוד מקור | עריכה]

קשר השמונה דיאגרמה של קשר השמונה
קשר השמונה דיאגרמה של קשר השמונה

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

דיאגרמה של סמל הטבעות של בית בורומאו

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

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

הקשר הפשוט ביותר הוא בעל צורת טבעת, שאותה אפשר לתאר במישור ללא צמתים כלל. הקשר הזה נקרא "אל-קשר" (ובאנגלית the unknot) או "הקשר הטריוויאלי". קשרים שיש להם רק צומת אחד או שניים אפשר להתיר בקלות. הדיאגרמה של כל קשר אמיתי כוללת לפחות שלושה צמתים. את החקירה השיטתית של קשרים החל פטר טייט (Peter Tait, 1831-1901), שעסק במיון של קשרים על-פי הדיאגרמות שלהם (ראו להלן). הוא הגדיר את "מספר הצמתים" של קשר כמספר הצמתים הקטן ביותר בדיגארמה של הקשר, ויצר רשימה מפורטת של כל הקשרים שמספר הצמתים שלהם אינו עולה על 7. אחר-כך נעזר טייט בתומאס קירקמן (Thomas Kirkman) כדי להרחיב את הרשימה עד ל-9 צמתים.

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

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

ב-1976 תיאר Waldhansen אלגוריתם המאפשר להבדיל בין כל שני קשרים; האלגוריתם מבוסס על רעיונות של Haken מ-1954 ו-1961.

סכום קשיר וקשרים ראשוניים[עריכת קוד מקור | עריכה]

אחת הבניות היסודיות בתורת הקשרים היא הסכום הקשיר של שני קשרים נתונים. כדי לחבר שני קשרים, מנתקים כל אחד מהם בנקודה אחת, ומחברים את הקצוות זה לזה כבאיור משמאל. הקשר המתקבל איננו תלוי בנקודות שבהן בוחרים לנתק את הקשרים המקוריים. את הסכום הקשיר של הקשרים \ K_1 ו- \ K_2 מסמנים ב-\ K_1 \# K_2.

סכום קשיר של שני עותקים של קשר התלתן

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

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

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

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

הגדרה זו פגומה, משום שאם אין מגבילים את "עובי" החבל, אפשר לכווץ כל קשר לנקודה, וכך להפוך כל מסילה סגורה לאל-קשר. כדי למנוע ניוון כזה של התאוריה, מתבוננים בסביבה צינורית שלו (באנגלית: tubular neighborhood), שהיא טורוס מלא אשר כל דיסק מרידיאני בו הומוטופי לדיסק החותך את הקשר בדיוק פעם אחת. לכל קשר אפשר סביבה צינורית על ידי "עיבוי" מספיק חלש, כדי שהטורוס הנוצר לא יחתוך את עצמו. הסביבה הצינורית מאפשרת להגדיר שני קשרים הם שקולים אם קיימת ביניהם "איזוטופיה סביבתית" (באנגלית: Ambient Isotopy), כלומר, הומוטופיה בין סביבה צינורית של הקשר הראשון לסביבה צינורית של הקשר השני.

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

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

הצעד הראשון: פרימת לולאה עודפת הצעד השני: התרת זוג צמתים הצעד השלישי: הסעת לולאה מעל או מתחת צומת
הצעד הראשון: פרימת לולאה עודפת הצעד השני: התרת זוג צמתים הצעד השלישי: הסעת לולאה מעל או מתחת צומת
צעדי ריידמייסטר

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

אינווריאנטים של קשרים[עריכת קוד מקור | עריכה]

Postscript-viewer-shaded.png ערך מורחב – אינווריאנטים של קשרים
קשר השמונה, מכוון (באחת משתי דרכים אפשריות)

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

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

ב-1905 הציע Wirtinger לחשב, עבור קשר נתון K, את החבורה היסודית \ \pi_1(S^3 - K) של המשלים ב-\ S^3. זהו אינווריאנט טופולוגי טבעי ומוכר, שהיה לו חלק חשוב בהתפתחות של הטופולוגיה האלגברית. לחבורה היסודית של כל קשר אותה אבליניזציה - \ \mathbb{Z}. לפי הלמה של דן (מקס דן, 1910), החבורה היסודית איזומורפית ל- \ \mathbb{Z} אם ורק אם K הוא האל-קשר. ההוכחה שפורסמה לא הייתה שלמה, ותוקנה רק ב-1957. החבורה היסודית תלויה כמובן רק במחלקת ההומיאומורפיזם של המרחב \ S^3-K. ב-1989 הוכיחו שאם המשלימים של שני קשרים (אבל לא שזרים!) הומיאומורפיים זה לזה, אז הקשרים הומוטופיים.

סכום קשיר של שני עותקים של קשר התלתן הימני; התוצאה סימטרית ביחס לסיבוב במאה ושמונים מעלות סכום קשיר של קשר תלתן ימני וקשר תלתן שמאלי; סכום זה אינו סימטרי ביחס לסיבוב
סכום קשיר של שני עותקים של קשר התלתן הימני;
התוצאה סימטרית ביחס לסיבוב במאה ושמונים מעלות
סכום קשיר של קשר תלתן ימני וקשר תלתן שמאלי;
סכום זה אינו סימטרי ביחס לסיבוב
קשרים שונים עם אותה חבורה יסודית

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

אפשר לחשב הצגה של החבורה היסודית באופן הבא. נתונה דיאגרמה מכוונת של הקשר K. מתאימים יוצר לכל קשת בדיאגרמה. כל נקודת מפגש בין קשתות מתאימה ליחס: בנקודת המפגש תמיד שותפות שלוש קשתות: i עוברת מעל j ההופכת ל-k. מתבוננים בנקודת המפגש כאילו i ו-j מגיעות מלמטה, ואז מתקיים היחס \ x_jx_i=x_ix_k אם קשת i מגיעה משמאל, ו-\ x_ix_j=x_kx_i אם היא מגיעה מימין. לדוגמה, החבורה היסודית של קשר השמונה (עם הדיאגרמה המופיעה משמאל, כאשר המספור מתחיל מן הקשת העליונה) היא \ \langle x_1,x_2,x_3,x_4 | x_1x_3=x_3x_2, x_2x_4=x_1x_2, x_4x_2=x_3x_4, x_3x_1=x_1x_4\rangle.

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

קשרים מתוארים כמסילות במרחב התלת-ממדי. לממד המרחב יש כאן תפקיד מכריע: במרחב הארבעה-ממדי אפשר לעוות כל קשר לכל קשר אחר, כך שתורת הקשרים במרחב זה ריקה מתוכן. הכללה בכיוון אחר משנה את המרחב שבו משכנים את הקשר, תוך שמירה על הממד. ממילא הקשר הוא קבוצה קומפקטית, ולכן השיכון במרחב האוקלידי הוא למעשה שיכון בספירת רימן \ S^3.

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

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]