Funzione integrabile: differenze tra le versioni

Versione delle 12:18, 26 set 2015

Versione delle 01:22, 30 giu 2019

Riga 7:

==Integrale di Lebesgue==

{{vedi anche|Integrale di Lebesgue}}

Dato uno [[spazio di misura]] <math>(X,\mathcal A,\mu)</math>, una [[funzione semplice]] <math>s</math> è una [[combinazione lineare]] finita di [[funzione indicatrice|funzioni indicatrici]] di [[insieme misurabile|insiemi misurabili]].<ref name=def>{{Cita|W. Rudin|Pag. 15|rudin}}.</ref>

:<math>s:X \to \R, s(x)=\sum_{k=1}^n a_k {\mathbf 1}_{A_k}(x)</math>

Riga 15:

:<math>\int_X s(x)d\mu:=\sum_{k=1}^n a_k \mu(A_k)</math>

Una funzione <math>f:X\to \R</math> non negativa si dice integrabile secondo Lebesgue se esiste finito l'[[estremo superiore]]:<ref name=int>{{Cita|W. Rudin|Pag. 19|rudin}}.</ref>

:<math>\sup_s \int_X s(x)d\mu =:\int_X f(x)d\mu \ </math>

Riga 28:

che sono rispettivamente la [[parte positiva e parte negativa di una funzione|parte positiva e parte negativa]] di <math>f</math>.

Si definisce in tal caso:<ref>{{Cita|W. Rudin|Pag. 24|rudin}}.</ref>

:<math>\int_X f(x)d\mu :=\int_X f^+(x)d\mu - \int_X f^-(x)d\mu </math>