משפט נקודת השבת של בראואר
מתוך ויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, משפט נקודת השבת של בראואר (Brouwer) קובע כי אם היא פונקציה רציפה אז ל-
יש נקודת שבת, כלומר נקודה המקיימת
. הקבוצה
היא כדור היחידה הסגור במרחב האוקלידי ה-
ממדי, כלומר קבוצת כל הנקודות שמרחקן מראשית הצירים אינו גדול מ־1. ניסוח אחר למשפט: תהי
כאשר
קבוצה לא ריקה, קומפקטית וקמורה, אזי יש ל־
נקודת שבת.
דוגמה נאה ליישום פשוט של המשפט ניתנת בספר "מתמטיקה" מסדרת Life: לוקחים שני גליונות נייר זהים, מקמטים אחד (אך לא קורעים אותו) ומניחים מעל השני כך שאינו חורג מגבולותיו; לפי המשפט יש נקודה בגיליון המקומט שנמצאת בדיוק מעל הנקודה המקבילה לה בגיליון השני.
בראואר הוכיח את המשפט במקרה שבו n = 3 בשנת 1909 והדמר הוכיח אותו במקרה הכללי שנה לאחר מכן. במקרה ש־n = 1 אפשר להוכיח את המשפט בקלות באמצעות משפט ערך הביניים.
המשפט מוכיח קיום של נקודת שבת, אך אינו מראה דרך למצוא אותה. ברבות השנים הפך בראואר למתנגד חריף לגישה של הוכחות לא בונות דוגמת זו שלו עצמו.