פונקציה מונוטונית

שמאל|ממוזער|250px|פונקציה עולה. היא עולה במובן החזק בתחום השמאלי והימני ולא יורדת במרכז
שמאל|ממוזער|250px|פונקציה יורדת.
שמאל|ממוזער|250px|פונקציה שאינה מונוטונית

באנליזה מתמטית, פונקציה ממשית \ fהיא **מונוטונית** אם ערכיה עולים או יורדים ככל שהקלט שלהם עולה או יורד. בפרט: 

* \ fתקרא **פונקציה עולה** אם ורק אם לכל x\le y מתקיים f(x)\le f(y).
* \ fתקרא **פונקציה עולה ממש** (או **עולה במובן החזק**) אם ורק אם לכל x מתקיים f(x).
* \ fתקרא **פונקציה יורדת** אם ורק אם לכל x\le y מתקיים f(x)\ge f(y).
* \ fתקרא **פונקציה יורדת ממש** (או **יורדת במובן החזק**) אם ורק אם לכל x מתקיים f(x)> f(y).

פונקציות כאלה שכיחות בכל תחומי המדע: הקצב של תגובה כימית הוא פונקציה עולה של החום; תאוצת הנפילה של גוף היא פונקציה יורדת של המרחק מן הגוף אליו הוא נופל; ההיצע הוא פונקציה עולה של המחיר; כמות הנפט בכדור הארץ היא פונקציה יורדת של הזמן (מאז ראשית ההיסטוריה); ועוד.

## דוגמאות
כל הדוגמאות הבאות הן של פונקציות ממשיות:
#הפונקציה \ f(x)=x היא עולה, והפונקציה \ f(x)=-x היא יורדת, בכל הישר הממשי.
# הפונקציה \ f(x)=c, כאשר \ c קבוע, היא גם עולה וגם יורדת **במובן החלש**.
#פונקציית מדרגה H(x) =\left\{ \begin{matrix} 0 & x היא עולה במובן החלש (אבל לא יורדת במובן החלש). פונקציה מהצורה הזו (שמקבלת ערכים קבועים על קטעים מסוימים) מכונה **[[פונקציית מדרגות]]**.
# הפונקציה \ f(x)=x^2 בכללותה אינה מונוטונית, אך אם מסתכלים עליה רק בקטע \ [0,\infty) היא עולה בו, ובקטע \ (-\infty,0] היא יורדת.
#בסעיף 121 לפקודת מס הכנסה  מוגדר גובה המס כפונקציה של השכר ברוטו. על הגדרה נאותה של פונקציה זו לקיים שני תנאים:
#* גובה המס יהיה פונקציה עולה של גובה הברוטו (במילים פשוטות: על הכנסה גבוהה יותר חל מס גבוה יותר).
#* גובה השכר נטו (שהוא השכר שנותר מהברוטו לאחר הפחתת המס) יהיה פונקציה עולה של גובה הברוטו (במילים פשוטות: מהכנסה גבוהה יותר נשאר נטו גבוה יותר).
דוגמה שאינה פונקציה ממשית: פונקציית מידה המוגדרת על אוסף קבוצות היא עולה חלש ביחס להכלה. כלומר אם A \subseteq B אז f(A) \le f(B). 
# הפונקציה \ f(x)=x^2 עולה בקרן \ [0,\infty), ויורדת בקרן \ (-\infty,0].
#פונקציית דיריכלה, המקבלת 1 בערכים רציונליים ו-0 בערכים אי רציונליים, אינה מונוטונית באף קטע.

## מונוטוניות ורציפות

אוסף נקודות אי הרציפות של פונקציה מונוטונית הן כולן "נקודות מסוג ראשון". קבוצות נקודות אי-הרציפות היא בת מנייה, הגם שאינה חייבת להיות סופית, ואף יכולה להיות צפופה אפילו כאשר הפונקציה חסומה, כפי שמראה הדוגמה הבאה:
* אם נסדר את המספרים הרציונליים בסדרה \ a_1,a_2,\dots ונגדיר \ f(x)=\sum_{a_n, אז הפונקציה \,f עולה וחסומה, ואינה רציפה באף נקודה רציונלית. 
מתכונות אלה של נקודות אי-הרציפות נובע שכל פונקציה מונוטונית המוגדרת בקטע סגור, היא אינטגרבילית לפי לבג.

לפונקציה מונוטונית במובן החזק, ורציפה, יש פונקציה הפכית שגם היא מונוטונית ורציפה.

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

לפונקציה עולה מקטע סגור לעצמו יש (בדומה לפונקציה רציפה) נקודת שבת. המשפט אינו נכון עבור פונקציה יורדת.

## מונוטוניות ונגזרות

אם פונקציה f עולה במובן החלש בנקודה x, והיא גזירה שם, אז הנגזרת שלה מקיימת \ f'(x)\geq 0. מאידך, אם הפונקציה גזירה ו- \ f'(x)>0, אז היא עולה, במובן החזק, בנקודה x: 
: \ \Longrightarrow f'(x)\geq 0 עולה במובן החלש ב-x \Longrightarrow עולה במובן החזק ב-x \ f'(x)>0 \Longrightarrow.
מבחינת ההתנהגות הנקודתית, העובדה ש- \ f'(x)\geq 0 אינה מספיקה אפילו לעליה במובן החלש, כמו שמראה למשל הפונקציה \ f(x)=x^2 בנקודה x=0. באופן דומה, אף אם הפונקציה עולה במובן החזק, זה אינו מבטיח שהנגזרת תהיה חיובית ממש, כפי שמדגימה הפונקציה \ f(x)=x^3.

כאשר מדובר בקטע פתוח, אם הפונקציה גזירה בכל הקטע והנגזרת שלה אי-שלילית, אז היא עולה שם במובן החלש. כך מתקבלים הקשרים 
: \ \Longleftrightarrow f'\geq 0 עולה במובן החלש \Longrightarrow עולה במובן החזק \ f'>0 \Longrightarrow.

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

## הערות שוליים

קטגוריה:פונקציות ממשיות ומרוכבות: מאפיינים