הצגת המקור של הדף "קוד גאוס"

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

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

== תיאור ==
בעבור דיאגרמת קשר עם ''n'' צמתים, קוד גאוס מתאים לה סדרה של ''2n'' מספרים הנבחרים מהקבוצה {<math>1,2,\cdots,n</math>}. תהליך ההתאמה נעשה בצורה הבאה:

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

למשל, ל[[קשר התלתן]] יש קוד גאוס: 3-, 2, 1-, 3, 2-, 1, ואילו לקשר השמונה מתאים קוד גאוס: 4+, 2-, 3+, 4-, 1+, 3-, 2+, 1-.

באופן כללי, כאשר אין חשיבות לסימן{{הערה|כלומר כאשר למשל 1+ ו-1- נחשבים שניהם ל-1.}}, מספר הרצפים האפשריים עבור דיאגרמת קשר עם ''n'' צמתים הוא [[מקדם מולטינומי|המקדם המולטינומי]]: <math> {2n \choose 2, 2, \cdots, 2} = \frac {{(2n)!}}{{2^n}} </math>.

=== תנאי הזוגיות ===

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

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

הוכחה לטענה זאת ניתנה לראשונה על ידי המתמטיקאי Julius Nagy ב-1927. עם זאת, גאוס עצמו הבחין גם כי תנאי הזוגיות אינו מספיק כאשר <math>5\le n</math>, וכמות רבה של מאמרים נכתבו על אפיון הסדרות שמייצגות עקומים אמיתיים.

== מקורות ==
* {{קישור כללי|כותרת = planar-curves|כתובת = http://jeffe.cs.illinois.edu/teaching/topology17/notes/02-planar-curves.pdf|תאריך_וידוא = 2018-04-14|archive-date = 2018-01-12|archive-url = https://web.archive.org/web/20180112051844/http://jeffe.cs.illinois.edu/teaching/topology17/notes/02-planar-curves.pdf|url-status=dead}}
* {{קישור כללי|כותרת =  (Gauss's werke, volume 8, p.271 - 286 (Geometria Situs|כתובת = https://gdz.sub.uni-goettingen.de/id/PPN236010751}}

==הערות שוליים==
{{הערות שוליים}}

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