EDB — 19S

[19S] Prerequisiti:[19Q]↺↻, [1HS]↺↻.

Sia \(I⊂ ℝ\) un intervallo con estremi \(a,b\); siano \(f,f_ n:I→ℝ\) continue non negative tali che \(f_ n(x)↗_ n f\) puntualmente (cioè per ogni \(x\) e \(n\) si ha \(0≤ f_ n(x) ≤ f_{n+1}(x)\) e \(\lim _ n f_ n(x) =f(x)\)); si mostri allora

(Nota se l’intervallo è aperto o semiaperto o illimitato allora gli integrali di Riemann si intendono in senso generalizzato; in questo caso il membro destro può anche valere \(+∞\)).

Il precedente risultato prende il nome di Teorema di Convergenza Monotona e vale in ipotesi molto generali; nel caso di integrali di Riemann si può però vedere come conseguenza dei risultati [19Q]↺↻ e [1HS]↺↻.