InfElmTetel5

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.

vissza InfelmTetelek-hez <style> li {margin-top: 4px; margin-bottom: 4px;} </style>

Jensen egyenlőtlenség és következményei

Konvexitás definíciója

Egy $h:$ függvény konvex egy $[a,b]$, $a,b\in \mathbb{ℝ}$ intervallumon, ha ennek $\mathrm{\forall }[x,y]$, $(x,y\in [a,b])$ részintervallumára és $0\le \lambda \le 1$ értékre:
$h(\lambda *x+(1-\lambda )*y)\le \lambda *h(x)+(1-\lambda )*h(y)$

Tehát bármely részintervallumon a függvény grafikonján az intervallum kezdőpontjában felvett értéket és az intervallum végpontjában felvett értéket összekötő egyenes szakasz alatt marad a függvénygörbe.

Szigorúan értelmezett konvexitás

Lásd a konvexitás definícióját, de itt nem engedünk meg egyenlőséget.

Jensen egyenlőtlenség

Legyen $h:$ függvény konvex az $[a,b]a,b\in \mathbb{ℝ}$ intervallumon, és legyen $Z$ egy valószínűségi változó, amely az értékeit a $[a,b]$ intervallumból veszi. Ekkor $h(E(Z))\le E(h(Z))$

Egyenlőség: A Jensen egyenlőtlenségben egyenlőség akkor áll fenn, ha $h$ szigorúan konvex $E(Z)$-ben, és $P(Z=E(Z))=1$, tehát $Z$ egy valószínűséggel a várható értékét veszi fel.

Következmények

(Ezt a következményt nagyon sok bizonyításnál felhasználják.)

Ha $\mathrm{\forall }i\in [1,n]:p_i\ge 0$ és $\sum _{i=1}^n{p}_i=1$
és Értelmezés sikertelen (ismeretlen „\textgreater” függvény): {\displaystyle \forall i \in [1, n] : q_i \textgreater 0 } és $\sum _{i=1}^n{q}_i=1$

Ekkor: $-\sum _{i=1}^n{p}_{i}log{p}_i\le -\sum _{i=1}^n{p}_{i}log{q}_i$

-- Sales - 2006.06.22.

TODO: Plusz van mégegy következmény - TK. 15. oldal

-- Adam - 2008.01.29.