Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
= e | | { }
1
sup ( ) : ,
i i i
M f x x x x
= e
Definiamo per le somme integrali inferiori
1
1
( )
n
i i i
i
s m x x
+
=
=
e superiori
1
1
( )
n
i i i
i
S M x x
+
=
=
Se le funzioni f(x) positiva in [a,b] le somme integrali hanno il significato geometrico di somma
delle aree dei rettangoli rispettivamente inscritti e circoscritti alla rappresentazione della funzione.
Da che
i i
m M i s , della definizione risulta s S s . Considerando gli insiemi numerici descritti dalle
somme integrali inferiori e superiori al variare delle partizioni R dellintervallo [a,b] questi risultano
separati e quindi esiste almeno un numero reale uguale o maggiore a tutti gli elementi dellinsieme
delle somme superiori.
Quando tale elemento di separazione unico, allora si dice che f(x) integrabile in [a,b]
secondo Rieman e tale elemento di separazione proprio lintegrale definito
( )
b
a
f x dx
}
in altre parole deve risultare sup ( ) inf
b
a
s f x dx S = =
}
Tale nozione di integrazione pu essere estesa alle funzioni generalmente continue, ossia funzioni
che presentano un numero finito di punti di discontinuit.
Consideriamo una funzione generalmente continua [a,b] di R. Se definiamo con e
i
e E
i
gli estremi
inferiori e superiore di un generico intervallo
1 i i
x x
+
della reticolazione R costituita da n intervalli
per ogni intervallo di continuit della funzione, possiamo scrivere la somma integrale superiore e
inferiore come
1
1
( )
n
i i i
i
s e x x
+
=
=
1
1
( )
n
i i i
i
S E x x
+
=
=
Costruendo gli insiemi numerici contenenti le somme integrali inferiori e superiori, questi risultano
certamente separati e qualora dovessero risultare anche contigue (ossia con il solo elemento di
separazione) , la funzione sar integrabile secondo Reimann.
Vale il seguente TEOREMA
Una funzione f limitata in [a,b] integrabile secondo Riemann se e solo se ivi quasi ovunque
continua nel senso di Lebesgue.
37
Una funzione si dice quasi ovunque continua in un intervallo [a,b] nel senso di Lebesgue
quando questa continua ad esclusione dei punti appartenenti ad un intervallo
0
[ , ] x a b c misurabile
e di misura nulla secondo Lebesgue.
Ci equivale a dire che la funzione integrabile se linsieme dei suoi punti di discontinuit di
misura nulla nel senso di Lebesgue, cio dato un qualsiasi numero positivo 0 c > - una successione
di intervalli chiusi ( )
n n N
I
c
tali che
0
x continua nellunione di tali intervalli
n
n N
I
e
*
e la lunghezza
totale degli intervalli ( )
n
n N
m I
e
minore di c .
Non resta che individuare gli insiemi di misura nulla secondo Lebesgui, i quali rappresentano il
limite massimo delle discontinuit per poter garantire lintegrabilit della funzione f(x).
Lintegrale della funzione generalmente continua pu essere considerato come il limite della
somma pi generale.
quindi
0 0 0
lim lim lim ' ( )
b
a
s S s f x dx
o o o
= = =
}
con
1 1
1
' ( )( )
n
i i
i
s f x x ,
+
=
=
Per il caso in esame valgono tutte le propriet degli integrali definiti di funzioni continue, ad
eccezione del teorema fondamentale dintegrazione.