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

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

הדגמה והמחשה

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

הוכחות

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

סקיצה של הוכחה הומולוגית

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

סקיצה של הוכחה גאומטרית

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

שימושים

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