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