פונקציה קעורה

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

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

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

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

הגדרה: תהא \ f(x) פונקציה המוגדרת בקטע \left[a,b\right]. הפונקציה תקרא קעורה בקטע אם עבור כל \!\, x,y\isin [a,b] וכל \!\, 0\le \lambda \le 1 מתקיים אי השוויון \lambda f(x)+(1-\lambda)f(y)\le f(\lambda x + (1-\lambda)y).
הגדרה שקולה: \ f(x) היא קעורה אם \ -f(x) היא קמורה.

אם \,f גזירה בקטע פתוח, אזי \,f קעורה בו אם ורק אם הנגזרת \,f' היא פונקציה מונוטונית יורדת.

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

תנאי מספיק נוסף לקעירות פונקציה מבוטא בעזרת ההיפוגרף שלה: פונקציה היא קעורה אם ההיפוגרף שלה הוא קבוצה קמורה.

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

פונקציה לינארית נחשבת קעורה וקמורה בעת ובעונה אחת, בגלל אי־השוויון החלש (\leq ו־\geq). פיתוח של הגדרת הקמירות או הקעירות, כאשר הפונקציה המדוברת היא לינארית, מוביל לשוויון ממש בין שני האגפים.

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]