Professional Documents
Culture Documents
n,k+
(1)
k
X
gi (x).
(3)
i=1
`
converge assolutamente, cioe
+
X
k
X
|gi (x)|
(6)
i=1
Sk2 (x) dx
(5)
i=1
e
lim
k+
A questo punto utilizziamo un risultato fondamentale della teoria dellintegrazione secondo Lebesgue, il teorema della convergenza monotona, il quale asserisce che
Z b
Z b
2
S (x) dx = lim
Sk2 (x) dx. (7)
a
k+
Possiamo stimare il secondo membro della (7) in quanto, applicando la disuguaglianza triangolare
alla (6), si ha
kSk k
k
X
kgi k
i=1
k
X
1
< 1.
i
2
i=1
(9)
(10)
` sommabile
Il secondo membro e
` ha integrale finito) perche
(cioe
vale
fn0 L2 per ipotesi, e perche
la (8). La (10) implica quindi che
f L2 .
Sfruttando la disuguaglianza
(a b)2 2a2 + 2b2 , e sommando la
(9) con la (10), possiamo scrivere
(fnk (x) f (x))2 8 |fn0 (x)|2 + 8 S 2 (x).
` mostra che il secondo membro
Cio
` una maggiorante sommabile per
e
la successione ((fnk f )2 ).
(fnk (x) f (x))2 0 quasi
Poiche
esiste una magovunque, e poiche
giorante sommabile, il teorema di
Lebesgue (un altro fondamentale
risultato della teoria) asserisce
che
Z b
lim
(fnk (x) f (x))2 dx = 0,
k+
OSSERVAZIONI CONCLUSIVE
la successione data e
` di
Poiche
2
Il teorema di Fischer-Riesz continua a valere anche se si considerano funzioni fn (x) con x che varia in
un sottoinsieme misurabile E dello spazio N -dimensionale RN , con
N 1.
INDICAZIONI BIBLIOGRAFICHE
Questa dispensa riprende la dimostrazione che si trova sui principali testi in circolazione, e in
zis, Analisi funparticolare su Bre
zionale, Liguori.
Per le origini storiche del teorema (stabilito nel 1907) si veda Kline, Storia del pensiero matematico, Einaudi, vol. 2, pagine 1249
1251.
Per avere unidea della diffusione
del teorema nei corsi universitari italiani, si tenga presente che
Tr`comi, pur famoso a livello internazionale, ne citava lenunciato senza darne la dimostrazione
nel suo testo del 1961.
Ulteriori informazioni si posso th, On the
no trovare su Horva
Riesz-Fischer theorem, http://www
.univie.ac.at/NuHAG/FEICOURS/ws0506
/Riesz-Fisher.pdf