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