משפט לובאס-קנזר

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

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

נוסח המשפט
250px|ממוזער|שמאל|הגרף  - ידוע כגרף פטרסן
גרף קנזר  הוא גרף המוגדר באופן הבא: הצמתים בגרף הם כל התתי קבוצות של  שיש בהן k איברים. יש קשת בין שני צמתים אם ורק אם הם זרים כקבוצות. למשל ב- יש קשת בין  ל- ואין קשת בין  ל-.

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

משפט לובאס-קנזר. לכל  מתקיים .

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

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

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

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

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

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

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

כלומר  היא קבוצת הנקודות כך שבהמספירה  יש k נקודות של  המגדירות צומת של הגרף שצבעו i. ברור ש- קבוצה פתוחה כי  קבוצה דיסקרטית ותזוזה קטנה מספיק של ההמספירה  לא תשנה את הנקודות מ-X שהיא מכילה. 

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

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

מכאן ש-. כלומר אין k נקודות של X בהמיספרות . בכל המיספירה יש  נקודות לכל היותר וכל שאר הנקודות חייבות להימצא על העל-מישור שבין שתי ההמיספרות. קיבלנו שעל העל-מישור יש לפחות  נקודות. מצד שני מהמצב הכללי ידוע שעל העל-מישור יש לכל היותר  נקודות. ולכן .

לקריאה נוספת
Matoušek, Jiří (2003). Using the Borsuk–Ulam theorem. Berlin: Springer Verlag. doi:10.1007/978-3-540-76649-0. 

לובאס-קנזר
קטגוריה:הוכחות