You are on page 1of 76

Misura e integrale

di Lebesgue
Mario Poletti
Elettronica e Telecomunicazioni
Pisa, 2011/12
Indice
1 Misura e integrale di Lebesgue 1
1.1 Rettangoli e plurirettangoli in R
n
. . . . . . . . . . . . . . . . 1
1.2 Misura di Jordan in R
n
. . . . . . . . . . . . . . . . . . . . . 3
1.3 Misura di Lebesgue in R
n
. . . . . . . . . . . . . . . . . . . . 4
1.4 Propriet`a della misura di Lebesgue in R
n
. . . . . . . . . . . 6
1.5 Funzioni da R
n
in R misurabili ed integrabili secondo Riemann 15
1.6 Funzioni da R
n
in R misurabili ed integrabili secondo Lebesgue 17
1.7 Misurabilit`a e fasce di livello . . . . . . . . . . . . . . . . . . 19
1.8 Funzioni limitate su insiemi limitati: signicato analitico del-
lintegrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.9 Funzioni limitate su insiemi limitati: uso per lo studio del-
lintegrabilit`a . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.10 Funzioni continue: misurabilit`a e condizioni di integrabilit`a . 43
1.11 Esempi di funzioni integrabili . . . . . . . . . . . . . . . . . . 46
1.12 Asserti veri quasi ovunque. Il Teorema di Lebesgue . . . . . . 52
1.13 Funzioni denite quasi ovunque. I Teoremi di Fubini e Tonelli 55
1.14 Un teorema su GL(R, n) . . . . . . . . . . . . . . . . . . . . . 59
1.15 Applicazioni lineari e misura . . . . . . . . . . . . . . . . . . 61
1.16 Dieomorsmi di classe C
1
e misura . . . . . . . . . . . . . . 64
1.17 Dieomorsmi di classe C
1
e integrale . . . . . . . . . . . . . 67
1.18 Traslazioni e dilatazioni di funzioni misurabili ed integrabili . 70
Capitolo 1
Misura e integrale di
Lebesgue
In questo Capitolo ricordiamo brevemente le denizioni di misura di Jordan
per sottinsiemi di R
n
e di integrale di Riemann per funzioni da R
n
in R, e
introduciamo le nozioni di misura di Lebesgue e di integrale di Lebesgue.
Tutti gli insiemi misurabili secondo Jordan, lo risulteranno anche secondo
Lebesgue, e le due corrispondenti misure coincideranno.
Tutte le funzioni integrabili secondo Riemann, lo risulteranno anche
secondo Lebesgue, e i due corrispondenti integrali coincideranno.
Lintegrale di Lebesgue viene denito in maniera solo apparentemente in-
tuitiva, come dierenza delle misure delle parti positiva e negativa comprese
tra il dominio e il graco.
Vantaggio: la semplicit`a dellesposizione, e la trasformazione in ovvii di
molti risultati usuali.
Costo: giusticare lequivalenza tra la denizione data e le denizioni
usuali. Tale costo viene pagato:
nella Sezione 1.7, la cui lettura pu`o essere omessa, con leccezione
dellenunciato del Teorema 1.7.1;
e nella Sezione 1.8, nel quale la dimostrazione del Teorema 1.8.3
pu`o essere omessa.
1.1 Rettangoli e plurirettangoli in R
n
Le considerazioni che seguono sono comuni alla misura di Jordan ed a quella
di Lebesgue: introducono le nozioni di rettangolo e plurirettangolo in R
n
, e
la denizione della loro misura.
Siano
a
1
, b
1
, . . . , a
n
, b
n
R
2 1 Misura e integrale di Lebesgue
tali che
a
1
< b
1
, . . . , a
n
< b
n
e sia
R = [a
1
, b
1
] [a
n
, b
n
]
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
........................................................................................................................................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
.
........... .
...........
.
..........
.
..........
.
.
..........
.
..........
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
............................................................ .
............................................................
a
1
b
1
a
2
b
2
R
* R si dice un rettangolo di R
n
,
# R si dice misurabile sia secondo Jordan che secondo Lebesgue,
# si pone, sia secondo Jordan che secondo Lebesgue,
mis R = (b
1
a
1
) (b
n
a
n
)
Sia R
1
, . . . , R

una famiglia nita di rettangoli di R


n
, a due a due privi
di punti interni in comune, e sia
P =

_
j=1
R
j
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
...................................................................................................................................................................................................................................................................................................................................................................................................................................
.
.................................................................................................................................................................................. .
..................................................................................................................................................................................
.
............................................................ .
............................................................
.
............................................................ .
.........................................................................................
.
..............................
.
......................................................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
1
R
2
R
3
R
4
R
5
* P si dice un plurirettangolo di R
n
# P si dice misurabile sia secondo Jordan che secondo Lebesgue,
# si pone, sia secondo Jordan che secondo Lebesgue,
mis P =

j=1
mis R
j
1.2 Misura di Jordan in R
n
3
Nota. La denizione di mis P `e una buona denizione: se
Q
1
, . . . , Q

`e una seconda famiglia nita di rettangoli di R


n
, a due
a due privi di punti interni in comune, tale che
P =

_
j=1
Q
j
si ha infatti (dimostrazione omessa)

j=1
mis Q
j
=

j=1
mis R
j
1.2 Misura di Jordan in R
n
Le considerazioni che seguono dicono quali sottinsiemi di R
n
siano chiamati
misurabili secondo Jordan, e come se ne denisca la misura secondo Jordan.
Sia
A R
n
un sottinsieme limitato di R
n
;
* si pone
J-mis
i
A =
_

_
0 se plurirettangoli P A
supmis P : P plurirettangolo A (0, +)
se plurirettangoli P A
;
il numero J-mis
i
A si dice la J-misura interna di A;
# si pone
J-mis
e
A = infmis P : P plurirettangolo A [0, +) ;
il numero J-mis
e
A si dice la J-misura esterna di A;
# ovviamente si ha
J-mis
i
A J-mis
e
A ;
# se
J-mis
i
A = J-mis
e
A ,
allora
V A si dice misurabile secondo Jordan;
, il numero J-mis
i
A = J-mis
e
A R si dice la J-misura di A,
e si denota con
J-mis A .
4 1 Misura e integrale di Lebesgue
Sia
A R
n
un sottinsieme non limitato di R
n
;
* se per rettangolo R di R
n
, linsieme limitato
A R
risulta misurabile secondo Jordan, allora A si dice misurabile se-
condo Jordan;
# in tal caso si denisce la J-misura di A tramite:
J-mis A = supJ-mis (A R) : R rettangolo di R
n
[0, +] .
1.3 Misura di Lebesgue in R
n
Le considerazioni che seguono dicono quali sottinsiemi di R
n
siano chia-
mati misurabili secondo Lebesgue, e come se ne denisca la misura secondo
Lebesgue.
Nota: Per gli insiemi misurabili secondo Jordan, la specicazione secon-
do Jordan sar`a sempre fatta; per gli insiemi misurabili secondo Lebesgue,
la specicazione secondo Lebesgue verr`a sistematicamente omessa. In par-
ticolare la frase A `e misurabile signicher`a sempre A `e misurabile secondo
Lebesgue.
* Sia un aperto limitato di R
n
V si dice misurabile
se = si pone
mis = 0
, se ,= si pone
mis = supmis P : P plurirettangolo (0, +)
# Sia K un chiuso limitato (ossia un compatto) di R
n
V K si dice misurabile
, si pone
mis K = infmis P : P plurirettangolo K [0, +)
1.3 Misura di Lebesgue in R
n
5
# Sia A un sottinsieme limitato di R
n
; si pone
mis
i
A = misura interna di A =
supmis K : K chiuso limitato A
mis
e
A = misura esterna di A =
infmis : aperto limitato A
si ha
0 mis
i
A mis
e
A < +
se
V mis
i
A = mis
e
A
allora
A si dice misurabile
, si pone
mis A = mis
i
A = mis
e
A [0, +)
# Sia A un sottinsieme qualsiasi di R
n
; se
V per ogni rettangolo R, linsieme limitato
A R
`e misurabile
allora
A si dice misurabile
, si pone
mis A = supmis (A R) : R rettangolo [0, +]
Le considerazioni che seguono, provano che tutti gli insiemi misurabili
secondo Jordan, lo sono anche secondo Lebesgue, e le due corrispondenti
misure coincidono.
Tali considerazioni giusticano labbandono della misura secondo Jor-
dan.
1.3.1 Teorema: Sussistono gli asserti (provare per esercizio):
6 1 Misura e integrale di Lebesgue
a) Sia A R
n
un insieme limitato; si ha:
0 J-mis
i
A mis
i
A mis
e
A J-mis
e
A < .
b) Sia A R
n
un insieme limitato; se A `e misurabile secondo Jordan,
allora (provare usando a)):
A `e misurabile (ossia `e misurabile secondo Lebesue),
J-mis A = mis A .
c) Sia A R
n
un insieme non limitato; se A `e misurabile secondo
Jordan, allora (provare usando b)):
A `e misurabile,
J-mis A = mis A .
1.4 Propriet`a della misura di Lebesgue in R
n
1.4.1 Teorema: Siano A, B R
n
; se A, B sono misurabili, allora:
V gli insiemi
A B A B UA = R
n
A B A
sono misurabili
A B = mis (A B) = mis A + mis B (con la convenzione:
numero+ = ++ = +)
(ossia: la misura di Lebesgue `e nitamente additiva)
A B mis A mis B
, A B e mis B < + mis (B A) = mis B mis A
Nota 1): propriet`a analoghe sono vericate anche dalla misura di Jordan;
in particolare la misura di Jordan `e nitamente additiva.
Nota 2): le propriet`a che seguono sono invece vericate solo dalla misura
di Lebesgue, e non si applicano alla misura di Jordan.
1.4.2 Teorema(numerabile additivit`a): Sia
A
1
, A
2
, A
3
, . . .
una successione di sottinsiemi misurabili di R
n
; se tali insiemi sono a due a
due disgiunti allora si ha (dimostrazione omessa):
V

_
j=1
A
j
`e misurabile
1.4 Propriet`a della misura di Lebesgue in R
n
7
, mis

_
j=1
A
j
=

j=1
mis A
j
(ossia: la misura di Lebesgue `e numerabilmente additiva)
1.4.3 Teorema(caratterizzazione degli insiemi misurabili e di misura nul-
la): Sia A R
n
; sono equivalenti gli asserti:
a) A `e misurabile, e mis A = 0
b) per ogni > 0,
V o esiste una famiglia nita di rettangoli
R
1
, . . . , R
h
tale che
A
h
_
j=1
R
j
h

j=1
mis R
j
< ,
, o esiste una successione di rettangoli
R
1
, R
2
, R
3
, . . .
tale che
A

_
j=1
R
j

j=1
mis R
j
< .
Dai Teoremi 1.4.2 e 1.4.3 si deducono i seguente Corollari.
1.4.4 Corollario 1)(completezza di mis ): Sia A R
n
un insieme misu-
rabile tale che
mis A = 0 ;
allora per B A si ha:
B `e misurabile,
mis B = 0.
Il fatto che tutti i sottinsiemo di un insieme di misura nulla siano misurabili
(ed abbiano ovviamente misura nulla), si esprime dicendo che mis `e una
misura completa.
1.4.5 Corollario 2): Sia
A
1
, A
2
, A
3
, . . .
una successione di sottinsiemi misurabili di R
n
. Si ha:
8 1 Misura e integrale di Lebesgue
*

_
j=1
A
j
`e misurabile
# mis

_
j=1
A
j

j=1
mis A
j
Cenno. Si ponga
B
1
= A
1
B
j
= A
j
(A
1
A
j1
) j = 2, 3, 4 . . .
e si osservi che:
ogni B
j
`e misurabile,
tali B
j
sono a due a due disgiunti,

_
j=1
A
j
=

_
j=1
B
j
.
B
#

j=1
A
j
`e misurabile
Cenno. Sia a R
n
; si ha
a

j=1
A
j
per ogni j, a A
j

per ogni j, a / R
n
A
j
a R
n

_
_

_
j=1
(R
n
A
j
)
_
_
Ne segue

j=1
A
j
= R
n

_
_

_
j=1
(R
n
A
j
)
_
_
B
1.4.6 Corollario 3): Sia A R
n
. Sono equivalenti gli asserti:
a) A `e misurabile,
b) esiste una successione A
1
, A
2
, A
3
, . . . di sottinsiemi limitati e misu-
rabili di A, tale che
_

_
A
1
A
2
A
3
. . .
A =

_
k=1
A
k
Cenno. a)b). Si ponga ad esempio
A
k
= A ([k, k] [k, k]) .
b)a). A `e misurabile in quanto unione numerabile di misura-
bili. B
1.4 Propriet`a della misura di Lebesgue in R
n
9
In tal caso, se A
1
, A
2
, A
3
, . . . `e una qualsiasi successione di sottinsiemi
limitati e misurabili di A, tale che
_

_
A
1
A
2
A
3
. . .
A =

_
k=1
A
k
allora si ha
mis A = lim
k
mis A
k
Cenno. Si osservi che, posto A
0
= , si ha
V A =

_
k=1
(A
k
A
k1
)
gli insiemi A
k
A
k1
, con k = 1, 2, 3, . . . , sono misurabile e a due a
due disgiunti
, mis A =

k=1
mis (A
k
A
k1
) = lim
k
mis A
k
B
Le considerazioni seguenti forniscono una caratterizzazione dei sottinsie-
mi misurabili di R
n
in termini di chiusi e di insiemi di misura nulla; preci-
samente provano che gli insiemi misurabili sono tutti e soli quelli descritti
parametricamente dalla formula
_

_
h=1
K
h
_
,
ove K
1
, K
2
, K
3
, . . . `e una famiglia numerabile qualsiasi di chiusi, e `e un
qualsiasi insieme misurabile di misura nulla.
1.4.7 Teorema(struttura degli insiemi misurabili): Si provino per esercizio
le seguenti considerazioni:
Considerazione 1). Sia K R
n
un insieme chiuso (sia limitato che non
limitato); allora K `e misurabile.
Considerazione 2). Sia K
1
, K
2
, K
3
, . . . R
n
una qualsiasi successione di
chiusi, e sia R
n
un qualsiasi insieme misurabile di misura nulla;
allora
_

_
h=1
K
h
_

`e misurabile.
10 1 Misura e integrale di Lebesgue
Considerazione 3). Sia A R
n
un qualsiasi insieme limitato; esiste una
successione di chiusi (ovviamente limitati)
K
1
, K
2
, K
3
, . . . A ,
tale che:

_
h=1
K
h
A (asserto ovvio),
mis
i
A = mis

_
h=1
K
h
Cenno. Si ricordi che
mis
i
A = supmis K : K chiuso, K A ;
esiste quindi una successione di chiusi
K
1
, K
2
, K
3
, . . . A
tale che
[mis
i
Amis K
h
[ < 1/h h = 1, 2, 3, . . . ;
una tale successione verica le propriet`a richieste. B
Considerazione 4). Sia A R
n
un qualsiasi insieme misurabile e limi-
tato; esistono una successione di chiusi (ovviamente limitati)
K
1
, K
2
, K
3
, . . . A ,
ed un insieme

_
A
misurabile
con mis = 0
tali che:
A =
_

_
h=1
K
h
_
.
Cenno. Siano K
1
, K
2
, K
3
, . . . come nella Considerazione 3); e sia
= A

_
h=1
K
h
;
essendo A misurabile si ha che `e misurabile e che
mis = mis Amis

_
h=1
K
h
= mis
i
Amis

_
h=1
K
h
= 0 .
B
1.4 Propriet`a della misura di Lebesgue in R
n
11
Considerazione 5). Sia A R
n
un qualsiasi insieme misurabile (anche
no limitato); esistono una successione di chiusi (sceglibili limitati)
K
1
, K
2
, K
3
, . . . A ,
ed un insieme

_
A
misurabile
con mis = 0
tali che:
A =
_

_
h=1
K
h
_
.
Cenno. Si considerino gli insiemi misurabili e limitati
A
m
= A
_
_
[m, m] [m, m]
. .
n
_
_
;
in conformit`a alla Considerazione 4), si ponga
A
m
=
_

_
h=1
K
mh
_

m
;
una scelta di K
h
(limitati) e di `e la seguente:
K
h
=
h
_
m,r=1
K
mr
, =
h
_
m=1

m
.
B
ESERCIZI
* Sia A
1
, A
2
, A
3
, . . . una successione di sottinsiemi misurabili di R
n
tale che
lim
j
mis A
j
= 0
si provi che
mis

j=1
A
j
= 0
# Sia A R
n
; se esiste una successione
A
1
, A
2
, A
3
, . . .
di sottinsiemi misurabili di R
n
tale che
12 1 Misura e integrale di Lebesgue
V A A
j
j = 1, 2, 3, . . .
lim
j
mis A
j
= 0
allora
, A `e misurabile, e mis A = 0
# Sia A R
n
; se
V per ogni > 0, esiste una successione
A
1
, A
2
, A
3
, . . .
di sottinsiemi misurabili di R
n
tale che
A

_
j=1
A
j

j=1
mis A
j
<
allora
, A `e misurabile, e mis A = 0
# In R
2
, sia A = [1, 5] 3; si provi che A `e misurabile, e mis A = 0.
# In R
2
, sia A = R3; si provi che A `e misurabile, e mis A = 0.
# In R
2
, sia
A =
_
qQ
Rq
si provi che A `e misurabile, e mis A = 0.
# In R
3
, sia A = [1, 5] [2, 4] 3; si provi che A `e misurabile, e
mis A = 0.
# In R
3
, sia
A =
_
qQ
RRq
si provi che A `e misurabile, e mis A = 0.
# Sia A un sottinsieme numerabile di R
n
; si provi che
V A `e misurabile
1.4 Propriet`a della misura di Lebesgue in R
n
13
, mis A = 0
Cenno. Siccome A `e numerabile, i suoi elementi possono
essere scritti sotto forma di successione
a
1
, a
2
, a
3
, . . .
e quindi
A =

_
j=1
a
j

ove ogni mis a


j
= 0 B
# Si consideri Q R; si provi che
V Q `e misurabile
, mis Q = 0
(si ricordi che Q `e numerabile)
# Si consideri Q
n
R
n
; si provi che
V Q
n
`e misurabile
, mis Q
n
= 0
(si ricordi che Q
n
`e numerabile)
# In R, si consideri una successione
q
1
, q
2
, q
3
, . . .
costituita da tutti e soli gli elementi di
(0, 1) Q
e sia
> 0 (ad esempio = 10
1000
)
Per j = 1, 2, 3, . . . , sia
A
j
_

_
un intervallo aperto
(0, 1)
q
j
tale che mis A
j
< /2
j
Si ponga
A =

_
j=1
A
j
K = [0, 1] A
Si osservi che
14 1 Misura e integrale di Lebesgue
V A `e un aperto tale che
A (0, 1)
in A sono stati messi tutti i razionali q (0, 1), ciascuno
insieme ad un intervallo aperto (0, 1), e quindi
A = [0, 1]
, invece di riempire tutto (0, 1), tale A occupa una minima
parte di (0, 1); si provi infatti che
mis (0, 1) = 1 mis A <
Cenno. mis A

j=1
mis A
j
<

j=1
/2
j
= B
V K `e un compatto tale che
K [0, 1]
K `e ottenuto togliendo da [0, 1] tutti i razionali (eccettuati
0 e 1), ciascuno insieme ad un intervallo aperto (0, 1), e
quindi
K

=
, invece di essere [0, 1] svuotato del suo interno, tale K occupa
quasi tutto [0, 1]; si provi infatti che
mis [0, 1] = 1 mis K > 1
Si provi che:
V se P
1
, P
2
sono plurirettangoli tali che
P
1
A P
2
allora
mis P
1
< 1 mis P
2
Cenno. Siccome A `e un aperto limitato non vuoto, si ha
supmis P : P plurirettangolo A = mis A <
ne segue mis P
1
< .
Siccome P
2
`e chiuso, si ha
P
2
A (0, 1) Q = [0, 1]
ne segue mis P
2
> 1. B
1.5 Funzioni da R
n
in R misurabili ed integrabili secondo Riemann 15
non esistono plurirettangoli P
1
K
se P
2
`e un plurirettangolo tale che K P
2
allora
1 < mis P
2
se ne deduca che:
V A `e un aperto limitato non misurabile secondo Jordan;
, K `e un chiuso limitato non misurabile secondo Jordan.
# Sia > 0; si provi che esiste un aperto A R
n
tale che
A = R
n
mis A < .
# Siano A R
n
, B R
m
due insiemi misurabili; si provi che
V se mis A = 0 oppure se mis B = 0, allora mis AB = 0 ;
in generale si ha (dimostrazione omessa)
AB `e misurabile
, mis A B = (mis A) (mis B) (con la convenzione 0 =
0 = 0).
1.5 Funzioni da R
n
in R misurabili ed integrabili
secondo Riemann
Le considerazioni che seguono dicono quali funzioni da R
n
in Rsiano chiama-
te integrabili secondo Rieman, e come se ne denisca lintegrale di Riemann.
Sia A R
n
un insieme J-misurabile (ossia misurabile secondo Jordan),
e sia
f(x) : A R
una funzione a valori reali. Si considerino gli insiemi
SGP(f) R
n
R
SGN(f) R
n
R
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
............................................................................................................................................................................................................................................................................................................................................................................................................................................................
q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
......
.
.
..........
.
..........
.
..........
.
..........
R
n
R
f(x)
SGP(f)
SGN(f)
A
A
16 1 Misura e integrale di Lebesgue
deniti da
SGP(f) = sottograco positivo di f =
(x, ) AR : 0 f(x), 0 f(x)
SGN(f) = sovragraco negativo di f =
(x, ) AR : f(x) 0, f(x) 0
Se
* SGP(f) e SGN(f) sono entrambi J-misurabili
allora
# f si dice una funzione misurabile secondo Riemann o una funzione
R-misurabile su A
Se
* SGP(f) e SGN(f) sono entrambi J-misurabili, e inoltre si ha
J-mis SGP(f) < + J-mis SGN(f) < +
allora
# f si dice una funzione integrabile secondo Riemann o una funzione
R-integrabile su A
si pone
# R-
_
A
f = R-
_
A
f(x)dx = integrale di Riemann di f su A =
J-mis SGP(f) J-mis SGN(f)
Il seguente ben noto Teorema riassume tutto quanto dellIntegrale di
Riemann `e utile.
1.5.1 Teorema(R-integrabilit`a di una funzione continua su un intervallo
chiuso e limitato): Siano < R, e sia
f : (, ) R
una funzione continua.
Sia
F : (, ) R
una primitiva di f.
Per a, b R tali che
< a < b < ,
si ha:
f `e R-integrabile su [a, b];
R-
_
[a,b]
f = F(b) F(a).
1.6 Funzioni da R
n
in R misurabili ed integrabili secondo Lebesgue 17
1.6 Funzioni da R
n
in R misurabili ed integrabili
secondo Lebesgue
Le considerazioni che seguono dicono quali funzioni da R
n
in Rsiano chiama-
te integrabili secondo Lebesgue, e come se ne denisca lintegrale di Lebesgue.
Come per la misura, anche per lintegrale le precisazioni secondo Lebesgue e
di Lebesgue saranno sistematicamente omesse.
Sia A R
n
un insieme misurabile, e sia
f(x) : A R
una funzione a valori reali. Si considerino gli insiemi
SGP(f) R
n
R
SGN(f) R
n
R
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
............................................................................................................................................................................................................................................................................................................................................................................................................................................................
q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q q
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
......
.
.
..........
.
..........
.
..........
.
..........
R
n
R
f(x)
SGP(f)
SGN(f)
A
A
deniti da
SGP(f) = sottograco positivo di f =
(x, ) AR : 0 f(x), 0 f(x)
SGN(f) = sovragraco negativo di f =
(x, ) AR : f(x) 0, f(x) 0
Se
* SGP(f) e SGN(f) sono entrambi misurabili
allora
# f si dice una funzione misurabile su A
Se
* SGP(f) e SGN(f) sono entrambi misurabili, e inoltre si ha
mis SGP(f) < + mis SGN(f) < +
18 1 Misura e integrale di Lebesgue
allora
# f si dice una funzione integrabile su A
si pone
#
_
A
f =
_
A
f(x)dx = integrale di f su A =
mis SGP(f) mis SGN(f)
1.6.1 Teorema (provare per esercizio). Si ha
f integrabile
_
f `e misurabile
[f[ `e integrabile
e in tal caso si ha

_
A
f

_
A
[f[
1.6.2 Teorema (provare per esercizio). Sia : A R una funzione
_
tale che (x) 0 per x A
integrabile su A
Si ha
_
[f(x)[ (x) per x A
f misurabile su A
f integrabile su A
Il Teorema seguente, ovvia conseguenza del Teorema 1.3.1, stabilisce che
ogni funzione misurabile secondo Riemann lo `e anche secondo Lebesgue, e
che ogni funzione integrabile secondo Riemann lo `e anche secondo Lebesgue,
ed i due corrispondenti integrali coincidono.
Tale Teorema giustica labbandono dellintegrale secondo Riemann.
1.6.3 Teorema: Sia A un sottinsieme J-misurabile di R
n
(e quindi in
particolare anche misurabile), e sia
f : A R
una funzione. Sussistono gli asserti:
a) Se f `e R-misurabile, allora f `e anche misurabile;
b) Se f `e R-integrabile, allora:
f `e anche integrabile,

_
A
f = R-
_
A
f.
1.7 Misurabilit`a e fasce di livello 19
Come conseguenza immediata di tale Teorema e del Teorema 1.5.1 otte-
niamo il seguente rassicurante Corollario.
1.6.4 Corollario(integrabilit`a di una funzione continua su un intervallo
chiuso e limitato): Siano < R, e sia
f : (, ) R
una funzione continua.
Sia
F : (, ) R
una primitiva di f.
Per a, b R tali che
< a < b < ,
si ha:
f `e integrabile su [a, b] secondo Riemann, e quindi `e anche integrabile
su [a, b] (ossia integrabile secondo Lebesgue);
quanto al calcolo di
_
[a,b]
f ,
ossia al colcolo dellintegrale (di Lebsgue) di f su [a, b], si ha:

_
[a,b]
f = R-
_
[a,b]
f = F(b) F(a).
1.7 Misurabilit`a e fasce di livello
Questa sezione `e dedicata alla dimostrazione del seguente Teorema che
riconduce la misurabilit`a di una funzione alla misurabilit`a di sottinsiemi
opportuni del proprio dominio.
1.7.1 Teorema: Sia A un sottinsieme misurabile di R
n
, e sia
f : A R
una funzione.
Sono equivalenti gli asserti:
a) f `e misurabile su A,
b) per ogni < R, la fascia di livello compreso tra e di f,
ossia linsieme
a A : < f(a)
`e misurabile.
Nota: La dimostrazione `e data al punto 1.7.9, e necessita dei Lemmi da
1.7.2 a 1.7.8.
20 1 Misura e integrale di Lebesgue
Come detto, per la dimostrazione occorrono vari Lemmi. Oggetto di tali
Lemmi sono:
un sottinsieme A di R
n
,
una funzione
f : A R .
A priori nessuna ipotesi di misurabilit`a o limitatezza viene richiesta; in cia-
scuno degli enunciati verranno specicate le particolari ipotesi su A e su
f.
1.7.2 Lemma: Sia
f(a) ,= 0, a A .
Se:
a)
_
SGP(f) SGN(f) `e misurabile
mis SGP(f) SGN(f) = 0
,
allora:
b)
_
A `e misurabile
mis A = 0
Cenno. Dimostriamo lAsserto equivalente
b) a) ,
ossia dimostriamo che se:
o A `e non misurabile,
o A `e misurabile, e mis A > 0,
allora:
o SGP(f) SGN(f) non `e misurabile,
o SGP(f) SGN(f) `e misurabile, e mis SGP(f) SGN(f) > 0 .
A tal ne:
si provi per esercizio che `e suciente dimostrare lAsserto sotto
lulteriore ipotesi f(a) > 0 per a A,
si provi per esercizio che per dimostrare lAsserto cos` modicato,
`e suciente considerare un rettangolo (certamente esistente)
R = [a
1
, b
1
] [a
n
, b
n
] [0, b]
1.7 Misurabilit`a e fasce di livello 21
tale che
A ([a
1
, b
1
] [a
n
, b
n
])
sia: o non misurabile, o misurabile con misura > 0, e dimostrare
che
SGP(f) ([a
1
, b
1
] [a
n
, b
n
] [0, b])
o `e non misurabile,
o `e misurabile con misura > 0.
si provi per esercizio che per dimostrare il sussitere della condizione
suciente descritta nellitem precedente, `e a sua volta suciente
dimostrare lAsserto sotto le ulteriori ipotesi:
f(a) > 0 per a A,
A limitato,
f limitata su A;
Le considerazioni che seguono, provano lAsserto sotto tali ulteriori ipo-
tesi; si osservi che adesso SGP(f) `e limitato.
Per h = 1, 2, 3, . . . si ponga

h
= a A : f(a) > 1/h ;
ovviamente si ha:

1

2

3

A =

_
h=1

h
.
Se per h fosse
mis
e
(
h
) = 0 ,
allora si avrebbe che
h
sarebbe misurabile, con mis
h
= 0, e quindi anche
A sarebbe misurabile, con mis A = 0.
Esiste pertanto h tale che
mis
e

h
= > 0
Sia

_
aperto limitato
SGP(f)
;
per a
h
, si ha che
a [0, 1/h]
_
`e un compatto

;
esiste quindi un aperto B
a
a tale che
B
a
[0, 1/h] ;
22 1 Misura e integrale di Lebesgue
si consideri laperto

0
=
_
a
h
B
a
;
ovviamente si ha

h

0
,
0
[0, 1/h] ;
si ha allora
mis
0
mis
e

h
= > 0
(1/h) mis (
0
[0, 1/h]) mis .
Ne segue che
mis
e
SGP(f) (1/h) > 0 ;
pertanto SGP(f) o `e non misurabile, o `e misurabile con misura > 0. B
1.7.3 Teorema: (usa 1.7.2) Si consideri linsieme
T D(f) = a A : f(a) ,= 0 (T D sta per true domain) .
Se:
SGP(f) SGN(f) `e misurabile,
mis SGP(f) SGN(f) = 0,
allora:
T D(f) `e misurabile,
mis T D(f) = 0.
Cenno. Si ponga

A = T D(f) ,
e sia

f :

A R
la restrizione di f a

A.
Tenuto conto che
SGP(

f) SGN(

f) = (SGP(f) SGN(f))
ove
= a A : f(a) = 0 0
essendo sottinsieme di R
n
0, `e misurabile, con misura = 0, lasserto si
ottiene applicando il Lemma 1.7.2 a

f :

A R. B
1.7 Misurabilit`a e fasce di livello 23
1.7.4 Lemma: Sia
A misurabile.
Sia
f
1
, f
2
, f
3
, . . . : A R
una successione di funzioni, tale che:
per a R si ha
0 f
1
(a), f
2
(a) f
3
(a) f(a) ,
per a A si ha
supf
h
(a) = f(a) .
Se:
per h, SGP(f
h
) `e misurabile,
allora:
anche SGP(f) `e misurabile.
Cenno. Siccome A `e misurabile, allora per h, q = 1, 2, 3, . . . ,
SGP(f
h
+ 1/q)
`e misurabile.
Per a A si ha:
_

_
h=1
a [0, f
h
(a) + 1/q]
__
o = a [0, f(a) + 1/q)
o = a [0, f(a) + 1/q]
q = 1, 2, . . .
e pertanto

q=1
_

_
h=1
a [0, f
h
(a) + 1/q]
_
= a [0, f(a)] .
Ne segue che:
SGP(f) =
_
aA
a [0, f(a)] =

q=1
_

_
h=1
SGP(f
h
+ 1/q)
_
.
Siccome per h, q = 1, 2, 3, . . . ,
SGP(f
h
+ 1/q)
`e misurabile, allora anche SGP(f) risulta misurabile. B
24 1 Misura e integrale di Lebesgue
1.7.5 Lemma: Sia:
A limitato,
f(a) 0 per a A,
f limitata su A.
Allora:
per ogni

_
SGP(f)
chiuso (e quindi compatto, essendo SGP(f) limitato)
,
esistono
K
_
A
chiuso (e quindi compatto, essendo A limitato)
g : K R g(a) 0 per a K
tali che:
_
SGP(g) `e chiuso (e quindi compatto, essendo SGP(g)) limitato)
SGP(g) SGP(f)
.
Cenno. Sia
: R
n
R R
n
la proiezione. `e continua.
Si ponga
K = () ;
essendo compatto, e continua, si ha che K `e compatto. Ovviamente si
ha anche K A.
Esiste ed `e univocamente determinata una famiglia di insiemi

a
[0, ), a K ,
tale che
=
_
aK
(a
a
) ;
siccome `e chiuso e limitato, se ne deduce facilmente che
a
`e chiuso e
limitato.
Consideriamo quindi la funzione
g : K R
1.7 Misurabilit`a e fasce di livello 25
denita da
g(a) = max
a
, a A .
`
E subito visto che
SGP(g) SGP(f) .
Le considerazioni seguenti provano che SGP(g) `e chiuso.
Sia
lim
h
(a
h
,
h
) = (a
0
,
0
) ,
con
(a
h
,
h
) SGP(g) ,
ossia con
a
h
K, 0
h
g(a
h
), h .
Essendo
lim
h
a
h
= a
0
,
ed essendo K chiuso, si ha
a
0
K .
Per provare che SGP(g) `e chiuso, resta da provare che

0
[0, g(a
0
)] .
Se invece fosse:

0
> g(a
0
) ,
1) esisterebbe > 0 tale che
g
0
(a) <
0
;
2) essendo
lim
h

h
=
0
,
si avrebbe denitivamente rispetto ad h:
g(a
0
) <
0
<
h
g(a
h
) ;
3) come conseguenza, per qualsiasi sottosuccessione convergente
g(a
h
j
)
di g(a
h
), si avrebbe:
g(a
0
) <
0
lim
j
g(a
h
j
) .
26 1 Misura e integrale di Lebesgue
Lasserto 3) cos` ottenuto, `e assurdo: infatti
essendo compatto, la successione
(a
h
, g(a
h
))
ha una sottosuccessione
_
a
h
j
, g(a
h
j
)
_
convergente, e posto
lim
j
_
a
h
j
, g(a
h
j
)
_
= (b
0
,
0
) ,
si ha
b
0
= a
0
,
0
[0, g(a
0
)] ;
e quindi in particolare:
lim
j
g(a
h
j
) =
0
g(a
0
) .
Pertanto si ha:

0
[0, g(a
0
)] .
B
1.7.6 Lemma: (usa 1.7.4 e 1.7.5) Sia:
A limitato,
f(a) 0 per a A,
f limitata su A.
Allora:
esistono
K
_
A
misurabile
g : K R g(a) 0 per a K
tali che:
_

_
SGP(g) `e misurabile
SGP(g) SGP(f)
mis
i
SGP(f) = mis SGP(g)
.
1.7 Misurabilit`a e fasce di livello 27
Cenno. Siano

1
,
2
,
3
, . . .
_
SGP(f)
chiusi
,
tali che
mis
i
SGP(f) mis
h
< 1/h .
Per il Lemma 1.7.5, per h = 1, 2, 3, . . . , esistono
K
h
_
A
chiuso
g
h
: K
h
R g
h
(a) 0 per a K
h
tali che:
_
SGP( g
h
) `e chiuso

h
SGP( g
h
) SGP(f)
.
Sia
K =

_
h=1
K
h
;
per h = 1, 2, 3, . . . sia

h
: K R
la funzione denita da

h
(a) =
_
g
h
(a) se a K
h
0 se a , K
h
;
per h = 1, 2, 3, . . . sia
g
h
: K R
la funzione denita da
g
h
(a) = sup
1
(a), . . . ,
h
(a) .
Si ha:
K `e limitato e misurabile,
0 g
1
g
2
g
3
. . . ,
SGP(g
h
) `e misurabile;
inoltre, essendo per a K e per h:
g
h
(a) f(a) ,
possiamo considerare la funzione
g : K R g(a) = supg
h
(a) .
28 1 Misura e integrale di Lebesgue
Per il Lemma 1.7.4, si ha che
SGP(g)
`e misurabile.
Si osservi che:

h
SGP(g) SGP(f),
h si ha
mis
i
SGP(f) mis SGP(g) mis
i
SGP(f) mis
h
< 1/h ;
ne segue
mis
i
SGP(f) mis SGP(g) = 0 .
B
1.7.7 Teorema: (usa 1.7.2 e 1.7.6) Sia:
f(a) > 0 per a A.
Se:
a) SGP(f) `e misurabile,
allora:
b) A `e misurabile.
Cenno. Parte 1) In questa parte, dimostriamo lasserto sotto le ulte-
riori ipotesi:
A limitato,
f limitata su A.
Sotto tali ipotesi, per il Lemma 1.7.6, esistono
K
_
A
misurabile
g : K R g(a) 0 per a K
tali che:
_

_
SGP(g) `e misurabile
SGP(g) SGP(f)
mis
i
SGP(f) = mis SGP(g)
;
essendo SGP(f) misurabile, si ha
mis SGP(g) = mis SGP(f) ,
1.7 Misurabilit`a e fasce di livello 29
e quindi
_
SGP(f) SGP(g) `e misurabile
mis SGP(f) SGP(g) = 0
.
Ne segue che
_
SGP(f
|(A\K)
) `e misurabile
mis SGP(f
|(A\k)
) = 0
;
allora per il Lemma 1.7.2 si ha che A K `e misurabile, e quindi anche A
risulta misurabile.
Parte 2) In questa parte, utilizzando il risultato della Parte 1), dimo-
striamo lasserto in generale, ossia senza ipotesi di limitatezza ne per A ne
per f.
Per h = 1, 2, 3, . . . , si ponga
A
h
= A ([h, h] [h, h]) ,
e sia
f
h
: A
h
R
la funzione denita da:
f
h
(a) =
_
f(a) se f(a) 1
1 se f(a) > 1
a A
h
.
Si ha
SGP(f
h
) = SGP(f) ([h, h] [h, h] [0, 1]) ;
quindi SGP(f
h
`e misurabile. Per il risultato provato nella Parte 1), linsieme
A
h
= A ([h, h] [h, h])
`e allora misurabile per h; conseguentemente, A risulta misurabile. B
1.7.8 Lemma: Sia
f(a) ,= 0 per a A.
Se:
SGP(f) SGN(f) `e misurabile,
allora:
per 0, i sottinsiemi di A
a A : f(a) > , a A : f(a) <
sono misurabili.
30 1 Misura e integrale di Lebesgue
Cenno. Si ponga
P

= a A : f(a) > ,
e sia
f

: P

R
la funzione denita da
f

(a) = f(a) > 0 a P

.
Si ha:
SGP(f

) = ([SGP(f) (R
n
(, +))] (0, . . . , 0, ))
insieme di misura nulla ;
ne segue che
SGP(f

)
`e misurabile, e allora, per il Teorema 1.7.7 anche
P

= a A : f(a) >
`e misurabile.
La misurabilit`a dellinsieme
a A : f(a) <
si ottiene applicando le considerazioni precedenti alla funzione f. B
Utilizzando i risultati precedenti possiamo fornire la dimostrazione del
Teorema 1.7.1.
1.7.9 Dimostrazione del Teorema 1.7.1: (per comodit`a riportiamo
lenunciato del Teorema) Sia:
A misurabile.
Sono equivalenti gli asserti:
a) f `e misurabile su A,
b) per ogni < R, linsieme
a A : < f(a)
`e misurabile.
1.8 Funzioni limitate su insiemi limitati: signicato analitico dellintegrale 31
Cenno. a)b). Dal Lemma 1.7.8 segue che per 0, gli insiemi
a A : f(a) > , a A : f(a) <
sono misurabili; essendo A misurabile, allora anche i loro complementari in
A, ossia gli insiemi
a A : f(a) , a A : f(a)
sono misurabili.
Con considerazioni di routine basate sulla misurabilit`a di tali insiemi, e
quindi delle loro unioni e intersezioni numerabili, si ottiene lasserto.
b)a). Per R > 0 si ponga

R
= SGP(f) ([R, R]
n
[0, R]) .
Per h = 1, 2, 3, . . . si ponga
P
R,s
= a A : (s 1)R/h < f(a) sR/h [R, R]
n
s = 1, . . . , h ;
si ponga inoltre
P
R,0
= a A : f(a) = 0 [R, R]
n
;
ovviamente
P
R,0
, P
R,1
, . . . , P
R,h
sono una partizione di A [R, R]
n
in insiemi misurabili.
Si considerino gli insiemi misurabili
I
R,h
= (P
R,0
[0, 0])
_
h
_
s=1
P
R,s
[0, (s 1)R/h]
_
E
R,h
= (P
R,0
[0, 0])
_
h
_
s=1
P
R,s
[0, sR/h]
_
.
Si osservi che:
I
R,h

R
E
R,h
,
mis E
R,h
mis I
R,h

mis (A [R, R]
n
)
h
;
ne segue che

R
=
_

_
h=1
I
R,h
_
insieme di misura nulla ,
e quindi che
R
`e misurabile per R > 0. Di conseguenza, anche SGP(f) `e
misurabile.
Analogamente si prova la misurabilit`a di SGN(f). B
32 1 Misura e integrale di Lebesgue
1.8 Funzioni limitate su insiemi limitati: signica-
to analitico dellintegrale
Sia A un sottinsieme misurabile e limitato di R
n
, e sia
f : A R
una funzione limitata, ossia una funzione per la quale M > 0 tale che
M f(x) M per ogni x A .
La seguente Nota (dimostrazione immediata) prova che per una tale
funzione le nozioni di misurabilit`a e integrabilit`a sono equivalenti.
1.8.1 Nota: Sono equivalenti gli asserti
a) f `e misurabile
b) f `e integrabile
La seguente Denizione introduce le nozioni di quasi-partizioni di Lebe-
sgue dell insieme misurabile e limitato A, e di somme inferiori e superiori
di Lebesgue della funzione limitata f.
1.8.2 Denizione: Una famiglia nita
P
1
, . . . , P
r
di sottinsiemi misurabili di A, tale che
* A =
r
_
j=1
P
j
# per ogni j
1
,= j
2
si ha mis (P
j
1
P
j
2
) = 0
si dir`a una quasi-partizione di Lebesgue di A.
Se
P
1
, . . . , P
r
`e una quasi-partizione di A, i reali
r

j=1
(mis P
j
) inf
P
j
f
r

j=1
(mis P
j
) sup
P
j
f
si diranno le somme di Lebesgue di f, rispettivamente inferiore e superiore,
relative alla quasi-partizione P
1
, . . . , P
r
.
Il seguente Teorema fornisce il signicato analitico della integrabilit`a e
dellintegrale per funzioni limitate su insiemi limitati.
1.8 Funzioni limitate su insiemi limitati: signicato analitico dellintegrale 33
1.8.3 Teorema: Sono equivalenti gli asserti:
a) f `e integrabile su A,
b) sups R : s = somma inferiore di Lebesgue di f =
inf s R : s = somma superiore di Lebesgue di f .
In tal caso si ha
*
_
A
f = sups R : s = somma inferiore di Lebesgue di f =
inf s R : s = somma superiore di Lebesgue di f
# (mis A) inf
A
f
_
A
f (mis A) sup
A
f
Cenno. a)b). Sia M > 0 tale che per a A si abbia
M < f(a) < M .
Per h = 1, 2, 3, . . . si considerino le seguenti fasce di livello di f:
P
s
= a A : M + (s 1)2M/h < f(a) M +s2M/h
s = 1, . . . , h .
Essendo f integrabile, e quindi misurabile, per il Teorema 1.7.1 la famiglia
P
1
, . . . , P
h
`e una quasi-partizione (pi` u precisamente, una partizione) di Lebesgue di A;
inoltre
h

s=1
(mis P
s
) inf
P
s
f,
h

s=1
(mis P
s
) sup
P
s
f
sono le somme dli Lebesgue di f, rispettivamente inferiore e superiore,
relative alla quasi partizione
P
1
, . . . , P
h
.
Per h si ha quindi:
0
h

s=1
(mis P
s
) sup
P
s
f
h

s=1
(mis P
s
) inf
P
s
f

s=1
(mis P
s
) (M +s2M/h)
h

s=1
(mis P
s
) (M + (s 1)2M/h) =
= (mis A) (2M/h) ;
34 1 Misura e integrale di Lebesgue
ne segue b).
b)a). Sostituendo eventualmente due quasi-partizioni di Lebesgue, con
la quasi-partizione fornita dalle intersezioni di ciascun membro della prima
con ciascum membro della seconda, si prova che per h = 1, 2, 3, . . . esiste
una quasi-partizione di Lebesgue
P
h1
, . . . , P
hs
h
, N
h1
, . . . , N
hr
h
, M
h1
, . . . , M
hq
h
tale che:
0 inf
P
hi
f sup
P
hi
f,
inf
N
hj
f sup
N
hj
f 0,
inf
M
hl
f 0 sup
M
hl
f,
e che
0
_
_
s
h

i=1
(mis P
hi
) sup
P
hi
f +
r
h

j=1
(mis N
hj
) sup
N
hj
f +
q
h

l=1
(mis M
hl
) sup
M
hl
f
_
_

_
_
s
h

i=1
(mis P
hi
) inf
P
hi
f +
r
h

j=1
(mis N
hj
) inf
N
hj
f +
q
h

l=1
(mis M
hl
) inf
M
hl
f
_
_

< 1/h .
Si ha:
I
+
h
=
_
_
i
P
hi
[0, inf
P
hi
f
)
_
SGP(f)

_
_
i
P
hi
[0, sup
P
hi
f]
_

_
_
_
j
M
hj
[0, sup
M
hj
f]
_
_
= E
+
h
I

h
=
_
_
l
N
hl
(sup
N
hl
f, 0]
_
SGN(f)

_
_
_
j
M
hj
( inf
M
hj
f, 0]
_
_

_
_
l
N
hl
(inf
N
hl
f, 0]
_
= E

h
I
h
= I
+
h
I

h
SGP(f) SGN(f) E
+
h
E

h
= E
h
Relativamente a SGP(f) SGN(f) si ha:
1.9 Funzioni limitate su insiemi limitati: uso per lo studio dellintegrabilit`a 35
I =

_
h=1
I
h
= SGP(f) SGN(f)

_
h=1
E
h
= E,
I, E sono misurabili in quanto unioni numerabili di misurabili,
per h si ha:
mis (E I) mis (E
h
I
h
) = mis E
h
mis I
h
=
=
s
h

i=1
(mis P
hi
)
_
sup
P
hi
f inf
P
hi
f
_
+
r
h

j=1
(mis N
hj
)
_
sup
N
hj
f inf
N
hj
f
_
+
+
q
h

l=1
(mis M
hl
)
_
sup
M
hl
f inf
M
hl
f
_
< 1/h ;
pertanto SGP(f) SGN(f) `e misurabile, e di conseguenza anche SGP(f) e
SGN(f) sono misurabili; in particolare f `e misurabile, e per le condizioni di
limitatezza `e integrabile.
Relativamente a
_
A
f = mis SGP(f) mis SGN(f) ,
per h si ha:
s
h

i=1
(mis P
hi
) inf
P
hi
f +
r
h

j=1
(mis N
hj
) inf
N
hj
f +
q
h

l=1
(mis M
hl
) inf
M
hl
f =
= mis I
+
h
mis E

h
mis SGP(f) mis SGN(f) mis E
+
h
mis I

s
h

i=1
(mis P
hi
) sup
P
hi
f +
r
h

j=1
(mis N
hj
) sup
N
hj
f +
q
h

l=1
(mis M
hl
) sup
M
hl
f
e quindi per le ipotesi si ha:
_
A
f = sups R : s = somma inferiore di Lebesgue di f =
inf s R : s = somma superiore di Lebesgue di f .
Lultimo asserto `e banale. B
1.9 Funzioni limitate su insiemi limitati: uso per
lo studio dellintegrabilit`a
Sia A un sottinsieme misurabile (anche non limitato) di R
n
, e sia
f : A R
36 1 Misura e integrale di Lebesgue
una funzione (anche non limitata).
In questa sezione viene indicata una strategia per ricondurre lo studio
della misurabilit`a e integrabilit`a di f e il calcolo delleventuale integrale di
f, a veriche di integrabilit`a e al calcolo di eventuali integrali di opportune
funzioni limitate su insiemi misurabili e limitati.
La seguente Deninizione introduce il concetto di successione fondamen-
tale per f su A.
1.9.1 Denizione: Una successione
A
1
, A
2
, A
3
, . . .
di insiemi limitati e misurabili, tale che
_

_
A
1
A
2
A
3
A
A =

_
k=1
A
k
f limitata su A
k
si dir`a una successione fondamentale per f su A.
Il seguente Teorema riconduce lo studio della misurabilit`a di f alle
nozioni di successioni fondamentali e di funzioni limitate su insiemi limitati.
1.9.2 Teorema: Sono equivalenti gli asserti:
a) f `e misurabile su A
b) esiste una successione fondamentale A
1
, A
2
, A
3
, . . . per f su A, tale
che
f `e integrabile su A
k

Cenno. ab). Si consideri ad esempio la successione denita da


A
k
= A ([k, k] [k, k]) x A : [f(x)[ k
ba). Provare per esercizio. B
c) data comunque una successione fondamentale A
1
, A
2
, A
3
, . . . per f su
A, si ha che
f `e integrabile su A
k
.
Nopta: b) `e utile quando si deve dimostrare che f `e misurabile. c) `e utile
quando si `e ormai dimostrato che f `e misurabile.
Il Teorema 1.9.2 giustica la seguente Procedura per appurare se f sia
o non sia misurabile su A.
1.9 Funzioni limitate su insiemi limitati: uso per lo studio dellintegrabilit`a 37
1.9.3 Procedura:
Step 1) Si cerca una successione fondamentale per f su A;
se non esiste alcuna tale successione (caso ben dicilmente in-
contrabile), allora per b) del Teorema 1.9.2, f `e non misura-
bile su A;
altrimenti si considera una qualsiasi successione fondamentale
A
1
, A
2
, A
3
, . . . per f su A, e si passa a Step 2);
Step 2) si controlla lintegrabilit`a o meno di f su ciascun A
k
;
se k tale che f non `e integrabile su A
k
(caso ben dicil-
mente incontrabile), allora per c) del Teorema 1.9.2 f `e non
misurabile su A;
altrimenti, ossia se f `e integrabile su ciascun A
k
, per b) del
Teorema 1.9.2, f `e misurabile su A.
Una volta appurato che f `e misurabile, ed individuata una qualsiasi
successione fondamentale A
1
, A
2
, A
3
, . . . per f su A, il seguente Teorema
dice come appurare se f sia o non sia integrabile, e in caso aermativo,
come calcolarne lintegrale.
1.9.4 Teorema: Sia f misurabile su A, e sia
A
1
, A
2
, A
3
, . . .
una qualsiasi successione fondamentale per f su A.
* Si osservi che:
V per c) del Teorema 1.9.2,le funzioni
f, [f[ : A R
sono integrabili su ciascun A
k
,
, e che inoltre si ha:
_
A
1
[f[
_
A
2
[f[
_
A
3
[f[ .
# Sono equivalenti gli asserti:
a) f `e integrabile su A
b) lim
k
_
A
k
[f[ < +
Cenno. Si osservi che, essendo f misurabile su A, si ha
f integrabile [f[ integrabile mis SGP([f[) < +
38 1 Misura e integrale di Lebesgue
Si osservi che, posto A
0
= , si ha
SGP([f[) =

_
k=1
SGP
_

f
(A
k
\A
k1
)

_
mis SGP([f[) =

k=1
_
A
k
\A
k1
[f[ = lim
k
_
A
k
[f[
B
# Se f integrabile su A, si ha
_
A
f = lim
k
_
A
k
f
Cenno. Si osservi che, essendo f integrabile su A, si ha
_
A
f = mis SGP(f) mis SGN(f) =

k=1
mis SGP
_
f
(A
k
\A
k1
)
_

k=1
mis SGN
_
f
(A
k
\A
k1
)
_
=

k=1
_
mis SGP
_
f
(A
k
\A
k1
)
_
mis SGN
_
f
(A
k
\A
k1
)
__
=

k=1
_
A
k
\A
k1
f = lim
k
_
A
k
f B
Attenzione: Se f `e misurabile su A, ma f non `e integrabile su A, data
una successione fondamentale per f su A,
V pu`o esistere nito lim
k
_
A
k
f
, tale limite pu`o variare cambiando la successione fondamentale.
LEsercizio seguente fornisce un esempio di tale situazione.
1.9.5 Esercizio: Sia
A = [1, 0) (0, 1] R ,
e sia
f : A R
la funzione denita da
f(x) =
1
x
, per x A .
1.9 Funzioni limitate su insiemi limitati: uso per lo studio dellintegrabilit`a 39
Siano a
h
, b
h
due successioni di reali tali che:
1 > a
1
> a
2
> a
3
> lim
h
a
h
= 0
1 > b
1
> b
2
> b
3
> lim
h
b
h
= 0
si ponga:
A
h
= [1, a
h
] [b
h
, 1] .
* Si verichi che A
1
, A
2
, A
3
, . . . `e una successione fondamentale per
f su A.
# Si provi che f `e integrabile su A
h
.
Cenno. Qui e in seguito utilizzare il Corollario 1.6.4. B
# Dallitem precedente si deduce che f `e misurabile su A.
# Se ne deduce che
f, [f[
sono integrabili su A
h
.
# Si ricordi che la funzione
ln[x[ : R 0 R
`e una primitiva della funzione continua
1
x
: R 0 R .
# Si ha:
_
A
h
[f[ =
_
[1,a
h
]

1
x

dx +
_
[b
h
,1]

1
x

dx =
=
_
[1,a
h
]
1
x
dx +
_
[b
h
,1]
1
x
dx =
= lna
h
lnb
h
= ln
1
a
h
b
h
.
# Dallitem precedente si ottiene
lim
h
_
A
h
[f[ = + ;
quindi f non `e integrabile su A.
Come conseguenza, dalla successione
_
A
1
f,
_
A
2
f,
_
A
2
f, . . .
possiamo solo aspettarci stranezze.
40 1 Misura e integrale di Lebesgue
# Si ha:
_
A
h
f =
_
[1,a
h
]
1
x
dx +
_
[b
h
,1]
1
x
dx =
= lna
h
lnb
h
= ln
a
h
b
h
.
# Sia R; per h > e

si ponga
a
h
=
e

h
, b
h
=
1
h
;
si verichi che con tale scelta di a
h
, b
h
si ottiene
lim
h
_
A
1
f = .
# Cosa accade ponendo
a
h
=
1
h
, b
h
=
1
h
2
?
# Cosa accade ponendo
a
h
=
1
h
2
, b
h
=
1
h
?
# Cosa accade ponendo
a
h
=
_

_
1
2h
per h pari
1
3h
per h dispari
, b
h
=
1
h
?
Il Teorema che segue, usando il Teorema 1.9.4, prova che la somma di
applicazioni integrabili `e integrabile, e che i multipli reali di applicazioni
integrabili sono integrabili. In particolare prova che:
linsieme I(A, R) denito da
I(A, R) = f : A R : f `e integrabile su A ,
`e un sottospazio dello spazio vettoriale F(A, R) di tutte le funzioni
da A in R;
lapplicazione
_
: I(A, R) R
f ~
_
A
f
`e una applicazione lineare.
1.9 Funzioni limitate su insiemi limitati: uso per lo studio dellintegrabilit`a 41
1.9.6 Teorema. Siano f, g : A R due funzioni integrabili su A, e sia
c R. Si ha
* f +g , cf sono integrabili su A
#
_
A
(f +g) =
_
A
f +
_
A
g ,
_
A
(cf) = c
_
A
f
Cenno. Sia A
1
, A
2
, A
3
, . . . una successione fondamentale sia per f che
per g su A; ad esempio si pu`o scegliere
A
k
= A ([k, k] [k, k])
x A : [f(x)[ < k x A : [g(x)[ < k
Si consideri A
k
; si verichi che
V f, g sono integrabili su A
k
inf
_
somme superiori di Lebesgue di f su A
k
+
somme superiori di Lebesgue di g su A
k

inf somme superiori di Lebesgue di f +g su A


k

Cenno. Siano Q
1
, . . . , Q

e R
1
, . . . , R

quasi-partizioni di Le-
besgue di A
k
. Si osservi che la famiglia
P
ij
= Q
i
R
j
i = 1, . . . , j = 1, . . . ,
`e una quasi-partizione di A
k
.
Si ha

i
(mis Q
i
) sup
Q
i
f +

j
(mis R
i
) sup
R
j
g

ij
(mis P
ij
) sup
P
ij
f +

ij
(mis P
ij
) sup
P
ij
g =

ij
(mis P
ij
)
_
sup
P
ij
f + sup
P
ij
g
_

ij
(mis P
ij
) sup
P
ij
(f +g)
B
se ne deduca che

_
A
k
f +
_
A
k
g inf somme superiori di Lebesgue di f +g su A
k

42 1 Misura e integrale di Lebesgue


analogamente si provi che
sup
_
somme inferiori di Lebesgue di f su A
k
+
somme inferiori di Lebesgue di g su A
k

supsomme inferiori di Lebesgue di f +g su A


k

_
A
k
f +
_
A
k
g supsomme inferiori di Lebesgue di f +g su A
k

e che
supsomme inferiori di Lebesgue di f +g su A
k

inf somme superiori di Lebesgue di f +g su A
k

se ne deduca che
f +g `e integrabile su A
k
_
A
k
(f +g) =
_
A
k
f +
_
A
k
g
e quindi che
, [f +g[ `e integrabile su A
k
[f[ +[g[ `e integrabile su A
k
_
A
k
[f +g[
_
A
k
([f[ +[g[) =
_
A
k
[f[ +
_
A
k
[g[
Si osservi che
V A
1
, A
2
, A
3
, . . . `e una successione fondamentale per f + g su A tale
che f +g `e integrabile su A
k
f +g `e misurabile su A
lim
k
_
A
k
[f +g[ lim
k
__
A
k
[f[ +
_
A
k
[g[
_
=
_
A
k
[f[ +
_
A
k
[g[
e quindi che
f +g `e integrabile su A
,
_
A
(f +g) = lim
k
_
A
k
(f +g) =
lim
k
__
A
k
f +
_
A
k
g
_
=
_
A
f +
_
A
g
Analogamente e pi` u semplicemente si procede per cf. B
1.10 Funzioni continue: misurabilit`a e condizioni di integrabilit`a 43
1.10 Funzioni continue: misurabilit`a e condizioni
di integrabilit`a
Sia A R
n
un insieme misurabile e sia
f(x) : A R
una funzione a valori reali.
1.10.1 Teorema. Se
f `e continua su A,
allora
f `e misurabile su A.
Cenno. Sia R e sia
A

= x A : f(x) < .
Ovviamente A

`e la controimmagine dellaperto
(, ) R
tramite lapplicazione f; essendo f continua, esiste un aperto R
n
tale
che
A

= A ;
ne segue che A

`e misurabile in quanto intersezione di due misurabili (si


verichi che ogni aperto di R
n
`e misurabile).
Lasserto segue adesso dal Teorema 1.7.1. B
1.10.2 Teorema. Se
A `e limitato,
f `e limitata su A,
f `e continua su A,
allora
f `e integrabile su A.
1.10.3 Teorema. Sia
A limitato,
f limitata su a,
f uniformemente continua su A.
44 1 Misura e integrale di Lebesgue
Per il Teorema 1.10.2 f `e integrabile su A.
Le considerazioni che seguono danno una ulteriore interpretazione ana-
litica di
_
A
f, e nello stesso tempo indicano un modo per approssimare
_
A
f.
* Denizione: sia > 0; dati
V una quasi-partizione P
1
, . . . , P
r
di A in insiemi misurabili,
ciascuno di diametro
, c
1
P
1
, . . . , c
r
P
r
allora
r

j=1
(mis P
j
) f (c
j
)
si dice una -somma di Lebesgue di f
# Per > 0, > 0 tale che per ogni -somma di Lebesgue di f
r

j=1
(mis P
j
) f (c
j
)
si ha

_
A
f
r

j=1
(mis P
j
) f (c
j
)

<
Cenno. Sia > 0. Tenuto conto che f `e uniformemente conti-
nua, esiste > 0 tale che, per x
1
, x
2
A tali che d(x
1
, x
2
) ,
si ha
[f(x
1
) f(x
2
)[ <

1 + mis A
.
Sia
r

j=1
(mis P
j
) f (c
j
)
una -somma di Lebesgue di f.
Si verichi che
V
r

j=1
(mis P
j
) inf
P
j
f
r

j=1
(mis P
j
) f (c
j
)
r

j=1
(mis P
j
) sup
P
j
f
r

j=1
(mis P
j
) inf
P
j
f
_
A
f
r

j=1
(mis P
j
) sup
P
j
f
se ne deduca che

_
A
f
r

j=1
(mis P
j
) f (c
j
)

j=1
(mis P
j
)
_
sup
P
j
f inf
P
j
f
_
1.10 Funzioni continue: misurabilit`a e condizioni di integrabilit`a 45
si tenga conto che
per ogni P
j
si ha
0 sup
P
j
f inf
P
j
f =
sup[f (x
1
) f (x
2
)[ : x
1
, x
2
P
j


1 + mis A
se ne deduca che
,

_
A
f
r

j=1
(mis P
j
) f (c
j
)

<
B
# Sia
V
1

2
,
3
, . . . una successione tale che
_

k
> 0
lim
k

k
= 0
per k sia

r
k

j=1
(mis P
kj
) f (c
kj
) una
k
-somma di Lebesgue di f
si provi che
,
_
A
f = lim
k
r
k

j=1
(mis P
kj
) f (c
kj
)
1.10.4 Esercizio. Sia K R
n
un compatto, e sia
f : K R
una funzione continua su K;
* si ricordi che f `e limitata su K
# si ricordi che f `e uniformemente continua su K, e si applichino ad
f tutte le considerazioni del precedente Teorema 1.10.3
# si supponga inoltre che K sia anche connesso; si provi che c K
tale che
_
K
f = (mis K)f(c)
1.10.5 Esercizio. Sia f : R
n
R una funzione continua, nulla fuori di
un rettangolo
R = [a
1
, b
1
] [a
n
, b
n
]
Per k = 1, 2, 3, . . . si considerino
46 1 Misura e integrale di Lebesgue
* la quasi-partizione di R
R
k,j
1
...j
n
=
_
a
1
+
j
1
1
k
(b
1
a
1
), a
1
+
j
1
k
(b
1
a
1
)
_

_
a
n
+
j
n
1
k
(b
n
a
n
), a
n
+
j
n
k
(b
n
a
n
)
_
con
j
1
, . . . , j
n
1, . . . , k
# c
k,j
1
...j
n
R
k,j
1
...j
n
Si provi che

_
R
n
f = lim
k
k

j
1
,...,j
n
=1
mis R
k
n
f (c
k,j
1
...j
n
)
Cenno. Si osservi che
_
R
n
f = lim
k
k

j
1
,...,j
n
=1
(mis R
k,j
1
...j
n
) f (c
k,j
1
...j
n
)
B
1.11 Esempi di funzioni integrabili
Sia R.
Esempio 1. Si consideri la funzione continua
(t) : (0, +) R
denita da
(t) =
1
t

Per il comportamento su (0, 1]


* si osservi che (t) `e misurabile su (0, 1]
# si osservi che la successione
[1/k, 1] k = 1, 2, 3, . . .
`e fondamentale per (t) su (0, 1]
# si verichi che
1.11 Esempi di funzioni integrabili 47
V se = 1 si ha
_
[1/k,1]
(1/t

)dt = [ lnt]
1
1/k
= lnk
, se ,= 1 si ha
_
[1/k,1]
(1/t

)dt =
_
1
+ 1

1
t
1
_
1
1/k
=
1
+ 1
_
1 k
1
_
# tenuto conto che
[(t)[ = (t)
se ne deduca che
V 1/t

integrabile su (0, 1] < 1


e che in tal caso si ha
,
_
(0,1]
(1/t

)dt =
1
1
# si generalizzi il risultato precedente da (0, 1] ad un qualsiasi (0, r]
con 0 < r
Per il comportamento su [1, +)
* si osservi che (t) `e misurabile su [1, +)
# si osservi che la successione
[1, k] k = 1, 2, 3, . . .
`e fondamentale per (t) su [1, +)
# si verichi che
V se = 1 si ha
_
[1,k]
(1/t

)dt = [ lnt]
k
1
= lnk
, se ,= 1 si ha
_
[1,k]
(1/t

)dt =
_
1
+ 1

1
t
1
_
k
1
=
1
+ 1
_
1
k
1
1
_
# tenuto conto che
[(t)[ = (t)
se ne deduca che
48 1 Misura e integrale di Lebesgue
V 1/t

integrabile su [1, +) > 1


e che in tal caso si ha
,
_
[1,+)
(1/t

)dt =
1
1
# si generalizzi il risultato precedente da [1, +) ad un qualsiasi
[r, +) con 0 < r
1.11.1 Esempio 2. Come conseguenza dellEsempio 1, si provino gli as-
serti:
* sia < 1 e sia
f(t) : (0, r] R con 0 < r
una qualsiasi funzione tale che
_
f misurabile su (0, r]
[f(t)[ 1/t

per t (0, r]
allora f(t) `e integrabile su (0, r]
# sia > 1 e sia
f(t) : [r, +) R con 0 < r
una qualsiasi funzione tale che
_
f(t) misurabile su [r, +)
[f(t)[ 1/t

per t [r, +)
allora f(t) `e integrabile su [r, +)
Esempio 3. Si consideri la funzione continua
(x) : R
n
0 R
denita da
(x) =
1
|x|

Per ottenere risultati sulla integrabilit`a di , occorrono alcune premesse:


* I(0, 1) R
n
`e chiuso e limitato (ossia compatto), quindi `e misura-
bile
V si ponga
n
= mis I(0, 1) (omettiamo il calcolo di
n
)
, si verichi che
n
,= 0
1.11 Esempi di funzioni integrabili 49
# sia 0 < r, si provi che
V I(0, r) `e misurabile
mis I(0, r) =
n
r
n
se ne deduca che
mis
_
I(0, r) I(0, r)
_
= mis x R
n
: |x| = r = 0
Cenno. Per 0 < < r si ha
I(0, r) I(0, r) I(0, r) I(0, )
B
, mis I(0, r) =
n
r
n
* sia 0 < r, e sia
() : [r, +) R
la funzione denita da
() =
_
I(0,)\I(0,r)
(1/|x|

) dx
allora
V per
0
r e per h > 0 si ha
(
0
+h) (
0
)
h
=
1
h
_
I(0,
0
+h)\I(0,
0
)
(1/|x|

) dx =
1
h
_
I(0,
0
+h)\I(0,
0
)
(1/|x|

) dx =
1
h

n
((
0
+h)
n

n
0
)
1
|x

0
|

ove x

0
`e un opportuno elemento tale che

0
|x

0
|
0
+h
come conseguenza si ottiene
lim
h0
+
(
0
+h) (
0
)
h
=

n

1

0
lim
h0
+

0
+h)
n

n
0
h
=
n

1

0
n
n1
0
50 1 Misura e integrale di Lebesgue
analogamente si verichi che, per
0
> r e per h < 0 tale
che r <
0
+h, si ha
lim
h0

(
0
+h) (
0
)
h
=
n

1

0
n
n1
0
allora la funzione
() : [r, +) R
`e derivabile per
0
[r, +), e si ha

(1)
(
0
) = n
n

n1
0
se = n si ha
() = n
n
ln +c con c R opportuno
(r) =
_
n
n
lnr +c
0
c = n
n
lnr
e quindi
() = n
n
ln
_

r
_
, se ,= n si ha
() =
n
n

n

n
+c con c R opportuno
(r) =
_
_
_
n
n

n
r
n
+c
0
c =
n
n

n
r
n
e quindi
() =
n
n

n

_

n
r
n
_
# sia 0 < r < s, allora
V se = n si ha
_
I(0,s)\I(0,r)
(1/|x|

) dx = n
n
ln
_
s
r
_
, se ,= n si ha
_
I(0,s)\I(0,r)
(1/|x|

) dx =
n
n

n

_
s
n
r
n
_
1.11 Esempi di funzioni integrabili 51
Possiamo ora ottenere risultati sullintegrabilit`a di :
* si provi che la successione
A
k
= I(0, 1) I(0, 1/k) k = 1, 2, 3, . . .
`e fondamentale per su I(0, 1) 0
# si verichi che
_
A
k
= n
n
lnk se = n
_
A
k
=
n
n

n

_
1
_
1
k
_
n
_
se ,= n
# tenuto conto che [[ = , se ne deduca che
V
1
|x|

`e integrabile su I(0, 1) 0 < n


e che in tal caso si ha
,
_
I(0,1)\{0}
(1/|x|

) dx =
n
n

n
# si generalizzi il risultato precedente, da I(0, 1)0 ad un qualsiasi
I(0, r) 0 con r > 0
* si provi che la successione
A
k
= I(0, k) I(0, 1) k = 1, 2, 3, . . .
`e fondamentale per su R
n
I(0, 1)
# si verichi che
_
A
k
= n
n
lnk se = n
_
A
k
=
n
n

n
(k
n
1) se ,= n
# tenuto conto che [[ = , se ne deduca che
V
1
|x|

`e integrabile su R
n
I(0, 1) > n
e che in tal caso si ha
,
_
R
n
\I(0,1)
(1/|x|

) dx =
n
n

n
52 1 Misura e integrale di Lebesgue
# si generalizzi il risultato precedente, da R
n
I(0, 1) ad un qualsiasi
R
n
I(0, r) con r > 0
1.11.2 Esempio 4. Come conseguenza dellEsempio 3, si provino gli as-
serti:
* sia < n e sia
f(x) : I(0, r) 0 R con 0 < r
una qualsiasi funzione tale che
_
f(x) misurabile su I(0, r) 0
[f(x)[ 1/|x|

per x I(0, r) 0
allora f(x) `e integrabile su I(0, r) 0
# sia > n e sia
f(x) : R
n
I(0, r) R con 0 < r
una qualsiasi funzione tale che
_
f(x) misurabile su R
n
I(0, r)
[f(x)[ 1/|x|

per x R
n
I(0, r)
allora f(x) `e integrabile su R
n
I(0, r)
1.12 Asserti veri quasi ovunque. Il Teorema di
Lebesgue
Sia A R
n
un insieme misurabile non vuoto.
Sia P(x) un asserto dipendente da x A, tale che
* per ogni x A, lasserto P(x) `e o vero o falso
Se
# linsieme
x A : P(x) `e falso
`e misurabile, e ha misura nulla
allora
# P(x) si dice un asserto vero quasi ovunque (q.o.) su A
1.12 Asserti veri quasi ovunque. Il Teorema di Lebesgue 53
Ad esempio, sia
: R R
la funzione denita da
(t)
_
[t[ se t Q
[t[ se t / Q
e sia P(t) lasserto denito per ogni t R da
P(t) = (t) > 0
allora
t R : P(t) `e falso = Q
e quindi lasserto P(t) `e vero quasi ovunque su R.
1.12.1 Teorema (di Lebesgue, o della convergenza dominata). Sia
f
1
, f
2
, f
3
, . . . : A R
una successione di funzioni integrabili su A, e sia
f : A R
una funzione qualsiasi.
Se
* per q.o. a A si ha
lim
k
f
k
(a) = f(a)
# esiste : A R tale che
V `e integrabile su A
(x) 0 q.o. su A
, per ogni k si ha
[f
k
(x)[ (x) q.o. su A
allora si ha (dimostrazione omessa)
* f `e integrabile su A
# lim
k
_
A
f
k
=
_
A
f
# lim
k
_
A
[f f
k
[ = 0
Esempi: Come applicazione del Teorema di Lebesgue, si verichi che
54 1 Misura e integrale di Lebesgue
* 1.12.2 Lemma: Se
V f : A R `e un funzione integrabile
A
1
A
2
A
3
A `e una sucessione di insiemi
misurabili tali che
mis
_
A

_
k=1
A
k
_
= 0
allora
, lim
k
_
A
k
f =
_
A
f
Cenno. Si ponga
f
k
(x) =
_
f(x) se x A
k
0 se x A A
k
(x) = [f(x)[
e si applichi 1.12.1. B
# 1.12.3 Teorema(integrazione per parti generalizzata): Siano
f, g : [a, b] R
tali che
V f, g C
0
[a, b]
f, g C
1
(a, b)
f
(1)
, g
(1)
sono integrabili su (a, b)
allora
f
(1)
g, fg
(1)
sono integrabili su (a, b)
,
_
(a,b)
f
(1)
g = [f(t)g(t)]
b
a

_
(a,b)
fg
(1)
Cenno. Siano
[a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
] (a, b)
tali che

_
k=1
[a
k
, b
k
] = (a, b)
Su ogni [a
k
, b
k
] si ha (usuale integrazione per parti)
_
[a
k
,b
k
]
f
(1)
g = [f(t)g(t)]
b
k
a
k

_
[a
k
,b
k
]
fg
(1)
Usando 1.12.2, si passi al limite per k . B
1.13 Funzioni denite quasi ovunque. I Teoremi di Fubini e Tonelli 55
1.13 Funzioni denite quasi ovunque. I Teoremi
di Fubini e Tonelli
Sia A R
n
un insieme misurabile non vuoto.
Siano
H A un insieme tale che mis H = 0
f : A H R una funzione
allora
* f : A H R si dice un funzione denita quasi ovunque su A
# f : A H R si denota con la sigla
f : A R d.q.o.
Ad esmpio, si pu`o considerare la funzione
f : R R d.q.o.
denita da
f(t) =
e
it
sint
per la quale si ha H = k : k Z.
Siano
*

f : A R il prolungamento banale di f ad A, denito da

f(x) =
_
f(x) x A H
0 x H
#

f : R
n
R il prolungamento banale di f ad R
n
, denito da

f(x) =
_
f(x) x A H
0 x / A H
56 1 Misura e integrale di Lebesgue
si verichi che
* sono equivalenti gli asserti
a) f : A H R `e misurabile su A H
b)

f : A R `e misurabile su A
c)

f : R
n
R `e misurabile su R
n
in tal caso
f : A R d.q.o. si dice misurabile su A
# sono equivalenti gli asserti
a) f : A H R `e integrabile su A H
b)

f : A R `e integrabile su A
c)

f : R
n
R `e integrabile su R
n
in tal caso
V
_
A\H
f =
_
A

f =
_
R
n

f
f : A R d.q.o. si dice integrabile su A
, si pone
_
A
f =
_
A\H
f =
_
A

f =
_
R
n

f
1.13 Funzioni denite quasi ovunque. I Teoremi di Fubini e Tonelli 57
1.13.1 Teorema (di Fubini). Sia f : R
m
R
n
R una funzione inte-
grabile su R
m
R
n
.
.
.........................................................................................................................................................................................................................................................................................................................................................................................
R
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . . . . . .. . . . . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
n
.
...................................................................................................................................................................................................................................................................................................................................................................................................................................
R
m
.
..................................................................................................................................................................................................................
..................................................................................................................................................................................................................
.
...............................................................................................................................................................................................................................................................................................................................................
.
...................................................................................................................................................................................................................................................................................................................................................................................................................................
.
............................................................................................................................................................................................................................................................
.
..............
............
...........
..........
........
.......
......
......
..... ......
......
.......
........
.
.......................
......................
....................
...................
.................
................
..............
.............
...........
..........
........
.......
.....
.....
.... ....
.....
.....
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . .. . . . . . . . . . r r
r
s f(x, y) R
R
m
y
x R
m
y R
n
(x, y) R
m
R
n
Si ha (dimostrazione omessa)
* per q.o. y R
n
, la funzione
R
m
R
x f(x, y)
`e integrabile su R
m
# la funzione denita q.o.
R
n
R
y
_
R
m
f(x, y)dx
`e integrabile su R
n
#
_
R
m
R
n
f(x, y)dxdy =
_
R
n
__
R
m
f(x, y)dx
_
dy
Risultati analoghi sussistono scambiando i ruoli di R
m
, R
n
.
1.13.2 Teorema (di Tonelli). Sia f : R
m
R
n
R una funzione
misurabile su R
m
R
n
. Se
* per q.o. (x, y) R
m
R
n
si ha f(x, y) 0
58 1 Misura e integrale di Lebesgue
* per q.o. y R
n
, la funzione
R
m
R
x f(x, y)
`e integrabile su R
m
# la funzione denita q.o.
R
n
R
y
_
R
m
f(x, y)dx
`e integrabile su R
n
allora (dimostrazione omessa)
# f(x, y) `e integrabile su R
m
R
n
Risultato analogo sussiste scambiando i ruoli di R
m
, R
n
.
Come esempio di applicazione del Teorema di Fubini si ha
1.13.3 Corollario. Sia f C
1
(R
n
) una funzione tale che
lim
x
f(x) = 0
e sia j 1, . . . , n tale che
f
x
j
sia integrabile su R
n
. Si ha
_
R
n
f
x
j
= 0
Cenno. Supponiamo j = 1. Per 1.13.1 si ha
_
R
n
f
x
1
=
_
R
n1
__
R
f
x
1
(x
1
, x
2
, . . . , x
n
) dx
1
_
dx
2
dx
n
Per ogni (x
2
, . . . , x
n
) R
n1
tale che la funzione
R R
x
1

f
x
1
(x
1
, x
2
, . . . , x
n
)
sia integrabile, tenuto conto di 1.12.2, si ha
_
R
f
x
1
(x
1
, x
2
, . . . , x
n
) dx
1
= lim
R+
_
[R,R]
f
x
1
(x
1
, x
2
, . . . , x
n
) dx
1
=
lim
R+
(f(R, , x
2
, . . . , x
n
) f(R, , x
2
, . . . , x
n
)) = 0
Ne segue lasserto. B
1.14 Un teorema su GL(R, n) 59
1.13.4 Corollario. Sia R
n
un aperto non vuoto, e sia f C
1
() una
funzione a supporto compatto. Per j = 1, . . . , n si ha
_

f
x
j
= 0
Cenno. Sia

f il prolungamento banale di f a R
n
. Si ha

f C
1
(R
n
), supp

f = supp f,


f
x
j
=
_
f
x
j
_
e
_

f
x
j
=
_
R
n
_
f
x
j
_
e
=
_
R
n


f
x
j
Applicando 1.13.3 ad

f, si ottiene lasserto. B
1.13.5 Teorema. Sia R
n
un aperto non vuoto, e siano f, g C
1
()
due funzioni, una delle quali a supporto compatto. Per j = 1, . . . , n si ha
_

f
x
j
g =
_

f
g
x
j
Cenno. Si ha fg C
1
(); inoltre supp fg `e compatto. Applicando
1.13.4 ad fg, si ottiene lasserto. B
1.14 Un teorema su GL(R, n)
Sia GL(R, n) il gruppo lineare di ordine n su R, ossia il gruppo moltiplicativo
delle matrici invertibili di R
nn
.
Si considerino le matrici di GL(R, n) dei seguenti tre tipi
tipo 1. tutte le matrici della famiglia
P

=
_
e
(1)
, . . . , e
(n)
_
S
n
tipo 2. tutte le matrici della famiglia
T

= (e
1
, e
2
. . . , e
n
) R, ,= 0
tipo 3. la matrice
= (e
1
+e
2
, e
2
. . . , e
n
)
e le matrici di GL(R, n) dei seguenti tre tipi
tipo I . tutte le matrici della famiglia
_
e
(1)
, . . . , e
(n)
_
S
n
60 1 Misura e integrale di Lebesgue
tipo II . tutte le matrici della famiglia
(e
1
, . . . , e
r1
, e
r
, e
r+1
, . . . , e
n
)
con r 1, . . . , n e R, ,= 0
tipo III. tutte le matrici della famiglia
(e
1
, . . . , e
r1
, e
r
+e
s
, e
r+1
, . . . , e
n
)
con r, s 1, . . . , n, s ,= r e R, ,= 0
Si verichi che
* per r 1, . . . , n e R, ,= 0 si ha
(e
1
, . . . , e
r1
, e
r
, e
r+1
, . . . , e
n
) = P

ove `e la permutazione che scambia 1 con r


(Cenno. Controllare che le applicazioni lineari associate alle
matrici a primo e secondo membro assumono gli stessi valori sugli
elementi della base canonica di R
n
.)
# per r, s 1, . . . , n, s ,= r e R, ,= 0 si ha
(e
1
, . . . , e
r1
, e
r
+e
s
, e
r+1
, . . . , e
n
) = P

1T

1T

ove `e una qualsiasi permutazione tale che


(r) = 1, (s) = 2
#
1
= (e
1
e
2
, e
2
. . . , e
n
) = T
1
T
1
Sia L GL(R, n); si verichi che
* il procedimento di diagonalizzazione di Gauss, operante sulle co-
lonne di L, prova che
H
1
, . . . , H

di Tipo I,II,III,
1
, . . . ,
n
R non nulli
tali che
LH
1
H

= (
1
e
1
, . . . ,
n
e
n
)
# (
1
e
1
, . . . ,
n
e
n
) = K
1
K
n
con K
1
K
n
di Tipo II
se ne deduca il seguente
# Teorema.
1
, . . . ,

di Tipo 1,2,3, tali che


L =
1

1.15 Applicazioni lineari e misura 61


1.15 Applicazioni lineari e misura
Per ogni base
a
1
, . . . , a
n
di R
n
si ponga
Par (a
1
, . . . , a
n
) = parallelepipedo di lati a
1
, . . . , a
n
=

1
a
1
+ +
n
a
n
: 0
1
, . . .
n
1
Sia
L = (a
1
, . . . , a
n
) GL(R, n)
si ponga
(L) = mis Par (a
1
, . . . , a
n
)
Si provi che
* L
L
([0, 1] [0, 1]) = Par (a
1
, . . . , a
n
)
# se R `e un rettangolo di R
n
si ha
mis L
L
(R) = (L) mis R
Cenno. Successivamente per Z, Q, R, con > 0,
si provi che
mis L
L
([0, ] [0, 1] [0, 1]) = (L)
Si tenga conto che mis `e invariante per traslazioni. B
# se P `e un plurirettangolo di R
n
si ha
mis L
L
(P) = (L) mis P
# se `e un aperto limitato di R
n
si ha
mis L
L
() = (L) mis
Cenno. Per k = 1, 2, 3, . . .
V dati j
1
, . . . , j
n
Z, si ponga
R
k,j
1
...j
n
=
_
j
1
k
,
j
1
+ 1
k
_

_
j
n
k
,
j
n
+ 1
k
_
sia P
k
il plurirettangolo unione dei rettangoli R
k,j
1
...j
n
tali
che
R
k,j
1
...j
n

62 1 Misura e integrale di Lebesgue
, sia Q
k
il plurirettangolo denito da
Q
k
=
k
_
=1
P

Si verichi che
V Q
1
Q
2

=

_
k=1
Q
k
L
L
(Q
1
) L
L
(Q
2
) L
L
()
, L
L
() =

_
k=1
L
L
(Q
k
)
B
# se K `e un chiuso limitato di R
n
si ha
mis L
L
(K) = (L) mis K
Cenno. Per k = 1, 2, 3, . . .
V sia P
k
il plurirettangolo unione dei rettangoli R
k,j
1
...j
n
tali
che
R
k,j
1
...j
n
K ,=
, sia Q
k
il plurirettangolo denito da
Q
k
=
k

=1
P

Si verichi che
V Q
1
Q
2
K
K =

k=1
Q
k
L
L
(Q
1
) L
L
(Q
2
) L
L
(K)
, L
L
(K) =

k=1
L
L
(Q
k
)
B
# se A `e un insieme limitato e misurabile di R
n
si ha
mis L
L
(A) = (L) mis A
1.15 Applicazioni lineari e misura 63
# se A `e un insieme e misurabile di R
n
si ha
mis L
L
(A) = (L) mis A
(con la convenzione (L) = )
Si verichi che (vedi Sezione 1.14)
* per ogni matrice P

di Tipo 1 si ha
(P

) = 1 = [det (P

)[
# per ogni matrice T

di Tipo 2 si ha
(T

) = [[ = [det (T

)[
# per la matrice di Tipo 3 si ha
() = 1 = [det [
Cenno. Vedi giochino geniale pg 187 di Rudin. B
e quindi che
# per ogni matrice di Tipo 1,2,3 si ha
() = [det [
si verichi inoltre che
# per ogni L
1
, L
2
GL(R, n) si ha
(L
1
L
2
) = (L
1
) (L
2
)
Cenno. Si osservi che per ogni A misurabile si ha
mis L
L
1
L
2
(A) = (L
1
L
2
) mis A
mis L
L
1
L
2
(A) = mis L
L
1
(L
L
2
(A)) =
(L
1
) mis (L
L
2
(A)) = (L
1
) (L
2
) mis A
B
se ne deduca che
# 1.15.1 per ogni L GL(R, n) si ha
(L) = [ det L[
Cenno. Si ricordi che
1
, . . . ,

di Tipo 1,2,3 tali che


L =
1

B
64 1 Misura e integrale di Lebesgue
# 1.15.2 per ogni L GL(R, n) ed ogni sottinsieme misurabile A
di R
n
si ha
L
L
(A) `e misurabile
mis L
L
(A) = (L) mis A = [ det L[ mis A
# 1.15.3 per ogni base a
1
, . . . , a
n
di R
n
si ha
mis Par (a
1
, . . . , a
n
) = [ det (a
1
, . . . , a
n
) [
1.16 Dieomorsmi di classe C
1
e misura
Siano , R
n
due aperti non vuoti, e sia
:
un dieomorsmo di classe C
1
.
Siano
J(y) : R
nn
lapplicazione jacobiana di :
J
1
(x) : R
nn
lapplicazione jacobiana di
1
:
Siccome `e un dieomorsmo di classe C
1
, le applicazioni
det J(y) : R
det J
1
(x) : R
sono continue.
Sia B un insieme misurabile non vuoto; si verichi che
* det J(y) `e misurabile su B (`e continua su )
# esiste una successione K
1
, K
2
, K
3
, di compatti tale che
K
1
K

2
K
2
K

3
K
3

=

_
k=1
K
k
Cenno. Se = , ossia se = R
n
, si pu`o porre
K
k
= [k, k] [k, k]
Se ,= , si pu`o porre
K
k
= b : d(b, ) 1/k ([k, k] [k, k])
B
1.16 Dieomorsmi di classe C
1
e misura 65
per k = 1, 2, 3, . . . si ponga
B
k
= B K
k
si verichi che
# B
1
, B
2
, B
3
, . . . `e una successione fondamentale per det J(y) su
B
per k = 1, 2, 3, . . . si verichi che
# det J(y) `e uniformemente continua su B
k
(`e continua sul
compatto K
k
)
# data una successione
1
,
2
,
3
, . . . tale che

> 0, lim

= 0, e
una successione
r
k

j=1
(mis P
k,j
) [det J

(y
k,j
)[
di

-somme di Lebesgue di det J(y) su B


k
, si ha
_
B
k
[det J(y)[ dy = lim

r
k

j=1
(mis P
k,j
) [det J(y
k,j
)[
(vedi Teorema 1.10.3)
# per , j
V (P
k,j
) `e un insieme misurabile (dimostrazione
omessa)
e, per grande,
P
k,j
`e un insieme molto vicino ad y
k,j
sullinsieme P
k,j
le due applicazioni
(y)
(y
k,j
) +L
J(y
k,j
)
(y y
k,j
)
sono quasi uguali
(P
k,j
) quasi =
(y
k,j
) +L
J(y
k,j
)
(P
k,j
y
k,j
) =
(y
k,j
) L
J(y
k,j
)
(y
k,j
) +L
J(y
k,j
)
(P
k,j
)
66 1 Misura e integrale di Lebesgue
, mis (P
k,j
) quasi =
mis L
J(y
k,j
)
(P
k,j
) = (mis P
k,j
) [det J(y
k,j
)[
(vedi 1.15.2)
# per ogni , la famiglia
(P
k,j
) j = 1, . . . , r
k
`e una quasi partizione di (B
k
) (dimostrazione omessa)
# per ogni grande si ha
mis (B
k
) =
r
k

j=1
mis (P
k,j
) quasi =
r
k

j=1
(mis P
k,j
) [det J(y
k,j
)[
# la dierenza tra i due membri quasi = tende a 0 per che tende
a (dimostrazione omessa)
# mis (B
k
) =
_
B
k
[det J(y)[ dy
se ne deduca che
# (B) `e misurabile, e si ha
mis (B) = lim
k
mis (B
k
) = lim
k
_
B
k
[det J(y)[ dy
# mis (B) < + det J(y) `e integrabile su B;
e che in tal caso si ha
mis (B) =
_
B
[det J(y)[ dy
Usando i risultati precedenti si provino i seguenti due teoremi.
1.16.1 Teorema. Sia B un sottinsieme non vuoto di . Sussistono gli
asserti:
* (B) `e misurabile B `e misurabile
# sono equivalenti gli asserti
V (B) `e misurabile e mis (B) < +
, B `e misurabile e det J(y) `e integrabile su B
1.17 Dieomorsmi di classe C
1
e integrale 67
in tal caso si ha
mis (B) =
_
B
[det J(y)[ dy
1.16.2 Teorema. Sia A un sottinsieme non vuoto di . Sussistono gli
asserti:
* A `e misurabile
1
(A) `e misurabile
# sono equivalenti gli asserti
V A `e misurabile e mis A < +
,
1
(A) `e misurabile e det J(y) `e integrabile su
1
(A)
in tal caso si ha
mis A =
_

1
(A)
[det J(y)[ dy
1.17 Dieomorsmi di classe C
1
e integrale
Siano , R
n
due aperti non vuoti, e sia
:
un dieomorsmo C
1
. Siano
J(y) : R
nn
lapplicazione jacobiana di :
J
1
(x) : R
nn
lapplicazione jacobiana di
1
:
Sia
: R R
il dieomorsmo C
1
denito da
(y, ) = ((y), )
Le applicazioni jacobiane di
: R R
1
: R R
sono
J(y, ) =
_
J(y) 0
0 1
_
: R R
(n+1)(n+1)
J
1
(x, ) =
_
J
1
(x) 0
0 1
_
: R R
(n+1)(n+1)
Sia A un insieme misurabile non vuoto, e sia
f(x) : A R
68 1 Misura e integrale di Lebesgue
una funzione.
Si ricordi che
1
(A) `e un insieme misurabile (vedi Teorema 1.16.2),
e si consideri la funzione
(f )(y) = f((y)) :
1
(A) R
Si verichi che
* SGP(f) = (SGP(f )) SGN(f) = (SGN(f ))
se ne deduca che
# f(x) `e misurabile su A f((y)) `e misurabile su
1
(A)
(Cenno: si applichi a e a SGP(f ) il Teorema 1.16.1)
Da qui innanzi si suppone che
f(x) : A R
sia misurabile su A, o equivalentemente che
f((y)) :
1
(A) :R
sia misurabile su
1
(A).
Si osservi che
gli insiemi
A
+
= x A : 0 f(x) A

= x A : f(x) 0

1
(A
+
)
1
(A

)
sono misurabili
Relativamente a SGP(f) e SGP(f )
* si verichi che sono equivalenti gli asserti
(a) SGP(f) `e misurabile e mis SGP(f) < +
(b) SGP(f ) `e misurabile
e det J(y, ) `e integrabile su SGP(f )
(Cenno: si applichi a e a SGP(f ) il Teorema 1.16.1)
# si ponga
F(y, ) = prolungamento banale di [det J(y, )[
da SGP(f ) a R
n
R
1.17 Dieomorsmi di classe C
1
e integrale 69
# si supponga che sussista lasserto (b); usando il Teorema di Fubini,
si ha
V mis SGP(f) =
_
SGP(f)
[det J(y, )[ dyd =
_
R
n
R
F(y, )dyd =
_
R
n
__
R
F(y, )d
_
dy
_

1
(A
+
)
_
_
f((y))
0
[det J(y, )[ d
_
dy =
_

1
(A
+
)
f((y)) [det J(y)[ dy
in particolare si ha che
, f((y)) [det J(y)[ `e integrabile su
1
(A
+
)
# si supponga che f((y)) [det J(y)[ sia integrabile su
1
(A
+
); si
ha
V per (y, ) R
n
R si ha F(y, ) 0
per y R
n
, F(y, )
. .
come funzione di y
`e integrabile su R

_
R
F(y, )d
. .
come funzione di y
= prolungamento banale
di f(y) [ det J(y)[ da
1
(A
+
) a R
n
tenuto conto delle ipotesi,
_
R
F(y, )d
. .
come funzione di y
`e integrabile su R
n
per il Teorema di Fubini, F(y, ) `e integrabile su R
n
R
in particolare si ha che
, sussiste lasserto (b)
se ne deduca che
# sono equivalenti gli asserti
(a) SGP(f) `e misurabile e mis SGP(f) < +
(c) f((y)) [det J(y)[ `e integrabile su
1
(A
+
)
e che in tal caso si ha
mis SGP(f) =
_

1
(A
+
)
f((y)) [det J(y)[ dy
70 1 Misura e integrale di Lebesgue
Relativamente a SGN(f) e a SGN(f ), un procedimento analogo
prova che
sono equivalenti gli asserti
(a) SGN(f) `e misurabile e mis SGN(f) < +
(c) f((y)) [det J(y)[ `e integrabile su
1
(A

)
e che in tal caso si ha
mis SGP(f) =
_

1
(A

)
f((y)) [det J(y)[ dy
Se ne deducano i seguenti teoremi.
1.17.1 Teorema. Sia f misurabile su A. Sono equivalenti gli asserti
* f(x) `e integrabile su A
# f((y)) [det J(y)[ `e integrabile su
1
(A)
e in tal caso si ha
_
A
f(x)dx =
_

1
(A)
f((y)) [det J(y)[ dy
1.17.2 Teorema. Sia f misurabile su A. Sono equivalenti gli asserti
* f((y)) `e integrabile su
1
(A)
# f(x)

det J
1
(x)

`e integrabile su A
e in tal caso si ha
_

1
(A)
f((y))dy =
_
A
f(x)

det J
1
(x)

dx
1.18 Traslazioni e dilatazioni di funzioni misura-
bili ed integrabili
Si consideri una funzione
f(x) : R
n
R
Siano
R, ,= 0 a R
n
Supponendo
= 2
1.18 Traslazioni e dilatazioni di funzioni misurabili ed integrabili 71
e che il graco di f(x) sia
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
n
.
............................................................................................................................................................................................................................................................................
R
f(x)
b
1
0 b
2
c
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.................
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
si verichi che il graco di f(x) `e
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
n
.
............................................................................................................................................................................................................................................................................
R
f(x)
1

b
1
0
1

b
2
c
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.................
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
.
.................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
e che il graco di f(x +a) `e
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
n
.
............................................................................................................................................................................................................................................................................
R
f(x +a)
1

b
1

1

a
1

a
1

b
2

1

a
c
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
.........
.
....
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.................
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
.
.................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Si tenga conto
* delle precedenti gure
per ogni R, ,= 0, e ogni b R
n
si considerino in R
n
R
# la dilatazione (parallela a R
n
0) di coeciente , ossia lappli-
cazione
R
n
R R
n
R
(x, d) (x, d)
72 1 Misura e integrale di Lebesgue
# la traslazione (parallela a R
n
0) di vettore b, ossia lapplicazione
R
n
R R
n
R
(x, d) (x +b, d)
Se ne deduca che
* graco di f(x) = graco di f(x) dilatato di
1

# graco di f(x +a) = graco di f(x) traslato di


1

a
# graco di f(x a) = graco di f(x) traslato di a
Se ne deduca che
* se f(x) `e integrabile su R
n
allora
# f(x), f(x +a), f(x a) sono integrabili su R
n
# si ha
_
R
n
f(x)dx =
1
[[
n
_
R
n
f(x)dx
_
R
n
f(x +a)dx =
1
[[
n
_
R
n
f(x)dx
_
R
n
f(x a)dx =
_
R
n
f(x)dx
Tali risultati sono casi particolari della seguente
1.18.1 Nota. Sia f(x) : R
n
R una funzione integrabile su R
n
. Sia
L R
nn
una matrice invertibile, e sia a R
n
.
Come conseguenza del Teorema 1.17.2 si provi che
* f(Lx +a) `e integrabile su R
n
#
_
R
n
f(Lx +a)dx =
1
[ det L[
_
R
n
f(x)dx