הצגת המקור של הדף "אי-שוויון ינסן"

[[קובץ:Yensen.JPG|ממוזער|אי שוויון ינסן]]
ב[[מתמטיקה]], '''אי-שוויון ינסן''' טוען שממוצע ערכי פונקציה [[פונקציה קמורה|קמורה]] גדול או שווה לערך הפונקציה בממוצע הנקודות. האי־שוויון נקרא על שם ה[[מתמטיקאי]] ה[[דנמרק|דני]] [[יוהאן ינסן]].

ניתן להבין זאת באופן אינטואיטיבי על ידי התרשים:

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

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

==המקרה הבדיד==

אם <math> \ f:(a,b) \to \mathbb{R} </math> [[פונקציה ממשית]] קמורה המוגדרת על קטע ואם <math> \ x_1,\dots ,x_n \in (a,b) </math> אז מתקיים
<math>f\left ( \frac{x_1 +\dots + x_n}{n}\right ) \leq \frac{f(x_1)+\dots + f(x_n)}{n} </math>.

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

לדוגמה, עבור הפונקציה <math>\ f(x) = - x \log(x)</math>, שהיא קעורה בקטע <math>\ (0,1)</math>, אי-השוויון קובע ש-
<math>\log(n) \geq - \sum p_i \log(p_i) </math> לכל <math>\, p_1,\dots,p_n</math> חיוביים שסכומם 1. כלומר, ה[[אנטרופיה (סטטיסטיקה)|אנטרופיה]] של [[מרחב הסתברות]] עם n מצבים היא מקסימלית בהתפלגות האחידה.

==המקרה הכללי==

אם <math> \ f:(a,b)\to \mathbb{R} </math> פונקציה ממשית קמורה ואם <math>\ \mu </math> [[מידת הסתברות]] על הקטע אז
<math> f\left ( \int _{(a,b)} x\,d\mu \right ) \leq \int _{(a,b)} f(x)\,d\mu </math>.

מכאן ניתן לגזור כי עבור <math> \ g:(a,b)\to \mathbb{R} </math> פונקציה ממשית קעורה ואם <math>\ \mu </math> [[מידת הסתברות]] על הקטע אז
<math> g\left ( \int _{(a,b)} x\,d\mu \right ) \geq \int _{(a,b)} g(x)\,d\mu </math>.

==שימושים==

*אם משתמשים בפונקציה הקמורה <math> \ \exp </math> ומציבים <math> \ x_i=\log (a_i) </math>, מקבלים את [[אי-שוויון הממוצעים]] <math> \sqrt[n]{a_1\cdot \dots \cdot a_n}\leq \frac{a_1+ \dots + a_n}{n} </math>.

==קישורים חיצוניים==
* {{MathWorld}}

{{קצרמר|מתמטיקה}}
[[קטגוריה:משפטים באנליזה]]
[[קטגוריה:אי-שוויונות]]
[[קטגוריה:אי-שוויונות בתורת ההסתברות]]