פונקציה עולה
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/32/Monotonicity_example1.png/250px-Monotonicity_example1.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/59/Monotonicity_example2.png/250px-Monotonicity_example2.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Monotonicity_example3.png/250px-Monotonicity_example3.png)
באנליזה מתמטית, פונקציה ממשית בקטע נתון היא:
- פונקציה עולה אם לכל בקטע מתקיים .
- פונקציה יורדת אם לכל בקטע מתקיים .
אחת השאלות הבסיסיות בחקירה של פונקציה ממשית היא איתור התחומים שבהם היא עולה או יורדת.
פונקציות כאלה שכיחות בכל תחומי המדע: הקצב של תגובה כימית הוא פונקציה עולה של החום; תאוצת הנפילה של גוף היא פונקציה יורדת של המרחק מן הגוף אליו הוא נופל; ההיצע הוא פונקציה עולה של המחיר; כמות הנפט בכדור הארץ היא פונקציה יורדת של הזמן (מאז ראשית ההיסטוריה); ועוד.
פונקציות עולות ופונקציות יורדות הן סוגים מיוחדים של פונקציות מונוטוניות, ביחס לסדר הטבעי בישר הממשי.
הגדרות נוספות
למונח "פונקציה עולה" יש, בהקשרים שונים, שני פירושים קרובים.
- אם לכל , אז הפונקציה עולה במובן החזק;
- אם לכל , אז הפונקציה עולה במובן החלש;
באופן דומה מגדירים ירידה במובן החזק ובמובן החלש. פונקציה קבועה היא הפונקציה היחידה העולה ויורדת, במובן החלש, באותו קטע.
עליה וירידה אינם מושגים נקודתיים, משום שאת הערך בנקודה יחידה אין למה להשוות. עם זאת, אומרים שהפונקציה עולה בנקודה אם קיים קטע פתוח המכיל את , שבו הפונקציה עולה; וכן לפונקציה יורדת.
דוגמאות
כל הדוגמאות הבאות הן של פונקציות ממשיות:
- הפונקציה היא מונוטונית עולה.
- הפונקציה היא מונוטונית יורדת.
- הפונקציה , כאשר קבוע, היא גם מונוטונית עולה וגם מונוטונית יורדת במובן החלש.
- פונקציית מדרגה היא מונוטונית עולה במובן החלש (ולא מונוטונית יורדת במובן החלש). פונקציה מהצורה הזו (המקבלת ערכים קבועים על קטעים מסוימים) מכונה פונקציית מדרגות.
- הפונקציה בכללותה אינה מונוטונית, אך אם מסתכלים עליה רק בקטע היא מונוטונית עולה בו, ובקטע היא מונוטונית יורדת.
- בסעיף 121 לפקודת מס הכנסה[1] מוגדר גובה המס כפונקציה של השכר ברוטו. על הגדרה נאותה של פונקציה זו לקיים שני תנאים:
- גובה המס יהיה פונקציה מונוטונית עולה של גובה הברוטו (במילים פשוטות: על הכנסה גבוהה יותר חל מס גבוה יותר).
- גובה השכר נטו (שהוא השכר שנותר מהברוטו לאחר הפחתת המס) יהיה פונקציה מונוטונית עולה של גובה הברוטו (במילים פשוטות: מהכנסה גבוהה יותר נשאר נטו גבוה יותר).
דוגמה שאינה פונקציה ממשית:
- פונקציית מידה המוגדרת על אוסף קבוצות היא מונוטונית עולה חלש ביחס להכלה. כלומר אם אז .
- הפונקציה עולה (במובן החזק) בכל הישר הממשי.
- הפונקציה יורדת בכל הישר.
- הפונקציה עולה בקרן , ויורדת בקרן .
- פונקציית דיריכלה אינה מונוטונית באף קטע.
מונוטוניות ורציפות
אוסף נקודות אי־הרציפות של פונקציה מונוטונית הן כולן "נקודות מסוג ראשון". קבוצות נקודות אי־הרציפות היא בת מנייה, הגם שאינה חייבת להיות סופית, ואף יכולה להיות צפופה אפילו כאשר הפונקציה חסומה, כפי שמראה הדוגמה הבאה:
- אם נסדר את המספרים הרציונליים בסדרה ונגדיר , אז הפונקציה עולה וחסומה, ואינה רציפה באף נקודה רציונלית.
מתכונות אלה של נקודות אי-הרציפות נובע שכל פונקציה מונוטונית המוגדרת בקטע סגור, היא אינטגרבילית לפי לבג.
לפונקציה מונוטונית במובן החזק, ורציפה, יש פונקציה הפכית שגם היא מונוטונית ורציפה.
את המונוטוניות אפשר לאבחן באמצעות הנגזרת, במקומות שבהם הפונקציה גזירה: אם פונקציה גזירה מונוטונית עולה בקטע מסוים נגזרתה אי־שלילית. אם היא מונוטונית יורדת, נגזרתה אינה חיובית. במסגרת מחקריו בתורת המידה, הוכיח אנרי לבג שפונקציה מונוטונית היא גזירה כמעט בכל מקום.
לפונקציה מונוטונית עולה מקטע סגור לעצמו יש (בדומה לפונקציה רציפה) נקודת שבת. המשפט אינו נכון עבור פונקציה מונוטונית יורדת.
מונוטוניות ונגזרות
אם פונקציה עולה במובן החלש בנקודה , והיא גזירה שם, אז הנגזרת שלה מקיימת . מאידך, אם הפונקציה גזירה ו־ , אז היא עולה במובן החזק בנקודה :
- עולה במובן החלש בנקודה עולה במובן החזק בנקודה
מבחינת ההתנהגות הנקודתית, העובדה כי אינה מספיקה אפילו לעליה במובן החלש, כמו שמראה למשל הפונקציה בנקודה . באופן דומה, אף אם הפונקציה עולה במובן החזק, זה אינו מבטיח שהנגזרת תהיה חיובית ממש, כפי שמדגימה הפונקציה .
כאשר מדובר בקטע פתוח, אם הפונקציה גזירה בכל הקטע והנגזרת שלה אי־שלילית, אז היא עולה שם במובן החלש. כך מתקבלים הקשרים
- עולה במובן החלש עולה במובן החזק
במסגרת מחקריו בתורת המידה, הוכיח אנרי לבג שפונקציה מונוטונית היא גזירה כמעט בכל מקום.
ראו גם
הערות שוליים
- ^ פקודת מס הכנסה, באתר חילן