C.

12
Integrale di Cauchy

Pag. 332 Dimostrazione del Teorema 9.20

Teorema 9.20 Le successioni n 7 sn e n 7 Sn sono entrambe convergenti, e
convergono allo stesso limite.

Dimostrazione. Osserviamo che, per ogni p 1, si ha

sn spn , Spn Sn .

Infatti, se si suddivide lintervallo Ik in p sottointervalli Iki uguali (1 i p) di

ampiezza x p , e si pone
mki = min f (x) ,
xIki

per ogni i si avr`a mk mki e dunque

p
X x
mk x mki .
i=1
p

Sommando su k si ottiene sn spn . Analogamente si dimostra la seconda

disuguaglianza.
Siano ora sn e Sm due somme arbitrarie. Si ha

sn snm Snm Sm

e pertanto ogni somma inferiore `e minore o uguale ad ogni somma superiore.

Poniamo
s = sup sn e S = inf Sn .
n n

Per quanto visto, si ha s Sm , per ogni m e dunque s S. Dimostriamo che

s = S e che tale valore `e il limite cercato. Per il Teorema C.6.4 di Heine-Cantor,
la funzione f `e uniformemente continua, quindi fissato > 0, esiste > 0 tale che
se x0 , x00 [a, b] e
2 C.12 Integrale di Cauchy

|x0 x00 | < allora |f (x0 ) f (x00 )| < ;

definiamo lintero n tale che ba

n < . Sia n n arbitrario; in ogni intervallo Ik
ba
di ampiezza x = n in cui suddividiamo lintervallo [a, b], esistono punti k e
k tali che

f (k ) = mk = min f (x) e f (k ) = Mk = max f (x) .

xIk xIk

ba ba
Poiche |k k | n n < , si ha

Mk mk = f (k ) f (k ) < .

Dunque
n
X n
X
Sn s n = Mk x mk x
k=1 k=1
Xn n
X


= Mk mk x < x = (b a) .
k=1 k=1

Ci`o significa che, fissato > 0, esiste n > 0 tale che per ogni n n si ha
0 Sn sn < (b a). Ne segue che

S s Sn sn < (b a) .

Facendo tendere a 0, si ha S = s. Inoltre

S s n Sn s n < se n n

cio`e
lim sn = S .
n

Analogamente, si ha lim Sn = S . 2
n