Misura Ed Integrale Di Lebesgue

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à 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à 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à . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.10 Funzioni continue: misurabilità e condizioni di integrabilità . 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
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à 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ò 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ò 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
n
3
Nota. La denizione di mis P è una buona denizione: se
Q
1
, . . . , Q
è 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
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 .
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, +] .
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à sempre fatta; per gli insiemi misurabili secondo Lebesgue,
la specicazione secondo Lebesgue verrà sistematicamente omessa. In par-
ticolare la frase A è misurabile signicherà sempre A è 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, +)
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
è 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):
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 è misurabile secondo Jordan,
allora (provare usando a)):
A è misurabile (ossia è misurabile secondo Lebesue),
J-mis A = mis A .
c) Sia A R
n
un insieme non limitato; se A è misurabile secondo
Jordan, allora (provare usando b)):
A è misurabile,
J-mis A = mis A .
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 è nitamente additiva)
A B mis A mis B
, A B e mis B < + mis (B A) = mis B mis A
Nota 1): proprietà analoghe sono vericate anche dalla misura di Jordan;
in particolare la misura di Jordan è nitamente additiva.
Nota 2): le proprietà che seguono sono invece vericate solo dalla misura
di Lebesgue, e non si applicano alla misura di Jordan.
1.4.2 Teorema(numerabile additività): 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
è misurabile
n
7
, mis
_
j=1
A
j
=
j=1
mis A
j
(ossia: la misura di Lebesgue è 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 è 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 è 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 è 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:
*
_
j=1
A
j
è 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
è misurabile,
tali B
j
sono a due a due disgiunti,
_
j=1
A
j
=
_
j=1
B
j
.
B
#
j=1
A
j
è 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 è 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 è misurabile in quanto unione numerabile di misura-
bili. B
n
9
In tal caso, se A
1
, A
2
, A
3
, . . . è 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
, . . . è una famiglia numerabile qualsiasi di chiusi, 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 è 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
_

è misurabile.
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à richieste. B
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 è misurabile e che
mis = mis Amis
_
h=1
K
h
= mis
i
Amis
_
h=1
K
h
= 0 .
B
n
11
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à alla Considerazione 4), si ponga
A
m
=
_

_
h=1
K
mh
_

m
;
una scelta di K
h
(limitati) e di è 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
V A A
j
j = 1, 2, 3, . . .
lim
j
mis A
j
= 0
allora
, A è 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 è misurabile, e mis A = 0
# In R
2
, sia A = [1, 5] 3; si provi che A è misurabile, e mis A = 0.
# In R
2
, sia A = R3; si provi che A è misurabile, e mis A = 0.
# In R
2
, sia
A =
_
qQ
Rq
si provi che A è misurabile, e mis A = 0.
# In R
3
, sia A = [1, 5] [2, 4] 3; si provi che A è misurabile, e
mis A = 0.
# In R
3
, sia
A =
_
qQ
RRq
si provi che A è misurabile, e mis A = 0.
# Sia A un sottinsieme numerabile di R
n
; si provi che
V A è misurabile
n
13
, mis A = 0
Cenno. Siccome A è 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 è misurabile
, mis Q = 0
(si ricordi che Q è numerabile)
# Si consideri Q
n
R
n
; si provi che
V Q
n
è misurabile
, mis Q
n
= 0
(si ricordi che Q
n
è 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
V A è 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 è un compatto tale che
K [0, 1]
K è 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 è un aperto limitato non vuoto, si ha
supmis P : P plurirettangolo A = mis A <
ne segue mis P
1
< .
Siccome P
2
è 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
è un plurirettangolo tale che K P
2
allora
1 < mis P
2
se ne deduca che:
V A è un aperto limitato non misurabile secondo Jordan;
, K è 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 è 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
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 è utile.
1.5.1 Teorema(R-integrabilità 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 è 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) < +
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 è misurabile
[f[ è 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 è anche secondo Lebesgue, e
che ogni funzione integrabile secondo Riemann lo è 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 è R-misurabile, allora f è anche misurabile;
b) Se f è R-integrabile, allora:
f è anche integrabile,
_
A
f = R-
_
A
f.
1.7 Misurabilità 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à 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 è integrabile su [a, b] secondo Riemann, e quindi è 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à e fasce di livello
Questa sezione è dedicata alla dimostrazione del seguente Teorema che
riconduce la misurabilità di una funzione alla misurabilità 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 è misurabile su A,
b) per ogni < R, la fascia di livello compreso tra e di f,
ossia linsieme
a A : < f(a)
è misurabile.
Nota: La dimostrazione è data al punto 1.7.9, e necessita dei Lemmi da
1.7.2 a 1.7.8.
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à 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) è misurabile
mis SGP(f) SGN(f) = 0
,
allora:
b)
_
A è misurabile
mis A = 0
Cenno. Dimostriamo lAsserto equivalente
b) a) ,
ossia dimostriamo che se:
o A è non misurabile,
o A è misurabile, e mis A > 0,
allora:
o SGP(f) SGN(f) non è misurabile,
o SGP(f) SGN(f) è misurabile, e mis SGP(f) SGN(f) > 0 .
A tal ne:
si provi per esercizio che è suciente dimostrare lAsserto sotto
lulteriore ipotesi f(a) > 0 per a A,
si provi per esercizio che per dimostrare lAsserto cos` modicato,
è suciente considerare un rettangolo (certamente esistente)
R = [a
1
, b
1
] [a
n
, b
n
] [0, b]
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 è non misurabile,
o è misurabile con misura > 0.
si provi per esercizio che per dimostrare il sussitere della condizione
suciente descritta nellitem precedente, è 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) è 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]
_
è un compatto

;
esiste quindi un aperto B
a
a tale che
B
a
[0, 1/h] ;
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 è non misurabile, o è 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) è misurabile,
mis SGP(f) SGN(f) = 0,
allora:
T D(f) è 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, è misurabile, con misura = 0, lasserto si
ottiene applicando il Lemma 1.7.2 a

f :

A R. B
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
) è misurabile,
allora:
anche SGP(f) è misurabile.
Cenno. Siccome A è misurabile, allora per h, q = 1, 2, 3, . . . ,
SGP(f
h
+ 1/q)
è 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)
è misurabile, allora anche SGP(f) risulta misurabile. B
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) è chiuso (e quindi compatto, essendo SGP(g)) limitato)
SGP(g) SGP(f)
.
Cenno. Sia
: R
n
R R
n
la proiezione. è continua.
Si ponga
K = () ;
essendo compatto, e continua, si ha che K è compatto. Ovviamente si
ha anche K A.
Esiste ed è univocamente determinata una famiglia di insiemi
a
[0, ), a K ,
tale che
=
_
aK
(a
a
) ;
siccome è chiuso e limitato, se ne deduce facilmente che
a
è chiuso e
limitato.
Consideriamo quindi la funzione
g : K R
denita da
g(a) = max
a
, a A .
`
E subito visto che
SGP(g) SGP(f) .
Le considerazioni seguenti provano che SGP(g) è 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) è 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
) .
Lasserto 3) cos` ottenuto, è 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
tali che:
_
_
SGP(g) è misurabile
SGP(g) SGP(f)
mis
i
SGP(f) = mis SGP(g)
.
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
) è 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
g
h
(a) = sup
1
(a), . . . ,
h
(a) .
Si ha:
K è limitato e misurabile,
0 g
1
g
2
g
3
. . . ,
SGP(g
h
) è 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) .
Per il Lemma 1.7.4, si ha che
SGP(g)
è 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) è misurabile,
allora:
b) A è 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
tali che:
_
_
SGP(g) è misurabile
SGP(g) SGP(f)
mis
i
SGP(f) = mis SGP(g)
;
essendo SGP(f) misurabile, si ha
mis SGP(g) = mis SGP(f) ,
e quindi
_
SGP(f) SGP(g) è misurabile
mis SGP(f) SGP(g) = 0
.
Ne segue che
_
SGP(f
|(A\K)
) è misurabile
mis SGP(f
|(A\k)
) = 0
;
allora per il Lemma 1.7.2 si ha che A K è 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
è misurabile. Per il risultato provato nella Parte 1), linsieme
A
h
= A ([h, h] [h, h])
è 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) è misurabile,
allora:
per 0, i sottinsiemi di A
a A : f(a) > , a A : f(a) <
sono misurabili.
Cenno. Si ponga
P
= a A : f(a) > ,
e sia
f
: P
R
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
)
è misurabile, e allora, per il Teorema 1.7.7 anche
P
= a A : f(a) >
è misurabile.
La misurabilità 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à riportiamo
lenunciato del Teorema) Sia:
A misurabile.
Sono equivalenti gli asserti:
a) f è misurabile su A,
b) per ogni < R, linsieme
a A : < f(a)
è 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à 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
è misurabile per R > 0. Di conseguenza, anche SGP(f) è
misurabile.
Analogamente si prova la misurabilità di SGN(f). B
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à e integrabilità sono equivalenti.
1.8.1 Nota: Sono equivalenti gli asserti
a) f è misurabile
b) f è 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à una quasi-partizione di Lebesgue di A.
Se
P
1
, . . . , P
r
è 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à 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 è 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
è 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) ;
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à 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) è misurabile, e di conseguenza anche SGP(f) e
SGN(f) sono misurabili; in particolare f è misurabile, e per le condizioni di
limitatezza è 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 è banale. B
1.9 Funzioni limitate su insiemi limitati: uso per
lo studio dellintegrabilità
Sia A un sottinsieme misurabile (anche non limitato) di R
n
, e sia
f : A R
una funzione (anche non limitata).
In questa sezione viene indicata una strategia per ricondurre lo studio
della misurabilità e integrabilità di f e il calcolo delleventuale integrale di
f, a veriche di integrabilità 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à una successione fondamentale per f su A.
Il seguente Teorema riconduce lo studio della misurabilità di f alle
nozioni di successioni fondamentali e di funzioni limitate su insiemi limitati.
1.9.2 Teorema: Sono equivalenti gli asserti:
a) f è misurabile su A
b) esiste una successione fondamentale A
1
, A
2
, A
3
, . . . per f su A, tale
che
f è 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 è integrabile su A
k
.
Nopta: b) è utile quando si deve dimostrare che f è misurabile. c) è utile
quando si è ormai dimostrato che f è misurabile.
Il Teorema 1.9.2 giustica la seguente Procedura per appurare se f sia
o non sia misurabile su A.
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 è 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à o meno di f su ciascun A
k
;
se k tale che f non è integrabile su A
k
(caso ben dicil-
mente incontrabile), allora per c) del Teorema 1.9.2 f è non
misurabile su A;
altrimenti, ossia se f è integrabile su ciascun A
k
, per b) del
Teorema 1.9.2, f è misurabile su A.
Una volta appurato che f è 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 è 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[) < +
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 è misurabile su A, ma f non è integrabile su A, data
una successione fondamentale per f su A,
V può esistere nito lim
k
_
A
k
f
, tale limite può 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
f(x) =
1
x
, per x A .
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
, . . . è una successione fondamentale per
f su A.
# Si provi che f è integrabile su A
h
.
Cenno. Qui e in seguito utilizzare il Corollario 1.6.4. B
# Dallitem precedente si deduce che f è misurabile su A.
# Se ne deduce che
f, [f[
sono integrabili su A
h
.
# Si ricordi che la funzione
ln[x[ : R 0 R
è 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 è integrabile su A.
Come conseguenza, dalla successione
_
A
1
f,
_
A
2
f,
_
A
2
f, . . .
possiamo solo aspettarci stranezze.
# 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
?
a
h
=
1
h
2
, b
h
=
1
h
?
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 è 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 è integrabile su A ,
è un sottospazio dello spazio vettoriale F(A, R) di tutte le funzioni
da A in R;
lapplicazione
_
: I(A, R) R
f ~
_
A
f
è una applicazione lineare.
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ò 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, . . . ,
è 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

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 è integrabile su A
k
_
A
k
(f +g) =
_
A
k
f +
_
A
k
g
e quindi che
, [f +g[ è integrabile su A
k
[f[ +[g[ è 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
, . . . è una successione fondamentale per f + g su A tale
che f +g è integrabile su A
k
f +g è 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 è 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à e condizioni di integrabilità 43
1.10 Funzioni continue: misurabilità e condizioni
di integrabilità
Sia A R
n
un insieme misurabile e sia
f(x) : A R
una funzione a valori reali.
1.10.1 Teorema. Se
f è continua su A,
allora
f è misurabile su A.
Cenno. Sia R e sia
A
= x A : f(x) < .
Ovviamente A
è la controimmagine dellaperto
(, ) R
tramite lapplicazione f; essendo f continua, esiste un aperto R
n
tale
che
A
= A ;
ne segue che A
è misurabile in quanto intersezione di due misurabili (si

verichi che ogni aperto di R
n
è misurabile).
Lasserto segue adesso dal Teorema 1.7.1. B
1.10.2 Teorema. Se
A è limitato,
f è limitata su A,
f è continua su A,
allora
f è integrabile su A.
1.10.3 Teorema. Sia
A limitato,
f limitata su a,
f uniformemente continua su A.
Per il Teorema 1.10.2 f è 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 è 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à e condizioni di integrabilità 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 è limitata su K
# si ricordi che f è 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
* 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) è misurabile su (0, 1]
# si osservi che la successione
[1/k, 1] k = 1, 2, 3, . . .
è 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) è misurabile su [1, +)
# si osservi che la successione
[1, k] k = 1, 2, 3, . . .
è 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
V 1/t
integrabile su [1, +) > 1

,
_
[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) è integrabile su (0, r]
# sia > 1 e sia
f(t) : [r, +) R con 0 < r
_
f(t) misurabile su [r, +)
[f(t)[ 1/t
per t [r, +)
allora f(t) è 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à di , occorrono alcune premesse:

* I(0, 1) R
n
è chiuso e limitato (ossia compatto), quindi è misura-
bile
V si ponga
n
= mis I(0, 1) (omettiamo il calcolo di
n
)
, si verichi che
n
,= 0
# sia 0 < r, si provi che
V I(0, r) è 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
() =
_
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
è 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
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
è 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
_
Possiamo ora ottenere risultati sullintegrabilità di :
* si provi che la successione
A
k
= I(0, 1) I(0, 1/k) k = 1, 2, 3, . . .
è 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|
è integrabile su I(0, 1) 0 < n

,
_
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, . . .
è 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|
è integrabile su R
n
I(0, 1) > n
,
_
R
n
\I(0,1)
(1/|x|
) dx =
n
n

n
# 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
_
f(x) misurabile su I(0, r) 0
[f(x)[ 1/|x|
per x I(0, r) 0
allora f(x) è integrabile su I(0, r) 0
# sia > n e sia
f(x) : R
n
I(0, r) R con 0 < r
_
f(x) misurabile su R
n
I(0, r)
[f(x)[ 1/|x|
per x R
n
I(0, r)
allora f(x) è 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) è o vero o falso
Se
# linsieme
x A : P(x) è falso
è 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
(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) è falso = Q
e quindi lasserto P(t) è 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 è 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 è 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
* 1.12.2 Lemma: Se
V f : A R è un funzione integrabile
A
1
A
2
A
3
A è 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
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ò 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
si verichi che
* sono equivalenti gli asserti
a) f : A H R è misurabile su A H
b)

f : A R è misurabile su A
c)

f : R
n
R è 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 è integrabile su A H
b)

f : A R è integrabile su A
c)

f : R
n
R è 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.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)
è integrabile su R
m
# la funzione denita q.o.
R
n
R
y
_
R
m
f(x, y)dx
è 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
* per q.o. y R
n
, la funzione
R
m
R
x f(x, y)
è integrabile su R
m
# la funzione denita q.o.
R
n
R
y
_
R
m
f(x, y)dx
è integrabile su R
n
allora (dimostrazione omessa)
# f(x, y) è 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 è 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
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 è 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 è 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 è 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 è invariante per traslazioni. B
# se P è un plurirettangolo di R
n
si ha
mis L
L
(P) = (L) mis P
# se è 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

, 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 è 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 è 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 è 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
# 1.15.2 per ogni L GL(R, n) ed ogni sottinsieme misurabile A
di R
n
si ha
L
L
(A) è 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
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 è 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) è misurabile su B (è 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ò porre
K
k
= [k, k] [k, k]
Se ,= , si può porre
K
k
= b : d(b, ) 1/k ([k, k] [k, k])
B
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
, . . . è una successione fondamentale per det J(y) su
B
per k = 1, 2, 3, . . . si verichi che
# det J(y) è uniformemente continua su B
k
(è 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
) è un insieme misurabile (dimostrazione
omessa)
e, per grande,
P
k,j
è 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
)
, 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
è 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) è misurabile, e si ha
mis (B) = lim
k
mis (B
k
) = lim
k
_
B
k
[det J(y)[ dy
# mis (B) < + det J(y) è integrabile su B;
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) è misurabile B è misurabile
V (B) è misurabile e mis (B) < +
, B è misurabile e det J(y) è integrabile su B
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 è misurabile
1
(A) è misurabile
V A è misurabile e mis A < +
,
1
(A) è misurabile e det J(y) è integrabile su
1
(A)
in tal caso si ha
mis A =
_
1
(A)
[det J(y)[ dy
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
una funzione.
Si ricordi che
1
(A) è 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) è misurabile su A f((y)) è 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) è misurabile e mis SGP(f) < +
(b) SGP(f ) è misurabile
e det J(y, ) è 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
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)[ è 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
è 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
è integrabile su R
n
per il Teorema di Fubini, F(y, ) è integrabile su R
n
R
in particolare si ha che
, sussiste lasserto (b)
se ne deduca che
(a) SGP(f) è misurabile e mis SGP(f) < +
(c) f((y)) [det J(y)[ è integrabile su
1
(A
+
)
mis SGP(f) =
_
1
(A
+
)
Relativamente a SGN(f) e a SGN(f ), un procedimento analogo
prova che
sono equivalenti gli asserti
(a) SGN(f) è misurabile e mis SGN(f) < +
(c) f((y)) [det J(y)[ è integrabile su
1
(A
)
mis SGP(f) =
_
1
(A
)
Se ne deducano i seguenti teoremi.
1.17.1 Teorema. Sia f misurabile su A. Sono equivalenti gli asserti
* f(x) è integrabile su A
# f((y)) [det J(y)[ è integrabile su
1
(A)
e in tal caso si ha
_
A
f(x)dx =
_
1
(A)
1.17.2 Teorema. Sia f misurabile su A. Sono equivalenti gli asserti
* f((y)) è integrabile su
1
(A)
# f(x)
det J
1
(x)
è 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) è
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R
n
.
............................................................................................................................................................................................................................................................................
R
f(x)
1
b
1
0
1
b
2
c
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.................
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
.
.................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
e che il graco di f(x +a) è
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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)
# 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) è 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) è integrabile su R
n
#
_
R
n
f(Lx +a)dx =
1
[ det L[
_
R
n
f(x)dx

Misura Ed Integrale Di Lebesgue

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Misura Ed Integrale Di Lebesgue

Uploaded by

Copyright:

Available Formats

Misura e integrale

una famiglia nita di rettangoli di R

`e una seconda famiglia nita di rettangoli di R

ove ogni mis a

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

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

inf somme superiori di Lebesgue di f +g su A

42 1 Misura e integrale di Lebesgue

supsomme inferiori di Lebesgue di f +g su A

`e misurabile in quanto intersezione di due misurabili (si

Per il comportamento su (0, 1]

integrabile su (0, 1] < 1

integrabile su [1, +) > 1

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

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

ove `e la permutazione che scambia 1 con r

ove `e una qualsiasi permutazione tale che

di Tipo 1,2,3, tali che

1.15 Applicazioni lineari e misura 61

di Tipo 1,2,3 tali che

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

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

You might also like