משפט נקודת השבת של בראואר

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

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

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

הצורה הוורודה נוצרה ממעגל התכלת על ידי כיווץ וקימוט. חייבת להיות נקודה שלא שינתה את מיקומה.

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

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

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

המקרה החד-ממדי

[עריכת קוד מקור | עריכה]

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

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

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

המקרה הדו־ממדי

[עריכת קוד מקור | עריכה]

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


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

כעת, נחלק את הכיוונים אליהם פונים חצים אלה לשלושה (ע"פ המעגל המופיע בשרטוט השני) - במעגל, נסמן את הזווית של חץ הפונה מעלה ב-90. אם חץ פונה בזווית של בין 0 ל-120 מעלות, נסמנו בצבע כחול, אם הוא פונה בזווית של בין 120 ל-240 מעלות נסמנו באדום, וחצים שפונים בזווית של 240 עד 360 מעלות, נסמן בירוק.

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

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

המקרה הכללי

[עריכת קוד מקור | עריכה]

נתון סימפלקס סגור נסמנו ונתונה פונקציה רציפה . יש להראות שקיימת נקודה כך ש-.

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

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

מכאן יוצא שהקבוצות מקיימות את תנאי הלמה של קנסטר-קורטובסקי-מזורקביץ', ולכן קיימת נקודה . פירוש הדבר ש- מקיימת לכל ש-. אולם ולכן בהכרח לכל מתקיים ש- כלומר היא נקודת שבת של .

שימושים של המשפט

[עריכת קוד מקור | עריכה]

בין כל המשפטים הדנים בנקודות שבת, משפט זה ידוע במיוחד, שכן השתמשו בו בתחומים רבים במתמטיקה.

שימושי המשפט בטופולוגיה אלגברית

[עריכת קוד מקור | עריכה]

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

שימושי המשפט בתורת המשחקים

[עריכת קוד מקור | עריכה]

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

למשפט אף שימושים בתורת המשחקים הקומבינטורית ויש לו קשר הדוק למשחק הקס: דייוויד גייל הראה כי משפט נקודת השבת של בראואר שקול לקיומה של אסטרטגיה מנצחת בהקס (כלומר שהמשחק אינו יכול להסתיים בתיקו)[1].

קישורים חיצוניים

[עריכת קוד מקור | עריכה]
  • גדי אלכסנדרוביץ', משפטי נקודת השבת של בנך וברואר, באתר "לא מדויק", 23 במרץ 2019
  • "על בראואר, נאש ומחלקת הסיבוכית של PPAD". (באנגלית)
  • משפט נקודת השבת של בראואר, באתר אנציקלופדיה למתמטיקה (באנגלית)
  • משפט נקודת השבת של בראואר, באתר MathWorld (באנגלית)
  • משפט נקודת השבת של בראואר, באתר אנציקלופדיה בריטניקה (באנגלית)

הערות שוליים

[עריכת קוד מקור | עריכה]
  1. ^ David Gale, The Game of Hex and the Brouwer Fixed-Point Theorem, American Mathematical Monthly, vol 86, 1979, 818-827
  2. ^ (Christos H. Papadimitriou, On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence. J. Comput. Syst. Sci. 48(3): 498-532 (1994