אי-שוויון הלדר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
MrOklein (שיחה | תרומות)
אין תקציר עריכה
MrOklein (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
{{להשלים|כל הערך=כן|סיבה=זה רק מקרה פרטי קטן, ראו את הערך האנגלי}}
'''אי שוויון הולדר''' קובע כי <math>\left(\sum_{i=1}^{n}a_{i}\right) a_i^{\alpha }\cdot b_i^\beta \leq \left ( \sum_{i=1}^{n}b_{i} a_i \right ) ^{\betaalpha} }\geqcdot \left ( \sum_{i=1}^{n}\left ( a_i^\alpha \cdot b_i^\beta \right )^{\frac{1}{\alpha +\beta }}\right )^{\alpha +\beta }</math>
עבור: <math>a_i, b_i, \alpha , \beta \geq 0</math> כאשר <math>\alpha+\beta=1</math>.
 
ניתן להכליל את אי שוויון הולדר עבור כל מספר כלשהו של סדרות, לדוגמא: <math>\sum_{i=1}^{n} a_i^\alpha \cdot b_i^\beta \cdot c_i^\gamma \leq \left ( \sum_{i=1}^{n} a_i \right ) ^{\alpha} \cdot \left ( \sum_{i=1}^{n} b_i \right ) ^{\beta}\cdot \left ( \sum_{i=1}^{n} c_i \right ) ^{\gamma}</math> כאשר <math>\alpha + \beta + \gamma=1</math> וגם <math>\alpha,\beta,\gamma \geq 0</math>.
 
כאשר <math>\alpha = \beta = \frac{1}{2}</math> מתקבל [[אי-שוויון קושי-שוורץ]]:
<div style="direction: ltr;"><math>\left ( \sum_{i=1}^{n} a_i^2 \right ) ^ \frac{1}{2} \cdot \left ( \sum_{i=1}^{n} b_i^2 \right ) ^1\geq \leftfrac{1}{2} (\geq \sum_{i=1}^{n} \sqrt{(a_i^2b_i2)^frac{1}{2} \rightcdot (b_i^2)^frac{1}{2}}</math>
 
ולכן סה"כ
<div style="direction: ltr;"><math>\left ( \sum_{i=1}^{n} a_i^2 \right )^1\cdot \left ( \sum_{i=1}^{n} b_i^2 \right )^1\geq \left ( \sum_{i=1}^{n} \sqrt{a_i^2b_i^2} \right )^2</math>
<math>\sum_{i=1}^{n} a_i^2 \cdot \sum_{i=1}^{n} b_i^2 \geq \left ( \sum_{i=1}^{n} \left | a_ib_i \right | \right )^2</math></div>
 
 
<math>\sum_{i=1}^{n} a_i^2 \cdot \sum_{i=1}^{n} b_i^2 \geq \left ( \sum_{i=1}^{n} \left | a_ib_i \right | \right )^2</math></div>
 
== הוכחה ==