הצגת המקור של הדף "משפט בורסוק-אולם"

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

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

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

קל להשתכנע בנכונות המקרה האפס-ממדי והמקרה החד-ממדי. במקרה האפס-ממדי המשפט טוען שפונקציה רציפה מהקבוצה <math>\{-1,1\}</math> לקבוצה <math>\{0\}</math> מעבירה נקודות אנטיפודיות לאותה נקודה. במקרה הזה זה נכון באופן [[טריוויאלי (מתמטיקה)|טריוויאלי]] גם ללא דרישת הרציפות. במקרה החד-ממדי המשפט טוען שפונקציה רציפה מ[[מעגל]] (שאפשר להניח [[ללא הגבלת הכלליות]] שהוא [[מעגל היחידה]]) ל[[הישר הממשי|ישר הממשי]] מעתיקה זוג נקודות אנטיפודיות לאותו מספר. אם [[הוכחה בדרך השלילה|נניח בשלילה]] ש-<math>f</math> היא פונקציה רציפה שסותרת את המשפט, אז לכל זוג נקודות אנטיפודיות <math>x,-x</math> מתקיים <math>f(x)-f(-x)\ne 0</math>. לכן הפונקציה <math>g(x)=\frac{f(x)-f(-x)}{|f(x)-f(-x)|}</math> רציפה. אולם פונקציה זו יכולה לקבל רק את הערכים <math>\pm 1</math> והיא מקבלת את שניהם בכל זוגות נקודות אנטיפודיות (<math>g(-x)=-g(x)</math>), בסתירה ל[[משפט ערך הביניים]].

==גרסאות המשפט==
{{חלונית
|תוכן= 
סימונים והגדרות:
* <math>\mathbb{R}^n</math> - [[המרחב האוקלידי]] ה-n-ממדי
* <math>S^n</math> - [[ספירה (גאומטריה)|ספירת]] היחידה ה-n ממדית: 
:<math>S^n=\{(x_0,\ldots,x_n)\in \mathbb{R}^{n+1} \mid x_0^2+\ldots+x_n^2=1\}</math>
* האנטיפוד לנקודה <math>x=(x_0,\ldots,x_n)\in S^n</math> הוא:
:<math>-x = (-x_0,\ldots,-x_n)</math>
* פונקציה <math>f</math> מהספירה למרחב היא '''פונקציה אנטיפודית''' אם היא רציפה ולכל <math>x</math> מתקיים: <math>f(-x)=-f(x)</math>.
* <math>B^n</math> - [[כדור (גאומטריה)|כדור]] היחידה הסגור ה-n ממדי:
:<math>B^n=\{(x_1,\ldots,x_n)\in \mathbb{R}^n \mid x_1^2+\ldots+x_n^2\le 1\}</math>
[[שפה (טופולוגיה)|שפת]] הכדור היא הספירה ממד אחד פחות: <math>\partial B^n = S^{n-1}</math>.
|רוחב=30%
|רקע= #FFFFFF
|יישור= right
}}
למשפט בורסוק-אולם גרסאות רבות שכולן נכונות וכולן שקולות זו לזו. נביא כמה מהן:
#לכל <math>f: S^n\to \mathbb{R}^n</math> רציפה קיימת נקודה <math>x\in S^n</math> כך ש-<math>f(x)=f(-x)</math>.
#לכל <math>f: S^n\to \mathbb{R}^n</math> אנטיפודית (ראו מסגרת בצד שמאל) קיימת נקודה <math>x\in S^n</math> כך ש-<math>f(x)=0</math>.
#לא קיימת <math>f: S^n\to S^{n-1}</math> אנטיפודית.
#לא קיימת <math>f: B^n\to S^{n-1}</math> אנטיפודית על השפה <math>S^{n-1} = \partial B^n</math>.
#[[משפט לוסטרניק-שנירלמן]]: כל [[כיסוי (טופולוגיה)|כיסוי]] של <math>S^n</math> באמצעות n+1 קבוצות שכל אחת מהן [[קבוצה פתוחה|פתוחה]] או [[קבוצה סגורה|סגורה]] מכיל קבוצה אחת שיש בה זוג נקודות אנטיפודיות.

נוכיח כי כל הגרסאות שקולות:
* (1) גורר את (2): תהי <math>f: S^n\to \mathbb{R}^n</math> פונקציה אנטיפודית. לפי (1) והאנטיפודיות קיימת נקודה <math>x\in S^n</math> כך ש-<math>f(x)=f(-x)=-f(x)</math>, ולכן <math>f(x)=0</math>.

* (2) גורר את (1): תהי <math>f: S^n\to \mathbb{R}^n</math> פונקציה רציפה. נגדיר <math>g(x)=f(x)-f(-x)</math>. זוהי פונקציה אנטיפודית ולכן לפי (2) קיימת נקודה <math>x\in S^n</math> כך ש-<math>g(x)=0</math>, כלומר <math>f(x)=f(-x)</math>.

* (2) גורר את (3): <math>S^{n-1} \subseteq \mathbb{R}^n</math>, ולכן אם קיימת <math>f: S^n\to S^{n-1}</math> אנטיפודית, אז היא בפרט פונקציה אנטיפודית <math>S^n \to \mathbb{R}^n</math> שאינה מתאפסת, בסתירה ל-(2).

* (3) גורר את (2): נניח בשלילה ש-<math>f: S^n\to \mathbb{R}^n</math> אנטיפודית ולא מתאפסת. אז <math>g(x)=f(x)/\|f(x)\|</math> סותרת את (3).

* (3) גורר את (4): הפונקציה <math>h(x_0,\ldots,x_n) = (x,_1,\ldots,x_n)</math> היא [[הומאומורפיזם]] של ה[[המיספירה]] הימנית של <math>S^n</math> על הכדור <math>B^n</math> ("שיטוח" של ההמיספירה על מישור). נניח בשלילה ש-<math>f</math> מקיימת את (4). נגדיר: <math>g: S^n \to S^{n-1}</math> כך: בהמיספירה הימנית <math>g(x)=f(h(x))</math> ובהמיספירה השמאלית <math>g(x)=-f(h(-x))</math>. הפונקציה מוגדרת היטב בחיתוך בין ההמיספרות ("קו המשווה") כי זהו שפת <math>B^n</math> שם <math>f</math> אנטיפודית. <math>g</math> סותרת את (3).

* (4) גורר את (3): נניח בשלילה ש-<math>f</math> מקיימת את (3). אז <math>g(x)=f(h^{-1}(x))</math> סותרת את (4).

* שקילות עם (5): ראו בערך [[משפט לוסטרניק-שנירלמן]].

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

===סקיצה של הוכחה הומולוגית===
נתאר כאן גישה הומולוגית להוכחת משפט בורסוק-אולם (גרסה (3) שלו). נניח בשלילה כי <math>f:S^n \to S^{n-1}</math> העתקה אנטיפודית. אם מזהים את [[מרחב פרויקטיבי ממשי|המרחב הפרויקטיבי]] <math>\mathbb{RP}^n</math> כ[[מרחב מנה]] של הספירה <math>S^n</math> על ידי זיהוי נקודות אנטיפודליות, זיהוי זה משרה העתקה <math>\bar{f}: \mathbb{RP}^n \to \mathbb{RP}^{n-1}</math>. ניתן להראות כי ההעתקה <math>\bar{f}</math> בתורה משרה [[איזומורפיזם#איזומורפיזם בין חבורות|איזומורפיזם]] של ה[[החבורה היסודית|חבורות היסודיות]] המתאימות. ההומומורפיזם הוא זה המושרה מ[[פנקטור]] החבורה היסודית, וניתן להראות כי הוא איזומורפיזם על ידי שימוש בכך שהחבורה היסודית של המרחב הפרויקטיבי נוצרת על ידי איבר יחיד, והעתקה זו מעבירה יוצר ליוצר.

עבור המקרה <math>n=2</math> ההוכחה מסתיימת כאן, כי ידוע <math>\pi_1\left(\mathbb{RP}^2\right) \cong \mathbb{Z}/2 \neq \mathbb{Z} \cong \pi_1\left(\mathbb{RP}^1\right)</math> ולכן מתקבלת סתירה. עבור <math>n>2</math>, ניתן להראות כי מושרה [[איזומורפיזם#איזומורפיזם בין חוגים|איזומורפיזם]] על [[חוג (מתמטיקה)|חוגי]] ה[[קוהומולוגיה|קוהומולוגיות]] של המרחבים הפרויקטיביים המתאימים. הסתירה מתקבלת על ידי שימוש בעובדה הלא-טריוויאלית כי המבנה החוגי של הקוהומולוגיה במקדמים מהשדה בעל שני האיברים <math>\mathbb{F}_2</math> של המרחב הפרויקטיבי, הוא <math>H^*\left( \mathbb{RP}^n; \mathbb{F}_2 \right) \cong \mathbb{F}_2\left[x\right]/x^n</math>.

===סקיצה של הוכחה גאומטרית===
נתאר כאן גישה גאומטרית להוכחת משפט בורסוק-אולם (גרסה (2) שלו). תהי <math>f: S^n \to \mathbb{R}^n</math> פונקציה אנטיפודית. תהי <math>g: S^n \to \mathbb{R}^n</math> ההטלה צפון-דרום המוגדרת לפי <math>g(x_0,\ldots,x_n) = (x_0,\ldots,x_{n-1})</math>. נסתכל על המרחב <math>X = S^n\times [0,1]</math> - פני השטח של "[[גליל (גאומטריה)|גליל]]" שבסיסו הספירה <math>S^n</math> (גאומטרית, הוא משוכן במרחב <math>\mathbb{R}^{n+2}</math>). נגדיר פונקציה <math>F: X \to \mathbb{R}^n</math> לפי <math>F(x,t) = (1-t)f(x)+tg(x)</math>. על בסיס הגליל <math>F(x,0) = f(x)</math>. ככל שעולים במעלה הגליל F משתנה באופן ליניארי מ-f ל-g עד שבסיס העליון <math>F(x,1) = g(x)</math>. מכיוון ש-f ו-g אנטיפודיות F מקיימת <math>F(-x,t) = -F(x,t)</math> (כלומר היא אנטיפודית על כל חתך שמקביל לבסיס).

נניח בשלילה ש-f לא מתאפסת. נחקור את הקבוצה <math>F^{-1}(0)</math> המורכבת מכל הנקודות ב-X שעוברות ל-0. אם <math>f</math> מתנהגת "נחמד" מספיק, מצופה שהקבוצה הזו תורכב מ[[עקומה|עקומות]] ([[יריעה|יריעות]] חד-ממדיות) המטיילות על פני הגליל (האפסים של <math>F(x,t)</math> מתווים קו רציף כש-t משתנה). העקומות הללו צריכות להיסגר על עצמן או שנקודות הקצה שלהן נמצאות על הבסיסים. ל-<math>g</math> יש שני אפסים בדיוק: הקוטב הצפוני והדרומי: <math>(0,\ldots,\pm 1)</math>. ל-f אין אפסים כלל. לכן העקומה שיוצאת מהקוטב הצפוני של הבסיס העליון (שחייבת להסתיים בנקודת קצה אחרת על בסיס) חייבת להסתיים בקוטב הדרומי של הבסיס העליון. אולם <math>F^{-1}(0)</math> היא קבוצה סימטרית תחת אנטיפודיות (<math>(x,t)\in F^{-1}(0)</math> אם ורק אם <math>(-x,t)\in F^{-1}(0)</math>), ולכן העקומה שמטיילת מהקוטב הצפוני לדרומי עושה זאת באופן סימטרי על פני הגליל, מה שבבירור לא ייתכן.

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

==שימושים==
[[קובץ:Brouwer fixed point theorem retraction.svg|שמאל|ממוזער|200px|הוכחה של [[משפט נקודת השבת של בראואר]]: אם ל-<math>f</math> לא הייתה נקודת שבת הפונקציה <math>F</math> הייתה מוגדרת היטב וסותרת את משפט בורסוק-אולם.]]
מסקנה מיידית מהמשפט היא שהספירה ה-n-ממדית אינה [[הומאומורפיזם|הומאומרפית]] לתת-מרחב של המרחב האוקלידי ה-n ממדי.

[[משפט נקודת השבת של בראואר]], הקובע שלכל פונקציה רציפה <math>f: B^n \to B^n</math> יש [[נקודת שבת]], נובע בקלות ממשפט בורסוק-אולם. נניח בשלילה של-<math>f</math> אין נקודת שבת. אז לכל <math>x\in B^n</math> הקרן היוצאת מ-<math>f(x)</math> לכיוון <math>x</math> [[מוגדר היטב|מוגדרת היטב]]. נסמן ב-<math>F(x)</math> את הנקודה על שפת הכדור <math>S^{n-1} = \partial B^n</math> דרכה עוברת הקרן. <math>F: B^n \to S^{n-1}</math> היא העתקה רציפה ששומרת על איברי <math>\partial B^n</math> במקומם ([[רטרקט]]) ובפרט אנטיפודית על <math>\partial B^n</math>, בסתירה לגרסה (4) של משפט בורסוק-אולם.

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

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

==קישורים חיצוניים==
* {{אנציקלופדיה למתמטיקה|Borsuk_fixed-point_theorem|Borsuk fixed-point theorem}}
* {{MathWorld}}
<div class="mw-content-ltr">
*Matoušek, Jiří (2003). [https://web.archive.org/web/20150128132229/http://www.maths.ed.ac.uk/~aar/papers/matousek1.pdf Using the Borsuk–Ulam theorem]. Berlin: Springer Verlag. doi:10.1007/978-3-540-76649-0. {{ISBN|3-540-00362-2}}</div>

[[קטגוריה:טופולוגיה אלגברית]]
[[קטגוריה:משפטים בטופולוגיה|בורסוק-אולם]]