פונקציה עולה

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

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

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

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

הגדרות נוספות[עריכת קוד מקור | עריכה]

למונח "פונקציה עולה" יש, בהקשרים שונים, שני פירושים קרובים. אם \ f(x)<f(y) לכל \ x<y, אז הפונקציה עולה במובן החזק; אם מתקיים היחס החלש יותר \ f(x) \leq f(y) לכל \ x\leq y, אז הפונקציה עולה במובן החלש. באופן דומה מגדירים ירידה במובן החזק ובמובן החלש. פונקציה קבועה \ f(x)=c היא הפונקציה היחידה העולה ויורדת, במובן החלש, באותו קטע.

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

דוגמאות[עריכת קוד מקור | עריכה]

כל הדוגמאות הבאות הן של פונקציות ממשיות:

  1. הפונקציה \ f(x)=x היא מונוטונית עולה.
  2. הפונקציה \ f(x)=-x היא מונוטונית יורדת.
  3. הפונקציה \ f(x)=c, כאשר \ c קבוע, היא גם מונוטונית עולה וגם מונוטונית יורדת במובן החלש.
  4. פונקציית מדרגה H(x) =\left\{ \begin{matrix} 0 & x<0 \\ 1 & x\ge 0 \end{matrix} \right. היא מונוטונית עולה במובן החלש (ולא מונוטונית יורדת במובן החלש). פונקציה מהצורה הזו (שמקבלת ערכים קבועים על קטעים מסוימים) מכונה פונקציית מדרגות.
  5. הפונקציה \ f(x)=x^2 בכללותה אינה מונוטונית, אך אם מסתכלים עליה רק בקטע \ [0,\infty) היא מונוטונית עולה בו, ובקטע \ (-\infty,0] היא מונוטונית יורדת.
  6. בסעיף 121 לפקודת מס הכנסה[1] מוגדר גובה המס כפונקציה של השכר ברוטו. על הגדרה נאותה של פונקציה זו לקיים שני תנאים:
    • גובה המס יהיה פונקציה מונוטונית עולה של גובה הברוטו (במילים פשוטות: על הכנסה גבוהה יותר חל מס גבוה יותר).
    • גובה השכר נטו (שהוא השכר שנותר מהברוטו לאחר הפחתת המס) יהיה פונקציה מונוטונית עולה של גובה הברוטו (במילים פשוטות: מהכנסה גבוהה יותר נשאר נטו גבוה יותר).

דוגמה שאינה פונקציה ממשית:

  1. הפונקציה \ f(x)=x עולה (במובן החזק) בכל הישר הממשי.
  2. הפונקציה \ f(x)=-x יורדת בכל הישר.
  3. הפונקציה \ f(x)=x^2 עולה בקרן \ [0,\infty), ויורדת בקרן \ (-\infty,0].
  4. פונקציית דיריכלה, המקבלת 1 בערכים רציונליים ו-0 בערכים אי רציונליים, אינה מונוטונית באף קטע.

מונוטוניות ורציפות[עריכת קוד מקור | עריכה]

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

  • אם נסדר את המספרים הרציונליים בסדרה \ a_1,a_2,\dots ונגדיר \ f(x)=\sum_{a_n<x}2^{-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.

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

ראו גם[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]