Appunti di

Analisi Reale
a.a. 2008-2009
Luigi Orsina
27 settembre 2008

Indice
1 Spazi metrici
2
1.1 Definizioni ed esempi . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Propriet`a degli spazi metrici . . . . . . . . . . . . . . . . . . . 11
1.3 Spazi metrici completi . . . . . . . . . . . . . . . . . . . . . . 14
2 Teoria della misura
2.1 La misura secondo Peano-Jordan
2.2 La misura secondo Lebesgue . . .
2.3 Misurabilit`a e misura . . . . . . .
2.4 Funzioni misurabili . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

3 Teoria dellintegrazione
3.1 Lintegrale secondo Riemann . . . . . . . . .
3.2 Lintegrale secondo Lebesgue . . . . . . . . .
3.2.1 Funzioni limitate su insiemi di misura
3.2.2 Funzioni non negative . . . . . . . .
3.2.3 Lintegrale di Lebesgue generale . . .
3.2.4 Convergenza in misura . . . . . . . .
4 Gli
4.1
4.2
4.3
4.4
4.5

spazi Lp
L1 (E) . . . . . . . . . . . . . . . .
Lp (E) e L (E) . . . . . . . . . . .
Convergenza in Lp (E) . . . . . . .
Separabilit`a . . . . . . . . . . . . .
L2 (E) . . . . . . . . . . . . . . . .
4.5.1 Gli spazi di Hilbert . . . . .
4.5.2 L2 ([, ]) e serie di Fourier

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

23
23
25
29
43

. . . .
. . . .
finita
. . . .
. . . .
. . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

53
53
56
56
68
76
78

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

82
82
90
94
97
100
101
105

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

5 Misure prodotto
114
5.1 Definizione della misura in R2 . . . . . . . . . . . . . . . . . . 114
5.2 Il teorema di Fubini-Tonelli . . . . . . . . . . . . . . . . . . . 120
1

Capitolo 1
Spazi metrici
1.1

Definizioni ed esempi

Definizione 1.1.1 Sia X un insieme qualsiasi. Una distanza su X `e unapplicazione d : X X R tale che
i) d(x, y) 0 per ogni x, y in X, e d(x, y) = 0 se e solo se x = y
(positivit`a);
ii) d(x, y) = d(y, x) per ogni x, y in X (simmetria);
iii) d(x, y) d(x, z) + d(z, y) per ogni x, y e z in X (disuguaglianza
triangolare).
Uno spazio metrico `e una coppia (X, d) con X insieme qualsiasi, e d
distanza su X.
Esempio 1.1.2 Sia X un insieme qualsiasi e d(x, y) = 1 se x 6= y, d(x, y) = 0
se x = y. Si verifica facilmente che i) e ii) valgono; per la iii), se x = y non c`e
nulla da dimostrare; se x 6= y, si deve provare che d(x, z)+d(z, y) 1 per ogni
x, y e z in X con x 6= y, fatto questo che risulta essere vero, essendo almeno
uno tra i valori d(x, z) e d(y, z) uguale a 1 (non possono essere entrambi nulli,
dato che se lo fossero, si avrebbe x = z e z = y per la i), da cui x = y, il che
non `e). La distanza d prende il nome di distanza discreta.
Esempio 1.1.3 Sia X = R e d(x, y) = |x y|. Allora (R, | |) `e uno spazio
metrico (le tre propriet`a sono ben note. . .).
2

CAPITOLO 1. SPAZI METRICI

Teorema 1.1.4 (Disuguaglianza di Cauchy-Schwartz) Date

due N -ple di numeri reali (s1 , . . . , sN ) e (t1 , . . . , tN ), si ha:
N
X
i=1
N
X

N
1 X 2
|si ti |
(si + t2i ) .
2 i=1

|si ti |

i=1

N
X

! 21
s2i

N
X

(1.1)

! 21
t2i

(1.2)

i=1

i=1

Dimostrazione. La formula (1.1) si ottiene sommando (per i che va da 1

a N ) le disuguaglianze
s2 + t2i
|si ti | i
,
2
evidentemente vere essendo equivalenti alla disuguaglianza (|si | |ti |)2 0.
Per dimostrare la (1.2), osserviamo che `e evidentemente vera se (s1 , . . . , sN ) =
(0, . . . , 0) o se (t1 , . . . , tN ) = (0, . . . , 0); altrimenti, applichiamo la (1.1) alle
N -ple (x1 , . . . , xN ) e (y1 , . . . , yN ) definite da
|ti |
yi = 
.
PN 2  12
i=1 ti

|si |
,
xi = 
PN 2  21
i=1 si
PN

Si ottiene, essendo

P

N
i=1

s2i

i=1

1
 21 P

N
2
i=1 ti

x2i = 1 =
N
X

 12

i=1

PN

i=1

|si ti | =

yi2 ,
N
X
i=1

P

N
i=1

s2i

|si ti |
 12 P

N
2
i=1 ti

da cui la tesi.
Esempio 1.1.5 Sia X = RN e
d((x1 , . . . , xN ), (y1 , . . . , yN )) =

N
X
i=1

! 21
(xi yi )2

 12 1 ,

CAPITOLO 1. SPAZI METRICI

Si ha che (RN , d) `e uno spazio metrico. La i) e la ii) sono evidenti, mentre

per la iii) procediamo come segue, indicando con X = (x1 , . . . , xN ), Y =
(y1 , . . . , yN ) e Z = (z1 , . . . , zN ) tre vettori di RN :
2

[d(X, Y )] =

N
X

(xi yi ) =

i=1

N
X

N
X

(xi zi + zi yi )2

i=1

[(xi zi )2 + 2(xi zi ) (zi yi ) + (zi yi )2 ]

i=1
2

= [d(X, Z)] + [d(Z, Y )] + 2

N
X

(xi zi ) (zi yi ) .

i=1

Applicando la (1.2), si ha
N
X

(xi zi ) (zi yi )

i=1

N
X

! 21
(xi zi )2

i=1

N
X

! 21
(zi yi )2

= d(X, Y ) d(Z, Y ) .

i=1

Pertanto,
[d(X, Y )]2 [d(X, Z)]2 +[d(Z, Y )]2 +2d(X, Z) d(Z, Y ) = [d(X, Z)+d(Z, Y )]2 ,
che `e la iii).
Teorema 1.1.6 (Disuguaglianza di Young) Siano s, t due numeri reali
e siano p e q due numeri reali tali che
p > 1,

q > 1,

Allora
|s t|

1 1
+ = 1.
p q

|s|p |t|q
+
.
p
q

(1.3)

Dimostrazione. Se uno tra s e t `e zero, non c`e nulla da provare. Se sono

entrambi non nulli, dividiamo la (1.3) per |t|q , ottenendo
|s|
|s|p
1

+ .
q1
q
|t|
p |t|
q

CAPITOLO 1. SPAZI METRICI

Definiamo
=

|s|
.
|t|q1

Essendo 1/p + 1/q = 1, si ha p(q 1) = q, e quindi

p =

|s|p
|s|p
=
.
|t|p(q1)
|t|q

Dimostrare la (1.3) `e quindi equivalente a mostrare che

p 1
+ ,

p
q
per ogni 0, ovvero che
() =

p
1
+
p
q

`e positiva su [0, +). Si ha (0) = 1/q, mentre diverge per tendente a

+ (essendo p > 1). Si ha poi
0 () = p1 1 ,
e quindi 0 () = 0 se e solo se = 1. Si vede facilmente che = 1 `e di
minimo (assoluto) per ; essendo
(1) =

1
1
1 + = 0,
p
q

si ha la tesi.
Semplice conseguenza del Teorema precedente (si ragiona come nella
dimostrazione del Teorema 1.1.4) `e il risultato che segue.
Teorema 1.1.7 (Disuguaglianza di H
older) Siano date due N -ple di numeri reali (s1 , . . . , sN ) e (t1 , . . . , tN ). Siano p e q due numeri reali tali
che
1 1
p > 1, q > 1,
+ = 1.
p q
Allora
N
N
N
X
1 X p 1X
|si ti |
|si | +
|ti |q .
(1.4)
p
q
i=1
i=1
i=1

CAPITOLO 1. SPAZI METRICI

N
X

N
X

|si ti |

i=1

6
! p1

N
X

|si |p

! 1q
|ti |q

(1.5)

i=1

i=1

Si osservi che essendo 1/2 + 1/2 = 1 (!), le formule (1.1) e (1.2) sono casi
particolari di (1.4) e (1.5).
Esempio 1.1.8 Sia X = RN , p > 1 e
dp ((x1 , . . . , xN ), (y1 , . . . , yN )) =

N
X

! p1
|xi yi |p

i=1

Allora (RN , dp ) `e uno spazio metrico. Al solito, i) e ii) sono evidenti, mentre la disuguaglianza triangolare `e di dimostrazione pi`
u complicata; si ha
(supponendo dp (X, Y ) 6= 0, altrimenti la tesi `e banale)
[dp (X, Y )]p =

N
X

|xi yi |p =

N
X

i=1

N
X

|xi yi |p1 |xi yi |

i=1

|xi yi |p |xi zi + zi yi |

(1.6)

i=1

N
X

p1

|xi yi |

|xi zi | +

i=1

N
X

|xi yi |p1 |zi yi | .

i=1

Applicando la (1.5), si ha
N
X

|xi yi |p1 |xi zi |

N
X

i=1

i=1

N
X

N
X

! 1q
|xi yi |(p1) q

N
X

! p1
|xi zi |p

i=1

e
|xi yi |p1 |zi yi |

i=1

! 1q
|xi yi |(p1) q

i=1

N
X

! p1
|zi yi |p

i=1

Essendo (p 1)q = p, si ha allora

N
X
i=1

|xi yi |p1 |xi zi | [dp (X, Y )] q dp (X, Z) ,

CAPITOLO 1. SPAZI METRICI

e

N
X

|xi yi |p1 |zi yi | [dp (X, Y )] q dp (Z, Y ) .

i=1

Sostituendo in (1.6), si ha
p

[dp (X, Y )]p [dp (X, Y )] q [dp (X, Z) + dp (Z, Y )] .

Dividendo per dp (X, Y ) (che `e diverso da zero per ipotesi), si ottiene la
disuguaglianza triangolare osservando che p p/q = 1.
Sempre in RN `e possibile definire
d ((x1 , . . . , xN ), (y1 , . . . , yN )) = max{|xi yi |, i = 1, . . . , N } .
Lo spazio (RN , d ) `e uno spazio metrico (verifica molto semplice, in questo
caso).
Esercizio 1.1.9 Dimostrare che
lim dp ((x1 , . . . , xN ), (y1 , . . . , yN )) = d ((x1 , . . . , xN ), (y1 , . . . , yN )) .

p+

Teorema 1.1.10 (Cauchy-Schwartz e H

older) Siano date {sn } e {tn }
due successioni di numeri reali;
a) se
+
X

s2n

+
X

< + ,

n=1

n=1

si ha
+
X

t2n < + ,

|sn tn |

n=1

+
X

! 12
s2n

n=1

+
X

! 21
t2n

n=1

b) dati p e q due numeri reali tali che

p > 1,
se

+
X
n=1

q > 1,

|sn | < + ,

1 1
+ = 1,
p q
+
X
n=1

|tn |q < + ,

(1.7)

CAPITOLO 1. SPAZI METRICI

si ha
+
X

|sn tn |

n=1

+
X

! p1
|sn |p

n=1

+
X

! 1q
|tn |q

(1.8)

n=1

Dimostrazione. Dimostriamo solo la prima formula (laltra ha dimostrazione analoga). Sia N fissato; applicando (1.2), si ha
N
X

|sn tn |

n=1

N
X

! 21
s2n

n=1

N
X

! 12
t2n

n=1

+
X

! 12

+
X

s2n

! 21
t2n

n=1

n=1

la seconda disuguaglianza `e dovuta al fatto che le serie sono a termini non

negativi (e quindi la successione delle somme parziali `e monotona crescente).
Pertanto, essendo la disuguaglianza precedente vera per ogni N in N, si ha
( N
)
! 21 + ! 21
+
X
X
X
t2n
.
sup
|sn tn |, n N
s2n
n=1

n=1

n=1

Essendo la serie di termine generico |sn tn | una serie a termini non negativi,
la successione delle somme parziali `e monotona crescente, cosicche lestremo
superiore coincide con il limite per N tendente a +, cio`e la somma della
serie.
Esempio 1.1.11 Sia p 1, e siano
(
X = `p =

{xn } R :

+
X

)
|xn |p < +

n=1

dp ({xn }, {yn }) =

+
X

! p1
|xn yn |p

n=1

Allora (`p , dp ) `e uno spazio metrico. Come al solito, i) e ii) sono di verifica
immediata, pi`
u complicato `e il controllo della disuguaglianza triangolare. La
verifica si effettua come nel caso di (Rn , dp ), usando (1.8). Se p = 1, la
verifica discende semplicemente dalla disugaglianza triangolare in R.
Si noti che gli spazi `p soddisfano le seguenti inclusioni, se q > p 1:
`1 `p `q ,

CAPITOLO 1. SPAZI METRICI

e le inclusioni sono strette. Per verificare le inclusioni, `e sufficiente osservare

che se {xn } appartiene a `p , allora |xn |p tende a zero, e quindi |xn | tende a
zero. Pertanto, |xn | `e definitivamente minore di 1, il che implica che |xn |q
|xn |p definitivamente (essendo q > p). Quindi {xn } appartiene a `q (per il
criterio del confronto). Linclusione `e stretta in quanto (ad esempio) xn =
1/[n1/q ln2 (n)] `e in `q ma non in `p se p < q.
Sia poi
X = ` = {{xn } R : {xn } `e limitata} ,
d ({xn }, {yn }) = sup{|xn yn |, n N} .

(1.9)

Allora (` , d ) `e uno spazio metrico (la verifica questa volta `e facile!) tale
che `p ` per ogni p 1, con inclusione stretta (ogni successione limitata
ma non infinitesima non appartiene ad `p dal momento che la condizione
necessaria di convergenza della serie non `e verificata).
Esempio 1.1.12 Siano
X = C 0 ([a, b], R) = {f : [a, b] R f continua} ,
e
d (f, g) = sup{|f (x) g(x)|, x [a, b]} = max{|f (x) g(x)|, x [a, b]} .
Allora (C 0 ([a, b], R), d ) `e uno spazio metrico, come si verifica facilmente
(anche la disuguaglianza triangolare!).
Esempio 1.1.13 Siano
X = C 0 ([a, b], R) = {f : [a, b] R f continua} ,
e
Z

|f (x) g(x)| dx .

d1 (f, g) =
a

Allora (C 0 ([a, b], R), d1 ) `e uno spazio metrico: la ii) e la iii) sono facilmente
verificate (ricordando la monotonia dellintegrale), mentre la i) segue dallosservazione che se lintegrale del modulo di una funzione continua h `e nullo,
allora h `e identicamente nulla. Infatti, se h non fosse nulla, esisterebbe x0
in [a, b] tale che |h(x0 )| > 0; per il teorema della permanenza del segno,

CAPITOLO 1. SPAZI METRICI

10

esisterebbe un intorno (x0 , x0 + ) sul quale si ha |h(x)| > |h(x0 )|/2.

Pertanto
Z x0 +
Z b
|h(x)| dx > |h(x0 )| > 0 ,
|h(x)| dx
0=
x0

da cui lassurdo.
Teorema 1.1.14 (Disuguaglianza di H
older) Siano f e g due funzioni
0
in C ([a, b], R) e siano p e q maggiori di 1 e tali che 1/p + 1/q = 1. Allora
Z

Z

|f (x)|p dx

|f (x) g(x)| dx
a

 p1 Z

|g(x)|q dx

 1q
.

(1.10)

` sufficiente partire dalla disuguaglianza di Young, vera

Dimostrazione. E
per ogni x in [a, b],
|f (x) g(x)|

|f (x)|p |g(x)|q
+
,
p
q

integrare i due termini su [a, b] e poi applicare la disuguaglianza cos` trovata

a
|f (x)|
|g(x)|
f (x) = 
g(x) = 
1 ,

 1q ,
Rb
Rb
p
p
q
|f (x)| dx
|g(x)| dx
a
a
non prima di aver osservato che se lintegrale di |f (x)|p (o di |g(x)|q ) `e nullo,
la f (ovvero la g) `e nulla e la disuguaglianza (1.10) `e banalmente vera.

Esempio 1.1.15 Siano p > 1,

X = C 0 ([a, b], R) = {f : [a, b] R f continua} ,
e
Z
dp (f, g) =

 p1
|f (x) g(x)| dx
.
p

Ragionando come nellEsempio 1.1.11, ed usando la (1.10), si dimostra facilmente che (C 0 ([a, b], R), dp ) `e uno spazio metrico.

CAPITOLO 1. SPAZI METRICI

11

Esercizio 1.1.16 Dimostrare che

lim dp (f, g) = d (f, g) .

p+

Esempio 1.1.17 Siano

X = C 1 ([a, b], R) = {f : [a, b] R f continua con derivata continua} ,
d,1 (f, g) = sup{|f 0 (x) g 0 (x)|, x [a, b]} = d (f 0 , g 0 ) ,
e
d,1 (f, g) = d (f 0 , g 0 ) + d (f, g) .
Allora (C 1 ([a, b], R), d,1 ) non `e uno spazio metrico (dal momento che se f
e g differiscono per una costante, d `e nulla), mentre (C 1 ([a, b], R), d,1 ) lo
`e. Dal momento che laggiunta di d (f, g) `e dovuta solo alla necessit`a di
distinguere due funzioni la cui differenza `e costante, si pu`o considerare su
C 1 ([a, b], R) la distanza
d,1 (f, g) = d (f 0 , g 0 ) + |f (x0 ) g(x0 )| ,
con x0 punto qualsiasi di [a, b]. In questa maniera, per calcolare la distanza
tra f e g `e sufficiente conoscere le derivate di f e g, ed il valore delle due
funzioni in un unico punto (e non su tutto lintervallo).

1.2

Propriet`
a degli spazi metrici

Definizione 1.2.1 Sia (X, d) uno spazio metrico, sia x0 in X e r > 0. La

sfera aperta di centro x0 e raggio r `e linsieme
Bd (x0 , r) = {x X : d(x, x0 ) < r} .
Un sottoinsieme A di (X, d) si dice aperto se per ogni x0 in A esiste
r > 0 tale che Bd (x0 , r) A. Un sottoinsieme C di (X, d) si dice chiuso se
A = C c = X \C `e aperto.
Si verifica facilmente che in (X, discreta) ogni sottoinsieme `e aperto (e
quindi anche chiuso), mentre gli aperti di (R, | |) e di (RN , dp ) (per ogni p)
sono gli aperti soliti.

CAPITOLO 1. SPAZI METRICI

12

Le sfere di (R2 , dp ) per p = 1, 3

, 2, 3 e (procedendo dallinterno verso lesterno)
2

Definizione 1.2.2 Sia (X, d) uno spazio metrico. Una successione {xn }
contenuta in X si dice convergente a x0 in X se si ha
lim d(xn , x0 ) = 0 .

n+

Quindi, come si vede, la definizione di convergenza in uno spazio metrico `e

ricondotta (in maniera naturale) alla convergenza a zero in R (meglio, nello
spazio metrico (R, | |)) della successione {d(xn , x0 )}.
Ad esempio, nello spazio metrico dellEsempio 1.1.2, le successioni convergenti sono tutte e sole le successioni che sono definitivamente costanti.
La convergenza in (R, | |) e in (RN , dp ) (per ogni p) `e la convergenza solita
che si d`a per successioni in R ed in RN (questultima `e come `e noto
equivalente alla convergenza in (R, | |) delle N componenti).
La convergenza in C 0 ([a, b]), d ) `e la convergenza uniforme.
Teorema 1.2.3 Sia {xn } una successione convergente in (X, d). Allora il
limite `e unico.
Dimostrazione. Se xn convergesse a x0 e a y0 , si avrebbe
lim d(xn , x0 ) = lim d(xn , y0 ) = 0 .

n+

n+

Ma allora, per la disuguaglianza triangolare,

d(x0 , y0 ) d(xn , x0 ) + d(xn , y0 ) ,
da cui, ricordando che d(x0 , y0 ) 0 e passando al limite, d(x0 , y0 ) = 0.
Pertanto, x0 = y0 .

CAPITOLO 1. SPAZI METRICI

13

Definizione 1.2.4 Siano (X, d) e (Y, d) due spazi metrici. Una funzione f : X Y si dice continua in x0 X se, per ogni successione
{xn } di X convergente a x0 , la successione {f (xn )} di Y converge a f (x0 ).
Analogamente,
d(f (xn ), f (x0 )) = 0 .
lim
d(xn ,x0 )0

Questa definizione negli spazi metrici `e equivalente allaltra (ben nota)

data in termini di e :
> 0 > 0 : d(x, x0 ) < d(f (x), f (x0 )) < .
Esempio 1.2.5 Siano (X, discreta) e (Y, d) due spazi metrici. Allora ogni
funzione f : X Y `e continua. Infatti, se {xn } `e una qualsiasi successione
convergente in (X, discreta) a x0 , allora si deve avere xn = x0 definitivamente.
Pertanto, f (xn ) = f (x0 ) definitivamente, da cui d(f (xn ), f (x0 )) 0.
Esercizio 1.2.6 Sia (X, d) uno spazio metrico e sia x0 in X. Dimostrare
che la funzione dx0 : X R definita da dx0 (x) = d(x0 , x) `e continua.
Definizione 1.2.7 Sia (Y, d) uno spazio metrico. Una funzione f : X Y
si dice limitata se esistono M > 0 ed y0 in Y tali che
f (x) Bd (y0 , M ) ,

x X .

(2.1)

Definizione 1.2.8 Siano (X, d) e (Y, d) due spazi metrici. Definiamo

L(X, Y ) = {f : X Y , f limitata} ,
C(X, Y ) = {f : X Y , f continua e limitata} .
Linsieme L(X, Y ) (e quindi anche C(X, Y ) che ne `e un sottoinsieme) pu`o
essere reso uno spazio metrico introducendo la distanza
d (f, g) = sup d(f (x), g(x)) .

(2.2)

xX

` facile verificare che d `e effettivamente una distanza; si noti che `e ben deE
finita perche sia f che g sono funzioni limitate. Nel caso in cui (X, d) =
([a, b], | |) e (Y, d) = (R, | |), C(X, Y ) `e proprio C 0 ([a, b], R), dal momento che la limitatezza delle funzioni continue su [a, b] `e data dal teorema
di Weierstrass. Inoltre, d `e esattamente la distanza definita nellEsempio
1.1.12.

CAPITOLO 1. SPAZI METRICI

14

Esempio 1.2.9 Siano (X, d) = (N, discreta) e (Y, d) = (R, | |). Si ha allora,
dal momento che ogni funzione f da X a Y non `e niente altro che una
successione di numeri reali,
L(X, Y ) = {successioni limitate di numeri reali} = ` .
Inoltre, essendo ogni funzione da X a Y continua (Esempio 1.2.5), si ha
C(X, Y ) = L(X, Y ). La distanza d definita da (2.2) `e esattamente la
distanza definita su ` da (1.9).

1.3

Spazi metrici completi

Il seguente teorema mostra come una successione convergente soddisfi una

propriet`a aggiuntiva.
Teorema 1.3.1 Sia (X, d) uno spazio metrico e sia {xn } una successione in
X convergente a x0 in X. Allora la successione {xn } soddisfa la condizione
di Cauchy, ovvero
> 0, n N : d(xn , xm ) < n, m n .
Dimostrazione. Se xn converge a x0 in X, per ogni > 0 esiste n tale
che d(xn , x0 ) < /2 per ogni n n . Se n e m sono entrambi maggiori di n
si ha allora, per la disuguaglianza triangolare,
d(xn , xm ) d(xn , x0 ) + d(x0 , xm ) < ,
da cui la tesi.
Esempio 1.3.2 Il viceversa del teorema precedente non `e vero: non tutte le
successioni di Cauchy sono convergenti. Sia X = (0, 2) e d(x, y) = |x y|.
Allora (X, d) `e uno spazio metrico, come si verifica facilmente, e la successione
xn = 1/n, pur essendo di Cauchy, non `e convergente. La successione `e di
Cauchy perche `e convergente in (R, d), ma non `e convergente in X perche il
suo (unico!) limite `e zero, che non appartiene ad X.
Definizione 1.3.3 Uno spazio metrico si dice completo se ogni successione
di Cauchy `e convergente.

CAPITOLO 1. SPAZI METRICI

15

NellEsempio 1.1.2 lo spazio `e completo perche le successioni di Cauchy

sono tutte e sole le successioni definitivamente costanti (quindi convergenti).
Tutti gli spazi metrici su R o RN considerati nei vari esempi sono completi.
Un primo risultato generale sulla completezza `e il seguente.
Teorema 1.3.4 Sia (X, d) uno spazio metrico completo, e sia C X un
insieme chiuso. Allora (C, d) `e completo.
Dimostrazione. Sia {xn } una successione di Cauchy in (C, d). Allora {xn }
`e una successione di Cauchy in (X, d), che `e completo per ipotesi. Pertanto,
esiste x0 in X tale che xn converge a x0 . Essendo C chiuso, x0 appartiene a
C (se, infatti, x0 non appartenesse a C, sarebbe nel complementare di C, che
`e aperto; allora esisterebbe un numero reale r > 0 tale che Bd (x0 , r) C = ,
il che `e assurdo perche la successione {xn } si trova definitivamente in tale
intorno per definizione di limite), che quindi `e completo.
Un secondo risultato, ben pi`
u importante, riguarda L(X, Y ) e C(X, Y ).
Teorema 1.3.5 Siano (X, d) e (Y, d) due spazi metrici. Se (Y, d) `e completo,
lo sono sia L(X, Y ) e C(X, Y ), dotati della metrica definita da (2.2).
Dimostrazione. Sia {fn } una successione di Cauchy in (L(X, Y ), d )).
Allora
> 0 n N : sup d(fn (x), fm (x)) < n, m n .
xX

Per definizione di sup, questo implica che

> 0 n N : d(fn (x), fm (x)) < n, m n , x X .
Pertanto, per ogni x in X la successione {fn (x)} `e di Cauchy in (Y, d), completo, e quindi converge ad un elemento di Y che definiremo f (x). Passando
al limite per m tendente ad infinito nella disuguaglianza d(fn (x), fm (x)) < ,
si trova (grazie allEsercizio 1.2.6)
> 0 n N : d(fn (x), f (x)) ,

n n , x X .

(3.1)

CAPITOLO 1. SPAZI METRICI

16

Sia ora y in Y . Si ha, per la disuguaglianza triangolare, ed essendo fn

limitata per ipotesi,
d(f (x), y) d(f (x), fn (x)) + d(fn (x), y) + M ,
e quindi f appartiene a L(X, Y ). Inoltre, prendendo lestremo superiore per
x in X in (3.1), si ha
> 0 n N : d (fn (x), f (x)) n n ,
e quindi fn converge a f in (L(X, Y ), d ).
Se {fn } `e una successione di Cauchy in C(X, Y ), lo stesso ragionamento
svolto precedentemente permette di costruire una funzione in L(X, Y ) tale
che fn converge a f in d . Lunica cosa da dimostrare `e pertanto la continuit`a
di f . Se x0 e x1 appartengono a X, si ha
d(f (x0 ), f (x1 )) d(f (x0 ), fn (x0 )) + d(fn (x0 ), fn (x1 )) + d(fn (x1 ), f (x1 )) .
La prima e la terza quantit`a sono minori di , mentre la seconda pu`o essere
scelta piccola prendendo x0 ed x1 vicini (dal momento che fn `e continua).
Pertanto, f `e continua.
Corollario 1.3.6 Sia (C 0 ([a, b], R), d ) che (` , d ) sono completi.
Teorema 1.3.7 Sia p > 1. Lo spazio (`p , dp ) `e completo.
Dimostrazione. Sia {x(n) } una successione di Cauchy in (`p , dp ). Si ha
allora
! p1
+
X
(n)
(m) p
> 0 n N :
|xk xk |
< n, m n .
(3.2)
k=1

Pertanto, per ogni k in N,

(n)

(m)

> 0 n N : |xk xk |p < p

n, m n ,

CAPITOLO 1. SPAZI METRICI

17

(n)

e quindi la successione {n 7 xk } `e di Cauchy in (R, | |), che `e completo.

(n)
Siano allora xk il limite per n tendente ad infinito di xk , e x la successione
{xk }. Dal momento che da (3.2) segue che, per ogni N in N,
> 0 n N :

N
X

! p1
(n)

(m)

|xk xk |p

< n, m n ,

k=1

passando al limite per m tendente ad infinito, si ha

> 0 n N :

N
X

! p1
(n)

|xk xk |p

< n n .

k=1

Prendendo lestremo superiore su N in N,

> 0 n N :

+
X

! p1
(n)

|xk xk |p

< n n ,

k=1

da cui segue che {x(n) } converge a x in (`p , dp ). Il fatto che x appartenga ad

`p segue poi dalla disuguaglianza triangolare per dp :
+
X

! p1
|xk |p

= dp (x, 0) dp (x, x(n ) ) + dp (x(n ) , 0) < + ,

k=1

essendo x(n ) in `p .
Esempio 1.3.8 Lo spazio C 0 ([a, b]), d1 ) non `e completo. Consideriamo infatti C 0 ([1, 1], R) e la successione fn (x) cos` definita:

1 se x [1, 1/n],
fn (x) = nx se x (1/n, 1/n)

1 se x [1/n, 1].
La successione fn `e di Cauchy; infatti fn e fm differiscono al pi`
u (se m > n)
sullinsieme (1/n, 1/n) e su questo insieme si ha |fn (x)fm (x)| 2. Allora
Z 1
Z 1/n
4
d1 (fn , fm ) =
|fn (x) fm (x)| dx =
|fn (x) fm (x)| dx ,
n
1
1/n

CAPITOLO 1. SPAZI METRICI

18

che pu`o essere reso minore di se n `e sufficientemente grande. Daltra parte

non esiste nessuna funzione continua f tale che
Z 1
|fn (x) f (x)| dx 0 .
d1 (fn , f ) =
1

Sia infatti a > 0; allora

Z

|fn (x) f (x)| dx 0 ,

a

essendo questa quantit`a positiva e minore di d1 (fn , f ). Se n `e tale che 1/n < a
(fatto che accade definitivamente), dalla definizione di fn si ha
Z 1
|1 f (x)| dx 0 ,
a

da cui (essendo questa quantit`a indipendente da n),

Z 1
|1 f (x)| dx = 0 ,
a

il che implica che f 1 su [a, 1] per ogni a > 0. Con ragionamento analogo
si prova che f 1 su [1, a] con a > 0. Ma allora
lim f (x) = 1 6= 1 = lim+ f (x) ,

x0

x0

e quindi f non pu`o essere continua in x = 0.

Esempio 1.3.9 Lo spazio (X, d) = ((0, 1), | |) non `e completo. Pu`o, per`o,
essere reso completo, aggiungendo i due punti 0 ed 1, senza modificare
la distanza; in altre parole, si pu`o prendere la chiusura di X in R (di
(X, | |) nello spazio metrico (R, | |)), ed ottenere cos` uno spazio metrico
completo. Laggiunta dei due punti 0 ed 1 `e minimale nel senso che per
rendere X completo (senza cambiare metrica) non `e necessario utilizzare altri
punti. Si osservi che esistono successioni di Cauchy tutte contenute in X che
convergono a 0 o ad 1 (mentre non esistono successioni di Cauchy contenute
in X che convergono ad un qualsiasi numero reale non appartenente a [0, 1]).

CAPITOLO 1. SPAZI METRICI

19

Lo spazio (X, d) = (Q, | |) non `e completo. Ad esempio, la successione


n
1
xn = 1 +
,
n
`e contenuta in Q, `e di Cauchy (perche converge in R ad e), ma il limite non
`e un numero razionale. Anche in questo caso, come nel precedente, si pu`o
rendere (Q, | |) completo aggiungendo i limiti delle successioni di Cauchy
di razionali. Ricordando che ogni numero reale `e limite (in (R, | |)) di una
successione di razionali (dunque di una successione di Cauchy di razionali),
si ottiene tutto R.
Lo spazio (X, d) = ({f C 0 ([a, b], R) : d (f, 0) < 1}, d ) non `e completo. Ad esempio, la successione fn (x) = 1 n1 `e in X, `e di Cauchy (dal
momento che converge uniformemente a f (x) = 1), ma il suo limite non `e
in X. Anche in questo caso, si pu`o rendere (X, d) completo aggiungendo le funzioni continue su [a, b] tali che d (f, 0) = 1. Il risultato, che
`e ({f C 0 ([a, b], R) : d (f, 0) 1}, d ), `e completo essendo chiuso in
(C 0 ([a, b], R), d ), come si verifica facilmente. Si noti che, essendo possibile
ottenere ogni funzione f tale che d (f, 0) = 1 come limite uniforme della
n
successione fn = n+1
f (che `e tutta contenuta in X), e dal momento che nessuna funzione tale che d (f, 0) > 1 pu`o essere ottenuta come limite uniforme
di funzioni in X, ancora una volta abbiamo reso X completo aggiungendo i
limiti delle successioni di Cauchy contenute in X.
A questo punto ci si pu`o chiedere se questa operazione si pu`o sempre
effettuare. La risposta `e affermativa, ed `e data dal seguente teorema.
Teorema 1.3.10 (Completamento) Dato uno spazio metrico (X, d), esiste uno spazio metrico completo (Y, d) ed unapplicazione i : X Y tale
che
1. i `e unisometria, ovvero d(i(x0 ), i(x1 )) = d(x0 , x1 ), per ogni x0 , x1 in
X;
2. i(X) `e denso in Y , ovvero la chiusura di i(X) in Y `e Y .
Dimostrazione. Sia
C = {{xn } di Cauchy in (X, d)} .

CAPITOLO 1. SPAZI METRICI

20

Passo 1: Se {xn } e {yn } appartengono a C, allora la successione zn =

d(xn , yn ) `e di Cauchy in (R, | |).
Infatti si ha
zn = d(xn , yn ) d(xn , xm )+d(xm , ym )+d(ym , yn ) = d(xn , xm )+zm +d(ym , yn ),
da cui
zn zm d(xn , xm ) + d(ym , yn ) .
Scambiando il ruolo di n e m si trova la disuguaglianza zm zn d(xn , xm )+
d(ym , yn ), da cui segue
|zn zm | d(xn , xm ) + d(ym , yn ) .
A questo punto, fissato > 0, `e sufficiente scegliere n ed m pi`
u grandi di
n = max(n ({xn }), n ({yn })) per avere che |zn zm | < .
Passo 2: Essendo (R, | |) completo, per ogni coppia di successioni {xn } e
{yn } di C, esiste il limite di d(xn , yn ). Definiamo in C la relazione seguente
{xn }{yn }

lim d(xn , yn ) = 0 .

n+

Si vede facilmente che `e una relazione di equivalenza (la transitivit`a `e

conseguenza della disuguaglianza triangolare) su C. Definiamo Y come lo
spazio quoziente di C modulo la relazione . Successivamente, rendiamo Y
uno spazio metrico nel modo seguente: siano x e y in Y , e siano {xn } e {yn }
due successioni in [x] e [y] rispettivamente. Allora
d(x, y) = lim d(xn , yn ) .
n+

Tale definizione `e ben posta, dal momento che cambiando rappresentanti in

[x] e [y] il limite non cambia (sempre per la disuguaglianza triangolare). La
funzione d `e non negativa (dal momento che d lo `e), e si annulla se e solo se
x = y (per definizione, se il limite di d(xn , yn ) `e zero, {xn } e {yn } sono nella
stessa classe di equivalenza). La simmetria `e conseguenza della simmetria
di d, mentre la disuguaglianza triangolare segue passando al limite per n
tendente ad infinito nella disuguaglianza
d(xn , yn ) d(xn , zn ) + d(zn , yn ) .

CAPITOLO 1. SPAZI METRICI

21

Passo 3: Dato x in X, definiamo cost(x) la successione che ha tutte le

componenti uguali ad x. Tale successione `e evidentemente in C. Definiamo
i : X Y nel modo seguente: i(x) = [cost(x)]. Essendo la definizione di
d indipendente dalla scelta del rappresentante nella classe di equivalenza, si
pu`o scegliere la successione cost(x) in [cost(x)] e si ha allora
d(i(x), i(y)) = lim d((cost(x))n , (cost(y))n ) = lim d(x, y) = d(x, y) ,
n+

n+

e quindi i `e unisometria.
Passo 4: i(X) `e denso in (Y, d).
Sia y in Y , e sia {xm } una successione qualsiasi in [y]. Definiamo ym =
i(xm ) = [cost(xm )] e calcoliamo d(ym , y). Si ha
d(ym , y) = lim d((cost(xm ))n , xn ) = lim d(xm , xn ) .
n+

n+

Essendo la successione {xm } in C, la successione {xm } `e di Cauchy in (X, d).

Pertanto, per ogni > 0, esiste n in N tale che
d(xm , xn ) < ,

n, m n .

Questo fatto implica che, per ogni > 0, esiste n in N tale che
lim d(xm , xn ) ,

n+

m n

(ricordiamo che tale limite esiste perche la successione {n 7 d(xm , xn )} `e

di Cauchy in (R, | |)). Pertanto, per ogni > 0, esiste n in N tale che
d(ym , y) per ogni m > n , ovvero si ha che {ym } converge a y in (Y, d).
Passo 5: (Y, d) `e completo.
Sia {x(n) } una successione di Cauchy in (Y, d). Dal momento che i(X) `e
denso in (Y, d), per ogni n in N esiste xn in X tale che
d(x(n) , i(xn ))

1
.
n

(3.3)

Mostriamo che la successione {xn } `e in C. Si ha infatti (ricordando che i `e

unisometria),
d(xn , xm ) = d(i(xn ), i(xm )) d(i(xn ), x(n) ) + d(x(n) , x(m) ) + d(x(m) , i(xm )) .

CAPITOLO 1. SPAZI METRICI

22

Usando (3.3), e scegliendo n e m sufficientemente grandi (in modo che n1

e m1 siano minori di , e in modo che d(x(n) , x(m) ) sia anchessa minore di
), si prova che d(xn , xm ) < 3 e quindi {xn } `e in C. Sia ora x = [{xn }];
mostriamo che {x(n) } converge a x in (Y, d). Si ha infatti, sempre per (3.3),
e per definizione di d,
d(x, x(n) ) d(x, i(xn )) + d(i(xn ), x(n) ) lim d(xn , xm ) +
m+

1
.
n

Ricordando che {xn } `e di Cauchy, se n `e sufficientemente grande si ha

limn+ d(xn , xm ) e n1 . Pertanto, per tali n, d(x, x(n) ) 2,
da cui la tesi.
Osservazione 1.3.11 Si pu`o anche dimostrare che lo spazio metrico (Y, d) `e
che
unico a meno di isometrie, ovvero se esiste un altro spazio metrico (Z, d)
verifica 1. e 2. del teorema precedente, allora esiste unisometria biiettiva i

tra (Y, d) e (Z, d).

Esercizio 1.3.12 Nel caso di (C 0 ([a, b], R), d1 ), chi sono Y e i? Ovvero,
se {fn } `e una successione di Cauchy in d1 , che propriet`a ha il suo limite in
` chiaro che non `e possibile ragionare come nellEsempio 1.3.9, perche
Y? E
in tutti e tre i casi era sufficiente prenderne la chiusura (e scegliere per i
lidentit`a) per completarlo (dato che lo spazio non completo era contenuto
in un altro completo). In questo caso C 0 ([a, b], R) `e gi`a tutto lo spazio,
il che vuol dire che sar`a necessario ampliarlo con funzioni non continue per
renderlo completo. Ma non tutte le funzioni discontinue sono integrabili
(secondo Riemann). . .

Capitolo 2
Teoria della misura
2.1

La misura secondo Peano-Jordan

Ricordiamo brevemente i passi necessari per definire la misura (e la misurabilit`a) secondo Peano-Jordan di un sottoinsieme di R.
La lunghezza di un intervallo aperto I = (a, b) di R `e definita come
l(I) = b a (e lo stesso per intervalli della forma [a, b), (a, b] e [a, b]).
Un pluriintervallo `e un insieme
P =

n
[

Ij ,

j=1

con gli Ij intervalli a due a due disgiunti, e la sua misura m(P ) `e definita
come la somma delle lunghezze degli Ij .
La misura esterna di un sottoinsieme limitato E di R `e definita da
m(P J) (E) = inf{m(P ) , P pluriintervallo, E P } .
La misura interna di un sottoinsieme E di R `e definita da
m(P J) (E) = sup{m(P ) , P pluriintervallo, P E} .
Un sottoinsieme limitato E di R si dice misurabile secondo PeanoJordan (E PJ ) se e solo se m(P J) (E) = m(P J) (E). In questo
caso, si definisce mPJ (E) = m(P J) (E) la sua misura.
23

CAPITOLO 2. TEORIA DELLA MISURA

24

Come conseguenza di questa costruzione, si ottiene una funzione di insieme mPJ : PJ R che estende il concetto di lunghezza ad insiemi pi`
u
complicati (si dimostra infatti che mPJ (I) = l(I) per ogni intervallo I di
R), ed `e tale che se E1 , . . . , En sono n insiemi in PJ , allora `e in PJ anche
la loro unione. In pi`
u
!
n
n
[
X
mPJ
Ej
mPJ (Ej ) ,
j=1

j=1

luguale valendo nel caso in cui gli Ej siano a due a due disgiunti.
Il maggior difetto della misura secondo Peano-Jordan `e il fatto che
(a differenza di quanto accade per le unioni finite) lunione numerabile di
insiemi misurabili non `e necessariamente un insieme misurabile, come si vede
dal seguente esempio.
Esempio 2.1.1 Linsieme E = Q [0, 1] non `e misurabile secondo PeanoJordan. Infatti, `e facile vedere che m(P J) (E) = 0 (dal momento che E
non contiene intervalli, e pertanto lunico pluriintervallo interno `e linsieme
vuoto). Sia ora {Ij , j = 1, . . . , N } una famiglia finita di intervalli tali che
E

N
[

Ij ,

j=1

con gli Ij a due a due disgiunti, e mostriamo che la somma delle lunghezze
degli Ij `e maggiore o uguale a 1. Se, infatti,
 delle lunghezze fosse
Sla somma
N
avrebbe misura interstrettamente minore di 1, linsieme [0, 1] \
j=1 Ij
na strettamente positiva, e quindi dovrebbe contenere almeno un intervallo.
Siccome in questo intervallo cadono infiniti razionali, lunione degli Ij non
pu`o ricoprire E. Pertanto, m(P J) (E) 1 (in realt`a, `e esattamente uguale
ad 1, dato che [0, 1] ricopre E), e quindi E non `e misurabile. Dal momento
che E `e numerabile, si pu`o vederlo come unione (infinita) dei suoi punti, che
sono, invece, sottoinsiemi misurabili di R.
Dunque, unire infiniti insiemi misurabili pu`o dare come risultato un insieme non misurabile. Ci`o vuol dire in un certo senso che la misura
di Peano-Jordan non si comporta bene rispetto alle successioni di insiemi,

CAPITOLO 2. TEORIA DELLA MISURA

25

ovvero che si presta poco a trattare problemi nei quali sia necessario approssimare oggetti complicati con successioni di oggetti semplici. Per risolvere
tale problema, `e necessario quindi modificare il concetto di misura, a partire
dalla definizione di misura esterna.

2.2

La misura secondo Lebesgue

Definizione 2.2.1 Sia I un intervallo di R. Se I `e limitato, la sua lunghezza

l(I) `e definita come la differenza dei due estremi; se I `e illimitato, la sua
lunghezza l(I) `e definita +.
Sia E un sottoinsieme di R. La misura esterna m (E) `e cos` definita:
)
(
X
S
famiglia al pi`
u numerabile
m (E) = inf
l(Ij ) , {Ij }jJ
: E jJ Ij .
di intervalli aperti
jJ

Osservazione 2.2.2 Si noti che E non deve necessariamente essere limitato;

la principale differenza con la misura esterna definita precedentemente, `e che
adesso si possono considerare unioni infinite di intervalli, e non solo unioni
finite. Si ha poi, per ogni sottoinsieme limitato E di R, m (E) m(P J) (E)
(dal momento che i ricoprimenti ammissibili per il calcolo di m(P J) (E) lo
sono anche per il calcolo di m (E)). Dalla definizione segue immediatamente
che
m : P(R) [0, +] ,
e che m () = 0.
Esempio 2.2.3 Sia E = Q [0, 1]. Allora m (E) = 0. Infatti, sia E = {qn },
con n in N, sia > 0 e sia



In = qn n+1 , qn + n+1 .
2
2
Allora {In } `e una famiglia numerabile di intervalli aperti che ricopre E (dato
che qn appartiene ad In ), e si ha
+
X
n=1

+
X

l(In ) =
= .
2n
n=1

CAPITOLO 2. TEORIA DELLA MISURA

26

Pertanto, per definizione, m (E) per ogni > 0, da cui la tesi. Si noti
che la stessa dimostrazione pu`o essere ripetuta per un qualsiasi altro insieme
numerabile.
Dimostriamo ora alcune propriet`a della misura esterna.
Teorema 2.2.4 (Monotonia) Siano A e B sottoinsiemi di R con A B.
Allora
m (A) m (B) .
(2.1)
Dimostrazione. Se {Ij }jJ `e un ricoprimento di intervalli aperti di B,
allora {Ij }jJ `e un ricoprimento di intervalli aperti di A; si ha dunque, per
definizione,
X
l(Ij ) .
m (A)
jJ

Prendendo lestremo inferiore al variare di tutti i ricoprimenti di intervalli

aperti di B si ha la tesi.
Teorema 2.2.5 (Regolarit`
a) Sia A un sottoinsieme di R con m (A) <
+. Allora
[
X
> 0 {Ij }jJ : A
Ij ,
l(Ij ) m (A) + .
(2.2)
jJ

jJ

Dimostrazione. La tesi segue dalla definizione di m e dalle propriet`a

dellestremo inferiore.
Teorema 2.2.6 (Estensione) Sia I un intervallo di R. Allora m (I) =
l(I).
Dimostrazione. Sia I = [a, b]. Allora, per ogni > 0, I I = (a, b+)
e pertanto
m (I) l(I ) = b a + 2 = l(I) + 2 ,
da cui m (I) l(I). Sia ora {Ij }jJ un ricoprimento di intervalli aperti di I.
Se J `e infinito, essendo I compatto, da {Ij } si pu`o estrarre un sottoricoprimento finito; pertanto, in ogni caso, esistono I1 . . . , In intervalli aperti della
famiglia {Ij }jJ tali che
n
[
I
Ij .
j=1

CAPITOLO 2. TEORIA DELLA MISURA

27

Si ha allora che la somma delle lunghezze degli Ij `e maggiore o uguale a l(I).

Infatti, dal momento che a `e in I, esiste un j tra 1 ed n tale che a appartenga
a Ij ; supponiamo che sia j = 1 e quindi che a I1 = (a1 , b1 ), con a1 < a. Se
b appartiene a I1 ci fermiamo, altrimenti osserviamo che si ha b1 b e quindi
b1 `e in I. Pertanto, b1 appartiene ad un altro degli intervalli Ij , diciamo
I2 = (a2 , b2 ). Si ha allora a2 < b1 < b2 . Se b appartiene a I2 ci fermiamo,
altrimenti continuiamo come prima. Dopo un numero finito di passi (al pi`
u
n), il procedimento finisce, ovvero b appartiene ad un certo Ik = (ak , bk ).
Abbiamo allora
a1 < a b 1 ,

a2 < b1 b2 ,

... ,

ak < bk1 b < bk .

Pertanto l(Ih ) = bh ah > ah+1 ah , per ogni h da 2 a k 1, mentre

l(Ik ) = bk ak > b ak e l(I1 ) = b1 a1 > a2 a. Sommando, si ottiene
k
X

l(Ih ) > b a = l(I) .

h=1

Daltra parte (avendo ridotto il numero degli Ij ), si ha

X
jJ

l(Ij )

k
X

l(Ih ) ,

h=1

e quindi m (I) l(I), da cui segue la tesi.

Sia ora I = (a, b); ovviamente, dato che I `e un ricoprimento aperto di se
stesso, si ha m (I) l(I); se consideriamo I = [a + , b ], si ha I I,
da cui segue (per (2.1)) m (I ) m (I). Per quanto appena dimostrato,
m (I ) = l(I ) = b a 2 = l(I) 2. Pertanto
l(I) 2 m (I) l(I) ,
da cui la tesi per larbitrariet`a di .
Infine, sia I illimitato superiormente e sia x0 in I. Siccome I `e illimitato,
per ogni M > 0 esiste xM in I tale che xM > M e xM > x0 . Essendo I un
intervallo, IM = [x0 , xM ] `e tutto contenuto in I, e pertanto (per (2.1)),
m (I) m (IM ) = l(IM ) = xM x0 > M x0 .

CAPITOLO 2. TEORIA DELLA MISURA

28

Dunque, m (I) M x0 per ogni M > 0. Pertanto, m (I) = + = l(I).

Analoga dimostrazione vale nel caso in cui I sia illimitato inferiormente.

Teorema 2.2.7 (-subadditivit`

a) Sia {En }nJ una famiglia al pi`
u numerabile di sottoinsiemi di R. Allora
!
[
X

En
m (En ) .
(2.3)
m
nJ

nJ

` sufficiente dimostrare il teorema nel caso in cui J sia

Dimostrazione. E
numerabile (se J `e finito, si pu`o aggiungere uninfinit`a di volte linsieme vuoto, che ha misura esterna nulla e non contribuisce allunione). Se la somma
della serie a destra in (2.3) `e + (ovvero se la serie diverge positivamente),
non c`e nulla da dimostrare, cos` come non c`e nulla da dimostrare se uno
degli En ha misura esterna infinita. Pertanto, supponiamo che tutti gli En
abbiano misura esterna finita e che la serie converga. Sia > 0; per la (2.2),
(n)
per ogni n in N, esiste una famiglia {Ij }jJn di intervalli aperti che ricopre
En ed `e tale che
X

(n)
l(Ij ) m (En ) + n .
2
jJ
n

(n)

u numerabile, in quanLa famiglia {I }nN , jJn `e ora una famiglia (al pi`
to unione numerabile di famiglie al pi`
u numerabili) di intervalli aperti che
ricopre lunione degli En . Si ha allora
!
!
+
[
X
X
X
(n)
(n)

m
En

l(Ij ) =
l(Ij )
nJ

nN ,jJn

+ 
X
n=1

n=1

jJn

+
 X

m (En ) + n =
m (En ) + .
2
n=1

Dallarbitrariet`a di segue la tesi.

Osservazione 2.2.8 Dal teorema precedente, e dal fatto di verifica immediata che m ({x}) = 0, segue che ogni insieme numerabile ha misura
esterna nulla. Pertanto, essendo m ([0, 1]) = l([0, 1]) = 1, si ha che [0, 1] non
`e numerabile.

CAPITOLO 2. TEORIA DELLA MISURA

29

Ricordiamo che se E `e un sottoinsieme di R e x `e in R, il traslato di E

tramite x `e definito da
E + x = {x + y , y E} .
Teorema 2.2.9 (Invarianza per traslazioni) Si ha m (E + x) = m (E)
per ogni E sottoinsieme di R e per ogni x in R.
Dimostrazione. Se I `e un intervallo, si ha ovviamente l(I + x) = l(I) per
ogni x in R. Dal momento che
[
[
(Ij + x) ,
Ij (E + x)
E
jJ

jJ

i due sottoinsiemi di [0, +] il cui estremo inferiore `e rispettivamente m (E)

e m (E + x) sono identici, da cui la tesi.

2.3

Misurabilit`
a e misura

Possiamo ora dare la definizione di insieme misurabile. Ricordiamo che se E

`e un sottoinsieme di R, il suo complementare E c `e linsieme E c = R\E.
Definizione 2.3.1 Un sottoinsieme E di R si dice misurabile secondo
Lebesgue se per ogni A sottoinsieme di R si ha
m (A) = m (A E) + m (A E c ) .

(3.1)

Dal momento che la misura esterna `e subadditiva (Teorema 2.2.7), e siccome

A = (A E) (A E c ), si ha, per ogni A sottoinsieme di R,
m (A) m (A E) + m (A E c ) ,
cosicche la misurabilit`a di un insieme `e equivalente a dimostrare che, per ogni
A sottoinsieme di R,
m (A) m (A E) + m (A E c ) .

(3.2)

CAPITOLO 2. TEORIA DELLA MISURA

30

Osserviamo che E = `e misurabile, e che, essendo la definizione simmetrica in E e E c , un sottoinsieme di R `e misurabile se e solo se lo `e il suo
complementare. Pertanto, R = c `e misurabile.
Un primo risultato sugli insiemi misurabili `e il seguente.
Teorema 2.3.2 Sia E un sottoinsieme di R tale che m (E) = 0. Allora E
`e misurabile.
Dimostrazione. Sia A un sottoinsieme di R. Usando la monotonia della
misura esterna (Teorema 2.2.4) si ha
A E E = 0 m (A E) m (E) = 0 = m (A E) = 0 ,
e
A E c A = 0 m (A E c ) m (A) .
Pertanto, m (A) m (A E c ) = m (A E) + m (A E c ), che `e la (3.2).
Come conseguenza del teorema precedente, linsieme E = Q [0, 1], cos`
come qualsiasi altro insieme numerabile, `e misurabile. Ricordiamo che E non
era misurabile secondo Peano-Jordan.
La famiglia degli insiemi misurabili secondo Lebesgue `e chiusa rispetto
allunione finita.
Teorema 2.3.3 Siano E1 e E2 due insiemi misurabili. Allora E1 E2 `e
misurabile.
Dimostrazione. Sia B un sottoinsieme di R. Dal momento che E2 `e
misurabile si ha, scegliendo A = B E1 c in (3.1),
m (B E1 c ) = m ((B E1 c ) E2 ) + m ((B E1 c ) E2 c )
= m ((B E1 c ) E2 ) + m (B (E1 E2 )c )

(3.3)

Daltra parte, essendo

B (E1 E2 ) = (B E1 ) (B E1 E2 c ) ,
la subadditivit`a della misura esterna implica
m (B (E1 E2 )) m (B E1 ) + m (B E1 E2 c ) .

(3.4)

CAPITOLO 2. TEORIA DELLA MISURA

31

Pertanto, usando (3.3) e (3.4),

m (B (E1 E2 )) + m (B (E1 E2 )c )
m (B E1 ) + m (B E1 E2 c ) + m (B (E1 E2 )c )
= m (B E1 ) + m (B E1 c )
= m (B) ,
essendo E1 misurabile. Abbiamo cos` ottenuto (3.2) e quindi la misurabilit`a
di E1 E2 .
Come conseguenza di questo teorema, si ha che lunione di n insiemi misurabili `e ancora misurabile. Siccome lintersezione di due insiemi `e il complementare dellunione dei loro complementari, se ne deduce che lintersezione
di due (e quindi di n) insiemi misurabili `e ancora misurabile.
La misura esterna ha un buon comportamento sulle unioni disgiunte di
insiemi misurabili.
Teorema 2.3.4 Siano E1 , . . . , En insiemi misurabili a due a due disgiunti.
Allora, per ogni A sottoinsieme di R si ha
!!
n
n
[
X

m A
Ej
=
m (A Ej ) .
(3.5)
j=1

j=1

Dimostrazione. Si ragiona per induzione su n. Se n = 1 la (3.5) `e lidentit`a m (A E1 ) = m (A E1 ), ed `e dunque vera. Supponiamo ora la (3.5)
vera per n insiemi e dimostriamola per n + 1. Siano pertanto E1 , . . . , En+1
insiemi misurabili a due a due disgiunti. Si ha allora
!
!
!
n+1
n+1
n
[
[
[
Ej En+1 = En+1 ,
Ej (En+1 )c =
Ej .
j=1

j=1

j=1

CAPITOLO 2. TEORIA DELLA MISURA

32

Pertanto, dal momento che En+1 `e misurabile per ipotesi, per ogni sottoinsieme A di R si ha, usando lipotesi induttiva,
!!
n+1
[
m A
Ej
j=1
!
!
!
!
n+1
n+1
[
[
c
= m A
Ej En+1 + m A
Ej (En+1 )
j=1
j=1
!!
n
[
= m (A En+1 ) + m A
Ej
j=1

= m (A En+1 ) +

n
X

m (A Ej ) =

j=1

n+1
X

m (A Ej ) ,

j=1

come volevasi dimostrare.

Osservazione 2.3.5 Nel caso particolare in cui A = R, il risultato del teorema precedente diventa: se E1 , . . . , En sono insiemi misurabili a due a due
disgiunti, si ha
!
n
n
[
X
m
Ej =
m (Ej ) ,
(3.6)
j=1

j=1

che prende il nome di finita additivit`

a della misura esterna.
Grazie ai risultati provati precedentemente, `e possibile mostrare che non
solo lunione finita, ma anche lunione numerabile di insiemi misurabili `e
misurabile.
Teorema 2.3.6 (-additivit`
a) Sia {Ej }jN una famiglia numerabile di insiemi misurabili. Allora
+
[
E=
Ej ,
j=1

`e misurabile. Se poi gli Ej sono a due a due disgiunti, si ha

! +
+
[
X
m
Ej =
m (Ej ) .
j=1

j=1

(3.7)

CAPITOLO 2. TEORIA DELLA MISURA

33

Dimostrazione. Iniziamo con losservare che E pu`o essere scritto come

unione numerabile di insiemi misurabili a due a due disgiunti:
E=

+
[

Fj .

j=1

Infatti, definiamo F1 = E1 e, per n > 1,

!
n1
[
Fn = En \
Ej = En
j=1

n1
[

!c
Ej

j=1

Essendo Ej misurabile per ogni j, `e misurabile lunione Gn1 dei primi n 1

degli Ej , quindi lo `e il complementare di Gn1 , ed infine lo `e Fn essendo
lintersezione tra i due insiemi (misurabili) En e Gn1 . Se n > m si ha,
essendo Fn En per ogni n,
!c
n1
[
Fn Fm Fn Em = En
Ej Em En Em c Em = ,
j=1

e pertanto gli Fn sono a due a due disgiunti. Ovviamente, si ha che lunione

degli Fn `e contenuta nellunione degli En (che `e E) e pertanto non resta che
dimostare che se x appartiene ad E, allora appartiene a qualche Fn . Se x `e
in E, x appartiene a qualcuno degli En e pertanto `e ben definito
N (x) = min{n N : x En } ,
dal momento che ogni sottoinsieme non vuoto di N ammette minimo. Se
N (x) = 1, allora x appartiene ad E1 , e quindi, per definizione, ad F1 . Se
N (x) > 1, allora x `e in EN (x) ma non appartiene a nessuno degli En con
n < N (x). In altre parole,

N (x)1
[
x EN (x) \
Ej = FN (x) ,
j=1

che `e quanto si voleva mostrare.

Mostriamo ora che lunione degli Fn (cio`e E) `e misurabile. Sia, per n in
N,
n
[
Hn =
Fj .
j=1

CAPITOLO 2. TEORIA DELLA MISURA

34

S
Si ha, evidentemente, Hn nN Fn = E e quindi E c Hn c . Siccome Hn `e
misurabile (come unione finita di insiemi misurabili), per ogni sottoinsieme
A di R si ha,
m (A) = m (A Hn ) + m (A Hn c ) m (A Hn ) + m (A E c ) ,
per la monotonia della misura esterna. Daltra parte, essendo gli Fn a due a
due disgiunti, si pu`o applicare il Teorema 3.5:
m (A Hn ) =

n
X

m (A Fj ) ,

j=1

da cui

m (A)

n
X

m (A Fj ) + m (A E c ) .

j=1

Siccome la disuguaglianza precedente `e valida per ogni n in N, si pu`o passare

allestremo superiore su n, ottenendo

m (A)

+
X

m (A Fj ) + m (A E c ) .

j=1

Daltra parte, per la -subadditivit`a della misura esterna,

! +
+
[
X
m (A E) = m
(A Fj )
m (A Fj ) ,
j=1

j=1

e pertanto m (A) m (A E) + m (A E c ), ovvero E `e misurabile.

Proviamo ora la (3.7). Gi`a sappiamo, per il Teorema 2.2.7, che
! +
+
[
X

m
Ej
m (Ej ) .
j=1

j=1

Daltra parte, per ogni n in N,

n
[
j=1

Ej

+
[
j=1

Ej ,

CAPITOLO 2. TEORIA DELLA MISURA

e pertanto, per (2.1) e (3.6),
!
+
[
m
Ej m
j=1

n
[

35

!
Ej

j=1

n
X

m (Ej ) .

j=1

Facendo tendere n ad infinito, si trova

! +
+
[
X
m
Ej
m (Ej ) ,
j=1

j=1

da cui la tesi.
Come conseguenza di questo teorema, lintersezione numerabile di insiemi
misurabili `e ancora misurabile.
Un caso particolare `e quello delle successioni di insiemi monotone.
Teorema 2.3.7 Sia {Ej }jN una successione di insiemi misurabili.
i) Se la successione `e crescente, ovvero Ej Ej+1 per ogni j in N, allora
!
+
[
m
(3.8)
Ej = lim m (Ej ) .
j=1

j+

ii) Se la successione `e decrescente, ovvero Ej+1 Ej per ogni j in N, e

m (E1 ) < +, allora
!
+
\
m
Ej = lim m (Ej ) .
(3.9)
j=1

j+

Dimostrazione. Iniziamo con losservare che, in entrambi i casi, il limite

di m (Ej ) esiste dal momento che la successione {m (Ej )} `e monotona.
S

i) Sia E = +
j=1 Ej ; se esiste k tale che m (Ek ) = +, allora il limite
delle misure esterne degli Ej `e +, e anche la misura esterna di E `e +
(dato che E contiene Ek ). Supponiamo allora che m (Ej ) < + per ogni j
in N, e definiamo Fj = Ej+1 \Ej . Allora Fj `e misurabile per ogni j,
!
+
[
E = E1
Fj ,
j=1

CAPITOLO 2. TEORIA DELLA MISURA

36

e lunione `e disgiunta. Per (3.7) si ha allora

m (E) = m (E1 ) +

+
X

m (Fj ) .

(3.10)

j=1

Essendo m (Ej+1 ) = m (Fj ) + m (Ej ) (come si verifica facilmente), si ha

m (Fj ) = m (Ej+1 ) m (Ej ) e pertanto la serie in (3.10) `e una serie telescopica, la cui somma `e esattamente il limite di m (Ej ).
T
ii) Sia E = +
j=1 Ej e definiamo Fj = Ej \Ej+1 . Allora
E1 \E =

+
[

Fj .

j=1

Essendo gli Fj a due a due disgiunti e misurabili, si ha, per la (3.7),

m (E1 \E) =

+
X

m (Fj ) .

(3.11)

n=1

Ora, m (E1 ) = m (E) + m (E1 \E) (perche E E1 ), e quindi m (E1 \E) =

m (E1 ) m (E) (si noti che qui si usa il fatto che m (E1 ) `e finita); inoltre
m (Fj ) = m (Ej\Ej+1 ) = m (Ej )m (Ej+1 ). Pertanto, la serie che compare
in (3.11) `e una serie telescopica, e la sua somma `e
+
X
n=1

m (Fj ) = m (E1 ) lim m (Ej ) .

j+

Dunque
m (E1 ) m (E) = m (E1 ) lim m (Ej ) ,
j+

da cui la tesi.
Osservazione 2.3.8 La condizione m (E1 ) < + (che pu`o essere sostituita
con la condizione m (Ek ) < + per qualche k) non `e una condizione tecnica.
T

Infatti, se En = (n, +), allora +

n=1 En = , ma m (En ) = + per ogni n
(e quindi il limite vale +).
Teorema 2.3.9 Sia E un sottoinsieme misurabile di R. Allora E + x `e
misurabile per ogni x in R.

CAPITOLO 2. TEORIA DELLA MISURA

37

Dimostrazione. La tesi segue dal fatto che (F + x)c = F c + x, e dal fatto

che A (F + x) = ((A x) F ) + x. Si ha allora, ricordando il Teorema
2.2.9, e siccome E `e misurabile,
m (A (E + x)) + m (A (E + x)c )
= m (((A x) E) + x) + m (((A x) E c ) + x)
= m ((A x) E) + m ((A x) E c )
= m (A x) = m (A) ,
e quindi E + x `e misurabile.
I teoremi precedenti danno alcune propriet`a della misura esterna e degli
insiemi misurabili, ma, a parte il Teorema 2.3.2, non danno alcuna indicazione
su come siano fatti gli insiemi misurabili. Il prossimo teorema mostra che
una semiretta aperta `e misurabile.
Teorema 2.3.10 Sia a in R; la semiretta E = (a, +) `e misurabile.
Dimostrazione. Sia A un sottoinsieme di R, e siano A1 = A E e A2 =
A E c . Vogliamo dimostrare che m (A) m (A1 ) + m (A2 ). Se la misura
esterna di A `e infinita, non c`e nulla da dimostrare; supponiamo pertanto che
m (A) sia finita. Sia > 0; per il Teorema 2.2, esiste una famiglia {Ij }jJ
di intervalli aperti che ricoprono A e tali che
X
l(Ij ) m (A) + .
jJ

Definiamo, per j in J , Ij,1 = Ij E e Ij,2 = Ij E c . Siccome sia E che

il suo complementare sono intervalli, anche Ij,1 e Ij,2 lo sono. Inoltre, per
definizione di A1 e A2 ,
[ ,1
[ ,2
A1
Ij ,
A2
Ij .
jJ

jJ

Per la -subadditivit`a della misura esterna, e siccome gli Ij,1 e gli Ij,2 sono
intervalli,
X
X
m (A1 )
m (Ij,1 ) =
l(Ij,1 ) ,
jJ

m (A2 )

X
jJ

jJ

m (Ij,2 ) =

X
jJ

l(Ij,2 ) .

CAPITOLO 2. TEORIA DELLA MISURA

38

Pertanto, dato che l(Ij,1 ) + l(Ij,2 ) = l(Ij ),

m (A1 ) + m (A2 )

X
l(Ij,1 ) + l(Ij,2 ) =
l(Ij ) m (A) + ,
jJ

jJ

da cui la tesi per larbitrariet`a di .

Teorema 2.3.11 Sono insiemi misurabili le semirette, gli intervalli, gli aperti e i chiusi di R (di (R, | |)).
Dimostrazione. La semiretta (a, +) `e misurabile per il teorema precedente, e pertanto lo `e la semiretta (, a] (che ne `e il complementare).
Siccome

+
\ 
1
,
(, a) =
, a +
n
n=1
le semirette (, a) sono misurabili. Essendo (a, b) = (, b) (a, +),
gli intervalli aperti sono misurabili, e pertanto lo sono (a, b], [a, b) e [a, b]
(ottenuti da (a, b) aggiungendo uno o due punti, che sono misurabili perche
hanno misura esterna nulla). Dal momento che ogni aperto di R `e unione
numerabile di intervalli aperti, gli aperti sono misurabili, e quindi (passando
al complementare) lo sono i chiusi.
Infine, un risultato che mostra come un insieme misurabile sia quasi un
aperto (o un chiuso).
Teorema 2.3.12 Sia E R un insieme misurabile. Allora, per ogni > 0
esiste un aperto A contenente E, ed un chiuso C contenuto in E, tali che
m (A \E) < e m (E \C ) < .
Dimostrazione. Iniziamo con il caso in cui m (E) sia finita. Se > 0, per
il Teorema 2.2 esiste una famiglia {Ij }jJ di intervalli aperti che ricopre E
e tale che
X
l(Ij ) m (E) + .
jJ

Definiamo
A =

[
jJ

Ij ,

CAPITOLO 2. TEORIA DELLA MISURA

39

cosicche A `e un aperto che contiene E. Inoltre, essendo A lunione disgiunta

di A \E e di E,
m (A ) = m (A \E) + m (E) ,
da cui, per la -subadditivit`a della misura esterna,
X
X
m (A\E) = m (A )m (E)
m (Ij )m (E) =
l(Ij )m (E) ,
jJ

jJ

come volevasi dimostrare. Se m (E) non `e finita, scriviamo

[
[
E=
(E (n, n + 1]) =
En .
nZ

nZ

Gli En sono insiemi misurabili, a due a due disgiunti, di misura esterna finita
(minore o al pi`
u uguale ad 1); pertanto, per ogni > 0, e per ogni n in Z,
esiste un aperto An contenente En e tale che
m (An \En )

.
2|n|

Sia A lunione degli An . A `e ovviamente un aperto che contiene E. Si ha

poi, essendo En E, e quindi E c En c ,
!
[
[
[
[
A \E =
An E c =
(An E c )
(An En c ) =
(An \En ) .
nZ

nZ

nZ

nZ

Usando la -subadditivit`a della misura, si ha allora che

X
X
= 3 .
m (A \E)
m (An \En )
|n|
2
nZ
nZ
Sia ora E misurabile. Siccome E c `e misurabile, per ogni > 0 esiste un
aperto A contenente E c e tale che
m (A \E c ) .
Detto C = A c , C `e un chiuso contenuto in E. Inoltre, A \E c = A E, e
E \C = E A . Pertanto, m (E \C ) = m (A \E c ) .

CAPITOLO 2. TEORIA DELLA MISURA

40

Osservazione 2.3.13 Il teorema precedente si pu`o invertire: se E `e un

sottoinsieme di R tale che per ogni > 0 esiste un aperto A (un chiuso C )
contenente E (contenuto in E) e tale che m (A \E) (m (E \C ) ),
allora E `e misurabile.
Definizione 2.3.14 Sia
M = {E R : E `e misurabile} .
La famiglia M, detta famiglia degli insiemi misurabili secondo Lebesgue,
gode delle seguenti propriet`a:
e R appartengono a M;
E appartiene a M se e solo se E c vi appartiene;
se {Ej }jN `e una famiglia numerabile di insiemi di M, la loro unione
vi appartiene.
Una famiglia di insiemi che goda di queste propriet`a si dice -algebra, e M
viene pertanto detta la -algebra degli insiemi misurabili secondo Lebesgue.
Se E appartiene a M, definiamo m(E), la misura di Lebesgue di E,
come m (E). Come funzione di insieme, m eredita le propriet`a di m , e quindi
`e non negativa, -subadditiva (in generale), -additiva (sulle successioni di
insiemi misurabili e disgiunti), invariante per traslazione.
Come si `e visto nei teoremi precedenti, la famiglia M degli insiemi misurabili secondo Lebesgue `e abbastanza ricca: contiene infatti gli aperti ed i
` quindi lecito chiedersi se
chiusi di R, ed ogni sottoinsieme numerabile di R. E
sia vero o no che M = P(R), ovvero se ogni sottoinsieme di R sia misurabile.
La risposta `e no ed `e data dal seguente esempio (la cui artificiosit`a dovrebbe
far intuire che `e ragionevole che ogni insieme che si incontra (non nel corso,
ovviamente!) sia misurabile. . .).
Esempio 2.3.15 Sia X = [0, 1). Definiamo la somma modulo 1 di x e y in
X nella maniera seguente:

x+y
se x + y < 1,
xy =
x + y 1 se x + y 1.

CAPITOLO 2. TEORIA DELLA MISURA

41

Analogamente, dato E X, e x in X, definiamo

E x = {x y , y E} ,
il traslato modulo 1 di E tramite x.
Si ha il seguente risultato: se E M, allora E x M e m(E x) =
m(E) per ogni x in X. Per provare questo fatto, siano E1 = E [0, 1 x)
e E2 = E [1 x, 1). Allora E1 e E2 sono misurabili e disgiunti, e la loro
unione `e E. Pertanto, m(E) = m(E1 ) + m(E2 ). Dalla definizione di E1 , si ha
E1 x = E + x, e pertanto (ricordando che m `e invariante per traslazioni),
E1 x `e misurabile e la sua misura `e uguale alla misura di E1 . Inoltre,
E2 x = E2 + (x 1) e pertanto E2 x `e misurabile e la sua misura `e
uguale a m(E2 ). In definitiva, essendo E x = (E1 x) (E2 x), E x
`e misurabile e la sua misura `e uguale alla misura di E (dato che E1 x e
E2 x sono disgiunti).
Definiamo ora la seguente relazione in X X: si ha x y se e solo se
x y Q. La relazione `e di equivalenza (come si verifica facilmente) e
pertanto si pu`o definire linsieme quoziente Y = X/. Ad esempio, [0] =
Q X, mentre [1/] = {x X : x 1/ `e razionale}. Si noti che ognuna
delle classi di equivalenza in Y contiene uninfinit`a numerabile di elementi
(tanti quanti sono i razionali) e che pertanto, essendo Y una partizione di
X, Y ha uninfinit`a non numerabile di elementi.
Ricordiamo ora lassioma della scelta: sia Y = {Xi }iI una famiglia di
insiemi; `e possibile formare un insieme P scegliendo un elemento xi (ed uno
solo) da ciascuno degli Xi . Se I `e finito, ed ognuno degli Xi anche, questo
assioma `e equivalente allaffermazione di poter prendere un elemento dal
primo insieme, uno dal secondo e cos` via; nel caso in cui I (o gli Xi ) sia non
numerabile, la verit`a di tale affermazione `e evidente, ma non dimostrabile,
da cui lassioma.
Usando lassioma della scelta, costruiamo P scegliendo un elemento da
ciascuna delle classi di equivalenza in cui rimane diviso X dalla relazione .
Sia ora Q X = {rj }jN , con r0 = 0, e definiamo
Pj = P r j .
Sia x Pi Pj ; allora x = pi + ri = pj + rj , con pi , pj in P e ri , rj razionali.
Pertanto, pi pj = rj ri , e quindi pi pj `e razionale, cio`e pi pj : pi e pj

CAPITOLO 2. TEORIA DELLA MISURA

42

sono nella stessa classe di equivalenza. Siccome P `e costruito scegliendo uno

ed un solo elemento da ognuna delle classi di equivalenza, si ha pi = pj , da
cui ri = rj e quindi Pi = Pj . In altre parole, se i 6= j, si ha Pi Pj = .
Sia ora x in X, e sia [x] la classe di equivalenza cui appartiene x. Sempre
per come `e stato costruito P , esiste un elemento p di P (ed uno solo), tale
che p x. Se x = p, allora x appartiene a P0 = P ; se x > p, allora x =
p + ri = p ri per qualche ri , e quindi x `e in Pi ; infine, se p > x, allora
x = p + rj 1 = p rj , per qualche rj , da cui segue che x `e in Pj . Quindi,
X=

+
[

Pj .

j=1

Se P fosse misurabile, lo sarebbero anche i Pj (perche sono traslati modulo 1

di P ) e si avrebbe m(Pj ) = m(P ) per ogni j. Per la numerabile additivit`a
della misura si avrebbe allora
1 = m(X) =

+
X

m(Pj ) =

j=1

+
X

m(P ) ,

j=1

il che `e assurdo. Pertanto, P non `e misurabile.

Si osservi che, essendo P non misurabile, esiste un sottoinsieme A di R
tale che
m (A) 6= m (A P ) + m (A P c ) .
Siccome non si pu`o avere m (A) > m (A P ) + m (A P c ) (perche vale
sempre la disuguaglianza larga opposta), deve per forza essere
m (A) < m (A P ) + m (A P c ) ,
e pertanto E1 = A P e E2 = A P c sono due insiemi disgiunti per i quali
ladditivit`a della misura esterna non vale. Si noti inoltre che m (P ) > 0 (non
pu`o essere m (P ) = 0 perche altrimenti P sarebbe misurabile).
Infine, se E `e un sottoinsieme misurabile di P , allora deve essere necessariamente m(E) = 0. Infatti, detto Ei = E ri , allora anche Ei `e misurabile
e si ha m(Ei ) = m(E) per ogni i. Inoltre, essendo {Pi } un ricoprimento di
[0, 1), {Ei } ricopre un insieme F , misurabile, contenuto in [0, 1). Allora
1 = m([0, 1)) m(F ) =

+
X
i=1

m(Ei ) =

+
X
i=1

m(E) ,

CAPITOLO 2. TEORIA DELLA MISURA

43

da cui m(E) = 0.
Linsieme non misurabile P non `e unico: infatti ogni insieme A per il
quale m (A) > 0 contiene un insieme non misurabile secondo Lebesgue. Se,
ad esempio, A (0, 1), sia Ei = A Pi . Se Ei fosse misurabile, allora
P
dovrebbe essere m(Ei ) = 0 (dato che Ei Pi ), e quindi +
i=1 m(Ei ) = 0.

Siccome A `e lunione degli Ei , ne seguirebbe che m (A) = 0, che non `e.

2.4

Funzioni misurabili

Dopo aver introdotto la misura secondo Lebesgue, iniziamo a studiare i legami che intercorrono tra funzioni definite su R e insiemi misurabili. A tale
proposito vale il seguente teorema.
Teorema 2.4.1 Sia D un insieme misurabile di R e sia f : D R =
R {} {+} una funzione. Allora le seguenti sono equivalenti:
i) per ogni in R linsieme E (f ) = {x D : f (x) > } `e misurabile;
ii) per ogni in R linsieme E0 (f ) = {x D : f (x) } `e misurabile;
iii) per ogni in R linsieme E00 (f ) = {x D : f (x) < } `e misurabile;
iv) per ogni in R linsieme E000 (f ) = {x D : f (x) } `e misurabile;
Una qualsiasi delle quattro precedenti affermazioni implica che
v) per ogni in R linsieme G (f ) = {x D : f (x) = } `e misurabile;
Dimostrazione. Dal momento che (E (f ))c = E000 (f ), e che (E0 (f ))c =
E00 (f ), si ha evidentemente i) iv) e ii) iii). Siccome
E0 (f )

+
\

E 1 (f ) ,
n

n=1

si ha che i) ii); viceversa, essendo

E (f ) =

+
[
n=1

0
E+
1 (f ) ,
n

CAPITOLO 2. TEORIA DELLA MISURA

44

si ha che ii) i) e quindi le prime quattro affermazioni sono equivalenti fra

loro.
Se `e in R, ii) + iv) v), dal momento che G (f ) = E0 (f ) E000 (f ).
Se = +, si ha
+
\
G+ (f ) =
En0 (f ) ,
n=1

e quindi G+ (f ) `e misurabile; analogamente, essendo G (f ) lintersezione

000
di En
(f ) al variare di n in N, si ha che G (f ) `e misurabile.
Osservazione 2.4.2 La validit`a di v) per ogni in R non implica nessuna
delle prime quattro affermazioni. Ad esempio, la funzione f (x) uguale a
|x| + 1 su un insieme non misurabile P , e |x| 1 su R \ P , assume ogni
valore al pi`
u due volte (e pertanto G (f ) `e misurabile per ogni in R), ma
linsieme E0 (f ) coincide con P , che non `e misurabile.
Il teorema precedente giustifica la seguente definizione.
Definizione 2.4.3 Sia D un insieme misurabile, e sia f : D R. La
funzione f si dice misurabile secondo Lebesgue se soddisfa una qualsiasi tra
i), ii), iii) e iv).
Osservazione 2.4.4 Ogni funzione continua `e misurabile; infatti E (f ) `e un
aperto di R (quindi un insieme misurabile) per ogni in R. Se f : D R `e
misurabile, e E `e un sottoinsieme misurabile di D, allora la restrizione di f
a E `e ancora misurabile (dal momento che si tratta di interesecare gli E (f )
con E).
Lo spazio delle funzioni misurabili `e (almeno) uno spazio vettoriale.
Teorema 2.4.5 Siano f e g due funzioni misurabili definite da D in R, e sia
c in R. Allora f + c, c f , f + g e f g sono misurabili.
Dimostrazione. Essendo E (f + c) = Ec (f ), la misurabilit`a di f + c
discende direttamente dalla misurabilit`a di f . Se c = 0, c f `e misurabile
perche `e continua; se c > 0, si ha E (c f ) = E/c (f ), mentre se c < 0 si ha
00
E (c f ) = E/c
(f ). In entrambi i casi, c f `e misurabile.

CAPITOLO 2. TEORIA DELLA MISURA

45

Se x appartiene a E (f + g), ovvero se f (x) + g(x) > , allora f (x) >

g(x) e ci`o `e vero se e solo se esiste un razionale r tale che f (x) > r >
g(x), ovvero se e solo se esiste un razionale r tale che x appartiene a
Er (f ) Er (g). Pertanto,
[
E (f + g) =
[Er (f ) Er (g)] ,
rQ

da cui segue che f + g `e misurabile.

Se f `e misurabile, f 2 `e misurabile; infatti E (f 2 ) `e tutto D se 0, ed
`e dato dallunione di E (f ) e E00 (f ) se > 0. In entrambi i casi si tratta
di insiemi misurabili. Infine, f g `e misurabile essendo
fg=


1
(f + g)2 f 2 g 2 .
2

Il concetto di misurabilit`a si adatta bene anche a successioni di funzioni misurabili. Prima di enunciare e dimostrare il teorema, diamo una
definizione.
Definizione 2.4.6 Sia {xn } una successione di numeri reali; definiamo il
massimo limite della successione {xn } la quantit`a
lim sup xn = inf sup xk = lim sup xk .
n+

nN kn

n+ kn

Analogamente, definiamo il minimo limite della successione {xn } la quantit`a

lim inf xn = sup inf xk = lim inf xk .
n+

nN kn

n+ kn

Si noti che in entrambi i casi lestremo inferiore e il superiore sono dei limiti
perche le successioni n 7 supkn xk e n 7 inf kn xk sono monotone (una
decrescente, laltra crescente).
Si ha, sempre, lim inf xn lim sup xn , e si ha uguaglianza se e solo se la
successione ammette limite.
Se fn : D R `e una successione di funzioni, il massimo e il minimo limite
di {fn } sono definiti puntualmente: ad esempio lim sup fn `e la funzione che
assume in x il valore lim sup fn (x).

CAPITOLO 2. TEORIA DELLA MISURA

46

Teorema 2.4.7 Sia {fn } una successione di funzioni misurabili su D; allora,

per ogni N in N sono misurabili le funzioni
hN (x) = max{f1 (x), . . . , fN (x)} ,

kN (x) = min{f1 (x), . . . , fN (x)} .

Sono inoltre misurabili le funzioni

h (x) = sup{fn (x), n N} ,

k (x) = inf{fn (x), n N} ,

e le funzioni
lim sup fn (x) ,

lim inf fn (x) .

n+

n+

Se la successione {fn } ammette limite puntuale f , allora f `e misurabile.

Dimostrazione. Si ha
E (hN ) =

N
[

E (fn ) ,

n=1

e quindi hN `e misurabile, cos` come kN , dato che

E (kN ) =

N
\

E (fn ) .

n=1

Essendo
E (h ) =

+
[

E (fn ) ,

n=1

la funzione h `e misurabile (e analogamente per k ). Essendo

lim sup fn (x) = inf [sup fk (x)] ,
n+

nN kn

il massimo limite `e misurabile per i risultati su h e k (analogamente per

il minimo limite). Infine, se {fn } ammette limite f , allora f `e misurabile
perche coincide con il massimo limite delle fn .
Osservazione 2.4.8 Per il teorema precedente, le funzioni
f + (x) = max(f (x), 0) ,

f (x) = max(f (x), 0) ,

sono misurabili se f lo `e. Essendo |f (x)| = f + (x) + f (x), |f | `e misurabile

se f lo `e.

CAPITOLO 2. TEORIA DELLA MISURA

47

Particolare importanza nella misura di Lebesgue hanno gli insiemi di

misura nulla.
Definizione 2.4.9 Una propriet`a P (x) si dice essere valida quasi ovunque
(q.o.)1 se linsieme degli x tali che P (x) non vale ha misura nulla.
Due funzioni f e g definite sullo stesso insieme D si dicono uguali quasi
ovunque, e si scrive f = g q.o., se
m({x D : f (x) 6= g(x)}) = 0 .
Analogamente, si dice che una successione {fn } di funzioni converge quasi
ovunque ad una funzione f se linsieme degli x tali che fn (x) non converge
ad f (x) ha misura nulla.
Teorema 2.4.10 Sia f : D R una funzione misurabile. Se g = f q.o.,
allora g `e misurabile.
Dimostrazione. Sia E = {x D : f (x) 6= g(x)}; allora m(E) = 0; sia
in R; allora gli insiemi
E1 = {x E : g(x) > } ,

E2 = {x E : g(x) } ,

sono entrambi misurabili come sottoinsiemi di E, che ha misura nulla. Essendo

E (g) = {x D : g(x) > } = {x D : f (x) > } E1 E2 c ,
E (g) `e misurabile, e quindi lo `e la funzione g.
Definizione 2.4.11 Sia A un sottoinsieme di R. La funzione caratteristica di A `e la funzione

1 se x A,
A (x) =
0 se x 6 A.
Ovviamente, A `e misurabile se e solo se A `e misurabile. Pertanto P fornisce
un esempio di funzione non misurabile.
1

In inglese, almost everywhere (a.e.); in francese, presque partout (p.p.).

CAPITOLO 2. TEORIA DELLA MISURA

48

Una funzione : D R si dice semplice se `e misurabile e se assume

solo un numero finito di valori. Se `e semplice ed assume i valori 1 , . . . , n ,
allora
n
X
(x) =
i Ai (x) ,
Ai = Gi () = {x D : (x) = i } .
i=1

Sappiamo gi`a che le funzioni continue sono misurabili; cos` come il Teorema 2.3.12 afferma che ogni insieme misurabile `e un aperto a meno di insiemi
di misura piccola, il prossimo teorema mostra come ogni funzione misurabile
sia continua a meno di un insieme di misura arbitrariamente piccola.
Teorema 2.4.12 Sia f : D R una funzione misurabile e finita quasi
ovunque (ovvero, linsieme {x D : f (x) = } ha misura nulla). Allora,
per ogni > 0 esiste un insieme chiuso C contenuto in D tale che
m(D\C ) ;
f `e continua su C .
Dimostrazione. La dimostrazione `e divisa in sei passi.
Passo 1: Sia f = F con F misurabile, e sia m(D) < +.
Per il Teorema 2.3.12, per ogni > 0 esiste un chiuso C0 F tale che
m(F \C0 ) 2 . Essendo D \F misurabile, esiste un chiuso C00 D \F tale
che m((D\F )\C00 ) 2 . Definiamo C = C0 C00 . Si ha
m(D\C ) = m((D\F )\C ) + m(F \C ) = m((D\F )\C0 ) + m(F \C00 ) ,
ed inoltre, essendo f 1 su C0 e f 0 su C00 , f `e continua su C .
Passo 2: Sia f semplice, e sia m(D) < +.
Il risultato segue dalla definizione di funzione semplice, e dal Passo 1:
basta scegliere C lunione dei C,i ottenuti applicando il Passo 1 a i Ai con
/n.
Passo 3: f `e una funzione positiva e limitata: 0 f < L, e m(D) < +.
Sia n in N fissato, e dividiamo lintervallo [0, L) in n parti uguali2 mediante i punti yk = kL
, con k da 0 a n. Definiamo
n
Fk = {x D : yk f (x) < yk+1 } = Ey0 k (f ) Ey00k+1 (f ) ,
2

k = 0, . . . , n 1 .

Attenzione! Stiamo dividendo il codominio della funzione f , non il suo dominio!

CAPITOLO 2. TEORIA DELLA MISURA

49

Essendo f misurabile, gli Fk sono misurabili; sono inoltre a due a due

disgiunti, e la loro unione `e tutto D. Definiamo
n (x) =

n1
X

yk Fk (x) ,

k=0

cosicche n `e semplice. Sia ora x in D; allora x appartiene ad uno degli Fk ,

e quindi
L
|f (x) n (x)| = |f (x) yk | yk+1 yk = .
n
Pertanto,
L
sup |f (x) n (x)| ,
n
xD
da cui segue che {n } converge uniformemente a f . Applicando il Passo 2
a n , per ogni > 0 fissato e per ogni n in N esiste un insieme chiuso C,n
contenuto in D e tale che
m(D\C,n )

,
2n

n `e continua su C,n .

Definiamo C lintersezione dei C,n al variare di n in N. Allora C `e un

chiuso (come intersezione di chiusi) contenuto in D. Si ha
!!
!c !
+
+
[
\
(C,n )c
C,n
=m D
m(D\C ) = m D
n=1
n=1 !
+
+
X
[

(D\C,n
= m
= .
n
2
n=1
n=1
Siccome n converge uniformemente a f su D, n converge uniformemente
ad f su C . Daltra parte, n `e continua su C,n , e quindi lo `e su C ; da
questo segue che f `e continua su C .
Passo 4: Sia f 0 e m(D) < +.
Siccome la funzione f `e finita quasi ovunque, si ha m(G+ (f )) = 0.
Definiamo
En = En0 (f ) = {x D : f (x) n} .

CAPITOLO 2. TEORIA DELLA MISURA

50

Allora {En } `e una successione decrescente di insiemi misurabili e tali che

m(E1 ) m(D) < +. Pertanto, detto
E=

+
\

En ,

n=1

dal Teorema 2.3.7 segue che m(E) = limn+ m(En ); essendo E = G+ (f )

si ha che la misura degli En tende a zero. Pertanto, fissato > 0, esiste L
(dipendente da ), tale che m(EL ) /2. Consideriamo ora D0 = D \EL .
Linsieme D0 `e misurabile, ed inoltre 0 f < L su D0 . Pertanto, per il
Passo 3, per ogni > 0 esiste C contenuto in D0 (dunque in D) tale che
m(D0 \C ) /2 e f `e continua su C . Dal momento che
m(D\C ) = m(EL ) + m(D0 \C ) ,
si ha il risultato nelle ipotesi del Passo 4.
Passo 5: Sia f 0.
Sia n in Z, e definiamo Dn = D [n, n + 1). Allora Dn `e misurabile e ha
misura finita. Usando il Passo 4, per ogni > 0, e per ogni n in Z, esiste

, e tale che f `e continua

C,n chiuso, contenuto in Dn , con m(Dn \C,n ) 2|n|
su Cn, . Definiamo
[
C,n .
C =
nZ

` facile verificare che m(D\C ) 3 e che f `e continua su C (dal momento

E
che i C,n sono a due a due disgiunti). Lunica cosa da verificare `e che C `e
chiuso. Sia pertanto {xn } una successione contenuta in C e convergente (in
R) a x0 . Allora la successione `e limitata, ovvero |xn | M per ogni n in N.
Pertanto,
M
[
0
{xn }
C,n = C,M
,
n=M

e questultimo insieme `e chiuso (come unione finita di chiusi). Pertanto x0

0
appartiene a C,M
e dunque a C , che lo contiene.
Passo 6: Sia f come nelle ipotesi del teorema.
Scriviamo f = f + f . Sia f + che f soddisfano le ipotesi del Passo 5;
esiste pertanto C+ chiuso, contenuto in D, tale che m(D\C+ ) /2, con f +

CAPITOLO 2. TEORIA DELLA MISURA

51

continua su C+ e, analogamente, esiste C chiuso, contenuto in D, tale che

m(D\C ) /2, con f continua su C . Se definiamo C = C+ C , si ha
che C `e un chiuso, che m(D\C ) , e che f `e continua su C dal momento
che f + e f lo sono.
Dunque, misurabilit`a e continuit`a, cos` come misurabilit`a e essere aperti
sono concetti vicini. Per una successione di funzioni misurabili sono vicini
anche i concetti di convergenza quasi ovunque e convergenza uniforme.
Teorema 2.4.13 Sia D un insieme misurabile di misura finita. Sia fn : D
R una successione di funzioni misurabili che converge quasi ovunque ad una
funzione f . Allora, fissati > 0 e > 0, esiste un insieme misurabile A,
contenuto in D, con m(A, ) , e un intero N, tale che, per ogni n N,
si ha
sup |fn (x) f (x)| .
D\A,

Dimostrazione. Sia B linsieme di misura nulla sul quale fn non converge

ad f , e definiamo E = D\B. Si ha ovviamente m(E) = m(D). Sia poi n in
N e definiamo
Gn = {x E : |fn (x) f (x)| } .
Essendo sia fn che f (per il Teorema 2.4.7) misurabili su E, Gn `e misurabile.
Pertanto `e misurabile, per ogni N in N, linsieme
EN =

+
[

Gn = {x E : |fn (x) f (x)| , per qualche n N } .

n=N

Evidentemente, si ha che {EN } `e una successione decrescente di insiemi, e

m(E1 ) m(E) < +. Per il Teorema 2.3.7 si ha allora
!
+
\
EN = lim m(EN ) .
m
N =1

N +

Siccome fn (x) converge a f (x) per ogni x in E, si

|fn (x) f (x)| < , e pertanto x non appartiene
Pertanto, lintersezione di tutti gli EN `e vuota, e
tende a zero. Dunque, per fissato, esiste N,

ha che, definitivamente,
definitivamente ad EN .
quindi la misura di EN
tale che m(EN, ) .

CAPITOLO 2. TEORIA DELLA MISURA

52

Definiamo A, = EN, B, in modo che la misura di A, sia minore di .

Se x non appartiene a A, , x non appartiene ad En per ogni n N, , e
pertanto |fn (x) f (x)| < , come si voleva dimostrare.
Osservazione 2.4.14 Si osservi che linsieme A, dipende da , e pertanto
la tesi del teorema precedente non d`a la convergenza uniforme di fn a f .
` per`o possibile arrivare alla convergenza uniforme applicando pi`
E
u volte il
risultato precedente, ed `e quello che viene fatto per dimostrare il prossimo
teorema.
Teorema 2.4.15 (Egorov) Sia D un insieme di misura finita, e sia fn :
D R una successione di funzioni misurabili che converge quasi ovunque
ad una funzione f . Allora, per ogni > 0 esiste un insieme A D con
m(A ) < e tale che fn converge uniformemente ad f su D\A .
Dimostrazione. Sia n = n1 e sia n = 2n . Per il teorema precedente,
esiste un insieme An = An ,n di misura minore di n , tale che
sup |fn (x) f (x)|
D\An

1
.
n

Definiamo A come lunione di tutti gli An . Per la -subadditivit`a della

misura, m(A ) ; inoltre, siccome D\A D\An per ogni n in N, si ha
sup |fn (x) f (x)| sup |fn (x) f (x)|
D\A

D\An

1
,
n

da cui la tesi.
Osservazione 2.4.16 La condizione m(D) < + `e essenziale per dimostrare il Teorema di Egorov. Sia infatti D = R e fn (x) = (n,n) (x). La
successione fn converge ovunque in R alla funzione f (x) 1, e la convergenza
non `e uniforme al di fuori di nessun insieme di misura piccola di R, dal
momento che linsieme su cui fn `e diversa da f ha misura infinita per ogni n
in N.

Capitolo 3
Teoria dellintegrazione
Come gi`a per la misura secondo Peano-Jordan, ricordiamo brevemente la
definizione di integrale secondo Riemann.

3.1

Lintegrale secondo Riemann

Sia I = [a, b] un intervallo di R; una partizione P di I viene data assegnando

n + 1 punti
a = x0 < x1 < . . . < xn1 < xn = b .
Se f : I R `e una funzione limitata e P `e una partizione di I, definiamo
S(P, f ) =
s(P, f ) =

n
X
i=1
n
X

(xi xi1 )

sup

f (x) =

x(xi1 ,xi ]

(xi xi1 )

i=1

inf
x(xi1 ,xi ]

f (x) =

n
X
i=1
n
X

(xi xi1 ) Mi ,
(xi xi1 ) mi .

i=1

Successivamente, detto P linsieme delle partizioni di I, definiamo

Z b
f (x) dx = inf{S(P, f ) , P P} ,
R
a
Z b
R
f (x) dx = sup{s(P, f ) , P P} ,
a

che chiamiamo, rispettivamente, integrale superiore di Riemann e integrale

inferiore di Riemann di f .
53

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

54

Si vede abbastanza facilmente che per ogni funzione f limitata su I si ha

b

Z
f (x) dx R

R
a

f (x) dx ,
a

il che suggerisce di definire integrabile secondo Riemann una funzione limitata

su I tale che si abbia
Z b
Z b
f (x) dx = R
R
f (x) dx .
a

In questo caso, definiamo

b

f (x) dx .

f (x) dx = R

Sia ora P una partizione di I con n + 1 punti, e siano c1 , . . . , cn n numeri

reali. Una funzione a gradino `e una combinazione lineare della forma
(x) =

n
X

ci (xi1 ,xi ] (x) .

i=1

Se definiamo (in maniera naturale)

Z

(x) dx =
a

n
X

ci (xi xi1 ) ,

i=1

si vede subito che, data una partizione P di I, si ha

Z b
S(P, f ) =
(x) dx ,
a

dove (x) `e la funzione a gradino corrispondente agli intervalli della partizione P e ai valori M1 , . . . , Mn . Sempre per definizione di (x), si ha
f (x) (x) per ogni x in I. Analogamente,
Z
s(P, f ) =

(x) dx ,
a

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

55

dove (x) `e la funzione a gradino corrispondente agli intervalli della partizione P e ai valori m1 , . . . , mn . Nuovamente, dalla definizione di (x), segue
che (x) f (x) per ogni x in I.
Alla luce di queste considerazioni, si ha allora
Z

Z


(x) dx , (x) a gradino, f (x) (x) in I

f (x) dx = inf
a

e
Z
R

Z


(x) dx , (x) a gradino, (x) f (x) in I

f (x) dx = inf
a

Esempio 3.1.1 Come `e noto, la funzione di Dirichlet


1 se x Q [0, 1],
D(x) =
0 se x 6 Q [0, 1],
non `e integrabile secondo Riemann; infatti, qualsiasi sia la partizione P di
[0, 1], si ha S(P, D) = 1 e s(P, D) = 0, cosicche
Z
R

Z
f (x) dx = 1 ,

f (x) dx = 0 .
a

Inoltre, se consideriamo la successione fn di funzioni definita da

fn (x) = {r1 ,...,rn } (x) ,
dove {rn } `e unenumerazione dei razionali di [0, 1], si ha che fn `e integrabile
secondo Riemann, che il suo integrale `e nullo per ogni n in N, e che fn
converge puntualmente (ed anche in maniera monotona) a D(x), che non `e
integrabile. Pertanto, il chiedersi se valga lidentit`a
Z 1
Z 1
lim R
fn (x) dx = R
D(x) dx ,
n+

non ha senso perche lintegrale (secondo Riemann) di D non `e definito.

Si ha per`o che D(x) = Q[0,1] (x), cio`e la funzione caratteristica di un
insieme misurabile (secondo Lebesgue, non secondo Peano-Jordan). Vogliamo allora cambiare lintegrale in modo che quanto meno le funzioni

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

56

caratteristiche di insiemi misurabili siano integrabili (e il loro integrale valga,

secondo la ben nota regola base per altezza, la misura dellinsieme); inoltre vogliamo anche ottenere un integrale che si comporti bene rispetto al
passaggio al limite: se fn `e una successione di funzioni integrabili convergente ad una funzione integrabile f , vogliamo dare dellipotesi ragionevoli sulla
convergenza e sulle fn affinche il limite degli integrali delle fn sia proprio
lintegrale di f .

3.2
3.2.1

Lintegrale secondo Lebesgue

Funzioni limitate su insiemi di misura finita

In tutta questa sottosezione supporremo valide le seguenti ipotesi:

E `e un sottoinsieme misurabile di R con m(E) < +;
f : E R `e una funzione limitata.
Ricordiamo che una funzione semplice : E R `e una funzione misurabile che assume un numero finito di valori. Detti a1 , . . . , an tali valori, e
definito Ai = {x E : (x) = ai } si ha
(x) =

n
X

ai Ai (x) .

i=1

Si noti che gli Ai sono a due a due disgiunti, che sono misurabili, e che
lunione degli Ai `e E. Se supponiamo che a1 , . . . an siano i valori diversi da
zero assunti dalla funzione semplice , la rappresentazione
(x) =

n
X

ai Ai (x) ,

i=1

si dice canonica. Nel caso della rappresentazione canonica, lunione degli

Ai `e ovviamente E \{x E : (x) = 0} = E \G0 ().
Definizione 3.2.1 Sia : E R una funzione semplice, e sia
(x) =

n
X
i=1

ai Ai (x) ,

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

57

la sua rappresentazione canonica. Definiamo

Z
n
X
(x) dx =
ai m(Ai ) .

(2.1)

i=1

La rappresentazione canonica `e unica, ma il valore dellintegrale non

cambia se viene scritta come combinazione di funzioni caratteristiche in
maniera differente.
Teorema 3.2.2 Sia
( x) =

m
X

bj Bj (x) ,

j=1

con gli insiemi Bj misurabili e a due a due disgiunti. Allora

Z
m
X
(x) dx =
bj m(Bj ) .
E

j=1

Dimostrazione. Se a `e un valore assunto da (x), definiamo Aa = {x

E : (x) = a}. Si ha ovviamente
[
Bh ,
Aa =
h:bh =a

e pertanto, essendo i Bh a due a due disgiunti,

X
m(Bh ) .
m(Aa ) =
h:bh =a

Ma allora, detti a1 . . . , an i valori distinti da zero assunti da , cosicche

(x) =

n
X

ai Ai (x) ,

i=1

`e la rappresentazione canonica, si ha (ricordando che ai 6= 0 per ogni i)

Z
n
n
X
X
X
(x) dx =
ai m(Ai ) =
ai
m(Bh )
E

i=1

n
X
X
i=1 h:bh =ai

i=1

bh m(Bh ) =

h:bh =ai

X
bj 6=0

bj m(Bj ) =

m
X
j=1

bj m(Bj ) ,

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

58

come volevasi dimostrare.

Lintegrale cos` definito gode delle consuete propriet`a dellintegrale: additivit`a e monotonia.
Teorema 3.2.3 Siano e due funzioni semplici su E, e siano a e b in R.
Allora
Z
Z
Z
[a (x) + b (x)] dx = a
(x) dx + b
(x) dx .
(2.2)
E

Se q.o., allora
Z

Z
(x) dx

(x) dx .

(2.3)

Dimostrazione. Siano
(x) =

n
X

ai Ai (x) ,

(x) =

i=1

m
X

bj Bj (x) ,

j=1

le rappresentazioni canoniche di e , e siano A0 = {x E : (x) = 0} e

B0 = {x E : (x) = 0}. Definiamo N = (n + 1) (m + 1) e
F = {Ai Bj , i = 0, . . . , n , j = 0, . . . , m} = {Ek , k = 1, . . . , N } .
Per definizione, gli Ek sono a due a due disgiunti e la loro unione `e tutto E.
Possiamo allora scrivere
(x) =

N
X

ak Ek (x) ,

(x) =

N
X

bk Ek (x) ,

k=1

k=1

con ak = ai per ogni k tale che Ek Ai , e bk = bj per ogni k tale che

Ek Bj . Si ha allora
a (x) + b (x) =

N
X
k=1

[a ak + b bk ] Ek (x) ,

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

59

da cui, per il Teorema 3.2.2,

Z
N
X
[a (x) + b (x)] dx =
[a ak + b bk ] m(Ek )
E

k=1
N
X

= a

N
X

Zk=1

ak m(Ek ) + b
bk m(Ek )
k=1
Z
(x) dx + b
(x) dx .

= a

Dal momento che per definizione lintegrale di una funzione semplice non
negativa quasi ovunque `e non negativo (linsieme E000 () su cui assume
valori negativi ha misura nulla, e quindi il suo contributo allintegrale `e nullo),
si ha, per quanto appena dimostrato,
Z
Z
Z
0
[(x) (x)] dx =
(x) dx
(x) dx ,
E

da cui (2.3).
Osservazione 3.2.4 Siccome lintegrale di E `e m(E) per definizione, per il
Teorema 3.2.3 lintegrale di a E `e a m(E) e quindi lintegrale della funzione
semplice
n
X
(x) =
ai Ei (x) ,
i=1

`e
Z

Z
(x) dx =

n
X

!
ai Ei (x)

dx =

i=1

n
X
i=1

Z
ai
E

Ei (x) dx =

n
X

ai m(Ei ) ,

i=1

che `e lo stesso risultato del Teorema 3.2.2, senza per`o lipotesi che gli Ei
siano a due a due disgiunti. In definitiva, se
(x) =

n
X

ai Ei (x) ,

i=1

`e una qualsiasi rappresentazione della funzione semplice , allora

Z
n
X
(x) dx =
ai m(Ei ) .
E

i=1

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

60

Definizione 3.2.5 Sia ora f : E R una funzione misurabile e limitata.

Allora sono non vuoti
S(f ) = { : E R , semplice, f (x) (x) per ogni x} ,
e
S(f ) = { : E R , semplice, (x) f (x) per ogni x} .
Si ha infatti che (supE f ) E `e in S(f ), mentre (inf E f ) E appartiene a S(f ).
Definiamo i due numeri reali
Z

Z
f (x) dx = inf
(x) dx , S(f ) ,
E

Z

Z
f (x) dx = sup
E


(x) dx , S(f ) .

Si noti che, per il Teorema 3.2.3 e per definizione di estremo superiore ed

inferiore, si ha
Z
Z
f (x) dx (sup f ) m(E) .
(inf f ) m(E)
f (x) dx
E

Come gi`a per lintegrale secondo Riemann, ci chiediamo se e quando questi

due valori siano uguali.
Teorema 3.2.6 Sia f : E R una funzione limitata, con E misurabile di
misura finita. Allora
Z
Z
f (x) dx
(2.4)
f (x) dx =
E

se e solo se f `e misurabile.
Dimostrazione. La prima parte della dimostrazione ricorda il terzo passo della dimostrazione del Teorema 2.4.12, usando il fatto che `e possibile
approssimare uniformemente funzioni misurabili con funzioni semplici.
Supponiamo che f sia misurabile e che M f (x) M per ogni x in
E. Sia n in N e definiamo, per k = n, . . . , n,


(k 1) M
kM
Ek = x E :
< f (x)
= E (k1) M (f ) E 000
kM (f ) ,
n
n
n
n

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

61

Essendo f misurabile, lo sono gli Ek . Inoltre, Ek Eh = , e lunione degli

Ek `e tutto E. Definiamo
n (x) =

n
X
kM
Ek (x) ,
n
k=n

n (x) =

n
X
(k 1)M
Ek (x) ,
n
k=n

cosicche n `e in S(f ), mentre n `e in S(f ). Pertanto

Z

Z
f (x) dx

e
Z

n (x) dx =

Z
f (x) dx

n
X
kM
m(Ek ) ,
n
k=n

n
X
(k 1)M
n (x) dx =
m(Ek ) .
n
k=n

Si ha cos`
n
M X
M
0
f (x) dx
f (x) dx
m(Ek ) =
m(E) .
n k=n
n
E
E

Facendo tendere n ad infinito, si trova che

Z
Z
f (x) dx =
f (x) dx ,
E

come si voleva dimostrare.

Viceversa, supponiamo che si abbia
Z
Z
f (x) dx =
f (x) dx .
E

Per definizione di estremo superiore ed inferiore, per ogni n in N esistono n

in S(f ) e n in S(f ) tali che
Z
Z
1
0
n (x) dx
n (x) dx .
(2.5)
n
E
E
Essendo sia n che n misurabili, per il Teorema 2.4.7 sono misurabili le
funzioni
(x) = inf {n (x) , n N} ,

(x) = sup {n (x) , n N} .

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

62

Si ha ovviamente
(x) n (x) f (x) n (x) (x) ,
cosicche se dimostriamo che = q.o., la funzione f `e uguale q.o. ad una
funzione misurabile (una qualsiasi tra e ) ed `e dunque misurabile per il
Teorema 2.4.10.
Sia allora
= {x E : (x) (x) > 0} =

+
[

{x E : (x) (x) >

k=1

+
[
1
}=
k .
k
k=1

Se x appartiene a k , allora si ha, per definizione di e , e per ogni n in

N,
1
n (x) n (x) (x) (x) > ,
k
e quindi, per ogni n in N,
(n)

k k = {x E : n (x) n (x) >

1
}.
k

Ma allora, essendo n (x) n (x) [n (x) n (x)] (n) (x), dal Teorema
k
3.2.3 segue che
Z
Z
1

[n (x) n (x)] dx
[n (x) n (x)] (n) (x) dx
k
n
E
E
Z
(n)
m(k )
1
(n) (x) dx =
.

k
k
E k
Pertanto, per ogni n in N,
(n)

0 m(k ) m(k )

k
,
n

e quindi (facendo tendere n ad infinito), m(k ) = 0, da cui segue m() = 0,

ovvero = q.o..
Come conseguenza del Teorema precedente, condizione necessaria e sufficiente affinche valga (2.4) `e che la funzione f sia misurabile e limitata; in altre parole, se prendiamo (2.4) come condizione di integrabilit`a, ogni funzione
misurabile e limitata `e integrabile. Abbiamo cos` la seguente definizione.

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

63

Definizione 3.2.7 Sia E un insieme misurabile con m(E) < + e sia f :

E R misurabile e limitata. Definiamo lintegrale secondo Lebesgue di f
su E come
Z

Z

Z
f (x) dx = inf
(x) dx , S(f ) = sup
(x) dx , S(f ) .
E

Osservazione 3.2.8 Se `e una funzione semplice, allora appartiene sia

a S() che a S(). Pertanto,
Z
Z
Z
n
X
(x) dx =
(x) dx =
(x) dx =
ai m(Ai ) .
E

i=1

Alla luce della definizione precedente, lintegrale secondo Lebesgue di `e

proprio il valore definito in (3.2.1); in altre parole, lintegrale secondo Lebesgue estende alle funzioni misurabili il concetto (intuitivo) di integrale dato
per funzioni semplici.
Osservazione 3.2.9 Ricordando che se F E `e misurabile e se f : E R `e
misurabile, allora la restrizione di f a F `e misurabile, ne segue che se f `e anche
limitata, f `e integrabile secondo Lebesgue. Siccome f F `e una funzione
misurabile e limitata su E (come prodotto di funzioni misurabili su E), allora
` facile vedere (osservando che il prodotto di una
f F `e integrabile su E. E
funzione semplice per una caratteristica `e ancora una funzione semplice) che
si ha
Z
Z
f (x) F (x) dx .
(2.6)
f (x) dx =
E

Sia ora E = [a, b] e sia f : [a, b] R limitata e integrabile secondo

Riemann; ci si chiede se f sia anche integrabile secondo Lebesgue (ovvero,
se sia misurabile) e, in caso affermativo, se il suo integrale secondo Lebesgue
coincida con il suo integrale secondo Riemann. La risposta, positiva, `e data
dal seguente teorema.
Teorema 3.2.10 Sia f : [a, b] R una funzione limitata e integrabile secondo Riemann. Allora f `e integrabile secondo Lebesgue e
Z b
Z
R
f (x) dx =
f (x) dx .
a

[a,b]

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

64

Dimostrazione. Se `e una funzione a gradino tale che (x) f (x) per

ogni x in [a, b], allora (x) `e una funzione semplice (si noti che `e misurabile
perche gli intervalli sono misurabili) e quindi `e in S(f ). Analogamente, se
`e una funzione a gradino tale che f (x) (x) per ogni x in [a, b], allora `e
in S(f ). Pertanto, per definizione,
Z b
Z
Z
Z b
R
f (x) dx R
f (x) dx .
f (x) dx
f (x) dx
a

[a,b]

[a,b]

Siccome f `e integrabile secondo Riemann, le disuguaglianze sono tutte uguaglianze; pertanto f `e misurabile (per il Teorema 3.2.6) e il suo integrale
secondo Lebesgue coincide con il suo integrale secondo Riemann.
Nel teorema che segue vengono enunciate alcune propriet`a dellintegrale
secondo Lebesgue.
Teorema 3.2.11 Siano f e g due funzioni misurabili e limitate su un insieme
misurabile E di misura finita. Allora
i) per ogni a e b in R si ha
Z
Z
Z
[a f (x) + b g(x)] dx = a
f (x) dx + b
g(x) dx ;
E

(2.7)

ii) se f = g q.o., allora

Z

Z
f (x) dx =

g(x) dx ;

(2.8)

g(x) dx ;

(2.9)

iii) se f g q.o., allora

Z

Z
f (x) dx

pertanto,
Z
 Z


 f (x) dx
|f (x)| dx ;


E

(2.10)

iv) se A f (x) B q.o., allora

Z
A m(E)

f (x) dx B m(E) ;
E

(2.11)

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

65

v) se E = A B, con A e B misurabili e disgiunti, allora

Z
Z
Z
f (x) dx =
f (x) dx +
f (x) dx .
E

(2.12)

Dimostrazione. Sia a un numero reale e f una funzione misurabile e limitata su E; se a = 0, allora a f (x) 0, lintegrale di a f `e nullo, e si ha
la (2.7) per b = 0 e g = 0. Sia ora a 6= 0; se `e una funzione semplice,
allora a `e una funzione semplice, e viceversa. Se a > 0, e `e una funzione
semplice in S(f ), allora a appartiene a S(a f ), e viceversa. Pertanto
Z
Z
Z
Z
f (x) dx .
(x) dx = a
a (x) dx = a inf
a f (x) dx = inf
S(f )

S(f )

Se, invece, a < 0, e `e in S(f ), allora a appartiene a S(a f ) e viceversa.

Pertanto, per definizione di integrale secondo Lebesgue,
Z
Z
Z
a (x) dx
a f (x) dx = inf
(x) dx = inf
S(f ) E
S(a f ) Z
E
E
Z
(x) dx = a
f (x) dx .
= a sup
S(f )

Siano ora 1 in Sf e 2 in Sg; allora 1 + 2 `e in S(f + g) e quindi, per

definizione di integrale e per la (2.2)
Z
Z
Z
Z
[1 (x) + 2 (x)] dx =
[f (x) + g(x)] dx
1 (x) dx +
2 (x) dx .
E

Passando allestremo inferiore sulle 1 in S(f ) e sulle 2 in S(g) al secondo

membro, si ha
Z
Z
Z
[f (x) + g(x)] dx
f (x) dx +
g(x) dx .
E

Siano poi 1 in S(f ) e 2 in S(g); allora 1 + 2 `e in S(f + g) e si ha

Z
E

Z
1 (x) dx +

Z
2 (x) dx =

Z
[1 (x) + 2 (x)] dx

[f (x) + g(x)] dx .
E

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

66

Prendendo lestremo inferiore sulle 1 in S(f ) e sulle 2 in S(g) al primo

membro, si ottiene
Z
Z
Z
f (x) dx +
g(x) dx
[f (x) + g(x)] dx ,
E

da cui segue che

Z

Z
[f (x) + g(x)] dx =

Z
f (x) dx +

g(x) dx ,
E

e quindi la (2.7), combinando questo risultato con quello ottenuto per a f .

Per provare (2.8) `e sufficiente allora provare che se f = g q.o.,
Z
[f (x) g(x)] dx = 0 .

(2.13)

Siccome f g = 0 q.o., se `e in S(f g), allora f g e quindi 0

q.o.; analogamente, se `e in S(f g), allora f g e quindi 0 q.o..
Ricordando (2.3), si ha allora
Z
Z
(x) dx 0
(x) dx ,
E

e quindi
Z
(x) dx 0 inf

sup
S(f g)

Z
S(f g)

(x) dx .
E

Essendo le due quantit`a uguali allintegrale di f g, ne segue (2.13).

Un ragionamento analogo (anzi, met`a del ragionamento), permette di
provare (2.9), mentre (2.10) segue dal fatto che |f (x)| f (x) |f (x)|
ovunque, e che se f `e misurabile e limitata allora lo `e |f |.
La formula (2.11) segue direttamente da (2.9), osservando che, per definizione di integrale di una funzione caratteristica,
Z
Z
Z
E (x) dx = A m(E) .
A dx = A
1 dx = A
E

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

67

Essendo poi E = A + B , si ha, per definizione, e per (2.7)

Z
Z
f (x) dx =
[f (x) A (x) + f (x) B (x)] dx
E
ZE
Z
=
f (x) A (x) dx +
f (x) B (x) dx
Z
ZE
E
f (x) dx +
f (x) dx ,
=
A

che `e la (2.12).
Sia ora fn una successione di funzioni misurabili e limitate definite su un
insieme E misurabile di misura finita. Si pu`o allora calcolare lintegrale di
fn su E. Supponiamo che la successione fn converga quasi ovunque in E
ad una funzione f : tale funzione risulta misurabile per il Teorema 2.4.7; se
supponiamo che la f sia anche limitata, allora ha senso considerare lintegrale
di f su E, cos` come ha senso porsi la domanda se lintegrale delle fn converga
allintegrale della f . La risposta `e affermativa, se sulle funzioni fn (che
sono limitate per ipotesi) si richiede che la limitatezza sia uniforme. Osserviamo che senza lipotesi di limitatezza sulla funzione f , la domanda se
lintegrale delle fn converga o meno allintegrale della f non ha alcun senso,
dal momento che lintegrale della f non `e definito.
Teorema 3.2.12 (Convergenza limitata) Sia E un insieme misurabile di
misura finita, e sia fn : E R una successione di funzioni misurabili tali che
i) esiste M 0 tale che |fn (x)| M per ogni n in N e per ogni x in E;
ii) esiste una funzione limitata f : E R tale che fn converge quasi
ovunque ad f in E.
Allora

Z
lim

n+

Z
fn (x) dx =

f (x) dx .

(2.14)

Dimostrazione. Sia > 0. Applichiamo il Teorema di Egorov (Teorema 2.4.15) e determiniamo un insieme A contenuto in E, con m(A ) < ,
tale che fn converge uniformemente a f in E \A ; ci`o vuol dire che (per lo
stesso ) esiste n in N tale che
sup |fn (x) f (x)| ,
E\A

n n .

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

68

Si ha allora, per n n , usando i risultati del Teorema 3.2.11, e detto M 0 il

numero reale positivo tale che |f (x)| M 0 per ogni x in E,
Z

Z

Z




 fn (x) dx


f (x) dx =  [fn (x) f (x)] dx

E
E
ZE

|fn (x) f (x)| dx

ZE
|fn (x) f (x)| dx
=
E\A
Z
+
|fn (x) f (x)| dx
A

m(E \A ) sup |fn (x) f (x)|

E\A
0

+(M + M ) m(A )
m(E) + (M + M 0 ) ,
e quindi la tesi.
Osservazione 3.2.13 Se la successione fn converge puntualmente (ovvero,
ovunque) ad f , la funzione f `e evidentemente limitata come conseguenza
dellipotesi i). Nel caso in cui la convergenza sia solo q.o., si ha |f (x)| M
solo nellinsieme E \ A, dove A `e linsieme di misura nulla su cui fn non
converge ad f . Su A, la f (pur essendo misurabile), pu`o non essere limitata;
di qui la necessit`a di richiedere la limitatezza di f ovunque.
Esempio 3.2.14 Riprendiamo la successione fn definita nellEsempio 3.1.1.
La successione fn soddisfa le ipotesi del teorema precedente, e quindi si ha
Z
Z
lim
fn (x) dx =
D(x) dx ;
n+

[0,1]

[0,1]

si osservi che in questo caso (sia fn che D sono quasi ovunque uguali alla
funzione nulla, per cui il risultato numerico `e banalmente vero), entrambi
i membri hanno senso!

3.2.2

Funzioni non negative

Grazie al Teorema 3.2.6, ogni funzione misurabile e limitata su un insieme

di misura finita `e integrabile secondo Lebesgue. Che succede se la funzione

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

69

f non `e limitata, o linsieme E `e di misura infinita? Una prima risposta, o

meglio una definizione, viene data per funzioni di segno costante.
Definizione 3.2.15 Sia E un insieme misurabile, e sia f : E R una
funzione misurabile e non negativa quasi ovunque. Allora `e non vuoto linsieme M (f ) delle funzioni h : E R misurabili, limitate, non negative quasi
ovunque, tali che m(E0 (h)) < + e h(x) f (x) q.o.; infatti, la funzione
identicamente nulla `e in M (f ). Per una funzione h in M (f ), definiamo
Z
Z
Z
h(x) dx =
h(x) E0 (h) dx =
h(x) dx .
E

E0 (h)

Definiamo poi lintegrale di f su E come

Z

Z
h(x) dx , h M (f ) .
f (x) dx = sup

(2.15)

Osservazione 3.2.16 Se E `e un insieme misurabile di misura finita, e f :

E [0, +) `e una funzione misurabile, non negativa quasi ovunque e limitata, allora f appartiene a M (f ) e pertanto il suo integrale secondo la
definizione precedente non `e altro che lintegrale di f definito nella sezione
precedente.
` ovviamente, possibile che lintegrale di f su E valOsservazione 3.2.17 E,
ga +. Ad esempio, se f 1 su R, allora la funzione hn = [n,n] appartiene
a M (f ) per ogni n in N e quindi
Z
Z
Z
f (x) dx
hn (x) dx =
1 dx = m([n, n]) = 2n .
R

[n,n]

Analogamente, se f (x) = 1/x su (0, 1), la funzione hn definita in (0, 1) da


n se x (0, n1 ),
hn (x) = 1
se x [ n1 , 1),
x
`e integrabile secondo Lebesgue (perche `e misurabile essendo continua e limitata) e il suo integrale vale (per il Teorema 3.2.10)
Z
Z 1
hn (x) dx = R
hn (x) dx = 1 + ln(n) ,
(0,1)

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

70

che diverge quando n tende ad infinito. Siccome hn (x) `e in M (f ) per ogni

n in N, ne segue che lintegrale di f su (0, 1) vale +. Analogamente, ha
valore + lintegrale della funzione f = + [0,1] .
Lintegrale cos` definito gode delle solite propriet`a dellintegrale (almeno quelle che preservano la non negativit`a di una funzione).
Teorema 3.2.18 Sia E un insieme misurabile, e siano f e g due funzioni
definite su E, misurabili e non negative quasi ovunque. Allora
i) per ogni c > 0 si ha
Z

Z
c f (x) dx = c

f (x) dx ;

(2.16)

ii)
Z

g(x) dx ;

f (x) dx +

[f (x) + g(x)] dx =

(2.17)

iii) se f g q.o., allora

Z

Z
f (x) dx

g(x) dx ;

(2.18)

di conseguenza, se f = g q.o.,
Z
Z
f (x) dx =
g(x) dx ;

(2.19)

Dimostrazione. La dimostrazione di (2.16) e (2.18) segue la stessa linea

della prova del Teorema 3.2.11 (ad esempio, se h `e in M (f ), allora c h `e in
M (c f ), e viceversa). Proviamo allora (2.17). Siano h in M (f ) e k in M (g).
Allora h + k `e in M (f + g) (si noti che E0 (h + k) E0 (h) E0 (k), e quindi
h + k `e strettamente positiva solo su un insieme di misura finita) e pertanto
Z
Z
Z
Z
h(x) dx +
k(x) dx =
[h(x) + k(x)] dx [f (x) + g(x)] dx .
E

Passando allestremo superiore per h in M (f ) e k in M (g), si ha

Z
Z
Z
f (x) dx +
g(x) dx [f (x) + g(x)] dx .
E

(2.20)

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

71

Viceversa, sia l in M (f + g), e definiamo h(x) = min(f + (x), l(x)) e k(x) =

l(x) h(x). Evidemente h appartiene a M (f ) (dove l `e nulla anche h `e nulla,
e pertanto h `e diversa da zero solo su un insieme di misura finita); inoltre,
k vale o 0 (dove coincide con l), oppure l f + g (essendo l f + g, si
ha l f + + g), e quindi si ha sempre k(x) g(x); pertanto, k appartiene a
M (g) e si ha
Z
Z
Z
Z
Z
l(x) dx =
h(x) dx +
k(x) dx
f (x) dx +
g(x) dx .
E

Prendendo lestremo superiore al variare di l in M (f + g) si ha allora

Z
Z
Z
g(x) dx ,
f (x) dx +
[f (x) + g(x)] dx
E

che, insieme a (2.20), d`a la tesi.

Il prossimo teorema, di importanza fondamentale, `e il primo passo per
estendere il risultato del Teorema di convergenza limitata a successioni di
funzioni misurabili qualsiasi.
Teorema 3.2.19 (Lemma di Fatou) Sia E un insieme misurabile, e sia
fn : E R una successione di funzioni misurabili e non negative quasi
ovunque tale che fn converge quasi ovunque in E ad una funzione f . Allora
Z
Z
fn (x) dx .
(2.21)
f (x) dx lim inf
n+

Dimostrazione. Sia h in M (f ), e definiamo

hn (x) = max [min [h(x), fn (x)], 0] .
La funzione hn `e misurabile (perche sia h che fn lo sono), `e limitata (perche
hn 0 ovunque, hn h quasi ovunque, e dove hn `e maggiore di h si ha
hn = 0 essendo h < 0) e non negativa su E, `e tale che m(E0 (hn )) < +
(perche E0 (hn ) E0 (h), e E0 (h) ha misura finita essendo h in M (f )) e si
ha hn (x) fn (x) quasi ovunque (per definizione). Pertanto, hn `e in M (fn )
e quindi
Z
Z
hn (x) dx
E

fn (x) dx ,
E

(2.22)

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

72

per ogni n in N. Siccome h(x) f (x) q.o. in E, e fn converge a f q.o. in E,

si ha che hn (x) converge a h(x) q.o. in E per n tendente ad infinito; inoltre
hn (x) `e equilimitata; `e allora possibile applicare il Teorema di convergenza
limitata alla successione hn ristretta allinsieme (di misura finita) E0 (h), ed
ottenere che
Z
Z
hn (x) dx =
h(x) dx .
lim
n+

E0 (h)

E0 (h)

Essendo per`o E0 (hn ) E0 (h) E, ed essendo hn nulla su E0 (h)\E0 (hn ) si

ha
Z
Z
Z
hn (x) dx =
hn (x) dx =
hn (x) dx ,
E0 (h)

E0 (hn )

per definizione di integrale di hn su E, e quindi (per definizione di integrale

di h su E),
Z
Z
h(x) dx .
lim
hn (x) dx =
n+

Ricordando (2.22) si ha allora

Z
Z
Z
h(x) dx = lim
hn (x) dx lim inf
fn (x) dx .
n+

n+

Passando allestremo superiore per h in M (f ) si ha la tesi.

Se aggiungiamo unipotesi la monotonia alla successione fn , la tesi
del teorema precedente `e ancora pi`
u forte.
Teorema 3.2.20 (Beppo Levi Convergenza monotona) Sia E un insieme misurabile, e sia fn : E R una successione crescente di funzioni
misurabili e non negative quasi ovunque. Detto f il limite puntuale delle fn ,
si ha
Z
Z
lim
fn (x) dx =
f (x) dx
(2.23)
n+

Dimostrazione. Per il Lemma di Fatou, abbiamo

Z
Z
f (x) dx lim inf
fn (x) dx ;
n+

inoltre, essendo fn f ovunque in E, per ogni n in N si ha

Z
Z
fn (x) dx
f (x) dx ,
E

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

da cui

Z
n+

Z
fn (x) dx

lim sup

73

f (x) dx ,
E

e quindi la tesi.
Corollario 3.2.21 Sia E un insieme misurabile e gn : E R una successione di funzioni misurabili e non negative quasi ovunque. Detta
f (x) =

+
X

gi (x) dx ,

i=1

si ha
Z
f (x) dx =
E

+ Z
X

gi (x) dx .

i=1

` sufficiente usare le propriet`a dellintegrale e applicare

Dimostrazione. E
il Teorema di convergenza monotona alla successione crescente di funzioni
non negative quasi ovunque
fn (x) =

n
X

gn (x) .

i=1

Teorema 3.2.22 Sia E un insieme misurabile e sia f : E R una funzione

misurabile e non negativa quasi ovunque. Sia {En } una successione di insiemi
misurabili a due a due disgiunti e tali che la loro unione `e E; allora
Z
f (x) dx =
E

+ Z
X
n=1

f (x) dx .

En

Dimostrazione. Detta gn = f En , si pu`o applicare il Corollario 3.2.21 dal

momento che f `e proprio la somma della serie delle gn e che
Z
Z
gn (x) dx =
f (x) dx .
E

En

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

74

Abbiamo fino ad ora parlato di integrale per funzioni misurabili e non negative, e abbiamo provato alcune propriet`a, tra le quali il fatto che lintegrale
della somma di due funzioni `e la somma degli integrali. Dal momento che
abbiamo a che fare con valori che possono essere infiniti, `e chiaro che non
possiamo parlare di legami tra lintegrale della differenza di due funzioni e
la differenza degli integrali; ad esempio, prendendo f 2 e g 1 su R,
lintegrale di entrambe le funzioni `e infinito, come lintegrale della differenza,
ma se prendiamo f = 1 + [0,1] e g 1, la differenza ha integrale 1. Per poter
operare in maniera algebricamente corretta, diamo la seguente definizione.
Definizione 3.2.23 Sia E un insieme misurabile e f : E R una funzione
misurabile e non negativa quasi ovunque. La funzione f si dice sommabile
se si ha
Z
f (x) dx < + .
E

Vale allora il seguente risultato.

Teorema 3.2.24 Sia E un insieme misurabile e siano f e g due funzioni
misurabili e non negative quasi ovunque definite su E. Supponiamo che f
sia sommabile e che g(x) f (x) q.o. in E. Allora g `e sommabile e si ha
Z
Z
Z
g(x) dx .
(2.24)
f (x) dx
[f (x) g(x)] dx =
E

Dimostrazione. Si ha f = (f g) + g, con g e f g non negative quasi

ovunque. Allora, per (2.17)
Z
Z
Z
f (x) dx =
[f (x) g(x)] dx +
g(x) dx .
E

Siccome il primo membro `e finito per ipotesi, lo sono entrambi gli addendi a
destra (essendo non negativi); pertanto, g `e sommabile e si ha la (2.24).
Una funzione sommabile non pu`o assumere il valore + su insiemi di
misura positiva.

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

75

Teorema 3.2.25 (Chebyshev) Sia E un insieme misurabile, e f : E R

una funzione misurabile, non negativa quasi ovunque e sommabile. Allora,
per ogni > 0 si ha
Z
m({x E : f (x) })
f (x) dx .
(2.25)
E

In particolare, m({x E : f (x) = +}) = 0.

Dimostrazione. Si ha, quasi ovunque in E,
{xE:f (x)} f (x) {xE:f (x)} f (x) ,
e quindi, integrando;
Z

Z
f (x) dx

m({x E : f (x) })
{xE:f (x)}

f (x) dx .
E

Definiamo poi En = {x E : f (x) n}. Allora m(E1 ) < + (essendo

minore dellintegrale di f su E, finito per ipotesi), En+1 En e {x E :
f (x) = +} `e lintersezione degli En . Allora, per (2.25),
Z
1
m({x E : f (x) = +}) = lim m(En ) lim
f (x) dx = 0 ,
n+
n+ n E
e quindi la tesi.
Per funzioni sommabili vale il seguente risultato, detto assoluta continuit`a dellintegrale.
Teorema 3.2.26 Sia E un insieme misurabile e sia f : E R misurabile,
non negativa quasi ovunque e sommabile. Allora per ogni > 0 esiste > 0
tale che A E e m(A) implica
Z
f (x) dx .
A

Dimostrazione. Se la funzione f `e limitata, ovvero se 0 f (x) M per

ogni x in E, `e sufficiente scegliere = /M per avere la tesi; infatti, per ogni
A misurabile contenuto in E,
Z
Z
f (x) dx
M dx = M m(A) M = .
A

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

76

Supponiamo allora f non limitata, e definiamo, per n in N,


f (x) se f (x) n,
fn (x) =
n
se f (x) > n.
Si ha ovviamente fn (x) fn+1 (x) f (x), e fn (x) converge puntualmente
ad f . Per il teorema di convergenza monotona,
Z
Z
lim
fn (x) dx =
f (x) dx .
n+

Pertanto, fissato > 0, esiste n in N tale che, per ogni n n ,

Z
Z

fn (x) dx
f (x) dx .
2
E
E
Daltra parte, scegliendo = 2n , si ha che m(A) implica
Z

fn (x) dx n m(A) n = .
2
A
Pertanto, se m(A) , essendo [f fn ] A [f fn ],
Z
Z
Z
fn (x) dx
[f (x) fn (x)] dx +
f (x) dx =
ZA
A
A

[f (x) fn (x)] dx + ,
2
E
e quindi la tesi.

3.2.3

Lintegrale di Lebesgue generale

Sia E un insieme misurabile, e sia f : E R una funzione misurabile;

ricordiamo che le funzioni f + (x) = max(f (x), 0) e f (x) = max(f (x), 0)
sono misurabili, che f = f + f , mentre |f | = f + + f .
Definizione 3.2.27 Sia E un insieme misurabile e f : E R una funzione
misurabile. La funzione f si dice sommabile su E se e solo se f + e f
sono sommabili su E, ovvero se e solo se |f | `e sommabile su E; in tal caso,
definiamo
Z
Z
Z
+
f (x) dx =
f (x) dx
f (x) dx .
E

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

77

Anche lintegrale generale di Lebesgue gode delle propriet`a solite, la cui

dimostrazione `e omessa.
Teorema 3.2.28 Sia E un insieme misurabile e siano f e g funzioni misurabili a valori in R, entrambe sommabili. Allora
i) per ogni c in R la funzione c f `e sommabile su E, e si ha
Z
Z
c f (x) dx = c
f (x) dx ;
E

ii) la funzione f + g `e sommabile su E, e si ha

Z
Z
Z
g(x) dx ;
f (x) dx +
[f (x) + g(x)] dx =
E

iii) se f g q.o., allora

Z

Z
f (x) dx

g(x) dx ;
E

di conseguenza, se f = g q.o., allora

Z
Z
g(x) dx ;
f (x) dx =
E

iv) se E = A B, con A e B disgiunti e misurabili, allora

Z
Z
Z
f (x) dx =
f (x) dx +
f (x) dx .
E

Osservazione 3.2.29 Si noti che f (x) + g(x) non `e definita su G+ (f )

G (g) e su G (f ) G+ (g). Questi insiemi, per`o, hanno misura nulla
per il Teorema 3.2.25; pertanto, qualsiasi sia il valore assegnato a f + g su
questi punti, il valore dellintegrale non cambia.
Per le funzioni sommabili vale un ulteriore teorema di passaggio al limite
sotto il segno di integrale, che indebolisce le ipotesi fatte nel Teorema della
convergenza limitata (che ne diventa un caso particolare).

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

78

Teorema 3.2.30 (Lebesgue Convergenza dominata) Sia E un insieme misurabile e sia g : E R una funzione misurabile e sommabile. Sia
fn : E R una successione di funzioni misurabili tale che |fn (x)| g(x)
quasi ovunque in E. Supponiamo inoltre che fn converga quasi ovunque a f
in E. Allora
Z
Z
fn (x) dx =
f (x) dx .
lim
n+

Dimostrazione. La successione gfn `e fatta di funzioni non negative quasi

ovunque e converge quasi ovunque in E alla funzione gf , non negativa quasi
ovunque anchessa (dal momento che fn (x) converge a q.o. a f (x)). Per il
Lemma di Fatou,
Z
Z
[g(x) fn (x)] dx .
[g(x) f (x)] dx lim inf
n+

Essendo |f | g, con g sommabile, anche f lo `e, e quindi dalla disuguaglianza

precedente segue che
Z
Z
Z
Z
g(x) dx
f (x) dx
g(x) dx lim sup
fn (x) dx ,
E

n+

e quindi
Z

Z
fn (x) dx

lim sup
n+

f (x) dx .
E

Considerando g + fn , si ha che
Z
Z
f (x) dx lim inf
fn (x) ,
E

n+

e quindi la tesi.

3.2.4

Convergenza in misura

Strettamente legato ai teoremi di passaggio al limite `e il concetto di convergenza in misura.

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

79

Definizione 3.2.31 Sia {fn } una successione di funzioni misurabili definite

su un insieme misurabile E a valori in R. La successione fn si dice convergente
a f in misura se per ogni > 0 esiste n in N tale che
m({x E : |fn (x) f (x)| }) ,

n n .

Alternativamente, fn converge a f in misura se per ogni > 0 si ha

lim m({x E : |fn (x) f (x)| }) = 0 .

n+

Se {fn } `e una successione di funzioni sommabili tali che lintegrale di |fn |

tende a zero, allora fn tende a zero in misura. Infatti, per (2.25),
Z
|fn (x)| dx lim m({x E : |fn (x)| }) .
0 = lim
n+

n+

Il legame tra la convergenza in misura e la convergenza quasi ovunque `e

dato dal seguente teorema.
Teorema 3.2.32 Sia {fn } una successione di funzioni misurabili definite su
un insieme misurabile E a valori in R. Se fn converge in misura a f , allora
esiste una sottosuccessione {fnk } che converge quasi ovunque a f .
Dimostrazione. Sia k in N. Siccome fn converge in misura a f , esiste nk
in N tale che
m({x E : |fn (x) f (x)| 2k }) 2k ,

n nk .

Definiamo Ek = {x E : |fnk (x) f (x)| 2k } e sia, per h in N fissato,

[
Ah =
Ek .
kh

Per la subadditivit`a della misura si ha m(Ah ) 2h+1 . Sia ora x in E \Ah .

Allora x non appartiene allinsieme su cui |fnk (x) f (x)| 2k per ogni
k h, e quindi
|fnk (x) f (x)| 2k ,
k h .

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

80

Pertanto, per ogni h in N si ha che fnk (x) converge a f (x) su E\Ah . Sia ora
A=

+
\

Ah .

h=1

Dal momento che m(A1 ) 1, e che gli Ah sono una successione decrescente,
si ha
m(A) = lim m(Ah ) = 0 .
h+

Siccome fnk (x) converge a f (x) su E \Ah per ogni h, allora fnk (x) converge
a f (x) su E \A, e quindi la si ha la tesi.
Alla luce del precedente risultato, `e possibile modificare lipotesi fn converge a f q.o. nel lemma di Fatou e nei teoremi di convergenza limitata e
dominata, sostituendoli con fn converge a f in misura.
Esempio 3.2.33 Il contrario del teorema precedente non `e vero in generale:
se fn converge quasi ovunque a f , non `e detto che fn converga in misura a
f (ne che lo faccia una sua sottosuccessione). Ad esempio, se fn = (n,n) ,
fn converge quasi ovunque a f 1 in R, ma fn non converge in misura ad f
dal momento che, per ogni > 0,
m({x R : |fn (x) 1| }) = m(R\(n, n)) = + .
Esempio 3.2.34 Se, per`o, m(E) < +, ogni successione convergente quasi
ovunque converge in misura. Infatti, per il Teorema di Egorov, per ogni > 0
esiste A contenuto in E, con m(A ) < , e n in N, tali che
sup |fn (x) f (x)| < ,

n n .

E\A

Pertanto, per n n linsieme degli x di E su cui |fn (x) f (x)| `e

contenuto in A e ha dunque misura minore di .
Una volta introdotto il concetto di convergenza in misura, si pu`o enunciare
il seguente teorema, che fornisce una condizione necessaria e sufficiente per
poter passare al limite sotto il segno di integrale.

CAPITOLO 3. TEORIA DELLINTEGRAZIONE

81

Teorema 3.2.35 (Vitali) Sia {fn } una successione di funzioni misurabili

definite su un insieme misurabile E, e supponiamo che fn converga a f in
misura. Allora
Z
lim
|fn (x) f (x)| dx = 0 ,
n+

> 0 > 0 : m(A) < sup

nN

|fn (x)| dx .
A

La seconda condizione del teorema precedente prende il nome di equiassoluta integrabilit`a della successione {fn }. Il Teorema di Vitali permette di
migliorare il Teorema di Lebesgue.
Teorema 3.2.36 Sia {fn } una successione di funzioni misurabili definite
su un insieme misurabile E, e supponiamo che fn converga a f in misura.
Supponiamo inoltre che, per ogni n, |fn (x)| gn (x) quasi ovunque, con {gn }
successione di funzioni misurabili tali che
Z
|gn (x) g(x)| dx = 0 ,
lim
n+

per qualche funzione g. Allora

Z
lim
|fn (x) f (x)| dx = 0 .
n+

Dimostrazione. Dal momento che lintegrale di |gn (x) g(x)| tende a

zero, per il Teorema di Vitali () la successione {gn } `e equiassolutamente
integrabile. Ovvero, per ogni > 0 esiste > 0 tale che m(A) < implica
Z
sup
|gn (x)| dx ,
nN

Essendo |fn (x)| gn (x), si ha

Z
Z
|fn (x)| dx
|gn (x)| dx ,
A

per ogni n in N, non appena m(A) < . La successione {fn } `e pertanto

equiassolutamente integrabile, e dal Teorema di Vitali () si ha la tesi.

Capitolo 4
Gli spazi Lp
4.1

L1(E)

Nel precedente capitolo abbiamo introdotto lintegrale secondo Lebesgue per

funzioni misurabili su un insieme misurabile E. In particolare, e per dimostrare il teorema di Lebesgue, ci siamo ristretti alla classe delle funzioni
sommabili cio`e le funzioni con integrale del modulo finito. Tale insieme
pu`o essere reso uno spazio metrico nel modo seguente.
Definizione 4.1.1 Sia E un insieme misurabile. Se f e g sono misurabili
` facile vedere che `e una
su E, definiamo f g se e solo se f = g q.o.. E
relazione di equivalenza. Definiamo allora


Z
|f (x)| dx < +
f : E R misurabili:
E
1
,
L (E) =

ovvero lo spazio delle (classi di equivalenza quasi ovunque di) funzioni sommabili su E. Si indicher`a sempre con f lelemento [f ] di L1 (E) (ovvero,
lavoreremo con le funzioni ma tenendo sempre a mente che si tratta in realt`a
di classi di equivalenza).
Su L1 (E) definiamo la seguente distanza:
Z
d1 (f, g) =
|f (x) g(x)| dx .
E

82

CAPITOLO 4. GLI SPAZI LP

83

Osserviamo che d1 `e ben definita: non dipende dalla scelta del rappresentante
nella classe di equivalenza, dato che se h [f ] e k [g], allora |hk| = |f g|
quasi ovunque e dunque gli integrali sono uguali; inoltre, d1 (f, g) `e un numero
reale per ogni f e g in L1 (E), dato che |f (x) g(x)| |f (x)| + |g(x)| e
lintegrale `e monotono.
Si verifica facilmente che d1 (f, g) 0 e che d1 (f, g) = d1 (g, f ); inoltre
|f (x) g(x)| |f (x) h(x)| + |h(x) g(x)| ,
e, integrando su E, si ha la disuguaglianza triangolare. Rimane da dimostrare
che se d1 (f, g) = 0, allora [f ] = [g], ovvero che f = g quasi ovunque. In altre
parole, se h `e una funzione ovunque non negativa tale che lintegrale di h su
E vale zero, allora deve essere h = 0 quasi ovunque. Per dimostrare questo
fatto, sia a > 0 e definiamo Ea (h) = {x E : h(x) > a}. Si ha allora
Z
Z
Z
Ea (h) (x) dx = a m(Ea (h)) ,

h(x) Ea (h) (x) dx a

h(x) dx
0=
E

e quindi m(Ea (h)) = 0 per ogni a > 0, da cui segue (essendo E0 (h) lunione
di E1/n (h) al variare di n in N) che E0 (h) ha misura nulla, e quindi h = 0
quasi ovunque.
In definitiva, (L1 (E), d1 ) `e uno spazio metrico. Se E = [a, b], essendo ogni
funzione continua su [a, b] misurabile e limitata (quindi integrabile, e con integrale finito), si ha che C 0 ([a, b], R) `e un sottoinsieme proprio di L1 ([a, b]).
Siamo dunque partiti dallo spazio (non completo) (C 0 ([a, b], R), d1 ), abbiamo
introdotto la misura secondo Lebesgue, le funzioni misurabili, le funzioni integrabili ed infine le funzioni sommabili (che sono un sottoinsieme proprio delle
funzioni integrabili); su questultimo insieme (opportunamente quozientato)
abbiamo mostrato come d1 sia una distanza. Ci chiediamo ora se il nostro
lavoro sia finito; ovvero se (L1 ([a, b]), d1 ) sia completo, e se le funzioni continue siano dense in (L1 ([a, b]), d1 ). Se cos` fosse, avremmo dimostrato che
(L1 ([a, b]), d1 ) `e il completamento di (C 0 ([a, b], R), d1 ). Fortunatamente, cos`
`e. . .
Definizione 4.1.2 Sia {fk } una successione di funzioni in L1 (E). Diciamo
che la serie
n
X
Sn (x) =
fk (x) ,
k=1

CAPITOLO 4. GLI SPAZI LP

84

converge a
S(x) =

+
X

fk (x)

k=1
1

in L (E) se
Z
|Sn (x) S(x)| dx = 0 .

lim d1 (Sn , S) = lim

n+

n+

Diciamo che la serie Sn converge totalmente in L1 (E) se

+ Z
X
k=1


|fk (x)| dx

< + .

Teorema 4.1.3 Sia {fk } una successione di funzioni in L1 (E) tale che la
serie
n
X
fk (x) ,
Sn (x) =
k=1

converge totalmente in L1 (E). Allora esiste una funzione S in L1 (E) tale che
la serie Sn converge a S in L1 (E).
Dimostrazione. Sia n in N e definiamo

+ Z
n
X
X
|fk (x)| .
M=
|fk (x)| dx ,
gn (x) =
E

k=1

k=1

Allora {gn } `e una successione di funzioni non negative in L1 (E) (come somma
di funzioni in L1 (E)) e tale che
Z
0

gn (x) dx =
E

n Z
X
k=1


|fk (x)| dx

M.

Inoltre, per ogni x in E, {gn (x)} `e una successione monotona a valori in

` pertanto ben definita la funzione
[0, +]. E
g(x) = lim gn (x) ,
n+

CAPITOLO 4. GLI SPAZI LP

85

e si ha g : E [0, +]; inoltre, g `e non negativa e misurabile. Per il lemma

di Fatou (o per il teorema di convergenza monotona),
Z
Z
0
g(x) dx lim inf
gn (x) dx M ,
E

n+

e quindi g appartiene a L1 (E). Essendo in L1 (E), g `e finita quasi ovunque,

ovvero m(G+ (g)) = 0. Sia ora x in E \G+ (g). Per tale x la serie
+
X

fk (x) ,

k=1

converge assolutamente, e quindi semplicemente. Possiamo allora definire,

per x in E \G+ (g),
+
X
S(x) =
fk (x) .
k=1

Se x appartiene a G+ (g), definiamo S(x) = 0. Cos` facendo, abbiamo

|S(x)| g(x) q.o. (anzi, ovunque), e pertanto S appartiene a L1 (E). Dimostriamo ora che la serie Sn converge in L1 (E) a S. Innanzitutto, Sn converge
quasi ovunque a S (non vi converge al pi`
u in G+ (g) che ha misura nulla).
Inoltre, essendo anche |Sn (x)| g(x) (come si verifica facilmente),
|Sn (x) S(x)| 2 g(x) ,
con g in L1 (E). Per il teorema di Lebesgue, lintegrale di |Sn (x) S(x)|
tende a zero, e quindi d1 (Sn , S) tende a zero.
Osservazione 4.1.4 Un modo alternativo per concludere la dimostrazione
precedente `e il seguente:

Z
Z  X
+



|Sn (x) S(x)| dx =
fk (x) dx


E
E k=n+1
!
Z
+
X

|fk (x)| dx
=

E
k=n+1
+
X Z
k=n+1


|fk (x)| dx

CAPITOLO 4. GLI SPAZI LP

86

(applicando il teorema di convergenza monotona nellultimo passaggio), e

lultimo termine `e infinitesimo per ipotesi (`e la serie resto di una serie convergente).
Lemma 4.1.5 Sia (X, d) uno spazio metrico, e sia {xn } una successione di
Cauchy in (X, d). Se esiste una sottosuccessione {xnk } convergente a x0 in
(X, d), allora tutta la successione xn converge a x0 in (X, d).
Dimostrazione. Sia > 0, e sia n tale che d(xn , xm ) /2 per ogni n e
m maggiori di n . Sia poi k tale che nk n e d(xnk , x0 ) /2 per ogni
k k . Allora, per ogni n n ,
d(xn , x0 ) d(xn , xnk ) + d(xnk , x0 ) ,
da cui la tesi.
Teorema 4.1.6 Lo spazio metrico (L1 (E), d1 ) `e completo.
Dimostrazione. Sia {fn } una successione di Cauchy in (L1 (E), d1 ); ovvero, per ogni > 0 esiste n in N tale che
Z
d1 (fn , fm ) =
|fn (x) fm (x)| dx ,
n, m n .
E

Pertanto, per ogni k in N, esiste nk in N tale che

Z
1
d1 (fn , fm ) =
|fn (x) fm (x)| dx k ,
2
E

n, m nk .

Scegliamo gli nk in modo tale che nk+1 > nk , cosicche {fnk } `e una sottosuccessione estratta da {fn }. Definiamo
g1 = fn1 ,

gk = fnk fnk1 ,

in modo tale che si abbia

fnk (x) =

k
X
h=1

gh (x) .

CAPITOLO 4. GLI SPAZI LP

Allora
+ Z
X
h=1


|gh (x)| dx

87

Z
|g1 (x)| dx +

Z
|g1 (x)| dx +

ZE

+ Z
X
h=2
+
X
h=2


|fnh (x) fnh1 (x)| dx

1
2h1

|g1 (x)| dx + 1 < + .

=
E

P
Pertanto, la serie Sk (x) = kh=1 gh (x) converge totalmente in L1 (E). Per
il teorema precedente, esiste f in L1 (E) tale che Sk converge a f . Essendo
Sk = fnk , abbiamo estratto da fn una sottosuccessione convergente in L1 (E)
ad f . La tesi segue allora dal Lemma 4.1.5.
Teorema 4.1.7 Sia f una funzione in L1 ([a, b]). Allora esiste una successione di funzioni fn in C 0 ([a, b], R) tale che fn converge a f in L1 ([a, b]).
Dimostrazione. La dimostrazione `e in due passi.
Passo 1: Sia f in L1 ([a, b]), f limitata.
Sia > 0 e sia f uno qualsiasi dei rappresentanti nella classe [f ]; essendo
f misurabile, applichiamo il Teorema 2.4.12: esiste C contenuto in [a, b],
chiuso, tale che m([a, b]\C ) < e tale che la restrizione di f a C `e continua.
Non `e restrittivo supporre che a e b appartengano a C ; infatti, se a o b non
sono in C , `e sempre possibile aggiungerveli definendo f (a) = 0 (o f (b) = 0),
senza modificare ne la misura, ne la chiusura di C , ne la continuit`a della
restrizione di f a C (se a o b non sono in C , allora nessuna successione a
valori in C pu`o convergere ad a (o a b)). Sia E = [a, b] \ C ; allora E `e
aperto (nella topologia indotta su [a, b] dalla topologia di R). Pertanto, esiste
una famiglia numerabile di intervalli aperti, a due a due disgiunti, tali che
E =

+
[

(an , bn ) .

n=1

Siccome gli intervalli sono a due a due disgiunti, i punti an e bn non appartengono a E , e sono quindi in C , il che vuol dire che sono definiti sia f (an )
che f (bn ). Definiamo allora la funzione g nel seguente modo:

f (x)
se x in C ,
g (x) = f (bn )f (an )
(x an ) + f (an ) se x in (an , bn ) E .
bn an

CAPITOLO 4. GLI SPAZI LP

88

In altre parole, stiamo definendo g su (an , bn ) in maniera lineare. La funzione g cos` ottenuta `e continua su [a, b]. Infatti, g `e continua su C , ed `e
continua (essendo lineare) in (an , bn ). Rimane da verificare che `e continua
nei punti an e bn (per ogni n in N). Se {xk } `e una successione contenuta in
C e convergente ad an , allora g (xk ) = f (xk ) converge a f (an ) (perche f `e
continua su C ); se, invece, {xk } `e una successione contenuta in E e convergente a an , allora definitivamente xk `e in (an , bn ) e quindi (per definizione di
g su (an , bn )), g(xk ) converge a f (an ). Analogo ragionamento dimostra che
g `e continua in bn .
Dato > 0 abbiamo cos` definito una funzione g continua su [a, b] e tale
che m({x [a, b] : g (x) 6= f (x)}) < . Inoltre, per costruzione, se M `e tale
che |f (x)| M in [a, b], si ha |g (x)| M in [a, b] (su (an , bn ) la funzione
g (x) `e compresa tra f (an ) e f (bn )).
Sia allora = n1 e sia fn = g1/n . La successione {fn } `e formata da funzioni
continue, e si ha, se M `e tale che |f (x)| M in [a, b],
Z
Z
2M
|fn (x) f (x)| dx =
|fn (x) f (x)| dx 2M m(E 1 ) <
,
n
n
E1
[a,b]
n

da cui la tesi, al limite per n tendente ad infinito.

Passo 2: Sia f in L1 ([a, b]).
Sia n in N, e definiamo

se f (x) > n,
n
fn (x) = f (x) se n f (x) n,

n se f (x) < n.
Come si verifica facilmente, la successione {|fn f |} converge quasi ovunque in [a, b] a 0 (gli unici punti su cui non converge sono quelli per i quali
f (x) = , che hanno misura nulla per il Teorema 3.2.25). Inoltre, essendo
|fn (x)| |f (x)|, si ha |fn (x) f (x)| 2|f (x)|, e |f (x)| `e sommabile. Per il
teorema di Lebesgue,
Z
lim
|fn (x) f (x)| dx = 0 .
n+

[a,b]

Fissato > 0, esiste pertanto n in N tale che

Z

|fn (x) f (x)| dx < ,

2
[a,b]

n n .

CAPITOLO 4. GLI SPAZI LP

89

Per definizione, fn `e limitata (da n ); per il Passo 1, esiste gn continua su

[a, b] e tale che
Z

|gn (x) fn (x)| dx < .

2
[a,b]
Si ha allora
Z
Z
|gn (x)f (x)| dx
[a,b]

Z
|gn (x)fn (x)| dx+

[a,b]

|fn (x)f (x)| dx < ,

[a,b]

da cui la tesi.
Se definiamo i : C 0 ([a, b], R) L1 ([a, b]) come lidentit`a, e consideriamo
nei due spazi la distanza d1 , come conseguenza dei due teoremi precedenti si
ha che i `e unisometria, ed inoltre che la chiusura di i(C 0 ([a, b], R)) `e L1 ([a, b]);
per lunicit`a del completamento, si ha che (L1 ([a, b]), d1 ) `e il completamento
di C 0 ([a, b], R), d1 ); in altre parole (andando a leggere la dimostrazione del
teorema di completamento), se {fn } `e una successione di funzioni continue
che `e di Cauchy in d1 , allora fn converge ad una funzione f in L1 ([a, b]);
viceversa, ogni funzione in L1 ([a, b]) `e il limite in d1 di una successione (di
Cauchy in d1 ) di funzioni continue. Osserviamo che, sempre nella dimostrazione del teorema di completamento, lo spazio Y `e definito come lo spazio
delle successioni di Cauchy in d1 , modulo la relazione di equivalenza che identifica due successioni di Cauchy {fn } e {gn } nel caso in cui d1 (fn , gn ) tenda
a zero. Sappiamo ora che se {fn } e {gn } sono due successioni di Cauchy in
d1 funzioni continue, allora fn converge a f in d1 e gn converge a g in d1 (con
` facile vedere che dallipotesi d1 (fn , gn ) tendente a zero
f e g in L1 ([a, b])). E
segue
Z
|f (x) g(x)| dx = 0 ,
[a,b]

da cui f = g quasi ovunque; pertanto, f e g sono nella stessa classe di equivalenza in L1 ([a, b]). In altre parole, lidentificazione di due funzioni uguali
quasi ovunque `e fatta nello stesso spirito della dimostrazione del teorema
di completamento, ed `e quindi necessaria per ottenere uno spazio metrico
completo.

CAPITOLO 4. GLI SPAZI LP

4.2

90

Lp(E) e L(E)

Sia 1 < p < + un numero reale. Detta la relazione di equivalenza

introdotta nella sezione precedente, definiamo


Z
p
f : E R misurabili:
|f (x)| dx < +
E
p
L (E) =
.

Anche Lp (E) pu`o essere reso uno spazio metrico con la distanza
Z
 p1
p
|f (x) g(x)| dx
dp (f, g) =
.
E

Come gi`a per d1 , si vede che dp (f, g) non dipende dai rappresentanti scelti in
[f ] e [g], che dp (f, g) 0, che dp (f, g) = 0 se e solo se f = g q.o. (e quindi se
e solo se [f ] = [g]), e che dp (f, g) = dp (g, f ). La disuguaglianza triangolare
segue dalla disuguaglianza di Holder che, valida per funzioni continue, si
dimostra allo stesso modo per funzioni in Lp (E) (`e sufficiente ricordare che
una disuguaglianza verificata quasi ovunque si conserva integrando).
Come gi`a L1 (E), anche Lp (E) `e uno spazio completo: la dimostrazione `e
identica a quella del Teorema 4.1.6, usando il concetto di convergenza totale
in Lp (E) per una serie di funzioni, che in questo caso diventa
 p1
+ Z
X
p
< + .
|fk (x)| dx
k=1

Se E = [a, b], Lp (E) `e il completamento di (C 0 ([a, b], R), dp ) (anche in questo

caso la dimostrazione `e identica a quella del Teorema 4.1.7).
Leggermente differente `e la definizione nel caso in cui p = +.
Definizione 4.2.1 Sia f una funzione misurabile definita su un insieme misurabile E. Definiamo lestremo superiore essenziale di |f | come
ess supE |f (x)| = inf {M 0 : m({x E : |f (x)| > M }) = 0}
= inf {M 0 : |f (x)| M q.o. in E} .
Ricordiamo che, per definizione, inf = +. Dalla definizione discende
direttamente il seguente fatto:
|f (x)| ess supE |f (x)| ,

q.o. in E.

CAPITOLO 4. GLI SPAZI LP

91

Se, ad esempio, f `e la funzione di Dirichlet, allora ess supE |f (x)| = 0 (dal

momento che f = 1 sui razionali, che hanno misura nulla); se f (x) = x1
su (0, 1), allora ess sup(0,1) |f (x)| = +, dal momento che non esiste alcuna
costante positiva M tale che |f (x)| M quasi ovunque. Se f `e una funzione
continua su [a, b], si verifica facilmente che ess sup[a,b] |f (x)| = max[a,b] |f (x)|.
Definiamo allora


f : E R misurabili: ess supE |f (x)| < +

.
L (E) =

Anche L (E) si pu`o rendere uno spazio metrico, introducendo

d (f, g) = ess supE |f (x) g(x)| .
Che d sia una distanza lo si vede facilmente: `e ben definita, non negativa, nulla se e solo se [f ] = [g], ed `e simmetrica. Per quanto riguarda la
disuguaglianza triangolare, si ha, per quasi ogni x in E,
|f (x) g(x)| |f (x) h(x)| + |h(x) g(x)| d (f, h) + d (h, g) ,
da cui d (f, g) d (f, h) + d (h, g).
Chiaramente, se E = [a, b], C 0 ([a, b], R) L ([a, b]), e limmersione i `e
unisometria (rispetto alle due distanze d su C 0 ([a, b], R) e d su L ([a, b])).
Per`o, la chiusura di i(C 0 ([a, b], R)) non `e densa in L ([a, b]), per il semplice
fatto che (C 0 ([a, b], R), d ) `e gi`
a un sottospazio completo di (L ([a, b]), d )
e quindi `e chiuso. In altre parole, (L ([a, b]), d ) non `e il completamento di
(C 0 ([a, b], R), d ). Comunque, `e uno spazio completo.
Teorema 4.2.2 Lo spazio (L (E), d ) `e completo.
Dimostrazione. Sia {fn } una successione di Cauchy in (L (E), d ); ovvero, per ogni > 0 esiste n in N tale che
d(fn , fm ) = ess supE |fn (x) fm (x)| ,

n, m n .

Sia, per n e m in N,
En,m = {x E : |fn (x) fm (x)| > ess supE |fn (x) fm (x)|} .

CAPITOLO 4. GLI SPAZI LP

92

Per definizione di estremo superiore essenziale, En,m ha misura nulla. Definiamo

+
[
E0 =
En,m ,
n,m=1

cosicche m(E0 ) = 0. Sia x in E\E0 . Allora x non appartiene a nessuno degli

En,m e quindi, se n e m sono maggiori di n ,
|fn (x) fm (x)| ess supE |fn (x) fm (x)| .

(2.1)

Pertanto, {fn (x)} `e una successione di Cauchy in R, e quindi converge ad

un numero reale, che definiamo f (x). In definitiva, se {fn } `e di Cauchy in
(L (E), d ), allora fn converge quasi ovunque in E ad una funzione f . Se x
`e in E\E0 , passando al limite per m tendente ad infinito nella disuguaglianza
(2.1), si trova
|fn (x) f (x)| ,
n n ,
e quindi, siccome E0 ha misura nulla,
d (fn , f ) = ess supE |fn (x) f (x)| ,

n n .

Pertanto, f `e in L (E), perche

ess supE |f (x)| ess supE |fn (x) f (x)| + ess supE |fn (x)| ,
e fn converge ad f in (L (E), d ).
Se E ha misura finita, gli spazi Lp (E) sono inscatolati.
Teorema 4.2.3 Sia E un insieme misurabile con m(E) < +. Siano 1
p < q +. Allora
Lq (E) Lp (E) .
Dimostrazione. Sia f in Lq (E). Se q < +, ricordando la disuguaglianza
di Holder, si ha
Z
Z
p
|f (x)| dx =
|f (x)|p 1 dx
E
 pq Z
 qp
EZ
q
q

|f (x)|q dx
1 qp dx
E
ZE
 pq
qp
=
|f (x)|q dx
[m(E)] q .
E

CAPITOLO 4. GLI SPAZI LP

93

Se q = +, essendo |f (x)|p ess supE |f (x)|p quasi ovunque, si ha

Z
|f (x)|p dx ess supE |f (x)|p m(E) = [ess supE |f (x)|]p m(E) .
E

Osservazione 4.2.4 In genere, linclusione `e stretta, nel senso che esistono

funzioni in Lp (E) che non appartengono a Lq (E). Ad esempio, se E =
(0, 1/2), la funzione
1
f (x) = 1
,
x p ( ln(x))2
`e in Lp ((0, 1/2)), ma non appartiene a Lq ((0, 1/2)) per ogni q > p, mentre la
funzione ln(x) `e in tutti gli Lp ((0, 1)) ma non in L ((0, 1)).
Osservazione 4.2.5 Sia E un insieme misurabile di misura finita, e sia f
una funzione in L (E); allora
Z

 p1

|f (x)| dx

ess supE |f (x)| = lim

p+

Infatti, per ogni p > 1 si ha

Z

|f (x)|p dx

 p1
ess supE |f (x)| ,

e quindi
Z

|f (x)| dx

lim sup
p+

 p1
ess supE |f (x)| .

Daltra parte, sia > 0 e sia M = ess supE |f (x)|. Allora (per definizione di
estremo superiore essenziale),
m({x E : |f (x)| M }) > 0 .
Pertanto, per (2.25),
Z
|f (x)|p dx (M )p m({x E : |f (x)| M }) ,
E

CAPITOLO 4. GLI SPAZI LP

da cui (ricordando che

94

p
a tende a 1 per ogni a > 0)
Z

M lim inf
p+

 p1

|f (x)| dx

ovvero, essendo arbitrario,

Z
ess supE |f (x)| lim inf
p+

|f (x)| dx

 p1
,

da cui il risultato.

4.3

Convergenza in Lp(E)

Sia 1 p < +, e sia {fn } una successione in Lp (E) convergente a f in

Lp (E). Cosa possiamo dire della convergenza puntuale di fn a f ? Il seguente
esempio mostra che fn pu`o convergere a zero in Lp (E), senza che fn converga
puntualmente.
Esempio 4.3.1 Sia E = [0, 1); sia n N, e scriviamo n = 2k + m, con k in
N e m tra 0 e 2k 1 (si noti che tale scrittura `e unica); ad esempio, 1 = 20 +0,
2 = 21 + 0, 3 = 21 + 1, 26 = 24 + 10, eccetera. Definiamo


m m+1
En = k ,
.
2
2k
10 11
, 16 ). Definiamo
Ad esempio, E1 = [0, 1), E2 = [0, 21 ), E3 = [ 12 , 1) e E26 = [ 16
1
poi fn = En . Essendo m(En ) = 2k , con k = [log2 (n)] ([] `e la parte intera),
si ha
Z
Z
1
p
|fn (x)| dx =
1p dx = m(En ) = [log (n)] ,
2 2
E
En

e quindi fn tende a zero in Lp (E), qualsiasi sia p 1. Daltra parte, fn non

converge puntualmente a zero perche, per ogni x in [0, 1), non converge. Ad
esempio, se x = 0, fn (x) vale 1 quando n = 2k per qualche k 0 intero,
mentre vale 0 per tutti gli altri n. Esiste allora una sottosuccessione (n = 2k )
lungo la quale fn (0) tende a 1, ed una sottosuccessione (n 6= 2k ) lungo la quale
fn (0) tende a zero; pertanto fn (0) non ammette limite.

CAPITOLO 4. GLI SPAZI LP

95

Si noti per`o che fn converge a zero in misura (dato che m({x [0, 1] :
|fn (x)| }) = m(En ) se 0 < 1), e la sottosuccessione f2k converge a
zero quasi ovunque (tende a zero ovunque tranne per x = 0, dove tende a 1).
Il precedente esempio giustifica il seguente teorema.
Teorema 4.3.2 Sia 1 p < +, e sia {fn } una successione di funzioni
tendente a f in Lp (E). Allora fn converge ad f in misura, ed esiste una
sottosuccessione {fnk } {fn } tale che fn converge a f quasi ovunque.
Dimostrazione. Se fn converge a f in Lp (E) si ha, per definizione,
Z
|fn (x) f (x)|p dx = 0 .
lim
n+

Ricordando (2.25), se > 0 si ha

1
0 m({x E : |fn (x) f (x)| }) p

|fn (x) f (x)|p dx ,

e quindi
lim m({x E : |fn (x) f (x)| }) = 0 ,

n+

ovvero, fn converge a f in misura. La tesi segue allora dal Teorema 3.2.32.

Dal momento che la successione dellEsempio 4.3.1 non tende a zero in
L (E) (ed infatti, lestremo superiore essenziale di fn `e 1 per ogni n in N),
nel caso p = +, il risultato `e pi`
u forte.

Teorema 4.3.3 Sia {fn } una successione di funzioni di L (E). Allora fn

converge a f in L (E) se e solo se esiste un insieme E0 di misura nulla tale
che fn converge uniformemente a f in E \E0 .
Dimostrazione. Se fn converge uniformemente ad f su E\E0 , con m(E0 ) =
0, allora per ogni > 0 esiste n in N tale che
sup |fn (x) f (x)| ,
E\E0

n n .

CAPITOLO 4. GLI SPAZI LP

96

Pertanto, |fn (x) f (x)| su E \E0 , ovvero |fn (x) f (x)| q.o. in E.
Pertanto (per definizione di estremo superiore essenziale),
ess supE |fn (x) f (x)| ,

n n ,

e quindi fn converge ad f in L (E).

Viceversa, supponiamo che per ogni > 0 esista n in N tale che
ess supE |fn (x) f (x)| ,

n n .

Pertanto, per ogni n n esiste un insieme En contenuto in E, con m(En ) =

0, tale che
|fn (x) f (x)| ,
x E \En .
Sia allora E0 lunione degli En per n n . Ovviamente m(E0 ) = 0, e si ha
|fn (x) f (x)| ,

x E \E0 , n n ,

ovvero,
sup |fn (x) f (x)| ,

n n ,

E\E0

e quindi la tesi.
Come conseguenza del teorema precedente, se fn converge ad f in L (E),
allora fn converge ad f quasi ovunque.
Infine, se E ha misura finita (e quindi gli spazi Lp (E) sono inscatolati),
se fn converge ad f in Lp (E), allora fn converge ad f in Lq (E) per ogni
q < p. Infatti, per la disuguaglianza di Holder, e se p < +,
Z

1 pq

|fn (x) f (x)|q dx m(E)

Z

|fn (x) f (x)|p dx

 pq

Se p = +,
Z
E

|fn (x) f (x)|q dx m(E) (ess supE |fn (x) f (x)|)q .

CAPITOLO 4. GLI SPAZI LP

97

Schema riassuntivo dei legami tra convergenza in Lp , in misura e q.o..

4.4

Separabilit`
a

Uno spazio metrico (X, d) si dice separabile se esiste un insieme E contenuto in X numerabile e denso. Un esempio di spazio metrico separabile `e
(R, | |), dato che E = Q `e denso e numerabile. Un altro esempio di spa-

CAPITOLO 4. GLI SPAZI LP

98

zio separabile `e (C 0 ([a, b], R), d ), dal momento che linsieme dei polinomi
a coefficienti razionali `e denso (questo `e il Teorema non proprio di dimostrazione immediata! di Stone-Weierstrass) e numerabile (dimostrarlo per
esercizio).
Se 1 p < +, lo spazio Lp (E) `e separabile.
Teorema 4.4.1 Sia 1 p < +. Lo spazio Lp (R) `e separabile.
Dimostrazione. Sia E linsieme delle funzioni a gradino della forma
(x) =

N
X

qi [ai ,bi ) (x) ,

(4.1)

i=1

con qi , ai e bi razionali, e lunione degli intervalli (disgiunti) [ai , bi ) contenuta

in [n, n] per qualche n in N. Vogliamo dimostrare che E `e denso in Lp (R).
Si noti che E `e numerabile; infatti E si pu`o scrivere come lunione disgiunta
delle funzioni a gradino della forma (4.1) che hanno supporto contenuto in
[n, n] ma non in [n + 1, n 1], e ognuno di tali insiemi `e numerabile
(una funzione a gradino della forma (4.1) viene assegnata dando un numero
naturale N e 3N numeri razionali).
Sia f in Lp (R) e sia > 0. Allora (per definizione)
Z
|f (x)|p < + .
R

Sia n in N e definiamo fn (x) = f (x) [n,n] (x). Allora fn (x) `e in Lp (R) (dal
momento che |fn | |f |) e fn converge quasi ovunque in R a f (x). Essendo
|fn (x) f (x)|p 2p |f (x)|p , per il Teorema di Lebesgue si ha
Z
lim
|fn (x) f (x)|p dx = 0 .
n+

Pertanto, esiste n in N tale che

Z

|fn (x) f (x)|p dx .

3
R

(4.2)

La funzione fn `e in Lp (R) ed `e nulla fuori da [n , n ]. Siccome, per il

Teorema 4.1.7, C 0 ([n , n ], R) `e denso in Lp ([n , n ]), esiste g , continua
su [n , n ] tale che
Z

(4.3)
|g (x) fn (x)|p dx .
3
[n ,n ]

CAPITOLO 4. GLI SPAZI LP

99

La funzione g , essendo continua sul compatto [n , n ], `e uniformemente

continua. Pertanto, fissato > 0, esiste > 0 tale che |x y| implica
|g (x) g (y)| . Sia > 0 tale che 2 n p < 3 , sia k intero tale che
2n
< e decomponiamo [n , n ] in k intervalli di ampiezza 2nk . In questo
k
modo, gli estremi xh degli intervalli sono tutti numeri razionali. Definiamo
poi
Mh = max g (x) ,
mh = min g (x) .
[xh ,xh+1 ]

[xh ,xh+1 ]

Dal momento che xh+1 xh = 2nk < , si ha che Mh mh . Sia poi qh

un numero razionale tale che 0 Mh qh , e sia
(x) =

k1
X

qh [xh ,xh+1 ) (x) .

h=0

Evidentemente, appartiene ad E. Si ha poi, essendo | (x) g (x)|

su [xh , xh+1 ),
Z

| (x) g (x)| dx =
[n ,n ]

k1 Z
X
h=0

|qh g (x)|p dx 2 n p ,

[xh ,xh+1 )

e pertanto
Z

| (x) g (x)|p dx

[n ,n ]

.
3

(4.4)

Mettendo insieme (4.2), (4.3) e (4.4), e ricordando che `e nulla fuori da

[n , n ] si ha
Z
| (x) f (x)|p dx ,
R
p

e quindi E `e denso in L (R).

Teorema 4.4.2 Sia 1 p < + e sia E un insieme misurabile. Allora
Lp (E) `e separabile.
Dimostrazione. Se f `e in Lp (E), la funzione f definita su R come f in
E e zero su E c appartiene a Lp (R). Per il teorema precedente, esiste una
funzione a gradino in E tale che dp (f , ) . Ma allora E (che appartiene

CAPITOLO 4. GLI SPAZI LP

100

allinsieme numerabile ottenuto prendendo le restrizioni a E delle funzioni a

gradino di E) `e tale che dp (f, E ) , e quindi si ha la tesi.
Lo spazio L (E), invece, non `e separabile. Supponiamo per assurdo che
lo sia, ovvero supponiamo che esista un insieme numerabile E = {fn }, denso
in L (E). Sia {En } una partizione numerabile di E in insiemi misurabili,
e definiamo nel modo seguente. Sia x in E; allora x appartiene ad uno,
ed uno solo, degli En ; sia En(x) tale insieme. Se fn(x) (x) > 0, definiamo
(x) = 1; se fn(x) (x) 0, definiamo (x) = 1. In altre parole,
(x) =

+
X



{yEn :fn (y)0} (x) {yEn :fn (y)>0} (x) .

n=1

La funzione `e misurabile (perche lo sono gli insiemi {y En : fn (y) 0}

e {y En : fn (y) > 0}) ed `e limitata (in modulo vale sempre 1 essendo gli
En disgiunti). Pertanto, appartiene a L (E). Si ha per`o
d (fn , ) = ess supE |fn (x) (x)| ess supEn |fn (x) (x)| 1 ,
e quindi E non pu`o essere denso in L (E).

4.5

L2(E)

Lo spazio L2 (E) `e differente da tutti gli altri spazi Lp perche `e possibile

definire su di esso un prodotto scalare. Se f e g sono in L2 (E), definiamo
Z
(f | g) =
f (x) g(x) dx .
E

Si verifica facilmente che (f | g) `e lineare in entrambi gli argomenti, che `e

simmetrico, che (f | f ) `e non negativo e nullo se e solo se f = 0 (inteso come
classe in L2 (E), ovvero f = 0 q.o.) e che, per ogni f e g in L2 (E) si ha
p
p
| (f | g) | (f | f ) (g | g) ;
questa disuguaglianza segue infatti dalla disuguaglianza di Holder con p =
q = 2. Pertanto, L2 (E) `e uno spazio vettoriale dotato di prodotto scalare.

CAPITOLO 4. GLI SPAZI LP

101

Dal momento che ogni prodotto scalarepsu uno spazio vettoriale induce una
distanza secondo la formula d(x, y) = (x y | x y), la distanza indotta
su L2 (E) dal prodotto scalare appena definito `e proprio d2 :
Z

 21

|f (x) g(x)| dx

d2 (f, g) =

p
(f g | f g) .

Essendo (L2 (E), d2 ) uno spazio metrico completo (come tutti gli Lp (E)), lo
spazio vettoriale L2 (E), dotato del prodotto scalare ( | ) (che induce una
distanza rispetto alla quale lo spazio metrico `e completo) si dice spazio di
Hilbert.

4.5.1

Gli spazi di Hilbert

Come detto sopra, uno spazio di Hilbert `e uno spazio vettoriale dotato di
prodotto scalare che risulti completo come spazio metrico (con la distanza
indotta dal prodotto scalare). Come ogni spazio vettoriale, anche uno spazio
di Hilbert ha una base. Nel caso particolare in cui lo spazio di Hilbert sia
separabile (come spazio metrico), la base `e numerabile, e si pu`o scegliere in
maniera semplice.
Teorema 4.5.1 Sia (H, ( | )) uno spazio di Hilbert separabile. Allora esiste
una successione {en } di vettori di H tale che:
i) (en | em ) = n,m (dove n,m `e il simbolo di Kronecker);
ii) per ogni vettore x di H, detto
Sn (x) =

n
X

(x | ek ) ek ,

k=1

si ha che Sn (x) converge a x in (H, d).

In altre parole, il teorema precedente afferma che in uno spazio di Hilbert
separabile esiste una base numerabile fatta di vettori ortonormali. Tale base
si dice sistema ortonormale completo in H. Ci soffermiamo ora su due
conseguenze del teorema precedente.

CAPITOLO 4. GLI SPAZI LP

102

Teorema 4.5.2 (Bessel, Parseval) Sia {en } una successione di vettori di

uno spazio di Hilbert (H, ( | )) tale che (en | em ) = n,m . Allora, per ogni x
in H, si ha la disuguaglianza di Bessel:
+
X

[(x | ek )]2 (x | x) .

(5.1)

k=1

Se, in pi`
u, la successione {en } soddisfa la ii) del teorema precedente, allora,
si ha lidentit`
a di Parseval:
+
X

[(x | ek )]2 = (x | x) .

(5.2)

k=1

Dimostrazione. Sia
Sn (x) =

n
X

(x | ek ) ek ,

k=1

e calcoliamo (Sn (x) x | Sn (x) x). Essendo il prodotto scalare bilineare e

simmetrico, si ha
(Sn (x) x | Sn (x) x) = (Sn (x) | Sn (x)) 2 (Sn (x) | x) + (x | x) .
Si ha poi
(Sn (x) | x) =

n
X



(x | ek ) ek  x

k=1

!
=

n
X

(x | ek ) (x | ek ) =

k=1

n
X

[(x | ek )]2 .

k=1

Inoltre,
(Sn (x) | Sn (x)) =

n
X
k=1

n
X

n
X

(x | ek ) ek 
(x | eh ) eh
h=1

(x | ek ) (x | eh ) (ek | eh ) =

h,k=1

n
X

[(x | ek )]2 .

k=1

Pertanto,
(Sn (x) x | Sn (x) x) = (x | x)

n
X
k=1

[(x | ek )]2 .

(5.3)

CAPITOLO 4. GLI SPAZI LP

103

Essendo (Sn (x) x | Sn (x) x) 0, se ne deduce

n
X

[(x | ek )]2 (x | x) ,

n N ,

k=1

e quindi la (5.1) per n tendente ad infinito. Se, poi, {en } `e un sistema

ortonormale completo in H, allora (Sn (x) x | Sn (x) x) tende a zero per
n tendente ad infinito, e dalla (5.3) segue la (5.2).
Esempio 4.5.3 Sia H = L2 ((0, 1)) e sia, per k in N,
k

ek = 2 2 [ 1 , 1 ] .
2k 2k1
Essendo ek (x) eh (x) = 0 per ogni k 6= h, si ha (ek | eh ) = 0; inoltre,
Z
Z
2
k
ek (x) dx = 2
dx = 1 ,
1
(0,1)
]
[ 21k , 2k1
e quindi {ek } `e un sistema ortonormale in H. Il sistema non `e, per`o, completo.
Sia infatti f (x) = x. Allora
Z
Z
k
3 1
f (x) ek (x) dx = 2 2
x dx =
,
ck (f ) =
1
2 2 3k2
(0,1)
]
[ 21k , 2k1
e si ha

+
X

c2k (f )

k=1

+
9 X 1
9
1
=
=
< = (f | f ) .
k
4 k=1 8
28
2

Dal momento che non vale lidentit`a di Parseval, il sistema ortonormale non
pu`o essere completo. Alternativamente, detta
g(x) =

+
X
k=1

+
3 X 1
1 1 (x) ,
ck (f ) ek (x) =
2 k=1 2k [ 2k , 2k1 ]

si vede facilmente che g 6= f (ad esempio, su [1/2, 1], g vale identicamente

3/4).
Definizione 4.5.4 Sia (H, ( | )) uno spazio di Hilbert separabile, e sia {en }
un sistema ortonormale completo in H. Sia x in H e sia ck (x) = (x | ek ) per
ogni k in N. La successione {ck (x)} si dice successione dei coefficienti di
Fourier di x.

CAPITOLO 4. GLI SPAZI LP

104

Dal momento che si ha

+
X

c2k (x) = (x | x) < + ,

k=1

ne segue che se x `e in H, allora la successione dei suoi coefficienti di Fourier `e

in `2 . In questa maniera, possiamo definire unapplicazione F : H `2 , che
ad ogni x di H associa la successione {ck (x)} dei suoi coefficienti di Fourier.
Teorema 4.5.5 Sia (H, ( | )) uno spazio di Hilbert separabile, e sia {en }
un sistema ortonormale completo in H. Sia F : H `2 lapplicazione che
ad ogni x di H associa la successione {ck (x)} dei coefficienti di Fourier di x.
Allora F `e unisometria biunivoca tra (H, d) e (`2 , d2 ).
Dimostrazione. Dobbiamo mostrare che F `e iniettiva, suriettiva, e che,
per ogni x e y in H
p
(5.4)
d2 (F(x), F(y)) = d(x, y) = (x y | x y) .
Iniziamo con losservare che F `e lineare (dal momento che lo `e il prodotto
scalare); pertanto liniettivit`a `e equivalente a dimostrare che F(x) = {0}
se e solo se x = 0. Ovviamente, F(0) = {0}. Viceversa, supponiamo che
F(x) = {0}, e quindi che (x | ek ) = 0 per ogni k in N. Dallidentit`a di
Parseval segue allora
+
X
(x | x) =
c2k (x) = 0 ,
k=1

e quindi x = 0. Sia ora {ck } in `2 . Definiamo

xn =

n
X

ck e k ,

k=1

ed osserviamo che xn `e una successione di Cauchy in (H, d). Infatti,

d(xn , xm ) =

(xn xm | xn xm ) =

m
X
k=n+1

! 12
c2k

CAPITOLO 4. GLI SPAZI LP

105

e lultima quantit`a pu`o essere resa arbitrariamente piccola scegliendo n e m

grandi, dal momento che {ck } `e in `2 . Essendo (H, d) completo, xn converge
a x in H e si ha (per definizione di convergenza di una serie),
x=

+
X

ck e k .

k=1

Inoltre, essendo ( | ek ) una funzione continua (come si verifica facilmente),

ed essendo (x | ek ) = (xn | ek ) per ogni n k,
ck (x) = (x | ek ) = lim (xn | ek ) = lim ck = ck .
n+

n+

Pertanto, F(x) = {ck } e quindi F `e suriettiva. Rimane da dimostrare la

(5.4). Osservando che ck (x) ck (y) = ck (x y), la (5.4) segue direttamente
dallidentit`a di Parseval e dalla definizione di d2 in `2 .
In definitiva, abbiamo dimostrato che ogni spazio di Hilbert separabile
`e isometrico (tramite F) a `2 , ovvero che per studiare uno spazio di Hilbert separabile `e sufficiente studiare `2 (e conoscere un sistema ortonormale
completo in H).

4.5.2

L2 ([, ]) e serie di Fourier

Consideriamo linsieme (numerabile) di funzioni in L2 ([, ])



1
1
1
T = , cos(kx) , sin(kx) , k N .

2
Si vede facilmente che se eh e ek sono due funzioni di T , allora si ha (eh | ek ) =
h,k . Pertanto, T `e un insieme ortonormale di funzioni. Essendo L2 ([, ])
separabile, per il Teorema 4.5.1, esiste un sistema ortonormale completo in
L2 ([, ]). Vogliamo dimostrare che T `e un sistema ortonormale completo,
ovvero che, se f `e in L2 ([, ]), detti per k 1,
Z
Z
1
1
f (x) cos(kx) dx ,
bk (f ) =
f (x) sen(kx) dx ,
ak (f ) =
E
E
e

1
a0 (f ) =
2

Z
f (x) dx ,
E

CAPITOLO 4. GLI SPAZI LP

106

si ha che
+
a0 (f )
1 X
f (x) =
+
[ak (f ) cos(kx) + bk (f ) sen(kx)] ,
k=1
2

nel senso che la serie converge in L2 ([, ]). Si noti che i coefficienti di
Fourier di una f di L2 ([, ]) non dipendono dalla scelta di f nella sua
classe di equivalenza quasi ovunque.
Sia allora f in L2 ([, ]), e sia {a0 (f ), ak (f ), bk (f )} la successione dei
suoi coefficienti di Fourier. Dal momento che T `e un sistema ortonormale
di vettori, per il punto i) del Teorema 4.5.1 (ovvero per la disuguaglianza di
Bessel), si ha
a20 (f )

+
X

[a2k (f )

b2k (f )]

f 2 (x) dx .

[,]

k=1

Pertanto, le due successioni {ak (f )} e {bk (f )} sono in `2 , e quindi sia ak (f )

che bk (f ) tendono a zero quando k tende ad infinito. Questo risultato `e noto
come Lemma di Riemann-Lebesgue.
Teorema 4.5.6 (Riemann-Lebesgue) Sia f una funzione in L2 ([, ]).
Allora
Z
Z
f (x) sen(kx) dx = 0 .
f (x) cos(kx) dx = lim
lim
k+

[,]

k+

[,]

Sia f in L2 ([, ]), sia n in N, e definiamo

n
a0 (f )
1 X
Sn (f ) =
+
[ak (f ) cos(kx) + bk (f ) sen(kx)] .
k=1
2

La completezza di T `e equivalente a dimostrare che Sn (f ) converge ad f in

L2 ([, ]).
Teorema 4.5.7 Siano < a < b < , e sia f (x) = (a,b) (x). Allora Sn (f )
converge quasi ovunque a f .

CAPITOLO 4. GLI SPAZI LP

107

Dimostrazione. Sia n in N e definiamo

n

1 X
Tn (x) = +
cos(kx) .
2 k=1
` facile verificare per induzione che, per ogni x 6= 0,
E



sen n + 21 x


.
Tn (x) =
2sen x2
Se x = 0, `e sufficiente definire Tn (0) = n + 12 per ottenere che Tn (x) `e una
funzione continua su [, ]. Si ha poi, ricordando la definizione di a0 (f ),
ak (f ) e bk (f ),
Sn (f )(x) =
=

=
=
=

n
a0 (f )
1 X

+
[ak (f ) cos(kx) + bk (f ) sen(kx)]
k=1
2
Z
1
1
f (y) dy
[,]
2
n Z
X
1
+
f (y) [cos(ky) cos(kx) + sen(ky) sen(kx)] dy
k=1 [,]
#
"
Z
n
1
1 X
cos(k(y x)) dy
f (y)
+
[,]
2 k=1
Z
1
f (y) Tn (y x) dy
Z[,]
1
f (x + y) Tn (y) dy .
[x,x]

A questo punto, consideriamo f la prolungata per periodicit`a di f (definita

solo su [, ]). Pertanto, f `e periodica di periodo 2, cos` come lo `e (per
definizione) Tn , cosicche (essendo ovviamente Sn (f )(x) = Sn (f)(x) per ogni
x in [, ]),
Z
Z
1
1

f (x + y) Tn (y) dy =
f(x + y) Tn (y) dy .
Sn (f )(x) =
[x,x]
[,]
Daltra parte, essendo (come si verifica facilmente)
Z
1
Tn (y) dy = 1 ,
[,]

CAPITOLO 4. GLI SPAZI LP

108

possiamo scrivere, per x in [, ],

Sn (f )(x) f (x) = Sn (Zf)(x) f(x)
1
=
[f(x + y) f(x)] Tn (y) dy
[,]

 
Z
1
1
f(x + y) f(x)


sen
n+
y dy
=
[,]
2
2sen y2


Z
[f(x + y) f(x)] cos y2
1


=
sen(ny) dy
y
[,]
2sen
2
Z
1

+
[f (x + y) f (x)] cos(ny) dy .
[,]
Sia ora x in (a, b). Allora f(x + y) f(x) = f(x + y) 1 = 0 per ogni y in
(a x, b x). Pertanto,

(
0
se y (a x, b x),
[f(x + y) f(x)] cos y2
cos( y2 )


=
g(y) =
altrove in [, ].
2sen y
2sen y2
(2)


Dal momento che sen y2 si annulla (in [, ]) solo nellorigine, e che 0
appartiene a (a x, b x) (essendo x in (a, b)), si ha che g `e una funzione
limitata su [, ]. Essendo anche misurabile, `e in L ([, ]) e quindi
(dato che m([, ]) = 2 < +) anche in L2 ([, ]). Si ha allora, per il
lemma di Riemann-Lebesgue,
Z
lim
g(y) sen(ny) dy = 0 .
n+

[,]

Con ragionamento analogo (osservando che, per ogni x, y 7 f(x + y) f(x)

`e in L ([, ])), si ha
Z
lim
[f(x + y) f(x)] cos(ny) dy = 0 .
n+

[,]

Pertanto, se x `e in (a, b), si ha

lim Sn (f )(x) = f (x) .

n+

In maniera identica si prova che se x non appartiene a [a, b], allora Sn (f )(x)
tende a f (x) (ovvero a zero). Pertanto, Sn (f )(x) tende a f (x) per ogni x
diverso da a, b, e quindi quasi ovunque.

CAPITOLO 4. GLI SPAZI LP

109

Osservazione 4.5.8 Si ha
1
.
2

lim Sn (f )(a) = lim Sn (f )(b) =

n+

n+

Teorema 4.5.9 Siano < a < b < , e sia f (x) = (a,b) (x). Allora Sn (f )
converge in L2 ([, ]) ad f .
Dimostrazione. Dal momento che Sn (f ) tende a f quasi ovunque, Sn2 (f )
tende a f 2 quasi ovunque. Per il lemma di Fatou, si ha allora
Z
Z
2
f (x) dx lim inf
Sn2 (f )(x) dx .
n+

[,]

[,]

Essendo
Z
[,]

1
Sn2 (f )(x) dx =

n
X

a20 (f ) +

!
[a2k (f ) + b2k (f )]

k=1

dalla disuguaglianza di Bessel segue

Z

Sn2 (f )(x) dx

[,]

a20 (f )

!
[a2k (f )

b2k (f )]

f 2 (x) dx ,

[,]

k=1

per ogni n in N, e quindi

Z
lim sup
n+

+
X

Sn2 (f )(x) dx

[,]

f 2 (x) dx .

[,]

Pertanto,
Z

Sn2 (f )(x) dx

lim

n+

[,]

Z
=

f 2 (x) dx ,

[,]

e quindi, dal momento che, per la (5.3),

Z
Z
Z
2
2
|Sn (f )(x) f (x)| dx =
f (x) dx
[,]

[,]

si ha

Z
lim

n+

ovvero la tesi.

[,]

[,]

|Sn (f )(x) f (x)|2 dx = 0 ,

Sn2 (f )(x) dx ,

CAPITOLO 4. GLI SPAZI LP

110

Teorema 4.5.10 Siano f e g in L2 ([, ]); allora, per ogni n in N,

Z
Z
2
|Sn (f )(x) Sn (g)(x)| dx
|f (x) g(x)|2 dx .
[,]

[,]

Dimostrazione. Essendo Sn (f ) Sn (g) = Sn (f g), `e sufficiente dimostrare che, per ogni n in N, e per ogni h in L2 ([, ]),
Z
Z
2
|Sn (h)(x)| dx
|h(x)|2 dx .
[,]

[,]

Ma questa `e esattamente la disuguaglianza di Bessel.

Teorema 4.5.11 T `e un sistema ortonormale completo in L2 ([, ]).
Dimostrazione. Dal Teorema 4.5.9, e dalla linearit`a dellapplicazione Sn
segue che, se
N
X
(x) =
qi (ai ,bi ) (x) ,
(5.5)
k=1

allora Sn () converge a in L2 ([, ]). Linsieme delle funzioni semplici

della forma appena scritta `e per`o denso in L2 ([, ]) (lo `e se si prendono
qi , ai e bi razionali per il Teorema 4.4.1, e lo `e dunque a maggior ragione se
qi , ai e bi sono numeri reali). Se f `e in L2 ([, ]), per ogni > 0 esiste
funzione semplice come in (5.5) tale che
Z

 12

|f (x) (x)| dx

d2 (f, ) =

[,]

.
3

Daltra parte, per il Teorema 4.5.10, per ogni n in N si ha

Z

|Sn (f )(x) Sn ( )(x)| dx

d2 (Sn (f ), Sn ( )) =
[,]

 21

.
3

Infine, esiste n in N tale che

Z

| (x) Sn ( )(x)| dx

d2 ( , Sn ( )) =
[,]

 21

,
3

n n .

CAPITOLO 4. GLI SPAZI LP

111

Pertanto, per ogni n n si ha, per la disguguaglianza triangolare,

d2 (f, Sn (f )) ,
e quindi la tesi.
Osservazione 4.5.12 Il Teorema precedente d`a una seconda dimostrazione
del fatto che le funzioni continue sono dense in L2 ([, ]); infatti, Sn (f )
` naturale a questo punto chie`e una funzione continua per ogni n in N. E
2
dersi se, data una f in L ([, ]), la successione Sn (f ) (che converge a f
in L2 ([, ])) non abbia delle propriet`a di convergenza migliori, come ad
esempio la convergenza puntuale, fermo restando il fatto che (come tutte le
successioni convergenti in L2 ([, ])) da Sn (f ) si pu`o estrarre una sottosuccessione convergente quasi ovunque ad f . Il Teorema 4.5.7 ci dice che
non `e possibile che la convergenza sia puntuale ovunque (per le funzioni
caratteristiche saltano due punti), ed allora si potrebbe sperare di avere
convergenza tranne al pi`
u un numero finito di punti. In questa maniera,
di tutte le funzioni nella classe di equivalenza di f , la serie di Fourier ne
sceglierebbe una migliore di tutte le altre. Purtroppo, la convergenza di
Sn (f ) ad f `e solo quasi ovunque.
Teorema 4.5.13 (Carleson, 1966) Sia f in L2 ([, ]). Allora Sn (f ) converge a f quasi ovunque.
Per avere convergenza puntuale della serie di Fourier `e allora necessario
fare delle ipotesi pi`
u restrittive su f (si rimanda a testi di Analisi II per le
ipotesi sufficienti per la convergenza quasi ovunque). Osserviamo qui che
una condizione sufficiente per la convergenza puntuale di Sn (f ) a f `e lappartenenza a `1 delle successioni {ak (f )} e {bk (f )}. Infatti, in questo caso si
ha
+
X
k=1

max |ak (f ) cos(kx) + bk (f ) sen(kx)|

[,]

+
X

|ak (f )| + |bk (f )| ,

k=1

cosicche la serie Sn (f ) `e totalmente (dunque uniformemente) convergente in

C 0 ([, ], R); in questo caso, per`o, f `e obbligatoriamente una funzione
continua.

CAPITOLO 4. GLI SPAZI LP

112

Osservazione 4.5.14 Se si considera L2 ([T, T ]) invece di L2 ([, ]), il

sistema ortonormale completo diventa






1
1
kx
1
kx
T = , cos
, sin
, kN .
T
T
2T
T
T
Osservazione 4.5.15 Affinche i coefficienti di Fourier siano definiti, `e sufficiente che f appartenga allo spazio (pi`
u grande) L1 ([, ]). Infatti, essendo
cos(kx) e sen(kx) in L ([, ]), le funzioni f (x) cos(kx) e f (x) sen(kx) sono
in L1 ([, ]). Vale, inoltre, il Lemma di Riemann-Lebesgue.
Teorema 4.5.16 Per ogni f in L1 ([, ]) si ha
Z
Z
f (x) sen(kx) dx = 0 .
f (x) cos(kx) dx = lim
lim
k+

k+

[,]

[,]

Dimostrazione. Sia f (x) = (a,b) . Allora

Z

Z
f (x) cos(kx) dx = R

[,]

cos(kx) dx =
a

sen(kb) sen(ka)
,
k

che tende a zero quando k tende ad infinito. Pertanto, per ogni funzione
semplice ,
Z
(x) cos(kx) dx = 0 .
lim
k+

[,]

Approssimando (in L ([, ])) una funzione f con una successione n di

funzioni semplici si ha allora la tesi.
Ovviamente, non abbiamo pi`
u a disposizione la disuguaglianza di Bessel
2
(perche f pu`o non essere sommabile, e se lo `e la f `e per definizione
in L2 ([, ])), ne tantomeno un prodotto scalare: il fatto che
Z
cos(kx) sen(hx) dx = 0 ,
[,]

non va interpretato come una relazione di ortogonalit`a tra le due funzioni, ma

solo come un risultato numerico: lintegrale del prodotto `e nullo. Comunque sia, `e lecito chiedersi se la serie di Fourier di una funzione in L1 ([, ])
converga, e nel caso lo faccia se converga ad f .

CAPITOLO 4. GLI SPAZI LP

113

Esempio 4.5.17 (Kolmogorov, 1926) Esiste K in L1 ([, ]) tale che la

serie di Fourier Sn (K)(x) diverge in ogni x di [, ].
Grazie a questo esempio, possiamo affermare che, in generale, la serie di
Fourier di una funzione f di L1 ([, ]) non converge ad f in L1 ([, ]),
ne converge a qualsiasi altra funzione di L1 ([, ]); se cos` fosse per la
funzione dellesempio appena citato, allora Sn (K)(x) dovrebbe convergere
quasi ovunque, a meno di sottosuccessioni, al suo limite in L1 ([, ]), che
per`o `e una funzione finita quasi ovunque; e questo contrasta con il fatto che
Sn (K) (e quindi ogni sua sottosuccessione) diverge ovunque.
A questo punto resta aperta la domanda e continua a rimanerlo ancor
oggi su quale sia il miglior spazio per definire la serie di Fourier in modo che questa converga: si tratta di uno spazio di funzioni compreso tra
L2 ([, ]) e L1 ([, ]), ma non `e ancora stato dimostrato quale sia. Ad
esempio, si sa che la serie di Fourier di una funzione f di Lp ([, ]), con
1 < p < 2, converge a f in Lp ([, ]).
Osservazione 4.5.18 Ben pi`
u facile da dimostrare dei risultati citati precedentemente `e il fatto che la serie di Fourier di una funzione f di L ([, ])
non converga, in generale, ad f in L ([, ]). Infatti, se Sn (f ) converge ad
f in L ([, ]), allora Sn (f ) converge uniformemente ad f e quindi (essendo Sn (f ) una funzione continua), f `e continua. Quindi, la serie di Fourier
di una funzione f essenzialmente limitata che non sia quasi ovunque uguale
ad una funzione continua (ad esempio, sgn (x)) non pu`o convergere ad f in
L ([, ]).

Capitolo 5
Misure prodotto
5.1

Definizione della misura in R2

Nellintrodurre la misura secondo Lebesgue in R, abbiamo definito la misura

esterna di un sottoinsieme qualsiasi E come
)
(
X
S
famiglia numerabile
m (E) = inf
l(Ij ) , {Ij }jJ di intervalli aperti : E jJ Ij ,
jJ

essendo l(I) la lunghezza di un intervallo (definita in maniera naturale). Per

definire la misura esterna di un sottoinsieme di RN `e allora sufficiente definire
la lunghezza di un intervallo I di RN : se
I = I1 . . . IN
con gli Ij intervalli di R, allora
lN (I) = l(I1 ) . . . l(IN ) .
Una volta definita la lunghezza di un intervallo, la misura esterna N -dimensionale di un sottoinsieme E di RN `e data da
(
)
X
S
famiglia numerabile
mN (E) = inf
lN (Ij ), {Ij }jJ di intervalli aperti : E jJ Ij .
jJ

Una volta definita mN , si dimostra che essa gode di tutte le propriet`a dimostrate a suo tempo per m : che `e monotona, regolare, che coincide con ln
114

CAPITOLO 5. MISURE PRODOTTO

115

sugli intervalli di RN , `e -subadditiva ed invariante per traslazioni. Detto

misurabile un sottoinsieme E di RN tale che
mN (A) = mN (A E) + mN (A E c ) ,

A RN ,

la famiglia MN degli insiemi misurabili secondo Lebesgue `e una -algebra

che contiene gli intervalli, gli aperti ed i chiusi, e che verifica tutte le propriet`a
dimostrate a suo tempo per la famiglia degli insiemi misurabili su R. Su di
essa `e definita la misura di Lebesgue N -dimensionale mN .
In altre parole, una volta scelti i mattoni base (gli intervalli), e definita la misura su di essi, quasi tutte le propriet`a della misura esterna (e, di
conseguenza, della misura e degli insiemi misurabili) discendono solo dalla
sua definizione. Quasi tutte le propriet`a, tranne una: il fatto che, sugli intervalli, coincida con la lunghezza; ovvero, che mN sia unestensione di lN .
Questo fatto `e conseguenza della struttura particolare della famiglia degli
intervalli di RN , e delle propriet`a della lunghezza relativamente alle unioni
di intervalli.
Definizione 5.1.1 Un sottoinsieme C di P(RN ) si dice una semi-algebra
se
i) per ogni C1 , C2 in C, si ha C1 C2 C;
ii) per ogni C in C, C c `e unione disgiunta e finita di elementi di C.
La famiglia C degli intervalli di RN `e una semi-algebra, come si verifica
facilmente; in particolare, se N = 2, e I `e un intervallo di R2 , I = I1 I2 e
I c = (R I2 c ) (I1 c I2 ) = (I1 c R) (I1 I2 c ) ,
e lunione `e disgiunta (si noti che il complementare di I non si scrive in modo
unico come unione disgiunta).
Come si verifica facilmente, la funzione lunghezza, definita sulla semialgebra degli intervalli, `e -subadditiva: se I `e un intervallo di RN , unione
di una famiglia numerabile di intervalli {In }, allora
lN (I)

+
X
n=1

lN (In ) .

CAPITOLO 5. MISURE PRODOTTO

116

Questo fatto fa s` che la misura esterna di un intervallo coincida con la sua

lunghezza. Infatti, se I `e un intervallo, per ogni > 0 esiste I intervallo
aperto contenente I e tale che lN (I ) lN (I) + ; pertanto
mN (I) lN (I ) lN (I) + .
Daltra parte, per ogni > 0 esiste una famiglia al pi`
u numerabile di intervalli
aperti {In } che ricopre I e tale che
X
lN (In ) mN (I) + .
nN

Ma allora {In I} `e una famiglia al pi`

u numerabile di intervalli la cui unione
`e I, e quindi
X
X
lN (In ) mN (I) + ,
lN (In I)
mN (I) lN (I)
nN

nN

da cui (per larbitrariet`a di ) lN (I) = mN (I).

Il fatto che la misura esterna di un intervallo sia la sua lunghezza (assieme
alla -subadditivit`a della misura esterna) implica poi che gli intervalli siano
misurabili (si veda la dimostrazione del Teorema 2.3.10).
Ricapitolando, siamo partiti dalla semi-algebra degli intervalli e dalla funzione lunghezza (che `e -subadditiva), e abbiamo costruito una misura esterna (e quindi la famiglia degli insiemi misurabili), ottenendo che la misura
esterna coincide con la lunghezza sugli intervalli, e che gli intervalli sono
misurabili.
Lunico punto di tutto il discorso nel quale `e stato usato il fatto che avevamo a che fare proprio con la semi-algebra degli intervalli e con la lunghezza
`e stato nellusare il fatto che la lunghezza era monotona e -subadditiva. In
altre parole, `e valido il seguente teorema.
Teorema 5.1.2 Sia C una semi-algebra di sottoinsiemi di RN , e sia : C
[0, +] una funzione di insieme monotona e -subadditiva su C; ovvero, se
C in C `e unione numerabile di una famiglia {Cn } di insiemi di C, allora
X
(C)
(Cn ) .
nN

CAPITOLO 5. MISURE PRODOTTO

117

Definiamo, per ogni E sottoinsieme di RN ,

(
)
X
S
famiglia numerabile

(E) = inf
(Cj ), {Cj }jJ
di insiemi di C : E jJ Cj .
jJ

Allora `e una misura esterna (ovvero, `e monotona e -subadditiva) tale

che (C) = (C) per ogni C in C. Inoltre, detto misurabile un insieme E
tale che
(A) = (A E) + (A E c ) ,
A RN ,
la famiglia degli insiemi misurabili `e una -algebra che contiene C.
` allora possibile definire una misura esterna su RN in unaltra maE
niera: non partendo dagli intervalli, ma partendo da una semi-algebra pi`
u
raffinata.
Definizione 5.1.3 Un rettangolo di RN `e il prodotto cartesiano di N
insiemi misurabili secondo Lebesgue di R:
R = E1 . . . EN ,

Ei M .

La misura di un rettangolo di RN `e definita in maniera naturale come

il prodotto delle misure degli Ei :
(R) = m(E1 ) . . . m(EN ) .
Teorema 5.1.4 Sia R la famiglia dei rettangoli di RN . Allora R `e una
semi-algebra; inoltre, la funzione `e monotona e -subadditiva su R.
Dimostrazione. Il fatto che R sia una semi-algebra `e di dimostrazione
immediata, cos` come lo `e la monotonia di . Rimane pertanto da verificare
la -subadditivit`a di . Per semplicit`a, limitamoci al caso N = 2. Sia allora
R un rettangolo di R2 , unione di una famiglia numerabile di rettangoli di R2 :
[
[
AB =R=
Rn =
An Bn .
nN

nN

Sia x in A fissato; allora x appartiene ad alcuni degli An ; sia Nx = {n N :

x An }. Si ha allora
[
B=
Bn .
nNx

CAPITOLO 5. MISURE PRODOTTO

118

Infatti, sia y in B; allora (x, y) `e in A B e quindi esiste m in N tale che

(x, y) `e in Am Bm . Poiche x `e in Am , m `e in Nx e quindi y `e nellunione dei
Bn con n in Nx (essendo y in Bm ). Viceversa, se y `e nellunione dei Bn con
n in Nx , allora y `e in Bm per qualche m in Nx e quindi (x, y) `e in Am Bm ,
ovvero in A B. Essendo i Bn misurabili, si ha
X
m(B)
m(Bn ) .
nNx

Osserviamo ora che m(Bn ) `e uno degli addendi della somma precdente se e
solo se x `e in An , e che quindi si pu`o scrivere (ricordiamo che x `e fissato)
X
X
m(Bn ) =
m(Bn ) An (x) .
m(B)
nNx

nN

Consideriamo ora la funzione caratteristica A (x). Si ha allora, essendo

An (x) A (x) = An (x),
X
X
m(Bn ) An (x) .
m(Bn ) An (x) A (x) =
m(B) A (x)
nN

nN

Per uno dei corollari del teorema di convergenza monotona, si ha

!
Z
Z X
X
X
m(An ) m(Bn ) ,
m(Bn ) An (x) dx =
m(Bn ) An (x) dx =
R

nN

nN

nN

da cui la tesi per la monotonia dellintegrale e per definizione di , essendo

Z
m(B) A (x) dx = m(A) m(B) .
R

Possiamo allora definire N sui sottoinsiemi di RN nel seguente modo:

(
)
X
S
famiglia numerabile

N (E) = inf
N (Rj ), {Rj }jJ
di insiemi di R : E jJ Rj .
jJ

La funzione dinsieme cos` definita `e una misura esterna, e coincide con N

su R. Inoltre, definiti gli insiemi misurabili nella maniera usuale, i rettangoli

CAPITOLO 5. MISURE PRODOTTO

119

di RN risultano essere misurabili. Ovviamente, dal momento che linsieme

degli intervalli di RN `e un sottoinsieme di R e che N e lN coincidono sugli
intervalli, ogni intervallo `e misurabile rispetto a N , e N (I) = lN (I) =
mN (I).
A questo punto ci si pu`o chiedere se la misura N costruita a partire
dai rettangoli sia pi`
u fine della misura mN costruita a partire dagli intervalli;
ovvero se si riescano a misurare pi`
u insiemi partendo da ricoprimenti costituiti
da rettangoli piuttosto che da intervalli.
Teorema 5.1.5 Per ogni E sottoinsieme di RN si ha
N (E) = mN (E) .
Dimostrazione. Detto I linsieme degli intervalli di RN , si ha ovviamente
I R, e pertanto
N (E) mN (E) ,

E RN .

Se N (E) = +, dalla disuguaglianza precedente segue che mN (E) = +

e quindi si ha la tesi. Supponiamo ora che N (E) < +. Sia > 0 e sia
{Rn } una famiglia al pi`
u numerabile di intervalli che ricoprono E e tali che
X
N (Rn ) N (E) + .
nN

Ognuno degli Rn ha misura finita, e si scrive come

Rn = An1 . . . AnN ,
con Anj misurabili in R e di misura finita. Per ogni j in {1, . . . , N } esiste
allora (si veda il Teorema 2.2.5) una famiglia al pi`
u numerabile di intervalli
n
n
aperti {Imj } la cui unione contiene Aj e tale che
X
mj N

n
l(Im
) m(Anj ) +
j

.
2n (1 + N (An ))

Definiamo ora, per m = (m1 , . . . , mN ) NN ,

n
n
n
Im
= Im
. . . Im
,
1
N

CAPITOLO 5. MISURE PRODOTTO

120

n
in modo tale che {Im
, m NN } sia un ricoprimento di Rn . Inoltre,

n
lN (Im
)

N X
Y

n
l(Im
) m(An ) . . . m(AnN ) +
j

j=1 mj N

mNN

= N (Rn ) + n .
n
2
2

n
, m NN , n N} `e una famiglia al pi`
u numerabile di
In definitiva, {Im
intervalli aperti che ricopre E, e si ha
X X
X
n
lN (Im
)
N (Rn ) + N (E) + 2 .
nN mNN

nN

Pertanto,
mN (E) N (E) + 2 ,
da cui la tesi per larbitrariet`a di .
A questo punto, essendo N e mN numericamente uguali, ne segue che
E `e misurabile per N se e solo se lo `e per mN . Pertanto, la -algebra degli
insiemi misurabili secondo N `e la -algebra degli insiemi misurabili secondo
mN (ovvero, quella che abbiamo definito come la -algebra degli insiemi
misurabili secondo Lebesgue). Cosa abbiamo guadagnato? Una sola cosa:
adesso possiamo affermare che i rettangoli di RN sono misurabili secondo
Lebesgue e che
mN (R) = mN (R) = N (R) = m(A1 ) . . . m(An ) ,
ovvero che la misura N -dimensionale del prodotto cartesiano di N insiemi
misurabili secondo Lebesgue in R `e il prodotto delle loro misure.

5.2

Il teorema di Fubini-Tonelli

A partire dalla misura N -dimensionale, `e possibile definire il concetto di misurabilit`a per una funzione, e successivamente dare la definizione di integrale.
Ancora una volta, tutte le propriet`a dimostrate nel caso unidimensionale
continuano a valere in dimensione qualsiasi, compresi i teoremi di passaggio
al limite sotto il segno di integrale.

CAPITOLO 5. MISURE PRODOTTO

121

Per semplicit`a di esposizione, a partire da ora ci limiteremo a considerare

R . Sia allora f : R2 R una funzione sommabile; ovvero, una funzione
misurabile e tale che
ZZ
|f (x, y)| dx dy < + .
2

R2

Ci chiediamo ora se per analogia con quanto accade per lintegrazione

secondo Riemann per funzioni continue lintegrale precedente possa essere
spezzato in due integrali su R, ovvero se


Z Z
ZZ
Z Z
|f (x, y)| dy dx .
|f (x, y)| dx dy =
|f (x, y)| dx dy =
R2

A prescindere dalluguaglianza, affinche la formula precedente sia esatta,

devono verificarsi due fatti:
i) per ogni fissato y in R la funzione x 7 |f (x, y)| deve essere misurabile
e sommabile su R;
Z
ii) la funzione y 7
|f (x, y)| dx deve essere misurabile e sommabile su
R

R.
Esempio 5.2.1 Sia P un insieme non misurabile di R contenuto in [0, 1], e
sia E = P Q. Allora E (che non `e un rettangolo) `e misurabile in R2 . Infatti,
E [0, 1] Q, che `e un rettangolo di misura nulla, e pertanto m2 (E) = 0,
da cui segue (si veda il Teorema 2.3.2), che E `e misurabile (e ha misura
nulla). Consideriamo ora f (x, y) = E (x, y) = P (x) Q (y). Ovviamente f
`e misurabile (come funzione caratteristica di un insieme misurabile), e il suo
integrale su R2 vale zero (essendo f nulla quasi ovunque). Sia ora y fissato in
R; allora f (x, y) = P (x) se y `e razionale, e zero altrimenti. RPertanto, se y `e
in Q, f (x, y) non `e misurabile e non ha dunque senso scrivere R f (x, y) dx. Il
che vuol dire che non `e (apparentemente) possibile spezzare lintegrale di f
su tutto R2 come due integrali. In realt`a, la funzione f (x, y) `e sia misurabile
che sommabile su R per quasi tutti gli y in R: tutti, tranne i razionali, che
formano un insieme di misura nulla. Pertanto, possiamo definire, per quasi
ogni y in R, la funzione
Z
y 7

f (x, y) dx ,
R

CAPITOLO 5. MISURE PRODOTTO

122

che `e la funzione identicamente nulla, definire arbitrariamente la stessa funzione per y razionale (dal momento che siamo interessati ad integrare tale
funzione su R, modificarla o definirla su un insieme di misura nulla non
modifica il valore dellintegrale), ed ottenere una funzione misurabile (perche
quasi ovunque nulla), sommabile, e con integrale zero.
La validit`a della seconda formula `e ancora pi`
u evidente, dal momento
che, per ogni x in R la funzione f (x, y) `e la funzione quasi ovunque nulla, e
pertanto
Z
x 7

f (x, y) dy ,
R

`e nuovamente la funzione ovunque nulla, il cui integrale `e zero.

Lesempio precedente mostra che, nonostante la funzione ottenuta da
f (x, y) congelando una delle due variabili possa non essere misurabile, i
valori di x (o di y) per i quali si ottiene una funzione non misurabile formano
un insieme di misura di nulla, e sono quindi trascurabili quando si parla di
integrali. Questo fatto accade non solo nellesempio precedente, ma per ogni
funzione misurabile. Per dimostrare questo fatto, abbiamo bisogno di alcuni
risultati preliminari.
Definizione 5.2.2 Sia R la famiglia dei rettangoli di R2 :
R = {A B, A, B M} .
Definiamo
R = {E =

Rn , Rn R} ,

nN

e
R = {E =

Rn , Rn R } .

nN

Ovviamente, si ha R R R M2 , e le inclusioni sono strette.

Alcune delle propriet`a di R e R sono riassunte nel teorema che segue.
Teorema 5.2.3 Si ha
1) R `e chiuso rispetto allunione numerabile e allintersezione finita;

CAPITOLO 5. MISURE PRODOTTO

123

2) R `e chiuso rispetto allunione numerabile e allintersezione numerabile;

3) per ogni E misurabile in R2 con m2 (E) < +, e per ogni > 0, esiste
R in R , con E R , e m2 (R ) m2 (E) + ;
4) per ogni E misurabile in R2 con m2 (E) < +, esiste R in R , con
E R, e m2 (R) = m2 (E);
5) se E `e in R , esiste una famiglia al pi`
u numerabile di rettangoli {Qn }
S
a due a due disgiunti e tali che E = nN Qn ;
6) se E `e in R e m2 (E) < +, esiste una famiglia al pi`
u numerabile di
insiemi {Qn } in R tali che m2 (Q1 ) < +, Qn+1 Qn per ogni n in
T
N, e E = nN Qn .
Dimostrazione. Il fatto che R sia chiuso rispetto allunione numerabile
discende direttamente dalla definizione di R . Se E e F appartengono a R ,
allora
[
[
Qm ,
Rn ,
F =
E=
mN

nN

con Rn e Qm rettangoli. Allora

EF =

[ [

Rn Qm ,

nN mN

e quindi E F `e in R dal momento che Rn Qm `e un rettangolo per ogni

n e m. Dalla definizione segue poi in maniera evidente che R `e chiuso
rispetto alle unioni numerabili ed alle intersezioni numerabili.
Sia ora E misurabile e di misura finita. Essendo m2 (E) = m2 (E) =
2 (E), per definizione di 2 , fissato > 0 esiste una famiglia {Rn } al pi`
u
numerabile di rettangoli la cui unione ricopre E e
X
m2 (Rn ) m2 (E) + .
nN

Se definiamo R = nN Rn , allora R `e in R , E `e contenuto in R , ed

essendo m2 -subadditiva, si ha
X
m2 (R )
m2 (Rn ) m2 (E) + ,
nN

CAPITOLO 5. MISURE PRODOTTO

124

che `e la tesi di 3).

A partire da 3), sia = n1 , e sia Rn in R tale che E Rn e m2 (Rn )
T
m2 (E) + n1 . Definiamo R = nN Rn . Allora R `e in R , R contiene E e si
ha, per ogni n in N,
m2 (E) m2 (R) m2 (Rn ) m2 (E) +

1
,
n

da cui segue 4).

Sia ora E in R ; allora E `e lunione di una famiglia al pi`
u numerabile di
Sn1
rettangoli {Rn }. Sia P1 = R1 , P2 = R2\R1 , Pn = Rn\( j=1 Rj ). Gli insiemi
Pj sono evidentemente a due a due disgiunti, e la loro unione `e ancora E.
Si verifica facilmente che ognuno dei Pj `e unione finita di rettangoli a due
Snj
Qji . Pertanto, E `e lunione dei {Qnj }, che sono
a due disgiunti: Pj = i=1
rettangoli a due a due disgiunti.
T
Infine, sia E in R , con m2 (E) < +. Allora E = nN Rn , con Rn
Tn
in R . Definiamo P1 = R1 , P2 = R1 R2 e Pn = j=1 Rj . Allora i Pj
sono ancora in R (per 1)), verificano Pn+1 Pn , e la loro intersezione `e
ovviamente E; lunica cosa che P1 potrebbe non verificare `e m2 (P1 ) < +.
In questo caso, siccome m2 (E) `e finita, per il punto 3) esiste R in R tale
che E R e m2 (R) m2 (E) + 1; in particolare, R ha misura finita. Ma
allora {Pn R} soddisfa tutte le richieste del punto 6).
Definizione 5.2.4 Sia E un sottoinsieme di R2 , e sia x in R. Definiamo la
sezione di E secondo x linsieme
Ex = {y R : (x, y) E} .
Se E `e un insieme di R2 , e x `e in R, si ha
Ex (y) = E (x, y) .
Inoltre, se {En } `e una famiglia qualsiasi di insiemi, allora
!
!
[
[
\
\
En
=
(En )x ,
En
=
(En )x .
nN

nN

nN

nN

Teorema 5.2.5 Sia x in R e sia E in R . Allora Ex `e misurabile in R.

CAPITOLO 5. MISURE PRODOTTO

125

Dimostrazione. Sia E in R. Allora E = A B, e quindi

n
Ex = se x 6 A,
B se x A.
In entrambi i casi, Ex `e misurabile. Se E `e in R , allora
[
Ex =
(Rn )x ,
nN

dove {Rn } sono i rettangoli la cui unione `e E. Ma allora Ex `e misurabile

come unione numerabile di insiemi misurabili. Infine, se E `e in R , allora
\
Ex =
(Rn )x ,
nN

dove {Rn } sono gli insiemi di R la cui intersezione `e E. Ma allora Ex `e

misurabile come intersezione numerabile di insiemi misurabili.
Teorema 5.2.6 Sia E in R con m2 (E) < +, e sia g(x) = m(Ex ). Allora
g `e misurabile su R e si ha
Z
g(x) dx = m2 (E) .
R

Dimostrazione. Se E `e un rettangolo, allora E = A B, Ex `e B oppure linsieme vuoto a seconda se x appartiene o meno ad A, e quindi
g(x) = m(B) A (x). Essendo A misurabile, g lo `e, e il suo integrale `e proprio
m(A) m(B) che `e m2 (E).
Se E `e in R , per il Teorema 5.2.2, 5), E `e unione al pi`
u numerabile di
una famiglia {Rn } di rettangoli a due a due disgiunti. Definiamo gn (x) =
m((Rn )x ). Allora gn `e misurabile (per quanto appena dimostrato), e si ha
X
g(x) =
gn (x) ,
nN

da cui segue che g `e misurabile. Infine, essendo gn 0 per ogni n, il corollario

del Teorema di convergenza monotona, ed il fatto che gli Rn sono disgiunti,
implica che
Z
XZ
X
g(x) dx =
gn (x) dx =
m2 (Rn ) = m2 (E) .
R

nN

nN

CAPITOLO 5. MISURE PRODOTTO

126

Sia ora E in R . Allora, per il Teorema 5.2.2, 6), E `e lintersezione

di una famiglia {Rn } numerabile di insiemi in R , con m2 (R1 ) < + e
Rn+1 Rn . Detta gn (x) = m((Rn )x ), si ha che g1 `e in L1 (R) e che 0
gn+1 (x) gn (x) g1 (x). Essendo g1 in L1 (R), g1 `e finita quasi ovunque, e
quindi m((R1 )x ) < + per quasi ogni x in R. Per questi x, dal momento
che la successione {(Rn )x } `e monotona decrescente e la sua intersezione `e Ex ,
si ha, per il Teorema 2.3.7, ii),
g(x) = m(Ex ) = lim m((Rn )x ) = lim gn (x) .
n+

n+

Pertanto, gn converge a g quasi ovunque e quindi g `e misurabile. Essendo

0 gn g1 , dal Teorema di Lebesgue segue
Z
Z
g(x) dx = lim
gn (x) dx = lim m2 (Rn ) = m2 (E) ,
R

n+

n+

dove nellultimo passaggio si `e usato ancora una volta il Teorema 2.3.7, ii).
Finora ci siamo occupati solo degli insiemi di R , ma per trattare gli
insiemi misurabili qualsiasi ci viene in aiuto il punto 4) del Teorema 5.2.2.
Teorema 5.2.7 Sia E un sottoinsieme misurabile in R2 , con m2 (E) = 0.
Allora Ex `e misurabile in R per quasi ogni x in R e si ha m(Ex ) = 0.
Dimostrazione. Per il Teorema 5.2.2, 4), esiste F in R contenente E e
con m2 (F ) = 0. Dal teorema precedente segue allora che
Z
m(Fx ) dx .
0 = m2 (F ) =
R

Essendo m(Fx ) una funzione misurabile e non negativa, ne segue che m(Fx ) =
0 per quasi ogni x in R. Essendo E F , si ha Ex Fx e quindi, per quasi
ogni x, Ex `e misurabile ed ha misura zero.
Teorema 5.2.8 Sia E un sottoinsieme misurabile di R2 , con m2 (E) < +.
Allora per quasi ogni x in R linsieme Ex `e misurabile in R; la funzione,
definita quasi ovunque, g(x) = m(Ex ) `e misurabile in R, sommabile su R e
tale che
Z
g(x) dx = m2 (E) .
R

CAPITOLO 5. MISURE PRODOTTO

127

Dimostrazione. Sempre per il Teorema 5.2.2, 4), esiste F in R tale che

E F e m2 (E) = m2 (F ). Sia G = F \ E. Allora G ha misura nulla e
quindi, per il teorema precedente, Gx `e misurabile per quasi ogni x in R (con
m(Gx ) = 0). Dal momento che Ex = Fx \Gx , Ex `e misurabile per quasi ogni
x in R, e m(Ex ) = m(Fx ) per tali x. Pertanto, g(x) = m(Fx ) quasi ovunque;
per il Teorema 5.2.6, g `e dunque misurabile essendo quasi ovunque uguale
ad una funzione misurabile. Inoltre, sempre per il Teorema 5.2.6,
Z
Z
g(x) dx =
m(Fx ) dx = m2 (F ) = m2 (E) ,
R

come volevasi dimostrare.

Osservazione 5.2.9 Sia ora E un insieme misurabile di R2 , con m2 (E) <
+, e sia f (x, y) = E (x, y), cosicche f `e sommabile su R2 . Dal momento
che E (x, y) = Ex (y) il teorema precedente si pu`o cos` interpretare:
a) per quasi ogni x fissato in R, la funzione y 7 f (x, y) = Ex (y) `e
misurabile e sommabile su R (dal momento che il suo integrale vale
m(Ex ));
Z
b) la funzione (definita per quasi ogni x in R) x 7
f (x, y) dy `e misuR
R
rabile (dato che R f (x, y) dy = m(Ex )) e sommabile su R;
c) si ha


Z Z
f (x, y) dy
R

ZZ
dx = m2 (E) =

f (x, y) dx dy .
R2

Un discorso analogo si pu`o fare considerando sezioni di E secondo y,

ottenendo lo stesso risultato. In altre parole, almeno per le funzioni caratteristiche di insiemi misurabili di misura finita `e possibile spezzare un
integrale doppio come due integrali semplici, integrando prima rispetto ad
una qualsiasi delle due variabili, e poi rispetto allaltra.
In realt`a, la stessa operazione si pu`o effettuare qualsiasi sia la funzione
sommabile su R2 ; prima di dimostrare questo fatto, abbiamo bisogno di un
ulteriore risultato di approssimazione.

CAPITOLO 5. MISURE PRODOTTO

128

Teorema 5.2.10 Sia f una funzione non negativa e misurabile su R2 . Allora

esiste una successione crescente di funzioni semplici {n }, ognuna nulla fuori
da un insieme misurabile di misura finita, tale che n converge a f ovunque
in R2 .
Dimostrazione. Lidea di questa dimostrazione `e la stessa usata per dimostrare il Teorema 2.4.12. Innanzitutto, siano n in N e Fn = [n, n] [n, n];
definiamo, per k = 0, . . . , n 2n 1,


k
k+1
En,k = x Fn : n f (x, y) <
, En = {(x, y) Fn : f (x, y) n} .
2
2n
Gli insiemi En e En,k sono ovviamente misurabili (perche lo `e f ), e, se k
n 2n 1,
En,k = En+1,2k En+1,2k+1 ,
(2.1)
lunione essendo disgiunta. Definiamo
n (x, y) = n En (x, y) +

nX
2n 1
k=0

k
E (x, y) .
2n n,k

Per costruzione, n `e una funzione semplice, nulla fuori da Fn (ovvero, da un

insieme di misura finita). Inoltre, per ogni (x, y) in Fn {(x, y) R2 : 0
f (x, y) < n} si ha
1
|n (x, y) f (x, y)| n .
(2.2)
2
Da (2.1) (e dalla definizione di n su En ) segue anche che, su Fn , si ha
n n+1 ; dal momento che n `e nulla fuori da Fn , mentre n+1 `e non
negativa, si ha n n+1 su R2 .
Sia ora (x, y) in R2 tale che f (x, y) < + (quasi ogni (x, y) in R2 soddisfa
tale propriet`a). Allora esiste n(x,y) in N tale che (x, y) `e in Fn {(x, y)
R2 : 0 f (x, y) < n} per ogni n n(x,y) ; per (2.2) si ha allora che n (x, y)
converge a f (x, y).
Se, invece, f (x, y) = +, allora esiste n(x,y) in N tale che (x, y) `e in
Fn En per ogni n n(x,y) . Ma allora n (x, y) = n definitivamente, e quindi
tende a + = f (x, y).
Possiamo ora enunciare e dimostrare il teorema di spezzamento degli
integrali.

CAPITOLO 5. MISURE PRODOTTO

129

Teorema 5.2.11 (Fubini, Tonelli) Sia f : R2 R una funzione misurabile e non negativa. Allora (teorema di Tonelli)
1) per quasi ogni x in R la funzione fx definita da fx (y) = f (x, y) `e
misurabile in R;
2) per quasi ogni y in R la funzione fy definita da fy (x) = f (x, y) `e
misurabile in R;
Z
3) la funzione (definita quasi ovunque) x 7
f (x, y) dy `e misurabile su
R

R;
Z
4) la funzione (definita quasi ovunque) y 7

f (x, y) dx `e misurabile su
R

R;
5) si ha
Z Z


f (x, y) dy

Z Z

ZZ
f (x, y) dx dy =

dx =
R2


f (x, y) dx dy .

Se f `e sommabile (di segno qualsiasi), allora (teorema di Fubini) le funzioni

definite nei punti 1)4) sono sommabili.
Dimostrazione. Data la simmetria dellenunciato rispetto ad x e y, `e
sufficiente dimostrare 1), 3) e 5).
Iniziamo con losservare che il teorema `e gi`a provato se f (x, y) `e la funzione caratteristica di un insieme misurabile e di misura finita: questo `e infatti
il contenuto dellOsservazione 5.2.9, la 1), 3) e 5) essendo rispettivamente la
a), b) e c).
Pertanto, per linearit`a, il teorema `e vero per ogni funzione semplice nulla
fuori da un insieme di misura finita.
A questo punto utilizziamo il Teorema 5.2.10, e costruiamo una successione {n } monotona crescente di funzioni semplici convergente ad f ovunque,
con n nulla fuori da un insieme di misura finita. Ovviamente, per ogni x in
R si ha
fx (y) = lim (n )x (y) ,
n+

CAPITOLO 5. MISURE PRODOTTO

130

Sia ora En contenuto in R tale che m(En ) = 0 e (n )x `e misurabile in R per

ogni x in R\En . Detta E lunione degli En , si ha m(E) = 0, e fx `e misurabile
su R per ogni x in R\E, essendo limite puntuale di funzioni misurabili. Per
x in R\E, inoltre, dal Teorema di convergenza monotona segue che
Z
Z
f (x, y) dy = lim
n (x, y) dy ,
n+

cosicche, essendo misurabile per tali x la funzione

Z
x 7
n (x, y) dy ,
R

si ha che

Z
x 7

f (x, y) dy ,
R

`e misurabile.
Dal momento che

Z
x 7

f (x, y) dy ,
R

`e limite della successione crescente

Z
n (x, y) dy ,
x 7
R

una seconda applicazione del Teorema della convergenza monotona, ed il

fatto che il teorema `e vero per funzioni semplici, implica che


Z Z
Z Z
f (x, y) dy dx = lim
n (x, y) dy dx
n+ R
R
R
ZZ R
= lim
n (x, y) dx dy
n+
ZZ
R2
=
f (x, y) dx dy ,
R2

dove nellultimo passaggio si `e usato ancora una volta il Teorema di convergenza monotona. Pertanto, 5) `e dimostrata.
Supponiamo ora che f sia sommabile; per linearit`a dellintegrale, `e sufficiente dimostrare 1), 3) e 5) per f + (x, y) e f (x, y), ovvero dimostrarle per

CAPITOLO 5. MISURE PRODOTTO

131

una funzione sommabile non negativa. Essendo una tale funzione misurabile,
otteniamo 1), 3) e 5); inoltre, essendo finito lintegrale su R di
Z
f (x, y) dy ,
x 7
R

ne segue che tale funzione `e sommabile, cosicche la funzione definita in 3) `e

sommabile; essendo sommabile, `e finita quasi ovunque, e quindi
x 7 f (x, y) ,
`e sommabile per quasi ogni x.
Osservazione 5.2.12 Lo spazio ambiente delle dimostrazioni svolte finora `e stato R2 , ma il Teorema di Fubini-Tonelli `e valido anche in RN , che
possiamo spezzare come Rk RN k . Analogamente, possiamo spezzare
gli integrali come vogliamo, ed effettuarli nellordine che vogliamo.
Osservazione 5.2.13 Il teorema precedente `e un buon test di sommabilit`a, nel senso che per dimostrare che una funzione misurabile `e sommabile su
R2 la si pu`o integrare prima rispetto ad una variabile, poi rispetto allaltra;
se il risultato `e finito, la funzione di partenza `e sommabile, altrimenti no.
Esempio 5.2.14 Sia f in Lp (R). Allora `e finito lintegrale su R di |f (x)|p .
Pertanto, per il Teorema di Fubini-Tonelli,

Z
Z Z
p
p1
|f (x)| dx =
py
dy dx
R
RZ [0,|f
(x)|]

Z
p1
= p
y
dx
[0,|f (x)|] (y) dy

ZR ZR
{(x,y)R2 :0y|f (x)|} (x, y) dx y p1 dy
= p
R
ZR
= p
m({x R : |f (x)| y}) [0,+) (y) y p1 dy
ZR
= p
y p1 m({x R : |f (x)| y}) dy ,
[0,+]

che d`a una formula per il calcolo dellintegrale di una funzione di Lp (R) in
termini della misura dei sopralivelli. In maniera analoga si dimostra che, se

CAPITOLO 5. MISURE PRODOTTO

132

E `e un insieme misurabile e f `e in Lp (E), allora

Z
Z
p
|f (x)| dx = p
m({x E : |f (x)| y}) y p1 dy .
E

[0,+)

In modo simile, si ha, per ogni k 0,

Z
Z
p
|f (x)| dx = p
m({x E : |f (x)| y}) y p1 dy .
{xE:|f (x)|k}

[k,+)

Ad esempio, se f (x) = x1 [1,+) (x), dal momento che

1
1 se 0 < y 1,
m({x R : |f (x)| y} = y
0
altrimenti,
si ha

|f (x)| dx = p
R

y
[0,1]

p1


1
1
1 dy =
.
y
p1

Inoltre, se m(E) < +, e se f `e tale che esiste una costante C > 0 tale
che m({x E : |f (x)| > y} tCq (ovvero, f appartiene allo spazio di
Marcinkiewicz M q (E)), allora f `e in Lp (E) per ogni p < q. Infatti
Z
Z
Z
p
p
|f (x)| dx =
|f (x)| dx +
|f (x)|p dx
E
{xE:|f (x)|<1}
{xE:|f (x)|1}
Z
m(E) + p
m({x E : |f (x)| y}) y p1 dy
[1,+)
Z
1
m(E) + p C
dy < + .
qp+1
[1,+) y
Pertanto, ricordando che Lp (E) `e contenuto in M p (E) (come si vede utilizzando la disuguaglianza (2.25) del Capitolo 3), se m(E) < +, M p+ (E)
Lp (E) M p (E), con inclusioni strette.

Indice analitico
condizione di Cauchy, 14
misura se m(E) = +, 80
continuit`a, 13
schema riassuntivo, 96
convergenza
di una successione crescente di distanza, 2
discreta, 2
funzioni semplici verso una fun disuguaglianza triangolare, 2
zione sommabile, 128
positivit`a, 2
in L (E) `e la uniforme quasi
simmetria, 2
ovunque, 95
in Lp (E) implica in Lq (E) se disuguaglianza
di Bessel, 102
p > q e m(E) < +, 96
di Cauchy-Schwartz in RN , 3
in Lp (E) implica in misura, 95
di Cauchy-Schwartz per succes in Lp (E) implica quasi ovunque
sioni, 7
per sottosuccessioni, 95
di Chebyshev, 75
in Lp (E) non implica quasi ovun di Holder in RN , 5
que, 94
di Holder per funzioni continue,
in misura, 79
10
in misura implica quasi ovunque

di
Holder per successioni, 7
per sottosuccessioni, 79
di Young, 4
in misura non implica quasi ovunque, 94
funzione a gradino, 54
lemma di Riemann-Lebesgue in funzione di Dirichlet, 55
L1 ([, ]), 112
funzioni misurabili, 44
lemma di Riemann-Lebesgue in
sup, inf, lim sup, lim inf e lim,
L2 ([, ]), 106
46
quasi ovunque, 47
continuit`a a meno di insiemi di
quasi ovunque implica in misura
misura piccola, 48, 88
se m(E) < +, 80
convergenza quasi uniforme, 51,
quasi ovunque non implica in
52
133

INDICE ANALITICO
formano uno spazio vettoriale,
44
funzioni caratteristiche, 47
funzioni continue, 44
funzioni semplici, 48, 56
rappresentazione canonica,
56
restrizioni ad insiemi misurabili
di funzioni misurabili, 44
uguali quasi ovunque, 47
insieme aperto, 11
insieme chiuso, 11
insiemi misurabili
secondo Lebesgue, 29
-additivit`a, 32
-algebra dei misurabili, 40
finita additivit`a, 31, 32
i rettangoli in RN , 120, 122
insieme non misurabile, 40
insiemi con la stessa misura
di un numerabile in R , 123
insiemi misurabili, aperti e
chiusi, 38
invarianza per traslazioni,
36
le intersezioni numerabili di
unioni numerabili di rettangoli in RN , 122
le unioni numerabili di rettangoli in RN , 122
misurabilit`a degli aperti, 38
misurabilit`a degli insiemi di
misura esterna nulla, 30
misurabilit`a degli intervalli,
38

134
misurabilit`a dei chiusi, 38
misurabilit`a dellunione finita, 30
misurabilit`a delle semirette,
37
successioni monotone crescenti, 35
successioni monotone decrescenti, 35
secondo Peano-Jordan, 23
integrale secondo Lebesgue
funzioni misurabili e limitate
additivit`a, 64
definizione, 63
funzioni uguali quasi ovunque, 64
integrabilit`a, 60
integrale inferiore, 60
integrale superiore, 60
monotonia, 64
su unioni finite di insiemi
misurabili, 64
teorema di convergenza limitata, 67
funzioni non negative
additivit`a, 70
definizione, 69
integrabilit`a per serie, 73
lemma di Fatou, 71
monotonia, 70
su unioni numerabili di insiemi misurabili, 73
teorema di Beppo Levi, 72
funzioni sommabili
additivit`a, 77

INDICE ANALITICO
assoluta continuit`a dellintegrale, 75
definizione per funzioni di
segno qualsiasi, 76
definizione per funzioni non
negative, 74
finite quasi ovunque, 75
monotonia, 77
su unioni finite di insiemi
misurabili, 77
teorema di Lebesgue, 78
teorema di Lebesgue generalizzato, 81
teorema di Vitali, 81
integrabilit`a delle funzioni integrabili secondo Riemann, 63
integrale di funzioni semplici,
57
additivit`a, 58
indipendenza dalla rappresentazione, 57, 59
monotonia, 58
integrale secondo Riemann
definizione, 54
integrale inferiore, 53
integrale inferiore e funzioni a
gradino, 55
integrale superiore, 53
integrale superiore e funzioni a
gradino, 55
somme inferiori, 53
somme superiori, 53
limitatezza, 13
lunghezza di un intervallo
in R, 25

135
in RN , 114
lunghezza di un intervallo aperto, 23
massimo limite, 45
minimo limite, 45
misura di Lebesgue, 40
di un rettangolo, 117
in RN , 115
misura esterna
secondo Lebesgue, 25
-subadditivit`a, 28
estensione, 26
in RN a partire dagli intervalli, 114
in RN a partire dagli intervalli `e la stessa a partire dai
rettangoli, 119
in RN a partire dai rettangoli, 118
invarianza per traslazioni,
29
monotonia, 26
regolarit`a, 26
secondo Peano-Jordan, 23
misura interna
secondo Peano-Jordan, 23
misura secondo Peano-Jordan, 23
partizione di un intervallo, 53
pluriintervallo, 23
quasi ovunque, 47
razionali
misurabili secondo Lebesgue, 30
non misurabili secondo PeanoJordan, 24

INDICE ANALITICO

136

(L2 (E), d2 )
prodotto scalare, 100
semi-algebra

(` , d ), 9
definizione, 115
(`p , dp ), 8
estensione di una misura, 116
(L1 (E), d1 ), 82
gli intervalli di RN , 115
convergenza totale, 83
i rettangoli di RN , 117
convergenza totale implica
separabilit`a
convergenza, 84
(L (R), d ) non `e separabile,
densit`a delle funzioni conti100
nue, 87
definizione, 97
(L (E), d ), 91
di (Lp (R), dp ), 98
(Lp (E), dp ), 90
di (Lp (E), dp ), 99
densit`a delle funzioni contisezione di un insieme misurabile
nue, 90
definizione, 124
(RN , d2 ), 3
misurabilit`a della funzione m(Ex ),
(RN , d ), 7
126
(RN , dp ), 6
misurabilit`a delle sezioni di in definizione, 2
siemi in R , 124
densit`a, 19
misurabilit`a per ogni x della mi isometria, 19
sura di Ex , se E `e in R ,
metrica discreta, 2
125
spazi metrici completi
misurabilit`a per quasi ogni x di
(C(X, Y ), d ) se Y `e completo,
Ex , 126
15
misurabilit`a per quasi ogni x di
(C 0 ([a, b]), d1 ) non `e completo,
Ex se m2 (E) = 0, 126
17
sfera aperta, 11
(C 0 ([a, b], R), d ), 16
spazi metrici
(L(X, Y ), d ) se Y `e completo,
(C(X, Y ), d ), 13
15
(C 0 ([a, b], R), d1 ), 9
1

(L
([, ]), d1 )
0
(C ([a, b], R), d ), 9
la serie di Fourier pu`o diver (C 0 ([a, b], R), dp ), 10
gere ovunque, 113
(C 1 ([a, b], R), d,1 ), 11
lemma di Riemann-Lebesgue,
(C 1 ([a, b], R), d,1 ), 11
112
(C 1 ([a, b], R), d,1 ), 11
(L2 ([, ]), d2 )
(L(X, Y ), d ), 13
rettangolo, 117

INDICE ANALITICO
convergenza della serie di Fourier di funzioni caratteristiche,
109
convergenza quasi ovunque
della serie di Fourier, 111
lemma di Riemann-Lebesgue,
106
sistema ortogonale trigonometrico, 105
sistema ortogonale trigonometrico `e completo, 110
(L ([, ]), d )
la serie di Fourier non converge, 113
(` , d ), 16
(`p , dp ), 16
(L1 (E), d1 ), 86
(L (E), d ), 91
(Lp (E), dp ), 90
completezza dei sottoinsiemi chiusi, 15
definizione, 14
spazi di Hilbert, 101
spazi di Hilbert separabili
coefficienti di Fourier, 103
identit`a di Parseval, 102
isometria biunivoca fra (H, d)
e (`2 , d2 ), 104
sistema ortonormale completo, 101
teorema di completamento, 19
successioni convergenti, 12
unicit`a del limite, 12
teorema di Fubini-Tonelli
per funzioni caratteristiche, 127

137
per funzioni misurabili, 129
per funzioni sommabili, 129