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