נקודת שבת

במתמטיקה, נקודת שבת של פונקציה היא נקודה בתחום ההגדרה של הפונקציה אשר תמונתה היא הנקודה עצמה, כלומר אם $f(x)$ פונקציה אז הנקודה $x_{0}$ היא נקודת שבת אם מתקיים $f(x_{0})=x_{0}$ .

דוגמאות

פונקציה בעלת שלוש נקודות שבת (שהן נקודות החיתוך של הפונקציה עם הישר

y=x

)

עבור הפונקציה $f(x)=2x$ הערך $x=0$ הוא נקודת שבת (היחידה), הואיל ו־ $f(0)=2\cdot 0=0$ (וזהו הפתרון היחיד למשוואה $2x=x$ ).
נקודה שאינה משנה את מיקומה כתוצאה מהעתקה מרחבית. לדוגמה: בסיבוב של כדור סביב צירו, הנקודות הנמצאות על הציר נותרות במקומן, והן נקודות שבת.
נקודות שבת "מעניינות" של פונקציה הן כאלו שאם מפעילים את הפונקציה על ערך מסוים, אחר מפעילים אותה שוב על הערך שהתקבל וכן הלאה, הולכים ומתקרבים לנקודת השבת. בניסוח פורמלי: אם עבור בחירת $x$ הקרוב מספיק לנקודת השבת $x_{0}$ , מתקיים $\lim _{n\to \infty }f^{n}(x)=x_{0}$ (כאן $f^{2}(x)=f(f(x))$ וכדומה). נקודת שבת כזו נקראת נקודת שבת יציבה.

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

$f:[a,b]\to [a,b]$ פונקציה רציפה. אזי יש לה נקודת שבת בקטע $[a,b]$ .
משפט ההעתקה המכווצת על הישר הממשי: $f:\mathbb {R} \to \mathbb {R}$ . אם קיים קבוע $K<1$ עבורו ${\bigl |}f(x_{1})-f(x_{2}){\bigr |}<K|x_{1}-x_{2}|$ לכל $x_{1},x_{2}\in \mathbb {R}$ , אזי יש ל־ $f$ נקודת שבת אחת ויחידה.
הרחבה של המשפט הקודם למרחב מטרי שלם כלשהו: משפט נקודת השבת של בנך נותן תנאי מספיק כדי שלפונקציה תהיה נקודת שבת אחת ויחידה, ומאפשר למצוא אותה על ידי הפעלה חוזרת של הפונקציה כמתואר לעיל.
הרחבה של המשפט הקודם לקבוצה קומפקטית וקמורה ב־ $\mathbb {R} ^{n}$ הוא משפט נקודת השבת של בראואר, המוכיח קיום של נקודת שבת במצבים מסוימים, אך לא מראה דרך מעשית למצוא אותה.