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