Disuguaglianza di Jensen

[anto_zoolander]

Ciao!
prima di arrivare al dunque un piccolo

lemma

sia $V$ un $RR$ spazio normato e $E$ un sottoinsieme convesso di $V$, siano $v_1,...,v_n in E$ e $lambda_1,...,lambda_n in RR$ con i $lambda_igeq0$ tali che $sum_(k=1)^(n)lambda_k=1$ allora $sum_(k=1)^(n)lambda_kv_k in E$

dimostrazione

per $n=2$ è banale poichè $[v_1,v_2] subseteqE$ per convessità di $E$ ponendo $lambda_2=1-lambda_1$

supponiamo che valga per $n$ e mostriamo l'esser vero per $n+1$

- se $lambda_(n+1)=1$ abbiamo finito in quanto tutti gli altri sono nulli

- se $lambda_(n+1)=0$ idem per ipotesi induttiva

- se $lambda_(n+1)<1$ allora $sum_(k=1)^(n+1)lambda_k=1 => sum_(k=1)^(n)(lambda_k)/(1-lambda_(n+1))=1$

pertanto si avrà $sum_(k=1)^(n)(lambda_k)/(1-lambda_(n+1))v_k in E$

ma allora $sum_(k=1)^(n+1)lambda_kv_k=(1-lambda_(n+1))sum_(k=1)^(n)(lambda_k)/(1-lambda_(n+1))v_k+lambda_(n+1)v_(n+1)$ dove basta porre uguale ad un certo vettore di $E$ quella somma per avere dalla definizione di convessità che vi appartiene per qualsiasi $lambda_(n+1) in (0,1)$

proposizione
sia $V$ un $RR$ spazio normato, $EsubseteqV$ sottoinsieme convesso e $f:E->RR$ una funzione convessa.
Presi $v_1,...,v_n in V$ e $lambda_1,...,lambda_n in E$ tale che $lambda_igeq0,foralli=1,...,n$

se $sum_(k=1)^(n)lambda_k=1$ allora $f(sum_(k=1)^(n)lambda_kv_k)leqsum_(k=1)^(n)lambda_kf(v_k)$

dimostrazione

sostanzialmente la dimostrazione è pari pari quella precedente in quanto partendo da

$sum_(k=1)^(n+1)lambda_kv_k=(1-lambda_(n+1))sum_(k=1)^(n)(lambda_k)/(1-lambda_(n+1))v_k+lambda_(n+1)v_(n+1)$ dove pongo $w=$la somma

si avrà $f((1-lambda_(n+1))w+lambda_(n+1)v_(n+1))leq(1-lambda_(n+1))f(w)+lambda_(n+1)f(v_(n+1))$
il resto segue dall'ipotesi induttiva su $w$

come vi pare?

[Bremen000]

Mi sembra perfetta, a parte questo:

"anto_zoolander":[...] tali che $sum_(k=1)^(n)lambda_k=1$ allora $sum_(k=1)^(n)lambda_kv_k=1$[...]

Quando è che inizi teoria delle misura e fai amicizia con la vera disuguaglianza di Jensen?

[anto_zoolander]

Volevo scrivere $in E$ hai ragione
Io l’ho al terzo anno la teoria della misura

[gugo82]

@ anto: Per favore... Quello $=1$ nell'OP non si può vedere. Modificalo!

Inoltre, per la disuguaglianza di Jensen mica devi aspettare di studiare TdM... Analisi I basta (più o meno).
Vedi qui, ad esempio.

[anto_zoolander]

Hai ragione, modificato

è proprio brutta disuguaglianza