Dispense Analisi Funzionale

Appunti del Corso di
ANALISI REALE E FUNZIONALE

Vittorino Pata
Dipartimento di Matematica F. Brioschi
Politecnico di Milano
vittorino.pata@polimi.it
http://www.mate.polimi.it/utenti/Pata
Indice
I. Teoria della misura 3
1 Spazi di misura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1 Spazi misurabili . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Funzioni semplici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Misure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Completamento di una misura . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 La misura di Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1 Misura esterna . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Costruzione della misura: condizione di Caratheodory . . . . . . . . . . . . 12
2.3 Insiemi non misurabili . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3 Integrazione astratta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1 Integrazione di funzioni positive . . . . . . . . . . . . . . . . . . . . . . . . 15
3.2 Integrazione di funzioni reali . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Cambiamento di variabili . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.4 Il ruolo degli insiemi di misura nulla . . . . . . . . . . . . . . . . . . . . . . 23
3.5 Integrazione secondo Riemann e secondo Lebesgue . . . . . . . . . . . . . . 26
3.6 Convergenza puntuale, uniforme e in L
1
. . . . . . . . . . . . . . . . . . . . 27
4 Dierenziazione e integrazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.1 Il Teorema di Radon-Nykodym . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.2 Il Primo Teorema Fondamentale del Calcolo . . . . . . . . . . . . . . . . . . 30
4.3 Funzioni assolutamente continue . . . . . . . . . . . . . . . . . . . . . . . . 31
5 Prodotto di misure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.1 Prodotto di spazi misurabili . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2 Il Teorema di Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.3 Completamento di misure prodotto . . . . . . . . . . . . . . . . . . . . . . . 40
5.4 Cambio di variabili . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
II. Spazi di Banach 41
1 Geometria degli spazi di Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.1 Spazi lineari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.2 Spazi normati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.3 Nozioni topologiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.4 Successioni convergenti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.5 Separabilità . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.6 Completezza: spazi di Banach . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.7 Norme equivalenti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.8 Gli spazi L
p
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2 Operatori lineari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.1 Denizioni e prime proprietà . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2 Iniezioni continue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3 Il Teorema di Baire e le sue conseguenze . . . . . . . . . . . . . . . . . . . . 61
1
2
3 Lo spazio duale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.1 Denizioni e prime proprietà . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.2 Il Teorema di Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3 Riessività . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4 Convergenza debole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.5 Convergenza debole- . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.6 Operatori compatti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.7 Sulle diverse convergenze negli spazi L
p
() . . . . . . . . . . . . . . . . . . 77
III. Spazi di Hilbert 79
1 Geometria degli spazi di Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
1.1 Spazi con prodotto interno . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
1.2 Completezza: spazi di Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.3 Proiezioni ortogonali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
1.4 Il duale di uno spazio di Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 84
1.5 Basi ortonormali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
1.6 Lo spazio L
2
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2 Teorema spettrale per gli operatori compatti simmetrici . . . . . . . . . . . . . . . 91
2.1 Rappresentazione matriciale degli operatori limitati . . . . . . . . . . . . . 91
2.2 Operatori simmetrici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.3 Operatori compatti simmetrici . . . . . . . . . . . . . . . . . . . . . . . . . 94
3 Cenni agli operatori non limitati . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.1 Operatori chiusi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.2 Operatori simmetrici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
I. Teoria della misura
1 Spazi di misura
1.1 Spazi misurabili
Lo scopo della teoria della misura è di fornire una procedura per misurare i sot-
toinsiemi di un insieme assegnato, per poi poter sviluppare una conseguente teoria
dellintegrazione. Sia dunque un insieme astratto. Ci proponiamo di denire una
misura positiva sui sottoinsiemi di , cioè una funzione : T() [0, ], dove
T() è linsieme delle parti di , che abbia certe ragionevoli proprietà. Tuttavia,
come vedremo, ciò pu` o non essere possibile se si fanno richieste speciche sulla .
Dunque occorrerà limitarsi a particolari sottoinsiemi di T().
Denizione. Una famiglia M T() è detta -algebra (su ) se verica le seguenti
propriet` a:
(i) M;
(ii) Se E M allora E
C
= E M;
(iii) Se E =
nN
E
n
e E
n
M per ogni n N, allora E M.
Gli elementi di M sono detti insiemi misurabili, e la coppia (, M) è detta spazio
misurabile.
Osservazione. Lassioma (i) serve ad evitare che Msia vuota. Lassioma (ii) ci
dice che Mè chiusa rispetto alla complementazione. Se lassioma (iii) è sostituito
dallanalogo con unioni e somme nite, allora si parla di algebra. Il presso
in Analisi viene generalmente utilizzato per indicare la chiusura rispetto a un
insieme numerabile di operazioni.
Proprietà immediate. Sia (, M) uno spazio misurabile.
- Poiche =
C
, segue che M.
3
4
- Prendendo E
n+1
= E
n+2
= = in (iii), si evince immediatamente che Mè
in particolare unalgebra.
- Usando la relazione
nN
E
n
=
_
nN
E
C
n
_
C
, si vede che Mè chiusa rispetto
allintersezione numerabile (e nita).
- Poiche E F = E F
C
, abbiamo che E F M se E M e F M.
Osservazione. Se
0
M, allora la restrizione di M su
0
, ovvero
M[
0
=
_
E M: E
0
_
,
è una -algebra su
0
.
Proposizione 1.1. Se c è una collezione di sottoinsiemi di , allora esiste la pi` u
piccola -algebra M
su tale che c M
.
dimostrazione. Si noti che T() è una -algebra su . Dunque linsieme
delle -algebre contenenti c è non vuoto. Sia dunque M
lintersezione di tutte
le -algebre contenenti c.
`
E evidente che c M
, e che M
è a sua volta
contenuta in ogni -algebra che contiene c. Per completare la dimostrazione si
deve provare che M
è una -algebra. Se E
n
M
, e M M
è una qualsiasi
-algebra, allora
n
E
n
M, da cui
n
E
n
M
. Analogamente, si dimostra
la validit` a degli assiomi (i) e (ii).
La -algebra M
è detta generata da c.
Esercizio 1. Siano E
1
, . . . , E
n
n insiemi non vuoti a due a due disgiunti tali che
=
k
E
k
. Trovare la -algebra su generata dagli E
k
e stabilirne la cardinalit` a.
Insiemi di Borel. Se è uno spazio topologico, la -algebra generata dagli aperti
di è detta -algebra di Borel (su ), e viene indicata con B(). Gli elementi di
B() sono detti insiemi di Borel o Boreliani. Sono dunque Boreliani gli insiemi
aperti e chiusi, gli insiemi G
(intersezioni numerabili di aperti), e gli insiemi F
(unioni numerabili di chiusi).

1
Osservazione. Si noti che un insieme G
è il complementare di un insieme F
,
e viceversa.
Denizione. Sia (, M) uno spazio misurabile, e sia X uno spazio topologico. Una
funzione f : X è detta misurabile (rispetto alla -algebra M) se f
1
(A) M
per ogni aperto A X.
Osservazione. Se è uno spazio topologico ed f : X è continua, allora
evidentemente f è Borel misurabile, cioè misurabile rispetto a B().
1
La terminologia è dovuta ad Hausdor; si riferisce allunione (Summe) e allintersezione
(Durchschnitt).
5
Esercizio 2. Sia (, M) uno spazio misurabile, e sia E T(). Deniamo la
funzione caratteristica di E nel seguente modo:
E
(t) =
_
1, t E,
0, t , E.
Mostrare che E M se e solo se
E
è misurabile.
Teorema 1.2. Sia (, M) uno spazio misurabile, e siano X e Y spazi topologici.
Se f : X è misurabile e g : X Y è continua, allora h = g f : Y è
misurabile.
dimostrazione. Sia A Y un aperto. Allora
(g f)
1
(A) = f
1
(g
1
(A)).
Ma O = g
1
(A) è aperto in X, e dunque f
1
(O) M.
Osservazione. Se invece f è misurabile e g è misurabile, g f pu` o non essere
misurabile, anche se f è continua.
Teorema 1.3. Sia (, M) uno spazio misurabile, e siano u e v due funzioni mi-
surabili a valori reali, e sia : R
2
X una funzione continua a valori in uno spazio
topologico X. Allora la funzione h(t) = (u(t), v(t)) denita da a X è misurabile.
dimostrazione. Sia f(t) = (u(t), v(t)) : R
2
. Dato che h = f, dal
teorema precedente è suciente mostrare che f è misurabile Sia R = I J un
rettangolo aperto in R
2
. Allora
f
1
(R) = u
1
(I) v
1
(J) M.
Un generico aperto A R
2
è unione numerabile di rettangoli aperti. Ovvero,
A =
n
R
n
. Quindi
f
1
(A) = f
1
_
_
n
R
n
_
=
_
n
f
1
(R
n
).
Pertanto f
1
(A) M.
I due teoremi appena visti hanno delle conseguenze immediate piuttosto impor-
tanti.
Corollario 1.4. Sia (, M) uno spazio misurabile, e siano u e v due funzioni mi-
surabili a valori reali.
- u + v e uv sono misurabili.
- u
+
= maxu, 0, u
= minu, 0 e [u[ = u
+
+ u
sono misurabili.
6
Osservazione. La funzione u si pu` o scrivere come [u[, dove è misurabile e
[(t)[ = 1. Sia infatti
E =
_
t : u(t) 0
_
.
Notiamo che E è misurabile. Deniamo allora
(t) =
E
(t)
E
C(t).
Osservazione. Le funzioni u
+
e u
sono dette rispettivamente parte positiva

e parte negativa di u. Inoltre, u = u
+
u
è una rappresentazione della u che

soddisfa la seguente propriet` a di minimalit` a: se u = u
1
u
2
, con u
1
0 e u
2
0,
allora u
+
u
1
e u
u
2
.
Teorema 1.5. Sia (, M) uno spazio misurabile, sia X uno spazio topologico, e sia
f : X.
- La collezione N degli insiemi E X tali che f
1
(E) M è una -algebra su
X.
- Se f è misurabile e E B(X) allora f
1
(E) M.
- Se X = [, ] e f
1
((a, ]) M per ogni a R, allora f è misurabile.
dimostrazione. Il primo e il terzo punto li lasciamo per esercizio. Per quanto
riguarda il secondo, dato che f è misurabile N contiene tutti gli aperti di X, e
quindi N B(X).
Osservazione. Si noti che nel terzo punto si poteva equivalentemente richiedere
che f
1
([a, ]) M, f
1
([, a)) M, oppure f
1
([, a]) M.
Osservazione. In particolare, se f è Borel misurabile, le controimmagini di
Boreliani sono Boreliani.
Esercizio 3. Mostrare che il Teorema 1.2 continua a valere se g è solo Borel
misurabile.
Consideriamo inne successioni di funzioni misurabili f
n
a valori in [, ].
Diciamo che f è il limite puntuale di f
n
se
f(t) = lim
n
f
n
(t), t .
Analogamente deniamo le funzioni
_
sup
n
f
n
_
(t) = sup
n
f
n
(t),
_
limsup
n
f
n
_
(t) = limsup
n
f
n
(t),
e le corrispondenti con linf. Vogliamo mostrare che la misurabilit` a è una nozione
stabile per passaggi al limite.
7
Teorema 1.6. Sia (, M) uno spazio misurabile, e sia f
n
: [, ] una
successione di funzioni misurabili. Allora
2
g = sup
n
f
n
e h = limsup
n
f
n
sono misurabili.
dimostrazione. La misurabilità di g segue dal fatto che
g
1
((a, ]) =
_
n
f
1
n
((a, ]).
Il risultato identico si ottiene prendendo linf al posto del sup. Inne, poiche
h(t) = inf
n1
_
sup
kn
f
k
(t)
_
,
concludiamo che anche h è misurabile.
Corollario 1.7. Il limite puntuale di una successione di funzioni misurabili, quando
esiste, è misurabile.
1.2 Funzioni semplici
Denizione. Sia (, M) uno spazio misurabile. Una funzione misurabile s : R
è detta semplice se s() consiste di un numero nito di valori. Dunque
s(t) =
N
n=1
a
n
En
(t),
dove gli a
n
sono numeri reali distinti tra loro, e gli E
n
sono insiemi misurabili
disgiunti tali che =
N
n=1
E
n
.
Teorema 1.8. Sia (, M) uno spazio misurabile e sia f : [0, ] misurabile.
Allora esiste una successione di funzioni semplici s
n
tale che
0 s
1
f
e
s
n
(t) f(t), t .
dimostrazione. Fissiamo n N, e suddividiamo lintervallo [0, n) in n2
n
intervallini I
j
= [a
j
, b
j
), ciascuno di lunghezza pari a 2
n
. Poniamo quindi
E
0
= f
1
([n, ]) e E
j
= f
1
(I
j
). Deniamo allora
s
n
= n
E
0
+
k
j=1
a
j
E
j
.
Notiamo che s
n
s
n+1
. Se f(t) = , allora s
n
(t) = n per ogni n. Se f(t) < ,
allora f(t) < n da un certo n in poi, e 0 f(t) s
n
(t) 2
n
.
2
Data una successione numerica a
n
si ha limsup
n
a
n
= inf
n0
sup
kn
a
k
e liminf
n
a
n
= sup
n0
inf
kn
a
k
.
8
Osservazione. Si evince dalla dimostrazione che se f è limitata, allora vale il
risultato pi` u forte
lim
n
_
sup
t
[f(t) s
n
(t)[
_
= 0.
In questo caso, la convergenza è detta uniforme.
1.3 Misure
Denizione. Sia (, M) uno spazio misurabile. Una funzione : M [0, ] si
dice misura positiva (o, pi` u semplicemente, misura) se è numerabilmente additiva,
ovvero, data una successione di insiemi disgiunti E
n
M, si ha che
3
_
_
n
E
n
_
=
n
(E
n
).
Per evitare casi banali, assumiamo inoltre che (E) < per almeno un E M.
La terna (, M, ) è detta spazio di misura.
Si noti che il valore è ammissibile. La misura che assegna ad ogni insieme
il valore 0 è la misura banale. Una misura si dice nita se () < . Inne,
una misura denita sulla -algebra di Borel di uno spazio topologico è chiamata
misura di Borel su .
Osservazione. Se
0
M, allora (
0
, M[
0
, [
M|
0
) è uno spazio di misura.
Proprietà immediate. Sia (, M, ) uno spazio di misura.
(i) () = 0;
(ii) è nitamente additiva, ovvero dati E, F M con E F = , segue che
(E F) = (E) + (F);
(iii) è monotona, ovvero dati E, F M con E F, allora (E) (F);
(iv) dati E, F M con E F, se (E) < allora (F E) = (F) (E);
(v) (E
n
) (E) se E =
E
n
, E
n
M e E
1
E
2
;
(vi) (E
n
) (E) se E =
E
n
, E
n
M, E
1
E
2
e (E
1
) < .
Verichiamo le propriet` a enunciate. Per vericare la (i), sia E M tale che
(E) < . Si ponga dunque E
1
= E, E
2
= E
3
= = e si applichi ladditivit` a
numerabile. Analogamente, per la (ii) sia E
1
= E, E
2
= F, E
3
= E
4
= = .
La (iii) e la (iv) si ottengono notando che F = E (F E), e applicando la (ii).
3
Poiche

n
(E
n
) è una serie a termini positivi, converge (o diverge) incondizionatamente.
9
Per quanto riguarda la (v), si ponga F
1
= E
1
, F
n
= E
n
E
n1
. Allora gli F
n
sono
misurabili e disgiunti. Inoltre E
n
= F
1
F
n
, e E =
n
F
n
. Quindi,
(E
n
) =
n
j=1
(F
j
) e (E) =
j=1
(F
j
).
Inne, per la (vi) sia F
n
= E
1
E
n
. Dunque F
1
F
2
, e
(F
n
) = (E
1
) (E
n
)
(qui stiamo usando il fatto che (E
1
) < ). Utilizzando la (v) concludiamo che
(E
1
) (E) = (E
1
E) = lim
n
(F
n
) = (E
1
) lim
n
(E
n
).
Esercizio 4. Vericare che se (E F) < , allora
(E F) = (E) + (F) (E F).
Esercizio 5. Mostrare che la misura è una funzione numerabilmente subadditiva,
cioè, data una qualsiasi successione E
n
M, si ha che
_
_
n
E
n
_

n
(E
n
).
Banalmente, è anche nitamente subadditiva.
Esercizio 6. Sia : M [0, ] (non identicamente innita) una funzione nu-
merabilmente subadditiva e nitamente additiva. Mostrare che è una misura.
Esempi. Sia un insieme non vuoto. Deniamo due misure
c
e
t
su T()
ponendo
c
(E) =
_
n, se E contiene n elementi,
, se E contiene elementi,
e
t
(E) =
_
1, se t E,
0, se t , E.
dove t è un elemento ssato di . La
c
è detta misura del conteggio, mentre la
t
è detta misura di Dirac (o anche misura di concentrazione) a t.
Osservazione. Consideriamo (N, T(N),
c
), e sia E
n
= n, n+1, . . .. Eviden-
temente E
1
E
2
e
E
n
= . Tuttavia,
= (E
n
) , () = 0.
Si evince dunque limportanza della richiesta (E
1
) < nella proprietà (vi)
della misura.
10
Riportiamo inne senza dimostrazione il seguente risultato di unicit` a.
Teorema 1.9 (Dynkin). Sia M la -algebra su generata da un certo c T().
Assumiamo che c sia chiuso rispetto allintersezione, e che esista una successione
E
n
c tale che =
n
E
n
. Se e sono due misure su M tali che (E
n
) < e
(E
n
) < , e se e coincidono su c, allora = .
Esercizio 7. Mostrare che esiste (al pi` u) ununica misura di Borel su R tale che
((a, b)) = b a, per ogni a, b Q con a < b.
1.4 Completamento di una misura
Denizione. Sia (, M, ) uno spazio di misura. La misura è completa se E N
e (N) = 0 implica E M (e quindi (E) = 0).
Una misura potrebbe non essere completa. Ovviamente si pu` o pensare di com-
pletarla assegnando ducio misura nulla a tutti i sottoinsiemi di insiemi di misura
nulla (e quindi allargando M). Si deve per` o vericare che questa procedura produca
una -algebra.
Teorema 1.10. Sia (, M, ) uno spazio di misura. Sia M
linsieme ottenuto
aggiungendo a M tutti gli insiemi P tali che esistano E, F M con E P F e
(F E) = 0. Si denisca quindi
(P) = (E). Allora (, M
) è uno spazio
di misura,
è completa e
= su M. La misura
è detta completamento di .
Lasciamo la dimostrazione per esercizio. Verichiamo solo che
sia ben denita.

Siano infatti E
1
, E
2
, F
1
, F
2
M e P T() tali che E
i
P F
i
e (F
i
E
i
) = 0.
Allora
E
1
E
2
P E
2
F
2
E
2
.
Ma (F
2
E
2
) = 0, da cui (E
1
E
2
) = 0. Poiche
E
1
= (E
1
E
2
) (E
1
E
2
),
ricaviamo che (E
1
) = (E
1
E
2
). Allo stesso modo, dimostriamo che (E
2
) =
(E
1
E
2
), e concludiamo che (E
1
) = (E
2
).
Gli elementi di M
sono dunque della forma EN (unione disgiunta), con E M

e
(N) = 0. Dato che, come si è visto, una misura pu` o essere sempre completata,
è ragionevole lavorare con misure complete.
11
2 La misura di Lebesgue
2.1 Misura esterna
Ci proponiamo ora di costruire una misura su R che abbia le seguenti propriet` a:
- ((a, b)) = b a;
- (E +a) = (E), E R (invarianza per traslazioni).
Abbiamo qui usato un (comune) abuso di linguaggio. Infatti, come sappiamo, una
misura è costruita non su un insieme ma su una -algebra. Ovviamente ci piac-
erebbe costruire una tale su T(R). Tuttavia ciò non sarà possibile. Infatti, dalla
monotonia della misura, ricaviamo che è puramente non atomica, ovvero assegna
ai punti (atomi) misura nulla. Possiamo dunque avvelerci del seguente risultato
generale, che enunciamo senza dimostrazione.
Teorema 2.1 (Ulam). Lunica misura puramente non atomica denita su T(R) è
la misura nulla.
4
Dato un intervallo I = (a, b) R, deniamo (I) = b a la sua lunghezza.
Denizione. Una funzione
: T(R) [0, ], denita da
(E) = inf
E
n
In
n
(I
n
), E T(R),
è detta misura esterna in R.
Si noti che linf è preso al variare delle possibili unioni numerabili degli intervalli
I
n
= (a
n
, b
n
). Molto diverso sarebbe denire
fin
(E), prendendo linf al variare delle
unioni nite. Ad esempio,
fin
sarebbe denita solo sugli insiemi limitati.
Esercizio 8. Sia D = [0, 1] Q. Mostrare che
(D) = 0, ma che
fin
(D) = 1.
Allo stesso modo, un qualsiasi insieme di cardinalit` a al pi` u numerabile ha misura
esterna nulla.
La misura esterna è ovviamente monotona, ovvero,
E F =
(E)
(F).
Inoltre vale la
Proposizione 2.2. La misura esterna è numerabilmente subadditiva su T(R).
4
Il Teorema di Ulam fa uso dellAssioma della Scelta e dellIpotesi del Continuo.
12
dimostrazione. Sia data una successione E
n
T(R). Fissiamo > 0. Per
ogni n N, troviamo una collezione di intervalli I
n
j
tali che E
n

j
I
n
j
e
j
(I
n
j
)
(E
n
) +

2
n
.
Ma
E =
_
n
E
n

_
n,j
I
n
j
,
da cui
(E)
j
(I
n
j
)
(E
n
) + .
Dallarbitrariet` a di segue la tesi.
Esercizio 9. Mostrare che la misura esterna soddisfa le due propriet` a richieste
alla misura che vogliamo costruire. In particolare,
((a, b)) =
([a, b)) =
((a, b]) =
([a, b]) = b a
(se a = oppure b = allora b a = ).
Pertanto, se
fosse numerabilmente additiva, allora coinciderebbe con la misura

cercata, che sarebbe quindi denita su tutto T(R). Il Teorema di Ulam ci dice
che non è cos`.
2.2 Costruzione della misura: condizione di Caratheodory
In questo paragrafo ci proponiamo di costruire una -algebra L su R in modo tale
che la restrizione di
su L sia una misura.

Denizione. Un insieme E T(R) soddisfa la condizione di Caratheodory se
(T) =
(T E) +
(T E
C
), T T(R). (C)
Osservazione. Poiche
è subadditiva, E soddisfa (C) se e solo se
(T)
(T E) +
(T E
C
), T T(R).
Abbiamo allora il
Teorema 2.3. Linsieme degli E che soddisfano (C) forma una -algebra, detta di
Lebesgue, su R, che viene indicata con L(R) o L. Inoltre la restrizione di
su L è
numerabilmente additiva.
13
La dimostrazione, pur non essendo particolarmente complicata, è piuttosto te-
diosa, e non la riportiamo. La restrizione di
su L, che dora in poi indicheremo

con , è dunque una misura, detta misura di Lebesgue. Dato L, chiamiamo
misura di Lebesgue su la restrizione di su L() = L[
.
Esercizio 10. Mostrare che è una misura completa.
Dobbiamo ora sincerarci che L sia signicativamente grande, anche sia di
qualche utilit` a per i nostri scopi.
Proposizione 2.4. L contiene B(R).
dimostrazione. Basta mostrare che lintervallo (a, ) appartiene a L (si
verichi per esercizio la bont` a di questa aermazione). Sia dunque T T(R).
Detti T
1
= T (a, ) e T
2
= T (, a], dobbiamo vericare che
(T)
(T
1
) +
(T
2
).
Sia
(T) < (altrimenti non cè nulla da dimostrare). Fissato > 0, esiste una
collezione I
n
tale che
I
n
T e
n
(I
n
)
(T) + . Siano I
1
n
= I
n
(a, )
e I
2
n
= I
n
(, a +

2
n
). Allora I
1
n
e I
2
n
sono intervalli aperti (uno dei due
potrebbe anche essere vuoto), e vale
(I
n
) +

2
n
(I
1
n
) + (I
2
n
).
Osservando che
I
i
n
T
i
(i = 1, 2), risulta
(T
i
)
n
(I
i
n
),
da cui
(T
1
) +
(T
2
)
n
(I
1
n
) +
n
(I
2
n
)
n
(I
n
) +
2
n

(T) + 2.
Facciamo inne tendere a 0.
La restrizione di su B(R) è dunque una misura di Borel su R.
Riassumendo quanto visto n qui, la misura di Lebesgue è completa, invariante
per traslazione, rispetta la misura degli intervalli, misura tutti i Boreliani, assegna
misura nita ad ogni insieme limitato, assegna misura nulla ad ogni insieme nume-
rabile.
Essere numerabile è dunque condizione suciente per avere misura nulla. Tut-
tavia esistono insiemi non numerabili di misura nulla.
Il Ternario di Cantor. Sia T
0
= [0, 1]. Deniamo gli insiemi T
n
nel seguente
modo. Dato T
n
, unione nita di intervalli chiusi di uguale lunghezza
n
= 3
n
, sia
14
T
n+1
linsieme ottenuto rimuovendo da ciascun intervallo di T
n
lintervallo aperto
centrale di lunghezza
n
/3. Deniamo inne il Ternario di Cantor T =
T
n
. Si
noti che T è chiuso. Inoltre, essendo un intersezione di compatti non vuoti, è non
vuoto. Inne T è un insieme perfetto, cioè un chiuso in cui tutti i punti sono di
accumulazione. Gli insiemi perfetti non vuoti hanno necessariamente cardinalit` a non
numerabile. Inne, calcolando la misura degli intervalli rimossi nella costruzione di
T si vede facilmente che (T) = 0.
Osservazione. Si pu` o ripetere la costruzione di T, eliminando intervalli di
lunghezza
n
=
n
3
n
, con (0, 1). Allora si ottiene il cosiddetto Ternario di
Cantor generalizzato T
, che condivide tutte le proprietà di T tranne che

(T
) =
3(1 )
3 2
.
Si noti che T
è un insieme di misura positiva che non contiene intervalli.

Esercizio 11. Sia E [0, 1] linsieme dei numeri reali privi della cifra 7 nello
sviluppo decimale. Calcolare (E).
Esercizio 12.
`
E possibile mostrare che la cardinalit` a di B(R) è uguale alla cardi-
nalit` a degli aperti di R, che a sua volta è uguale alla cardinalit` a di R. Usando questo
fatto, dimostrare che L contiene strettamente B(R). [Suggerimento: L è completa
e contiene insiemi di misura nulla non numerabili]
Riportiamo inne alcune importanti proprietà della misura di Lebesgue di verica
immediata.
Proposizione 2.5. Sia E L. Allora
(i) > 0 A E, A aperto, tale che (A E) < ;
(ii) > 0 C E, C chiuso, tale che (E C) < ;
(iii) G E, G G
, tale che (GE) = 0;

(iv) F E, F F
, tale che (E F) = 0.
Una misura che soddisfa le propriet` a (i) e (ii) si dice regolare. In particolare, i
punti (iii) e (iv) ci dicono che un insieme misurabile dierisce da un Boreliano per
un insieme di misura nulla. Quindi è il completamento della particolare misura di
Borel ottenuta restringendo su B(R).
Esercizio 13. Sia f : R R una funzione misurabile secondo Lebesgue, e si
consideri la funzione
(x) =
__
t : f(t) > x
__
.
Mostrare che è continua da destra ma, in generale, non da sinistra.
15
La misura di Lebesgue in R
N
. Sebbene per semplicit` a di esposizione abbiamo
lavorato in R, nulla di quanto detto cambia se si lavora in R
N
. In tal caso, gli inter-
valli nella denizione della misura esterna sono sostituiti dalle N-celle. Si costruisce
pertanto la misura di Lebesgue in R
N
, denita sulla -algebra L(R
N
).
2.3 Insiemi non misurabili
Abbiamo anticipato che L non coincide con T(R). Ci` o equivale a dire che esistono in-
siemi non misurabili. Dimostriamo allora che ogni intervallo (pi` u in generale, questo
è vero per ogni insieme di misura positiva) contiene un insieme non misurabile. Per
semplicit` a, consideriamo [0, 1]. Ripartiamo [0, 1] in classi di equivalenza nel seguente
modo: diciamo che a b se ab Q. Selezioniamo ora un rappresentante per ogni
classe di equivalenza
5
, e chiamiamo P linsieme formato dai rappresentanti scelti.
Aermiamo che P non è misurabile. Dimostreremo lasserto assumendo che lo sia,
e raggiungeremo un assurdo. Notiamo che P soddisfa due propriet` a:
- (P + r) (P +s) = , per ogni r, s Q, r ,= s;
- Ogni t R appartiene a (P +r), per un certo r Q.
Usando linvarianza per traslazioni di ricaviamo che (P) = (P +r). Quindi, in
virt` u delle due proprietà appena viste,
R =
_
rQ
(P +r) = = (R) =
rQ
(P +r) =
rQ
(P),
da cui segue che (P) > 0. Ma allora, detto
E =
_
rQ[0,1]
(P +r),
risulta
(E) =
rQ[0,1]
(P) = ,
cosa che conigge con E [0, 2].
3 Integrazione astratta
3.1 Integrazione di funzioni positive
Nel corso di questo paragrafo, sia (, M, ) uno spazio di misura. Consideriamo
funzioni misurabili positive, ovvero a valori in [0, ]. Per poter estendere le nozioni
5
Qui stiamo utilizzando lAssioma della Scelta.
16
di misurabilità viste nelle sezioni precedenti, e per poter denire lintegrale su insiemi
di misura innita, dobbiamo stipulare una convenzione per trattare . Deniamo
dunque, per a [0, ],
a + = +a = , a = a =
_
, a ,= 0,
0, a = 0.
Con questa convenzione, somme e prodotti di funzioni misurabili a valori in [0, ]
sono misurabili. La cosa si pu` o dimostrare approssimando con funzioni semplici, e
notando che se a
n
a e b
n
b allora a
n
b
n
ab (con a, b [0, ]).
Denizione. Sia s : [0, ) una funzione semplice misurabile della forma
s(t) =
N
n=1
a
n
En
(t).
Se E M, deniamo lintegrale di s su E come
_
E
sd =
N
n=1
a
n
(E
n
E).
Qui abbiamo usato la convenzione 0 = 0; può infatti accadere che a
n
= 0 per
qualche n ma (E
n
E) = . Osserviamo che, poiche s
E
=
n
a
n
EnE
,
_
E
sd =
_
s
E
d.
Denizione. Sia f : [0, ] una funzione misurabile, e sia E M. Deniamo
lintegrale di Lebesgue della f su E (rispetto alla misura ) il valore
6
_
E
fd = sup
_
E
sd [0, ],
dove il sup è preso al variare delle funzioni semplici misurabili s tali che 0 s f.
Notiamo che se f è semplice, allora il sup è in realt` a un max. Inoltre, per ogni
f misurabile,
_
E
fd =
_
f
E
d.
Proprietà immediate. Le funzioni che compaiono sono misurabili a valori in
[0, ], e gli insiemi sono misurabili.
- Se f g allora
_
E
fd
_
E
gd.
6
Per sottolineare quale sia la variabile di integrazione si usa talvolta la notazione
_
E
f(t)d(t).
17
- Se E F allora
_
E
fd
_
F
fd.
- Se 0 allora
_
E
fd =
_
E
fd.
- Se f(t) = 0 per ogni t E allora
_
E
fd = 0, anche se (E) = .
- Se (E) = 0 allora
_
E
fd = 0, anche se f(t) = per ogni t E.
Esercizio 14. Sia s : [0, ) una funzione semplice misurabile. Mostrare che
(E) =
_
E
sd
denisce una misura su M.
Esercizio 15. Siano s
1
, s
2
: [0, ) due funzioni semplici misurabili. Di-
mostrare luguaglianza
_
E
(s
1
+s
2
)d =
_
E
s
1
d +
_
E
s
2
d.
Veniamo ora alle proprietà di passaggio al limite dellintegrale di Lebesgue.
Teorema 3.1 (Convergenza Monotona). Sia f
n
: [0, ] una successione di
funzioni misurabili tali che
f
1
(t) f
2
(t) , t .
Denendo f(t) = lim
n
f
n
(t), allora f è misurabile e
lim
n
_
f
n
d =
_
fd.
dimostrazione. Osserviamo subito che f è misurabile, essendo limite pun-
tuale di funzioni misurabili. Inoltre la successione
_
f
n
d è monotona crescente.
Pertanto esiste [0, ] tale che
lim
n
_
f
n
d = .
Dato che
_
f
n
d
_
fd per ogni n, abbiamo che

_
fd.
Sia s una funzione semplice tale che 0 s f, e sia c (0, 1). Deniamo
E
n
=
_
t : f
n
(t) cs(t)
_
.
18
Notiamo i seguenti fatti:
- E
n
è misurabile: infatti, detto M = max
t
s(t), E
n
è la controimmagine di
[M, ] (che è un insieme chiuso) della funzione f
n
+(M cs), che è misurabile,
essendo somma di due funzioni misurabili positive.
- E
1
E
2
: questo segue dalla monotonia di f
n
.
-
n
E
n
= : infatti se f(t) = 0 allora t E
1
; se f(t) > 0 allora cs(t) < f(t)
(poiche c < 1), e quindi cs(t) < f
n
(t) da un certo n in poi.
Evidentemente,

_
f
n
d
_
En
f
n
d c
_
En
sd.
Lintegrale di destra è una misura, e pertanto per le propriet` a della misura otte-
niamo
c
_
sd.
Questa disuguaglianza vale per ogni c < 1, e quindi anche al limite, ovvero

_
sd.
Facendo ora il sup al variare delle s semplici tali che 0 s f, otteniamo inne

_
fd,
cioè la disuguaglianza inversa.
Esercizio 16. Siano f, g : [0, ] due funzioni misurabili. Mostrare che
_
(f + g)d =
_
fd +
_
gd.
Corollario 3.2 (Convergenza Monotona per le Serie). Sia f
n
: [0, ] una
successione di funzioni misurabili, e sia
f(t) =
n=1
f
n
(t).
Allora
_
fd =
n=1
_
f
n
d.
dimostrazione. [Esercizio]
19
Osservazione. Se è la misura del conteggio su un insieme numerabile, il
corollario appena visto ci fornisce un risultato noto sulle serie doppie di numeri
non negativi. Precisamente, se a
nk
0 allora
n=1
k=1
a
nk
=
k=1
n=1
a
nk
.
Esercizio 17. Utilizzando il Teorema della Convergenza Monotona per le Serie,
dimostrare che
7
_
1
0
log t
t 1
dt =
n=1
1
n
2
.
[Suggerimento: sviluppare in serie
1
t1
]
Il lemma seguente stabilisce un legame tra il limite degli integrali e lintegrale
del limite, senza ipotesi aggiuntive.
Lemma 3.3 (Fatou). Sia f
n
: [0, ] una successione di funzioni misurabili.
Allora
_
_
liminf
n
f
n
_
d liminf
n
_
f
n
d.
dimostrazione. Sia
g
n
(t) = inf
kn
f
k
(t).
Ricordiamo che
liminf
n
f
n
= sup
n
g
n
.
Evidentemente g
n
è una successione monotona. Applicando quindi il Teorema
della Convergenza Monotona si ha
lim
n
_
g
n
d =
_
lim
n
g
n
d =
_
sup
n
g
n
d =
_
_
liminf
n
f
n
_
d.
Daltro canto, g
n
f
n
, da cui
lim
n
_
g
n
d = liminf
n
_
g
n
d liminf
n
_
f
n
d,
da cui la tesi.
7
Stiamo qui in realtà implicitamente utilizzando un risultato che verrà discusso successivamente
nel 3.5, ovvero che una funzione positiva integrabile (anche solo impropriamente) secondo Riemann
è integrabile secondo Lebesgue, e i due integrali coincidono.
20
Osservazione. Nel Lemma di Fatou pu` o valere la disuguaglianza forte anche
quando il limite inferiore è un limite. Ad esempio, in (R, L, ) sia
f
n
(t) =
_
1
n
, [t[ n,
0, [t[ > n.
Allora liminf
n
f
n
(t) = lim
n
f
n
(t) = 0, ma
_
R
f
n
d = 2.
Teorema 3.4 (Costruzione di Nuove Misure). Sia : [0, ] una funzione
misurabile. La funzione : M [0, ] denita da
(E) =
_
E
d, E M,
è una misura su M, e
_
fd =
_
fd,
per ogni f : [0, ] misurabile.
dimostrazione. Siano E
n
elementi disgiunti di M la cui unione sia E. Si
osservi che
E
=
n=1
En
,
e che
(E) =
_
E
d, (E
n
) =
_
En
d.
Dal Corollario 3.2,
(E) =
n=1
(E
n
).
Poiche () = 0, concludiamo che è una misura. In particolare, la seconda
asserzione vale per ogni f =
E
, e dunque per ogni f semplice. Il caso generale
segue dal Teorema della Convergenza Monotona.
3.2 Integrazione di funzioni reali
Come prima, sia (, M, ) uno spazio di misura.
Denizione. Chiamiamo L
1
(, M, ) la collezione di tutte le funzioni misurabili
f : R tali che
_
[f[d < .
21
Notiamo che la misurabilit` a di f implica la misurabilit` a di [f[.
`
E comunque
necessario richiedere la misurabilità di f, e non solo di [f[, in quanto è banale
costruire una funzione non misurabile il cui modulo sia misurabile. Il signicato
dellesponente 1 in L
1
sar` a chiaro in seguito. Gli elementi di L
1
sono le funzioni
integrabili (o sommabili) secondo Lebesgue rispetto alla misura .
Denizione. Se f L
1
(, M, ) lintegrale di Lebesgue di f è denito come
8
_
fd =
_
f
+
d
_
d.
Dato che f
+
[f[ e f
[f[, entrambi gli integrali nella denizione sono niti.

Lasciamo al lettore la verica della seguente
Proposizione 3.5. Siano f, g L
1
, e sia R. Allora f +g L
1
e
_
(f +g)d =
_
fd +
_
gd.
Dunque L
1
(, M, ) è uno spazio lineare, e lintegrale di Lebesgue è un operatore
lineare a valori in R.
Esercizio 18. Sia f L
1
. Dimostrare la disuguaglianza
fd
[f[d.
Esempio. Consideriamo lo spazio di misura (N, T(N),
c
). In questo caso, le
funzioni misurabili sono le successioni reali, e lintegrale di Lebesgue non è altro
che lusuale serie numerica. Lo spazio L
1
(N, T(N),
c
) è dato dalle successioni la
cui serie converge assolutamente.
Notazione. Se = [a, b] e = è la misura di Lebesgue, useremo talvolta
labituale notazione
_
b
a
f(t)dt =
_
_
_
[a,b]
fd, a < b,
0, a = b,
_
[b,a]
fd, a > b.
Enunciamo inne il risultato fondamentale sul passaggio al limite nellintegrale.
Teorema 3.6 (Convergenza Dominata). Sia f
n
: R una successione di funzioni
misurabili che converge puntualmente ad una funzione f. Assumiamo che esista
g L
1
tale che
[f
n
(t)[ g(t), t , n N.
8
Allo stesso modo si può denire lintegrale di Lebesgue di una funzione misurabile a valori in
C il cui modulo sia sommabile.
22
Allora f L
1
, e
lim
n
_
[f
n
f[d = 0.
Prima di procedere alla dimostrazione, facciamo alcune osservazioni. Innanzi-
tutto, la tesi del teorema implica banalmente il limite
lim
n
_
f
n
d =
_
fd.
Si noti che f
n
L
1
(, M, ), in quanto maggiorata in modulo dalla funzione g
(detta dominante).
dimostrazione. Dalle ipotesi, f è misurabile e [f[ g. Dunque f L
1
.
Consideriamo la successione di funzioni positive
n
= 2g [f
n
f[.
Applicando il Lemma di Fatou, otteniamo
_
2gd liminf
n
_
n
d =
_
2gd + liminf
n
_
[f
n
f[d
_
.
Sottraendo il valore (nito)
_
2gd ad ambo i membri, concludiamo che

0 liminf
n
_
[f
n
f[d
_
= limsup
n
_
[f
n
f[d.
Quindi limsup
n
_
[f
n
f[d = 0, da cui lim
n
_
[f
n
f[d = 0.
Esercizio 19. Costruire una successione f
n
: R che converge puntualmente a
f tale che
lim
n
_
f
n
d =
_
fd,
ma
lim
n
_
[f
n
f[d ,= 0.
n
: R che converge puntualmente a
f tale che
lim
n
_
[f
n
f[d = 0,
ma tale che non esista alcuna funzione dominante in L
1
. Concludere che il Teorema
della Convergenza Dominata fornisce una condizione solo suciente.
Esercizio 21. Calcolare
lim
n
_
1
0
e
nt
(1 t)
n
t
dt.
[Suggerimento: utilizzare luguaglianza 1 e
nt
(1 t)
n
=
_
t
0
ne
n
(1 )
n1
d]
23
3.3 Cambiamento di variabili
Siano (, M) e (
, M
) due spazi misurabili, e sia :
una mappa tale che
1
(E
) M, E
.
Data una misura su M, la funzione
(E
) = (
1
(E
)), E
,
denisce una misura su M
. Si noti che se una funzione (positiva o reale) f denita

su
è M
-misurabile, segue che la funzione f denita su è M-misurabile.

Vale allora il
Teorema 3.7 (Cambiamento di Variabili). Se f :
[0, ] è M
-misurabile,
allora _
fd =
_
f d.
La stessa uguaglianza vale per f L
1
(
, M
, ). In tal caso f L
1
(, M, ).
Esercizio 22. Dimostrare il Teorema 3.7. [Suggerimento: si considerino dapprima
funzioni semplici, e si applichi il Teorema della Convergenza Monotona]
3.4 Il ruolo degli insiemi di misura nulla
Per costruzione, lintegrale di Lebesgue non vede gli insiemi di misura nulla.
`
E
infatti immediato constatare dalla denizione che se due funzioni dieriscono su un
insieme di misura nulla allora i loro integrali sono uguali. Cerchiamo di trarre delle
conclusioni da questo fatto.
Denizione. Sia (, M, ) uno spazio di misura, e sia P una propriet` a che un punto
t pu` o avere o non avere. Ad esempio, assegnata una funzione reale f su , P
pu` o essere la proprietà f(t) > 0. Diciamo che P vale quasi ovunque se linsieme
dei punti di per i quali P non vale ha misura nulla.
Ovviamente la locuzione quasi ovunque è strettamente riferita alla misura
in considerazione.
Notazione. Quando R, senza ulteriori specicazioni, la relazione quasi
ovunque sar` a sempre intesa rispetto alla misura di Lebesgue.
Date dunque due funzioni f, g su , diremo che f = g quasi ovunque se
__
t : f(t) ,= g(t)
__
= 0.
Luguaglianza quasi ovunque è una relazione di equivalenza. Per evitare problemi
logici, supporremo di lavorare con una misura completa. Possiamo allora esten-
dere in modo vantaggioso la nozione di funzione misurabile. Tanto per cominciare,
non è necessario avere funzioni denite su tutto : basta che siano denite su un
sottoinsieme
0
tale che (
C
0
) = 0.
24
Denizione. Una funzione f : X (X spazio topologico) è misurabile se esiste
un insieme
0
con (
C
0
) = 0 tale che per ogni aperto A X linsieme
f
1
(A)
0
è misurabile.
Se la misura, come supponiamo, è completa, possiamo ridenire in modo arbi-
trario la f su
C
0
, ottenendo una funzione misurabile nel senso vecchio. Inoltre,
tutte le funzioni cos` costruite sono uguali quasi ovunque.
Allo stesso modo, diciamo che una f è essenzialmente limitata se esiste M 0
tale che
__
t : [f(t)[ > M
__
= 0.
Qualche problema in pi` u lo pone la continuità, che, notoriamente, è una nozione
puntuale. Sia dunque f : X, e sia E linsieme dei punti di discontinuit` a di
f. Diciamo che f è quasi ovunque continua se (E) = 0. Chiaramente le funzioni
quasi ovunque continue sono misurabili (nel nuovo senso).
Osservazione. Si noti bene che una funzione quasi ovunque continua può non
essere uguale quasi ovunque ad una funzione continua (ad esempio, la funzione
gradino); viceversa, una funzione uguale quasi ovunque a una funzione continua
pu` o non essere quasi ovunque continua (ad esempio, la funzione di Dirichlet).
Esercizio 23. Sia f : R R Lebesgue misurabile. Mostrare che esiste
g : R R Borel misurabile uguale a f quasi ovunque.
In conclusione, possiamo riformulare la teoria già vista rimpiazzando ovunque
con quasi ovunque. In particolare, valgono i Teoremi della Convergenza Mono-
tona e Dominata richiedendo, rispettivamente, la monotonia di f
n
(t) e la conver-
genza puntuale solo quasi ovunque, cioè per quasi tutti i t . Vediamo allora un
corollario del Teorema della Convergenza Dominata.
Teorema 3.8 (Convergenza Dominata per le Serie). Sia f
n
L
1
tale che
n=1
_
[f
n
[ < .
Allora f =
n=1
f
n
L
1
e
_
fd =
n=1
_
f
n
d.
Omettiamo per ora la dimostrazione, che ritroveremo pi` u avanti in un contesto
pi` u generale (cfr. Teorema II.1.13).
Osservazione. Vi è tuttavia una circostanza in cui la scelta del rappresentante
è inuente: se consideriamo la composizione di funzioni f g, la f deve neces-
sariamente essere una funzione ben denita. Banalmente, se g è uguale a una
certa costante c e alteriamo il valore di f nel solo punto c, allora otteniamo una
funzione completamente diversa.
25
Esercizio 24. Dimostrare lAdditività Numerabile dellIntegrale: Sia f : R
misurabile, e sia E
n
una successione di sottoinsiemi misurabili di a due a due
disgiunti tali che
n
E
n
= . Allora
f L
1
(, M, )
n
_
En
[f[d < .
In tal caso,
_
fd =
n
_
En
fd.
Esercizio 25. Utilizzando lAdditivit` a Numerabile dellIntegrale dimostrare che
sin t
t
, L
1
(R, L, ).
Proposizione 3.9. Sia f L
1
(, M, ), f 0 quasi ovunque, tale che
_
fd = 0.
Allora f = 0 quasi ovunque.
dimostrazione. Sia E
n
=
_
t : f(t) >
1
n
_
. Allora (E
n
) = 0, altrimenti
si avrebbe
_
fd
1
n
(E
n
) > 0.
Se f(t) > 0, allora t E
n
per qualche n. Ma
_
n
E
n
_
= 0, e quindi f = 0
quasi ovunque.
Lo spazio quoziente L
1
. Per quanto visto, è inutile distinguere funzioni uguali
quasi ovunque. Introduciamo allora lo spazio L
1
(, M, ) ottenuto quozientando
L
1
(, M, ) rispetto alla relazione di equivalenza uguale quasi ovunque. Gli ele-
menti di L
1
sono dunque classi di equivalenza di funzioni. Poiche i rappresentanti
di una stessa classe di equivalenza sono di fatto indistinguibili, con abuso di lin-
guaggio si è soliti parlare di funzioni di L
1
. Ad esempio, se diciamo che f L
1
è continua, signica che nella classe di equivalenza della f esiste un rappresentante
continuo (ovviamente unico). Come vedremo, lo spazio L
1
è uno spazio normato con
la norma
_
[f[d. Si noti che la Proposizione 3.9 d` a la propriet` a dellannullamento

della norma.
26
3.5 Integrazione secondo Riemann e secondo Lebesgue
In questo paragrafo illustriamo le relazioni intercorrenti tra lintegrale di Riemann
e lintegrale di Lebesgue (rispetto alla misura di Lebesgue su R). Enunciamo senza
dimostrazione il risultato principale.
Teorema 3.10. Sia f : (a, b) R una funzione limitata. Allora f è Riemann
integrabile su (a, b) se e solo se f è continua quasi ovunque su (a, b) (rispetto alla
misura di Lebesgue ).
Se dunque f : (a, b) R è Riemann integrabile su (a, b), allora f è misurabile
secondo Lebesgue, ed essendo limitata
9
segue che è Lebesgue integrabile.
Esercizio 26. Mostrare che se f : (a, b) R è Riemann integrabile allora
lintegrale di f secondo Riemann coincide con lintegrale di f secondo Lebesgue.
[Suggerimento: f = f
+
f
; si applichi il Teorema della Convergenza Monotona a

entrambe le funzioni]
Pertanto, lintegrale di Lebesgue è una generalizzazione dellintegrale di Rie-
mann. Ci si può tuttavia chiedere se tale generalizzazione sia solo apparente. Ad
esempio, è ben noto che la funzione di Dirichlet non è Riemann integrabile; tuttavia,
essa è uguale quasi ovunque ad una funzione Riemann integrabile (la funzione nulla).
Sciogliamo il dubbio con il seguente esempio.
Esempio. Sia T
un insieme di Cantor generalizzato di misura positiva. La

sua funzione caratteristica
T
è discontinua esattamente su T
. Se nella sua
classe di equivalenza esistesse una funzione Riemann integrabile, questa dovrebbe
essere allo stesso tempo continua quasi ovunque e uguale a
T
quasi ovunque.
Ovviamente le due cose sono inconciliabili. Incidentalmente, T
C
è un esempio di
insieme aperto non misurabile secondo Peano-Jordan.
10
Il discorso si complica leggermente se consideriamo integrali di Riemann impropri
(quando cioè il dominio di integrazione non sia limitato, o la f non sia limitata).
Proposizione 3.11. Sia f : (a, b) R, con a < b , Riemann integrabile
in senso improprio. Se f è di segno costante
11
allora f è Lebesgue integrabile, e i
due integrali coincidono.
dimostrazione. Supponiamo f 0. Sia (a, b) =
E
n
, dove ciascun E
n
è
un intervallo su cui f è Riemann integrabile. Ponendo F
n
=
n
k=1
E
k
, denia-
mo f
n
= f
Fn
. Notiamo che f
n
f, dunque dal Teorema della Convergenza
Monotona abbiamo che
lim
n
_
(a,b)
f
n
d =
_
(a,b)
fd.
9
Ricordiamo che una funzione non limitata non è Riemann integrabile (in senso proprio).
10
La misura di Peano-Jordan di un sottoinsieme di R è lintegrale di Riemann (improprio, se
linsieme non è limitato) della sua funzione caratteristica.
11
Non cambia nulla se si richiede che f cambi segno un numero nito di volte.
27
Daltro canto, il limite di sinistra converge allintegrale improprio secondo Rie-
mann della f su (a, b).
3.6 Convergenza puntuale, uniforme e in L
1
Sia (, M, ) uno spazio di misura, e siano f
n
, f : R funzioni misurabili.
Abbiamo nora gi` a incontrato, pi` u o meno implicitamente, tre tipi di convergenze.
- Convergenza puntuale quasi ovunque : f
n
q.o.
f se, detto
E =
_
t : lim
n
f
n
(t) ,= f(t)
_
,
allora (E) = 0.
- Convergenza uniforme : f
n
u
f se
lim
n
_
sup
t
[f
n
(t) f(t)[
_
= 0.
- Convergenza in L
1
: f
n
L
1
f se
lim
n
_
[f
n
f[d = 0.
Ci proponiamo di illustrare i legami tra le diverse nozioni di convergenza.
`
E evidente limplicazione f
n
u
f = f
n
q.o.
f. Il viceversa è falso, anche se
f
n
f ovunque, come mostra il seguente esempio.
Esempio. Consideriamo la successione di funzioni su [0, 1]
f
n
(t) =
_
_
nt, t
1
n
,
2 nt,
1
n
< t
2
n
,
0, t >
2
n
.
Allora per ogni t [0, 1] si ha che f
n
(t) 0, ma sup
t[0,1]
[f
n
(t)[ = 1 per ogni n.
Un risultato parziale è il seguente
Teorema 3.12 (Egoro). Sia () < . Se f
n
f puntualmente quasi ovunque,
per ogni > 0 esiste un insieme E tale che (E
C
) < , e f
n
f uniformemente
su E.
dimostrazione. Poiche f
n
q.o.
f, esiste
0
con (
0
) = () tale che
f
n
(t) f(t) per ogni t
0
. Per ogni k N e per ogni t
0
, sia n
0
= n
0
(k, t)
tale che
[f
n
(t) f(t)[ <
1
k
, per n n
0
.
28
Deniamo allora, per k, m N,
E
k,m
=
_
t
0
: n
0
(k, t) m
_
.
Per ogni k,
_
m
E
k,m
=
0
.
Inoltre, E
k,m
E
k,m+1
. Fissiamo ora > 0. Scegliamo per ogni k un valore m
k
tale che
(E
k,m
k
) > (
0
)

2
k
= ()

2
k
,
vale a dire,
(E
C
k,m
k
) <

2
k
.
Inne, poniamo
E =
k
E
k,m
k
.
Si noti che
(E
C
) =
_
_
k
E
C
k,m
k
_

k
(E
C
k,m
k
) <
k
1
2
k
= .
Se t E, allora [f
n
(t) f(t)[ <
1
k
per ogni n m
k
.
Osservazione. Nel Teorema di Egoro lipotesi () < è essenziale. Si
consideri ad esempio la successione di funzioni su R
f
n
(t) =
_
1, t [n, n + 1],
0, altrimenti.
Allora f
n
(t) 0 per ogni t R, ma f
n
(t) = 1 su un insieme di misura 1.
Esercizio 27. Sia f
n
: [0, 1] [0, ) una successione di funzioni continue tale che
f
n
(t) 0 per ogni t [0, 1] al tendere di n a . Dimostrare che f
n
u
0. Mostrare
che lo stesso risultato è in generale falso se f
n
: (0, 1] [0, ).
Venendo alla convergenza in L
1
, il risultato pi` u signicativo è il Teorema della
Convergenza Dominata, che stabilisce un legame con la convergenza puntuale quasi
ovunque. Esaminiamo la questione inversa: supponiamo di avere f
n
L
1
f. Allora
segue che f
n
q.o.
f ? La risposta è negativa.
Esempio. Consideriamo la successione di sottoinsiemi E
n
di [0, 1] cos` denita:
E
n
= [
m
2
k
,
m+1
2
k
], per n = 2
k
+m, con m
_
0, 1, . . . 2
k
1
_
.
Allora
En
L
1
0 su [0, 1] (con la misura di Lebesgue) ma
En
(t) , 0 per ogni
t [0, 1].
29
Vale tuttavia il seguente risultato, che dimostreremo in seguito (cfr. Corol-
lario II.1.14).
Proposizione 3.13. Sia f
n
L
1
f. Allora esiste una sottosuccessione f
n
k
tale che
f
n
k
q.o.
f.
Esercizio 28. Sia () < . Mostrare che se f
n
u
f allora f
n
L
1
f. Mostrare
che lo stesso risultato è in generale falso omettendo lipotesi () < .
4 Dierenziazione e integrazione
4.1 Il Teorema di Radon-Nykodym
Sia (, M, ) uno spazio di misura. Abbiamo precedentemente dimostrato (si veda
il Teorema 3.4) che, ssata una funzione misurabile : [0, ],
(E) =
_
E
d, E M,
è una misura su M, e
_
fd =
_
fd,
per ogni f : [0, ] misurabile. La funzione viene spesso indicata con il
simbolo
d
d
, ed è detta derivata di Radon-Nykodym della rispetto alla .
Esercizio 29. Sia f : R misurabile. Dimostrare che f L
1
(, M, ) se e
solo se f L
1
(, M, ), e in tal caso
_
fd =
_
fd.
Denizione. Siano e due misure su M. Allora è assolutamente continua
rispetto a (e scriviamo ) se vale limplicazione
(E) = 0 = (E) = 0.
Evidentemente, se esiste
d
d
segue che . Ci poniamo ora la questione
inversa. Ovvero, date due misure su M, vogliamo stabilire se esista
d
d
.
Denizione. Dato (, M, ), diciamo che la è -nita se esiste una collezione
numerabile di insiemi E
n
M tali che (E
n
) < per ogni n N, e
nN
E
n
= .
30
Ad esempio, la misura di Lebesgue su R è -nita. Abbiamo allora il
Teorema 4.1 (Radon-Nykodym). Siano e due misure denite su uno stesso
spazio misurabile (, M). Se è -nita e , esiste una funzione misurabile
: [0, ] tale che
(E) =
_
E
d, E M.
Esercizio 30. Mostrare che tale è unica nel seguente senso: se

è unaltra
funzione che soddisfa la tesi del teorema, allora =

quasi ovunque rispetto a (e
quindi anche rispetto a ).
Vedremo pi` u avanti, in un esercizio guidato, la dimostrazione del teorema nel
caso particolare in cui e siamo entrambe misure nite.
Osservazione. Dal Teorema di Radon-Nykodym, si evince che se è una
misura nita, allora L
1
(, M, ).
Osservazione. Lipotesi che sia -nita nel teorema è irrinunciabile. Se
consideriamo ad esempio la -algebra di Lebesgue su [0, 1], e scegliamo come
la misura di Lebesgue e come la misura del conteggio, è immediato vericare
che , ma tuttavia non esiste
d
d
.
4.2 Il Primo Teorema Fondamentale del Calcolo
Assegnata f L
1
([a, b]), consideriamo la funzione integrale
F(x) =
_
x
a
f(t)dt, x [a, b].
`
E ben noto che se f C([a, b]), allora F
(x) = f(x) per ogni x [a, b]. Vogliamo

mostrare cosa succede invece nella sola ipotesi f L
1
([a, b]).
Denizione. Sia f L
1
([a, b]). Un punto x [a, b] è un punto di Lebesgue per f se
lim
h0
1
h
_
x+h
x
[f(t) f(x)[dt = 0.
Ovviamente, se x = a oppure x = b si calcola solo il limite sinistro o destro,
rispettivamente. Si osservi inoltre che la nozione di punto di Lebesgue è data per
un rappresentante f ben denito (e non per lintera classe di equivalenza di f).
Tuttavia, ciò non costituisce problema, in quanto vale il
Teorema 4.2 (Lebesgue). Se f L
1
([a, b]) quasi tutti i punti di [a, b] sono punti di
Lebesgue per f.
31
Omettiamo la dimostrazione (in realt` a piuttosto complicata) di questo risultato.
Possiamo dunque dimostrare il
Teorema 4.3 (Primo Teorema Fondamentale del Calcolo). Sia f L
1
([a, b]). Al-
lora F è derivabile quasi ovunque e F
= f quasi ovunque.
dimostrazione. Sia x [a, b] un punto di Lebesgue per f. Per h tale che
x +h [a, b], abbiamo
F(x +h) F(x)
h
f(x) =
1
h
_
x+h
x
_
f(t) f(x)
dt,
da cui segue la disuguaglianza
F(x +h) F(x)

h
f(x)

1
h
_
x+h
x
[f(t) f(x)[dt.
Pertanto, facendo il limite h 0, concludiamo che F
(x) = f(x).
4.3 Funzioni assolutamente continue
Denizione. Una funzione G : [a, b] R è assolutamente continua (AC) se ad
ogni > 0 corrisponde > 0 tale che
N
n=1
[G(b
n
) G(a
n
)[ <
per ogni N N ed ogni collezione di N intervalli disgiunti (a
n
, b
n
) [a, b] tali che
N
n=1
b
n
a
n
< .
Evidentemente, una funzione AC è uniformemente continua
12
(basta prendere
N = 1 nella denizione). Tuttavia, come vedremo tra breve, esistono funzioni
uniformemente continue ma non AC.
Esercizio 31. Dimostrare che se G è Lipschitziana su [a, b] allora G è AC su [a, b],
ma che limplicazione opposta è falsa (G(t) =
t su [0, 1]).
Dimostriamo ora un risultato generale che ci sar` a molto utile in seguito.
Proposizione 4.4 (Assoluta Continuit` a dellIntegrale). Sia f L
1
(, M, ). Al-
lora per ogni > 0 esiste > 0 tale che, se E M e (E) < , allora
_
E
[f[d < .
12
Ricordiamo che una funzione continua su [a, b] è sempre uniformemente continua (Teorema di
Heine-Cantor).
32
dimostrazione. Fissiamo > 0, e approssimiamo f con una funzione limitata
g in modo tale che
_
[f g[d <

2
.
Detto M = sup
t
[g(t)[, ssiamo =

2M
. Se E M e (E) < , abbiamo
_
E
[f[d
_
E
[f g[d +
_
E
[g[d
_
[f g[d +M(E) <

2
+M = ,
come richiesto.
Torniamo quindi ad occuparci della funzione integrale F, con f L
1
([a, b]),
precedentemente introdotta.
Teorema 4.5. F è AC su [a, b].
dimostrazione. Sia > 0, e consideriamo il corrispondente > 0 dellassoluta
continuità dellintegrale. Fissato un qualsiasi N N ed una qualsiasi collezione
di N intervalli disgiunti (a
n
, b
n
) [a, b] tali che
N
n=1
b
n
a
n
< ,
segue che
N
n=1
[F(b
n
) F(a
n
)[ =
N
n=1
_
bn
an
f(t)dt
n=1
_
bn
an
[f(t)[dt =
_
E
[f(t)[dt,
avendo posto E =
N
n=1
(a
n
, b
n
). Poiche la misura di Lebesgue di E è minore di
, dallassoluta continuit` a dellintegrale ricaviamo
_
E
[f(t)[dt < ,
da cui la tesi.
Esercizio 32. Dimostrare che se [f[ M quasi ovunque allora F è Lipschitziana
con costante di Lipschitz minore o uguale a M.
Esercizio 33. Costruire una funzione Lipschitziana G strettamente monotona su
[0, 1] tale che G
= 0 su un insieme di misura positiva. [Suggerimento: sia A il

complementare di un Ternario di Cantor generalizzato, e si consideri la funzione
integrale di
A
]
Esercizio 34. Costruire una funzione Lipschitziana su [0, 1] priva di intervalli di
monotonia. [Suggerimento: siano I
n
gli intervalli di estremi razionali contenuti
33
in [0, 1], e si costruisca in ciascun I
n
una coppia di Ternari di Cantor generalizzati
disgiunti]
Abbiamo dunque visto che la funzione integrale F è AC e derivabile quasi
ovunque (con derivata integrabile). Ci poniamo adesso il problema inverso, cioè
vogliamo ricostruire una generica funzione G : [a, b] R come integrale della sua
derivata. Precisamente, ci chiediamo quando valga la relazione
G(x) G(a) =
_
x
a
G
(t)dt, (FC)
detta formula del calcolo. Se G C
1
([a, b]), la (FC) è il noto risultato dellanalisi
elementare. Ovviamente, anche valga la (FC) è necessario che G
L
1
([a, b]),
altrimenti il termine di destra non ha signicato.
Esempio. Si consideri
G(x) =
_
x
2
sin
1
x
2
, x ,= 0,
0, x = 0.
G è dierenziabile, ma
_
1
0
[G
(t)[dt = .
Dunque non soddisfa la (FC) su [0, 1].
Il Teorema 4.5 ci dice che una G che soddisfa la (FC) deve essere AC. Lassoluta
continuità risulta essere una condizione anche suciente.
Teorema 4.6 (Secondo Teorema Fondamentale del Calcolo). Sia G una funzione
AC su [a, b]. Allora G è derivabile quasi ovunque, G
L
1
([a, b]) e vale la formula
(FC).
Premettiamo alla dimostrazione un esempio particolarmente signicativo.
La funzione di Vitali-Cantor. Ricordiamo che il complementare (in [0, 1]) del
Ternario di Cantor T è dato da
T
C
=
_
n=1
2
n1
_
k=1
I
n,k
,
dove gli I
n,k
sono intervalli aperti disgiunti, ciascuno di lunghezza 3
n
. Deniamo
allora la funzione di Vitali-Cantor (nota anche col nome suggestivo di Scala del
Diavolo) V : [0, 1] [0, 1] nel seguente modo:
V (t) =
_
_
0, t = 0,
2k1
2
n
, t I
n,k
,
supV () : , T, < t, altrimenti.
34
La funzione di Vitali-Cantor è continua e monotona crescente. Inoltre è costante
su ogni intervallo I
n,k
. Pertanto, poiche la misura dellunione di tutti gli I
n,k
è 1,
concludiamo che V è quasi ovunque derivabile con derivata quasi ovunque nulla (in
particolare, V
L
1
([0, 1])). Tuttavia V non soddisfa la (FC), e di conseguenza
non è AC. Ovviamente, si può dimostrare che V non è AC anche in modo diretto,
utilizzando la denizione di assoluta continuit` a.
Procediamo ora con la dimostrazione del Secondo Teorema Fondamentale del
Calcolo. Saranno necessari alcuni passi.
Lemma 4.7. Il Secondo Teorema Fondamentale del Calcolo vale se assumiamo
lipotesi aggiuntiva che G sia monotona.
dimostrazione. Assumiamo che G sia monotona crescente (altrimenti lavo-
riamo con G). Allora costruiamo una misura su [a, b] tale che
([a, x]) = G(x) G(a), x [a, b].
La procedura per costruire è identica a quella usata per costruire la misura di
Lebesgue (in quel caso, si è preso G(x) = x). Pertanto, è certamente denita
su L([a, b]). Mostriamo ora che se E [a, b] e (E) = 0, allora (E) = 0.
Questo ci dice che . Sia dunque (E) = 0 e si ssi > 0. Usando
lassoluta continuit` a di G, otteniamo il corrispondente > 0. Allora esiste un
aperto A E contenuto in [a, b] tale che (A) < . Ma A (come ogni aperto di
R) è ununione al pi` u numerabile di intervalli aperti disgiunti I
n
= (a
n
, b
n
), da
cui
(A) =
n
b
n
a
n
< .
Dunque,
(E) (A) =
n
(I
n
) =
n
G(b
n
) G(a
n
) < .
Poiche è arbitrario, concludiamo che (E) = 0. Pertanto, per il Teorema di
Radon-Nykodym esiste una funzione positiva L
1
([a, b]) tale che
G(x) G(a) = ([a, x]) =
_
x
a
(t)dt.
Ma il Primo Teorema Fondamentale del Calcolo ci garantisce che G
= .
Incidentalmente, otteniamo un risultato sul cambiamento di variabili nella pro-
cedura di integrazione.
Corollario 4.8 (Cambiamento di Variabili). Sia G : [a, b] [c, d] una funzione AC
monotona, e sia f 0 Lebesgue misurabile su [c, d]. Allora
_
d
c
f(t)dt =
_
b
a
f(G())[G
(t)[d.
La stessa uguaglianza vale per f L
1
([c, d]). In tal caso (f G)[G
[ L
1
([a, b]).
35
Prima di procedere con la dimostrazione, cerchiamo di capire cosa dice esatta-
mente il risultato. Come sappiamo, nella composizione è importante ssare una
ben denita funzione esterna (nel nostro caso la f). Tra laltro, variando la f,
anche allinterno della sua classe di equivalenza, si pu` o perdere la misurabilit` a della
funzione composta.
`
E evidente tuttavia che lintegrale di sinistra non dipende dal
particolare rappresentante scelto. Dunque il corollario garantisce che, ssando un
qualsiasi rappresentante f, la funzione (f G)[G
[ è misurabile (si badi bene, non

necessariamente la funzione f G), e vale luguaglianza tra i due integrali.
dimostrazione. Ci limitiamo a dimostrare il caso in cui f sia Borel misurabile
su [c, d]. Supponiamo dapprima che G sia crescente. Riferendoci alla notazione
del Teorema 3.7, poniamo
= [a, b], M= B([a, b]),
= [c, d], M
= B([c, d]), = G,
notando che G
1
porta Boreliani in Boreliani. Consideriamo la misura di Borel
su [a, b]
(E) =
_
E
G
d, E B([a, b]),
dove è la misura di Lebesgue. Per ogni E
B([c, d]),
(E
) = (G
1
(E
)) = (E
).
Basta infatti vericare luguaglianza sugli intervalli (cfr. Teorema 1.9 di Dynkin).
Allora il Teorema 3.7 ci d` a la tesi. Se G è invece decrescente, notiamo dapprima
che
_
d
c
f(t)dt =
_
d
c
f(c +d t)dt,
e applichiamo il risultato con c + d G al posto di G.
Esercizio 35. Sia h una funzione uguale a 0 quasi ovunque su [c, d]. Detto
H =
_
[a, b] : [G
()[ > 0, dimostrare che per ogni N [c, d] con (N) = 0

segue che (G
1
(N) H) = 0. Vericare che ci` o equivale a dire che la funzione
(h G)[G
[ è uguale a 0 quasi ovunque su [a, b]. Completare quindi la dimostrazione

del Corollario 4.8 per una f Lebesgue misurabile.
Osservazione. Si noti comunque che disporre del Corollario 4.8 solo per le
funzioni Borel misurabili non costituisce in realt` a una vera limitazione. Infatti,
sappiamo che una funzione Lebesgue misurabile è uguale quasi ovunque a una
funzione Borel misurabile. Quindi, dato che lintegrale di sinistra è indipen-
dente dal rappresentante, basta fare i calcoli prendendo un rappresentante Borel
misurabile.
Concludiamo la dimostrazione del teorema. Se G non è monotona, mostriamo che
G si pu` o decomporre come somma di due funzioni monotone, entrambe AC, e quindi
applichiamo il Lemma 4.7 ai due addendi separatamente. Ci occorre unulteriore
denizione.
36
Denizione. Sia G : [a, b] R. Per ogni a x < y b, deniamo
V
y
x
= sup
N
n=1
[G(t
n
) G(t
n1
)[,
dove il sup è preso al variare di N N e delle scelte t
n
tali che
x = t
0
< < t
N
= y.
V
y
x
è la variazione totale della G sullintervallo [x, y]. Se V
b
a
< , la G è detta
funzione a variazione limitata (o funzione BV, da Bounded Variation).
Osservazione. Evidentemente la funzione x V
x
a
è monotona crescente. Si
noti che se y > x allora
V
y
a
V
x
a
= V
y
x
.
Se G non è a variazione limitata, allora esiste x b tale che V
y
a
= per ogni
y x. La variazione misura i salti che una funzione compie. Ad esempio, se G è
monotona (e denita su tutto [a, b]) allora V
x
a
= [G(x) G(a)[. Dunque le funzioni
monotone sono BV . Esistono ovviamente funzioni, anche continue, che non sono
BV , come
G(x) =
_
x cos
1
x
, x ,= 0,
0, x = 0,
sullintervallo [0, 1].
Se G è BV su [a, b], si può dimostrare che G è derivabile quasi ovunque, e
G
L
1
([a, b]). Sfruttando questo fatto, si svolga il seguente
Esercizio 36. Sia G : [a, b] R una funzione monotona crescente. Dimostrare la
disuguaglianza
_
b
a
G
(t)dt G(b) G(a).

Se G è AC, allora la sua variazione V
x
a
non solo esiste nita in ogni x (da cui G
è BV ), ma è anche una funzione AC. Lasciamo la dimostrazione di questo fatto al
lettore interessato.
A questo punto siamo in grado di terminare agevolmente la dimostrazione del
Secondo Teorema Fondamentale del Calcolo. Data G AC, costruiamo la funzione
V
x
a
corrispondente, e scriviamo G = G
1
+G
2
, con
G
1
(x) =
G(x) + V
x
a
2
, G
2
(x) =
G(x) V
x
a
2
.
Ovviamente G
1
e G
2
sono AC, essendo somme di funzioni AC. Resta da provare la
loro monotonia. Questa segue immediatamente dalla disuguaglianza
V
y
a
V
x
a
[G(y) G(x)[, y > x.
37
Concludiamo la discussione enunciando una condizione suciente (ma, come
abbiamo visto, non necessaria) anche G sia AC.
Teorema 4.9. Sia G : [a, b] R ovunque derivabile con G
L
1
([a, b]). Allora G
è AC su [a, b].
Osservazione. Si consideri su [0, 1]
G(x) =
_
x
3/2
sin
1
x
, x ,= 0,
0, x = 0.
Allora G soddisfa le ipotesi del Teorema 4.9. Tuttavia G
non è limitata, e quindi

G non è Lipschitziana. Dunque una funzione AC pu` o non essere Lipschitziana,
anche se è derivabile ovunque.
5 Prodotto di misure
5.1 Prodotto di spazi misurabili
Siano X e Y due insiemi. Il loro prodotto cartesiano X Y è linsieme delle coppie
ordinate (x, y) con x X e y Y . Supponiamo che (X, M) e (Y, N) siano due spazi
misurabili. Ci proponiamo di costruire una -algebra su X Y tale che induca su
ciascuno dei due fattori la -algebra di partenza.
Denizione. Chiamiamo rettangolo misurabile un sottoinsieme di T(X Y ) della
forma AB, con A M e B N. La -algebra prodotto MN è la -algebra su
X Y generata dai rettangoli misurabili.
Esercizio 37. Mostrare che B(R) B(R) = B(R
2
).
Denizione. Dato un insieme E X Y , siano
E
x
=
_
y : (x, y) E
_
e E
y
=
_
x : (x, y) E
_
.
E
x
e E
y
sono detti, rispettivamente, la x-sezione di E e la y-sezione di E. Si
noti che E
x
Y e E
y
X.
Proposizione 5.1. Se E MN, allora E
x
N e E
y
M.
dimostrazione. Sia C la classe di tutti gli E MNtali che E
x
Nper ogni
x X.
`
E immediato vericare che tutti i rettangoli misurabili appartengono a
C. Dunque X Y C. Se E C, allora (E
C
)
x
= (E
x
)
C
, da cui E
C
C.
Inne, se E =
nN
E
n
e E
n
C per ogni n N, allora E
x
=
nN
(E
n
)
x
, da cui
E C. Concludiamo che C è una -algebra che contiene i rettangoli misurabili,
e dunque contiene MN. Analogo discorso vale per E
y
.
38
Il viceversa della proposizione appena vista non vale. Può accadere che E
x
N
per ogni x X e E
y
M per ogni y Y , ma E , MN.
Denizione. Data una funzione f (reale o positiva) su X Y , ad ogni x X
associamo la funzione f
x
su Y denita da f
x
(y) = f(x, y). Analogamente, ssato
y Y , f
y
è la funzione su X denita da f
y
(x) = f(x, y).
Proposizione 5.2. Se f è (M N)-misurabile, allora f
x
è N-misurabile e f
y
è
M-misurabile.
dimostrazione. Sia O un insieme aperto (nel codominio di f) e sia
Q =
_
(x, y) : f(x, y) O
_
.
Quindi Q MN, e
Q
x
=
_
y : f
x
(y) O
_
.
Per la proposizione precedente Q
x
N, e dunque f
x
è N-misurabile. Discorso
analogo per la f
y
.
Anche in questo caso non vale, in generale, il viceversa.
5.2 Il Teorema di Fubini
Siano ora (X, M, ) e (Y, N, ) siano due spazi di misura. Vogliamo denire la
misura prodotto sulla -algebra MN. Ci occorre un risultato preliminare,
che enunciamo senza dimostrazione.
Proposizione 5.3. Siano (X, M, ) e (Y, N, ) due spazi di misura, tali che sia
che siano misure -nite, e sia E MN. Allora
- la funzione x (E
x
) è M-misurabile;
- la funzione y (E
y
) è N-misurabile;
- vale luguaglianza
_
X
(E
x
)d(x) =
_
Y
(E
y
)d(y).
Diamo quindi la seguente
Denizione. Se (X, M, ) e (Y, N, ) sono due spazi di misura, con e -nite,
deniamo la misura prodotto sulla -algebra MN nel seguente modo:
( )(E) =
_
X
(E
x
)d(x) =
_
Y
(E
y
)d(y), E MN.
39
Bisogna mostrare che cos` denita è eettivamente una misura. Lunica cosa
da provare è ladditivit` a numerabile, ma questa segue dal fatto che è costruita
attraverso un integrale (si applichi il Teorema della Convergenza Monotona per le
Serie).
`
E inoltre immediato vericare che è -nita, e che se E = A B
(rettangolo misurabile), allora
( )(E) = (A) (B).
Osserviamo inne che, per un generico insieme E misurabile,
_
XY
E
d( ) = ( )(E) =
_
X
__
Y
E
(x, y)d(y)
_
d(x).
Questa formula suggerisce il metodo per calcolare lintegrale di una funzione nella
misura prodotto come due integrali successivi.
Teorema 5.4 (Fubini). Valgano le ipotesi della Proposizione 5.3, e sia f una fun-
zione (MN)-misurabile.
(i) Se 0 f , allora
_
XY
fd( ) =
_
X
__
Y
f
x
d
_
d(x) =
_
Y
__
X
f
y
d
_
d(y). ()
In particolare, gli integrali interni sono funzioni misurabili (ciascuno rispetto
alla propria -algebra) e deniti ovunque.
(ii) Se f L
1
(XY, MN, ), allora f
x
L
1
(Y, N, ) (per quasi ogni x X)
e f
y
L
1
(X, M, ) (per quasi ogni y Y ). Inoltre
_
Y
f
x
(y)d(y) L
1
(X, M, ) e
_
X
f
y
(x)d(x) L
1
(Y, N, ),
e vale la formula ().
(iii) Se f è una funzione reale e
_
X
__
Y
[f[
x
d
_
d(x) =
_
Y
__
X
[f[
y
d
_
d(y) < ,
allora f L
1
(X Y, MN, ), e dunque si può applicare la (ii).
La dimostrazione del Teorema di Fubini si poggia sulla Proposizione 5.3 (che non
è altro che il medesimo teorema per le funzioni caratteristiche) e sul Teorema della
Convergenza Monotona.
Esercizio 38. Usare il Teorema di Fubini e la relazione
1
x
=
_

0
e
xt
dt (x > 0)
per dimostrare che
lim
N
_
N
0
sin x
x
dx =

2
.
40
5.3 Completamento di misure prodotto
Se (X, M, ) e (Y, N, ) sono due spazi di misura completi, non è detto che lo
spazio prodotto sia a sua volta completo. Vediamo un semplice esempio: poniamo
X = Y = R, M = N = L(R) e = = . Siano A un insieme di misura nulla e
B un insieme non misurabile di R. Evidentemente AB AR (che è di misura
nulla in R
2
). Tuttavia AB non è misurabile, non essendolo una delle sue sezioni.
Concludiamo che non è la misura di Lebesgue in R
2
. Vale però il seguente
risultato.
Proposizione 5.5. Sia
N
la misura di Lebesgue in R
N
. Se N = K + M (con
K, M N), allora
N
è il completamento della misura prodotto
K
M
.
Vi è dunque la necessit` a di estendere il Teorema di Fubini per il completamento
degli spazi prodotto.
Teorema 5.6. Siano (X, M, ) e (Y, N, ) due spazi di misura, con e -nite,
e sia (M N)
il completamento di M N relativo alla misura . Sia f una

funzione (MN)
-misurabile. Allora vale la tesi del Teorema di Fubini, con lunica

dierenza che gli integrali interni della formula () sono funzioni denite solo quasi
ovunque.
5.4 Cambio di variabili
Concludiamo la discussione enunciando un utile risultato di cambiamento di variabili
nellintegrazione in R
N
.
Proposizione 5.7. Siano O ed O
aperti in R
N
omeomor, e sia x : O
O un
omeomorsmo di classe C
1
. Siano inne E O ed E
due insiemi misurabili

in corrispondenza rispetto allomeomorsmo in considerazione. Allora, data f :
E R misurabile,
f(x) L
1
(E) f(x(t))
J(x(t))
L
1
(E
),
dove J(x(t)) è il determinante dello Jacobiano di t x(t). In tal caso,
_
E
f(x)dx =
_
E
f(x(t))
J(x(t))
dt.
Esercizio 39. Calcolare lintegrale della Gaussiana
I =
_

e
x
2
dx.
[Suggerimento: calcolare I
2
utilizzando le coordinate polari nel piano]
II. Spazi di Banach
1 Geometria degli spazi di Banach
1.1 Spazi lineari
Uno spazio lineare sul campo scalare R è un insieme X non vuoto, i cui elementi sono
chiamati vettori, sul quale sono denite due operazioni, addizione e moltiplicazione
per uno scalare, che soddisfano le seguenti proprietà algebriche.
(i) Ad ogni coppia di vettori x
1
e x
2
corrisponde un unico vettore x
1
+x
2
, in modo
tale che
x
1
+ x
2
= x
2
+ x
1
e x
1
+ (x
2
+ x
3
) = (x
1
+x
2
) + x
3
;
X contiene un unico vettore 0 (detto vettore nullo) tale che x + 0 = x; e ad
ogni x X corrisponde un unico vettore x tale che x + (x) = 0.
(ii) Ad ogni coppia (, x), con R e x X, corrisponde un unico vettore x,
in modo tale che
1x = x e
1
(
2
x) = (
1
2
)x,
e che valgano le due leggi distributive
(x
1
+x
2
) = x
1
+x
2
e (
1
+
2
)x =
1
x +
2
x.
Il simbolo 0 viene usato anche per indicare lo zero del campo scalare R. Ovviamente,
si pu` o parlare anche di spazi lineari sul campo complesso, utilizzando il campo scalare
C al posto di R.
Denizione. Un sottoinsieme A di uno spazio lineare X è linearmente indipendente
se per ogni collezione nita x
1
, . . . , x
n
di elementi di A e per ogni n-upla di numeri
reali
1
, . . . ,
n
, luguaglianza
n
j=1
j
x
j
= 0 implica che
1
= =
n
= 0.
Una base di Hamel (o semplicemente una base) di X è un sottoinsieme A X
linearmente indipendente massimale, cioè tale che non è propriamente contenuto in
alcun sottoinsieme di X linearmente indipendente.
41
42
`
E facile vericare che ogni elemento dello spazio è esprimibile come combinazione
lineare nita di elementi della base.
13
Inoltre, due basi di uno stesso spazio lineare
hanno necessariamente la stessa cardinalit` a. Si denisce allora dimensione (lineare)
dello spazio lineare la cardinalit` a di una sua base.
Un caso particolarmente semplice è rappresentato dagli spazi lineari di dimen-
sione nita. Sia infatti X uno spazio lineare di dimensione N N = 1, 2, 3, . . .
(omettiamo dunque il caso banale di uno spazio ridotto al solo elemento 0), e sia
x
1
, . . . , x
N
una sua base. Detta e
1
, . . . , e
N
la base canonica di R
N
, è immediato
mostrare che lapplicazione lineare I : X R
N
denita ponendo I(x
j
) = e
j
è un
isomorsmo lineare
14
da X a R
N
.
1.2 Spazi normati
Sia X uno spazio lineare su R. Una norma in X è una funzione
| | : X [0, )
che soddisfa le condizioni
(i) |x| = 0 x = 0 (annullamento);
(ii) |x| = [[|x| R, x X (omogeneit` a);
(iii) |x +y| |x| +|y| x, y X (disuguaglianza triangolare).
Osservazione. Dalla (iii) segue che
|x| |y|
|x y|, x, y X.
In realt` a tutte le nostre considerazioni varranno per spazi lineari sul campo C
(sostituendo opportunamente il valore assoluto con il modulo).
Notazione. Scriveremo | |
X
quando vorremo evidenziare lo spazio X su cui la
norma è denita.
Denizione. Uno spazio lineare dotato di una norma | | è detto spazio normato.
In particolare, uno spazio normato è uno spazio metrico con la distanza
d(x, y) = |x y|.
Un sottospazio lineare di uno spazio normato X è anchesso un spazio normato, con
la norma indotta da X.
13
Non è tuttavia scontato che uno spazio lineare (che contenga almeno due elementi) possegga
una base. Per dimostrarlo ci si deve infatti appellare allAssioma della Scelta.
14
Ricordiamo che un isomorsmo lineare tra due spazi lineari è unapplicazione biettiva che
preserva la struttura lineare.
43
Esempio. R è uno spazio normato con la norma del valore assoluto. Inoltre,
qualsiasi norma su R è della forma | | = c[ [, con c > 0.
Esempio. Per tutti i p [1, ], R
N
è uno spazio normato con la norma-p,
denita da
|x|
p
=
_
_
_
N
j=1
[x
j
[
p
_
1/p
, p [1, ),
max
j=1,...,N
[x
j
[, p = ,
dove x è il vettore di componenti (x
1
, . . . , x
N
). La norma-2 è detta euclidea.
Le proprietà (i) e (ii) della norma sono di verica immediata. La (iii) verrà
dimostrata pi` u avanti, quando introdurremo gli spazi L
p
().
Vediamo tre importanti esempi di spazi normati innito dimensionali.
Lo spazio C([a, b]). Denotiamo con C([a, b]) lo spazio lineare delle funzioni
continue f : [a, b] R, dove la struttura lineare è assegnata ponendo
(f +g)(t) = f(t) + g(t), f, g C([a, b]), R.
Per Teorema di Weierstrass, tali funzioni ammettono massimo e minimo assoluto su
[a, b]. Deniamo allora
|f| = max
t[a,b]
[f(t)[.
Si verichi per esercizio che le propriet` a della norma sono soddisfatte, e dunque
C([a, b]) è uno spazio normato. Tale norma è detta norma del massimo.
15
Gli spazi
1
e
. Denotiamo con
1
lo spazio lineare delle successioni somma-
bili (ovvero, la cui serie converge assolutamente), e con
lo spazio lineare delle

successioni limitate. Tali spazi sono normati con le norme
|x|
1 =
j=1
[x
j
[ e |x|
= sup
j=1,...,
[x
j
[,
dove x = (x
1
, x
2
, x
3
, . . .).
Esercizio 1. Vericare le tre proprietà della norma per gli spazi
1
e
.
1.3 Nozioni topologiche
Introduciamo alcune nozioni di carattere topologico. Il lettore noter` a come non vi
siano dierenze con il caso familiare di R
N
.
15
Pi` u in generale, dato uno spazio di Hausdor compatto K, si può denire lo spazio normato
C(K) munito della norma del massimo.
44
Denizione. Sia X uno spazio normato. La palla aperta di centro x
0
X e raggio
r > 0 è linsieme
B(x
0
, r) =
_
x X : |x x
0
| < r
_
.
La palla chiusa di centro x
0
X e raggio r > 0 è linsieme
B(x
0
, r) =
_
x X : |x x
0
| r
_
.
La sfera di centro x
0
X e raggio r > 0 è linsieme
S(x
0
, r) =
_
x X : |x x
0
| = r
_
.
Esercizio 2. Disegnare sul piano cartesiano la palla unitaria (cioè la palla di raggio
1 centrata in 0) di R
2
nelle varie norme-p.
Denizione. Sia A X. Un punto x
0
A è detto punto interno se per qualche
r > 0 si ha che
B(x
0
, r) A.
A è aperto se tutti i suoi punti sono punti interni.
Osservazione. Si verica facilmente che B(x
0
, r) è un aperto.
Denizione. Sia A X. Un punto x
0
X (non necessariamente appartenente
ad A) è detto punto di accumulazione o punto di limite per A se ogni palla B(x
0
, r)
contiene un punto di A diverso da x
0
. A è chiuso se contiene tutti i suoi punti di
accumulazione.
Esercizio 3. Mostrare che se A è aperto allora A
C
= XA è chiuso, e viceversa.
Esercizio 4. Mostrare che S(x
0
, r) è chiuso.
Denizione. Sia A X. La chiusura A di A è lunione di A e dei suoi punti di
accumulazione.
Esercizio 5. Mostrare che A è chiuso. Pi` u specicamente, A è il pi` u piccolo
insieme chiuso contenente A.
Esercizio 6. Mostrare che B(x
0
, r) = B(x
0
, r).
16
1.4 Successioni convergenti
Denizione. Sia X uno spazio normato, e sia x
n
una successione di elementi di X.
Diciamo che x
n
converge a x X (e scriviamo x
n
x) se la successione numerica
|x
n
x| è innitesima, cioè
lim
n
|x
n
x| = 0.
16
Questa proprietà è, in generale, falsa negli spazi metrici.
45
`
E immediato notare che se x
n
x allora |x
n
| |x|. Infatti, dalla disu-
guaglianza triangolare, si ha che
|x
n
| |x|
|x
n
x|.
Si noti che tutto funziona esattamente come nel caso di R, a patto di sostituire
il valore assoluto con la norma. In particolare, valgono i teoremi sui limiti gi` a noti,
tipo unicità del limite, linearit` a, ecc.
Esempio. Consideriamo lo spazio normato C([a, b]). Se f
n
è una successione di
elementi di C([a, b]), dire che f
n
f C([a, b]) equivale a dire che f
n
converge
a f uniformemente su [a, b], cioè
lim
n
_
max
t[a,b]
[f
n
(t) f(t)[
_
= 0.
I punti di accumulazione si caratterizzano attraverso le successioni convergenti.
Precisamente vale la
Proposizione 1.1. Sia A X. Un elemento x
0
X è un punto di accumulazione
per A se e solo se esiste una successione x
n
A, x
n
,= x
0
per ogni n, tale che
x
n
x
0
.
Come conseguenza, un sottoinsieme A X è chiuso se e solo se, ogni qualvolta
x
n
A converge a x
0
X, segue che x
0
A.
Esercizio 7. Siano x
n
, x X e
n
, R. Mostrare che se x
n
x e
n

allora
n
x
n
x.
n
una successione di elementi di
X. Se la successione s
n
=
n
j=1
x
j
converge in X, il suo limite è detto somma della
serie degli x
n
, e viene indicato con
n=1
x
n
. In tal caso si dice che la serie
n=1
x
n
è convergente (in X).
Esercizio 8. Se la serie
n=1
x
n
è convergente, allora vale la disuguaglianza
_
_
_
n=1
x
n
_
_
_
n=1
|x
n
|.
Il termine di destra può eventualmente essere innito.
Osservazione. In R sappiamo che se una serie converge assolutamente allora
converge. Negli spazi normati tale enunciato si tradurrebbe dicendo che se la serie
numerica
n=1
|x
n
| converge, allora la serie
n=1
x
n
converge in X. Tuttavia,
ci` o non è sempre vero. Infatti, R non solo è uno spazio normato, ma è anche
completo. Ed è grazie a questultima propriet` a che il risultato vale. Torneremo
tra breve su questo concetto.
46
Denizione. Sia A un sottoinsieme di uno spazio normato X. Allora A è limitato
se esiste M 0 tale che
|x| M, x A.
In particolare, una successione x
n
in X è limitata se
|x
n
| M, n N.
Esercizio 9. Mostrare che una successione convergente in uno spazio normato è
limitata.
Denizione. Siano X e Y due spazi normati, A X, B Y due sottoinsiemi.
Una funzione F : A B è continua in x
0
A se per ogni successione x
n
A tale
che x
n
x
0
si ha che F(x
n
) F(x
0
). La funzione F è continua in A se è continua
in ogni punto di A.
Osservazione. Ricordiamo che x
n
x e F(x
n
) F(x) signica
|x
n
x|
X
0 e |F(x
n
) F(x)|
Y
0.
La nozione di continuit` a si pu` o dare equivalentemente in termini di -; ovvero
f è continua in x
0
A se per ogni > 0 esiste > 0 (dipendente da > 0 e da
x
0
A) tale che
x A, |x x
0
|
X
< = |F(x) F(x
0
)|
Y
< .
Come nel caso familiare delle funzioni reali, una funzione è continua (in ogni punto)
se e solo se le controimmagini degli insiemi aperti sono insiemi aperti.
1.5 Separabilità
Denizione. Un sottoinsieme A X è denso in X se A = X.
Denizione. Uno spazio normato è separabile se esiste un sottoinsieme numerabile
A X denso in X.
Ad esempio, R è separabile, essendo linsieme Q dei razionali denso in R.
Proposizione 1.2. Lo spazio normato C([a, b]) è separabile.
Si consideri infatti linsieme linsieme P([a, b]) dei polinomi su [a, b]. Questo
insieme non è numerabile; tuttavia è piuttosto semplice mostrare che linsieme dei
polinomi a coecienti razionali su [a, b], che invece è numerabile, è denso in P([a, b])
(nella norma del massimo). La dimostrazione del teorema è quindi una conseguenza
immediata del Teorema di Stone-Weierstrass, che enunciamo senza dimostrazione.
17
Teorema 1.3 (Stone-Weierstrass). P([a, b]) è denso in C([a, b]).
17
In realtà il Teorema 1.3 è solo un caso particolare del Teorema di Stone-Weierstrass.
47
1.6 Completezza: spazi di Banach
n
una successione di elementi di X.
Diciamo che x
n
è una successione di Cauchy se per ogni > 0 esiste n
0
tale che per
ogni n, m n
0
si ha
|x
n
x
m
| < .
Meno formalmente, x
n
è di Cauchy se
|x
n
x
m
| 0, per n, m .
Esercizio 10. Mostrare che una successione di Cauchy è limitata, e che una
successione convergente è di Cauchy.
Esercizio 11. Mostrare che se una successione di Cauchy ammette una sottosuc-
cessione convergente, allora lintera successione è convergente.
Denizione. Uno spazio normato X in cui tutte le successioni di Cauchy siano
successioni convergenti, è detto spazio normato completo o spazio di Banach.
Esercizio 12. Mostrare che un sottospazio chiuso di uno spazio di Banach è uno
spazio di Banach. Viceversa, un sottospazio completo di uno spazio normato è
chiuso.
Esempio. R
N
(in una qualsiasi delle norme-p) è uno spazio di Banach.
Proposizione 1.4. C([a, b]) è uno spazio di Banach.
dimostrazione. Sia f
n
una successione di Cauchy in C([a, b]). In particolare,
per ogni t la successione numerica f
n
(t) è di Cauchy, e pertanto converge ad
un numero reale che indichiamo con f(t). Sia > 0 arbitrario, e prendiamo
m, n abbastanza grandi tali che [f
n
(t) f
m
(t)[ < per ogni t. Facendo il limite
m , otteniamo [f
n
(t)f(t)[ , e concludiamo che f
n
f uniformemente,
cioè
lim
n
_
sup
t[a,b]
[f
n
(t) f(t)[
_
= 0.
Ci resta da mostrare che f : [a, b] R è una funzione continua. Selezioniamo
quindi > 0 arbitrario e t
0
[a, b]. Dalla disuguaglianza triangolare,
[f(t) f(t
0
)[ [f(t) f
n
(t)[ +[f
n
(t) f
n
(t
0
)[ +[f
n
(t
0
) f(t
0
)[.
Per n grande ssato, la somma del primo e del terzo termine è minore di /2.
Inne, usando la continuit` a di f
n
, esiste > 0 tale che se [t t
0
[ < allora
[f
n
(t) f
n
(t
0
)[ < /2.
48
Esempio. Sia C
k
([a, b]) lo spazio lineare delle funzioni f : [a, b] R derivabili
k-volte con continuit` a su [a, b]. Tale spazio è di Banach
18
con la norma
|f| =
k
j=0
max
t[a,b]
[f
(j)
(t)[,
convenendo di indicare f
(0)
= f.
Esercizio 13. Gli spazi
1
e
sono di Banach.
Come in R, negli spazi di Banach la convergenza assoluta delle serie (cioè la
convergenza della serie delle norme) implica la convergenza.
Proposizione 1.5. Sia X uno spazio di Banach, e x
n
una successione di elementi
di X. Se la serie numerica
n=1
|x
n
| è convergente, allora la serie
n=1
x
n
è
convergente. Viceversa, se X è uno spazio normato e ogni serie assolutamente
convergente è convergente, allora X è di Banach.
dimostrazione. Sia X uno spazio di Banach, e sia
n=1
|x
n
| una serie
convergente. La successione delle somme parziali s
n
=
n
j=1
x
j
è di Cauchy.
Infatti, se m > n,
|s
m
s
n
| =
_
_
_
m
j=n+1
x
j
_
_
_
m
j=n+1
|x
j
|.
Dunque s
n
converge alla somma della serie degli x
n
.
Viceversa, sia x
n
una successione di Cauchy in X. Estraiamo allora una sotto-
successione x
n
k
tale che
|x
n
k+1
x
n
k
|
1
k
2
.
Pertanto la serie
k=1
_
x
n
k+1
x
n
k
converge ad un vettore s X. Poiche questa

serie è telescopica, si ricava immediatamente che x
n
k+1
s+x
n
1
, che a sua volta
implica la convergenza di x
n
.
Questa proposizione ci fornisce dunque un utile criterio per stabilire se uno spazio
normato sia completo o meno.
`
E ben noto che in R
N
(in una qualsiasi delle norme-p) una successione limi-
tata ammette una sottosuccessione convergente (Teorema di Bolzano-Weierstrass).
Come vedremo, questo fatto è vero in qualsiasi spazio normato X di dimensione
nita. Molto diverso è invece il caso in cui X sia uno spazio normato innito dimen-
sionale. Osserviamo preliminarmente che se X non è di Banach esistono successioni
18
Non è invece possibile trovare una norma che renda C
([a, b]) (cioè lo spazio delle funzioni

derivabili innite volte su [a, b]) uno spazio di Banach.
49
di Cauchy non convergenti (e che quindi non ammettono sottosuccessioni conver-
genti). Tuttavia, anche se X è di Banach le cose vanno male.
`
E infatti possibile
dimostrare lesistenza di una successione x
n
X con |x
n
| = 1 e |x
n
x
m
| 1 per
n ,= m. Ovviamente, la successione x
n
non pu` o avere sottosuccessioni convergenti.
19
Dunque, uno spazio normato è nito dimensionale se e solo se vale il Teorema di
Bolzano-Weierstrass, e le palle chiuse sono insiemi compatti solo negli spazi nito
dimensionali.
Esercizio 14. Una funzione continua da R
N
(in una qualsiasi delle norme-p) in
R porta insiemi limitati in insiemi limitati (conseguenza immediata del Teorema di
Weierstrass). Stabilire se lo stesso fatto valga o meno in uno spazio normato innito
dimensionale.
n
C([0, 1]) in modo tale che |f
n
| = 1
e |f
n
f
m
| = 1 per n ,= m.
Cerchiamo allora condizioni sucienti anche una successione limitata di ele-
menti di C([a, b]) ammetta una sottosuccessione convergente. Ci occorre prima una
denizione.
Denizione. Una successione f
n
C([a, b]) è detta equicontinua se per ogni > 0
esiste > 0 tale che
[t [ < = sup
nN
[f
n
(t) f
n
()[ < .
Teorema 1.6 (Ascoli-Arzel` a). Sia f
n
C([a, b]) una successione limitata di fun-
zioni equicontinue. Allora f
n
ammette una sottosuccessione convergente in C([a, b]).
dimostrazione. Sia q
j
unenumerazione dei razionali di [a, b]. La succes-
sione f
n
(q
1
) è limitata in R, e dunque ammette una sottosuccessione f
n
k
(q
1
)
convergente. Ripetendo il ragionamento con la sottosuccessione f
n
k
(q
2
), tro-
veremo una sotto-sottosuccessione f
n
k
i
(q
2
) convergente. Iteriamo la procedura
per q
3
, q
4
, . . . Alla ne otteniamo una sequenza di sottosuccessioni di f
n
, in cui
ciascuna sottosuccessione è a sua volta una sotto-sottosuccessione di tutte sot-
tosuccessioni che la precedono. Costruiamo dunque la sottosuccessione cercata,
ponendo f
n
1
il primo elemento della prima sottosuccessione, f
n
2
il secondo ele-
mento della seconda sottosuccessione, e cos` via.
20
La sottosuccessione f
nm
(t)
costruita in questo modo è evidentemente convergente (e quindi di Cauchy) per
t = q
j
. Sia ora > 0 ssato. Dallipotesi di equicontinuit` a, esiste > 0 tale che,
se [t [ < ,
[f
nm
(t) f
nm
()[ <

3
.
19
Lesistenza di detta successione è una conseguenza immediata del Lemma di Riesz di quasi
ortogonalità, di cui discuteremo pi` u avanti (cfr. 3.5).
20
Questa procedura è nota come metodo di estrazione diagonale.
50
Ricopriamo lintervallo [a, b] con un numero nito I
1
, I
2
, . . . , I
N
di intervallini di
lunghezza minore di . In ogni intervallino I
j
selezioniamo un punto q
j
(per sem-
plicit` a, abbiamo rietichettato gli N razionali scelti come q
1
, q
2
, . . . , q
N
). Poiche i
q
j
sono in numero nito, esiste m
tale che, per m, m
, si ha
[f
nm
(q
j
) f
n
m
(q
j
)[ <

3
, j = 1, . . . , N.
Per concludere, sia t [a, b]. Allora t I
j
per qualche j. Dunque, [t q
j
[ < .
Allora, per m, m
abbiamo
[f
nm
(t) f
n
m
(t)[
[f
nm
(t) f
nm
(q
j
)[ +[f
nm
(q
j
) f
n
m
(q
j
)[ +[f
n
m
(q
j
) f
n
m
(t)[
< .
Pertanto, f
nm
è di Cauchy, e quindi convergente, in C([a, b]).
21
1.7 Norme equivalenti

Denizione. Sia X uno spazio lineare, e siano | | e | |
due diverse norme su

X. Allora | | e | |
si dicono equivalenti se esistono due numeri positivi m M

tali che
m|x|
|x| M|x|
, x X.
Il concetto di norme equivalenti è piuttosto importante. Infatti, due norme
equivalenti su uno spazio X inducono le stesse successioni convergenti e le stesse
successioni di Cauchy, cioè ogni qualvolta x
n
è convergente o di Cauchy rispetto a
una norma lo è anche rispetto allaltra. Dunque due norme equivalenti sono di fatto
indistinguibili dal punto di vista topologico. In particolare se X è completo rispetto
a una norma lo è anche rispetto allaltra.
Esercizio 16. Mostrare che in R
N
tutte le norme-p sono equivalenti.
In realtà vale la seguente
Proposizione 1.7. Due qualsiasi norme in R
N
sono equivalenti.
dimostrazione. Sia | | la norma-1, e sia | |
una qualsiasi altra norma su

R
N
. Detta e
j
la base canonica di R
N
, ssato x =
N
j=1
j
e
j
R
N
si ha che
|x|
j=1
[
j
[|e
j
|
M|x|,
21
Sebbene la dimostrazione sia stata fatta per C([a, b]), lo stesso argomento si applica per un
generico C(K), con K spazio metrico compatto (che ammette sempre una successione densa di
elementi). Chiaramente, laddove ricopriamo [a, b] con un numero nito di intervallini, ci si deve
appellare alla compattezza dello spazio per ottenere un ricoprimento nito di palle di diametro
minore di .
51
dove M = max
j=1,...,N
|e
j
|
, da cui segue che la funzione (x) = |x|
è continua
da R
N
in norma-1 in R. Pertanto, per il Teorema di Weierstrass, la funzione
positiva ha un minimo assoluto m 0 sulla sfera unitaria di R
N
in norma-1.
Quindi, per x ,= 0, abbiamo
_
x
|x|
_
m,
ovvero, |x|
m|x|. Resta da dimostrare che m > 0. Ma se m fosse zero,

esisterebbe x
min
,= 0 tale che |x
min
|
= 0, contraddicendo lannullamento della

norma.
Osservazione. In virt` u di questo risultato, si è soliti non menzionare di quale
norma si stia parlando in R
N
.
Esempio. Sullo spazio lineare C([a, b]) è possibile introdurre altre norme, oltre
a quella del massimo. In particolare, si denisce la norma integrale
|f| =
_
b
a
[f(t)[dt.
`
E banale vericare che le proprietà della norma sono soddisfatte. Tuttavia, si
pu` o dimostrare che C([a, b]) con la norma integrale non è uno spazio di Banach.
Segue quindi che la norma integrale e la norma del massimo non sono equi-
valenti. Nel seguito, quando parleremo di C([a, b]), senza ulteriori specicazioni,
intenderemo sempre C([a, b]) con la norma del massimo.
Esercizio 17. Mostrare che su C
1
([0, 1]) la funzione
|f|
= [f(0)[ + max
t[0,1]
[f
(t)[
denisce una norma equivalente a quella usuale. Mostrare invece che la funzione
max
t[0,1]
[f
(t)[
non denisce una norma su C
1
([0, 1]).
1.8 Gli spazi L
p
()
Sia (, M, ) uno spazio di misura.
Denizione. Per p [1, ), denotiamo con L
p
() linsieme di (classi di equivalenza
di) funzioni misurabili (rispetto a ) f : R tali che [f[
p
è integrabile, ovvero,
_
[f[
p
d < .
52
Denizione. Denotiamo con L
() linsieme di (classi di equivalenza di) funzioni

misurabili f : R essenzialmente limitate, ossia, tali che esista M 0 per cui
__
t : [f(t)[ > M
__
= 0.
Lestremo inferiore degli M per i quali vale questa relazione è detto estremo superiore
essenziale di [f[, denotato con Ess Sup
[f[.
Esercizio 18. Vericare che lestremo inferiore degli M è in realtà un minimo.
Quando è un sottoinsieme di R
N
Lebesgue misurabile, in assenza di ulteriori
specicazioni, L
p
() è inteso rispetto alla misura di Lebesgue.
Teorema 1.8. Per p [1, ], L
p
() è uno spazio normato con la norma
|f|
L
p =
_
_
_
_
[f[
p
d
_
1/p
, p [1, ),
Ess Sup
[f[, p = .
`
E semplice vericare che L
p
() è uno spazio lineare, e che valgono le condizioni
(i) e (ii) della denizione di norma. Per quanto riguarda la (iii), occore un po di
lavoro. Nel seguito, p, q [1, ] indicheranno sempre due esponenti coniugati, cioè
tali che
1
p
+
1
q
= 1,
con la convenzione che 1/ = 0.
Lemma 1.9 (Disuguaglianza di Young). Sia p (1, ), e siano a, b > 0. Allora
vale la disuguaglianza
ab
a
p
p
+
b
q
q
.
[Suggerimento: si ssi b > 0 e si studi (a) =
a
p
p
+
b
q
q
ab su [0, )]
Teorema 1.10 (Disuguaglianza di Holder). Siano f L
p
() e g L
q
(). Allora
il prodotto fg appartiene a L
1
() e
|fg|
L
1 |f|
L
p|g|
L
q .
dimostrazione. Se p = 1 (o p = ) la dimostrazione è immediata. Sia
dunque p (1, ). Assumiamo inoltre f e g non identicamente nulle. Deniamo
F(t) =
f(t)
|f|
L
p
e G(t) =
g(t)
|g|
L
q
.
Usando il lemma precedente,
_
[FG[d
1
p
_
[F[
p
d +
1
q
_
[G[
q
d = 1,
da cui segue la tesi.
53
Siamo ora in grado di vericare la disuguaglianza triangolare per gli spazi L
p
(),
nota come disuguaglianza di Minkowski.
Teorema 1.11 (Disuguaglianza di Minkowski). Siano f, g L
p
(). Allora
|f +g|
L
p |f|
L
p +|g|
L
p.
dimostrazione. I casi p = 1 e p = sono immediati. Sia dunque p (1, ).
Assumendo f e g non identicamente nulle, si ha
|f +g|
p
L
p
_
[f[[f +g[
p1
d +
_
[g[[f +g[
p1
d.
Applicando la disuguaglianza di H older,
|f + g|
p
L
p
_
|f|
L
p +|g|
L
p
|(f + g)
p1
|
L
q =
_
|f|
L
p +|g|
L
p
|f +g|
p/q
L
p .
Dividendo per |f + g|
p/q
L
p il teorema è dimostrato.
Gli spazi
p
. Sia = N e sia la misura del conteggio. Allora si è soliti denire
p
= L
p
(N). Si noti che
1
e
sono gli spazi gi` a incontrati in precedenza.

Osservazione. Se invece = 1, . . . , N e è la misura del conteggio, allora
L
p
(1, . . . , N) altro non è che lo spazio R
N
in norma-p.
Vediamo ora uninteressante conseguenza della disuguaglianza di H older.
Proposizione 1.12. Se () < e 1 s < r , allora vale linclusione
L
r
() L
s
(). Inoltre, interpretando 1/ = 0,
|f|
L
s
_
()
1/s1/r
|f|
L
r .
dimostrazione. Sia f L
r
(). Allora [f[
s
L
r/s
() e 1 L
r/(rs)
()
(poiche è limitato). Si noti che r/s e r/(r s) sono esponenti coniugati.
Pertanto dalla disuguaglianza di H older abbiamo che [f[
s
= 1 [f[
s
L
1
(), e
|f|
s
L
s =
_
1 [f[
s
d |1|
L
r/(rs) |f|
s
L
r =
_
()
(rs)/r
|f|
s
L
r .
Facendo la radice s-esima otteniamo il risultato voluto.
Esercizio 19. Mostrare che se () = linclusione insiemistica L
r
() L
s
(),
per r > s, è in generale falsa.
Esercizio 20. Mostrare che per gli spazi
p
vale linclusione inversa. Precisamente,
se s < r allora
s

r
. Inoltre,
|x|
r |x|
s.
54
[Suggerimento: si osservi che, banalmente, |x|
|x|
s]
Esercizio 21. Sia f : R misurabile, con () < , e sia p [1, ). Inoltre,
per ogni g L
q
() il prodotto fg L
1
() e valga la relazione
fgd
M|g|
L
q ,
per un certo M 0 indipendente da g. Si dimostri che f L
p
() e |f|
L
p M.
Esercizio 22. Ecco una versione (molto) pi` u dicile del precedente esercizio. Sia
f : R misurabile, con () < , e sia p [1, ). Inoltre, per ogni g L
q
()
il prodotto fg L
1
(). Si dimostri che f L
p
().
22
p
([0, 2]) con |f|
L
p 1 per ogni p [1, ). Mostrare che
f L
([0, 2]) e |f|

L
1.
Discutiamo ora la completezza degli spazi L
p
().
Esercizio 24. Mostrare che gli spazi
p
sono spazi di Banach (i casi p = 1 e p =
sono stati già arontati in un precedente esercizio). Sia invece
p
fin
il sottospazio
di
p
delle successioni denitivamente nulle. Dimostrare che
p
fin
non è uno spazio
completo (si noti lanalogia tra R e Q).
Lesercizio appena visto si pu` o risolvere a mano. Tuttavia, altro non è che un
caso particolare del seguente
Teorema 1.13. Gli spazi L
p
() sono spazi di Banach.
dimostrazione. Consideriamo dapprima il caso p < . Vogliamo usare la
Proposizione 1.5. Sia dunque f
n
L
p
() tale che
n=1
|f
n
|
L
p M < .
Denendo allora g
k
(t) =
k
n=1
[f
n
(t)[, dalla disuguaglianza di Minkowski è chiaro
che |g
k
|
L
p M per ogni k N. In particolare,
_
[g
k
(t)[
p
d M
p
, k N.
Ponendo g(t) =
j=1
[f
j
(t)[, per il Teorema della Convergenza Monotona si ha
lim
n
_
[g
n
(t)[
p
d =
_
[g(t)[
p
d M
p
.
22
Questo esercizio, in genere, viene risolto nel caso p > 1 facendo uso del Teorema 2.6 e del
Teorema 3.2. Tuttavia, è possibile trovare una soluzione diretta.
55
Quindi g L
p
(), da cui [g(t)[ < per quasi ogni t , cioè, la serie nu-
merica
n=1
f
n
(t) converge (assolutamente) quasi ovunque. Chiamando allora
s(t) la somma della serie e s
k
(t) le relative somme parziali k-esime, s
k
s 0
puntualmente quasi ovunque e, sempre quasi ovunque,
[s
k
(t) s(t)[
p
2
p
[g(t)]
p
L
1
().
Applicando il Teorema della Convegenza Dominata, concludiamo che
lim
n
_
[s
k
(t) s(t)[
p
d = 0,
cioè che la serie
n=1
f
n
(t) converge in L
p
().
Il caso p = è invece di dimostrazione quasi immediata. Sia infatti f
n
una
successione di Cauchy in L
(). Deniamo gli insiemi

A
n
=
_
t : [f
n
(t)[ > |f
n
|
L
_
e
B
nm
=
_
t : [f
n
(t) f
m
(t)[ > |f
n
f
m
|
L
_
.
Per denizione, (A
n
) = (B
nm
) = 0. Sia allora A lunione degli A
n
e dei B
nm
.
Chiaramente, (A) = 0, e sul complementare di A la successione f
n
converge
uniformemente ad una funzione limitata f. Denendo f(t) = 0 per t A, si ha
che f L
() e f
n
f in L
().
Corollario 1.14. Sia f
n
una successione convergente a f in L
p
(). Allora f
n
ammette una sottosuccessione f
n
k
convergente a f puntualmente quasi ovunque.
dimostrazione. Chiaramente dobbiamo limitarci a dimostrare il caso p < .
Siano allora f
n
, f L
p
() con f
n
f in L
p
(). Scegliamo una sottosuccessione
f
n
k
tale che
|f
n
k+1
f
n
k
|
L
p
1
k
2
.
Ripetendo il ragionamento della precedente dimostrazione, ricaviamo che la serie
k=1
_
f
n
k+1
f
n
k
converge puntualmente quasi ovunque ad una funzione g. Poiche

f
n
j+1
= f
n
1
+
j
k=1
_
f
n
k+1
f
n
k
,
Concludiamo che f
n
k
f
n
1
+g puntualmente quasi ovunque. Rimane da veri-
care luguaglianza f = f
n
1
+g (si veda lesercizio seguente).
56
Esercizio 25. Sia f
n
una successione convergente a f in L
p
() e convergente a g
puntualmente quasi ovunque. Allora f = g quasi ovunque. [Suggerimento: applicare
il Lemma di Fatou]
La dimostrazione del Teorema 1.13 nel caso p = 1 contiene, in particolare, la
dimostrazione del Teorema della Convergenza Dominata per le serie di funzioni (si
veda il Teorema I.3.8).
Concludiamo il paragrafo esaminando la separabilit` a degli spazi L
p
().
Esercizio 26. Dimostrare che gli spazi
p
con p [1, ) sono separabili. [Sugge-
rimento: si considerino gli elementi di
p
fin
di coordinate razionali]
Esercizio 27. Dimostrare che lo spazio
non è separabile. [Suggerimento: si

proceda per assurdo, usando il metodo di diagonalizzazione di Cantor]
Nel seguito del paragrafo, sia un sottoinsieme misurabile di R (pi` u in generale,
di R
N
) di misura di Lebesgue () > 0.
Teorema 1.15. Sia p < . Data f L
p
(), esiste una successione
n
di funzioni
continue e limitate su convergente a f nella norma di L
p
(), ovvero,
lim
n
|
n
f|
L
p = 0.
Se non è limitato, per ogni n esiste un insieme limitato
n
(e dunque di
misura nita) tale che
n
(t) = 0 se t ,
n
.
[Suggerimento: si estenda la funzione su R facendola valere zero fuori da .
Quindi, si approssimi con funzioni semplici, e si usi la regolarit` a della misura di
Lebesgue]
Esercizio 28. Sia p < , e sia f L
p
(R). Per h R, deniamo la traslata
h
f
di f per mezzo della formula (
h
f)(t) = f(t + h). Utilizzando il Teorema 1.15 e il
Teorema della Convergenza Dominata, dimostrare che
lim
h0
|
h
f f|
L
p = 0.
Corollario 1.16. Se p < , lo spazio L
p
() è separabile.
dimostrazione. Supponiamo che [a, b] (per esercizio, si completi poi la
dimostrazione). Sappiamo che C() è separabile; sia dunque
n
una successione
densa in C(). Fissiamo allora f L
p
() e > 0. Dal teorema precedente,
esiste C() tale che
|f |
L
p .
57
Daltro canto, esiste
n
0
tale che
|
n
0
|
C()
= |
n
0
|
L
.
Dalla Proposizione 1.12 concludiamo che
|
n
0
|
L
p M|
n
0
|
L
M,
con M = (2R)
1/p
. Applicando inne la disuguaglianza di Minkowski, abbiamo
che
|f
n
0
|
L
p (1 + M).
Le cose sono invece molto diverse per p = .
Proposizione 1.17. Lo spazio L
() non è separabile.
dimostrazione. Dimostriamolo per semplicità assumendo che contenga un
intervallo aperto (a, b). Consideriamo la famiglia (non numerabile) di funzioni
caratteristiche
(a,c)
, al variare di c in (a, b).
`
E immediato vericare che se c ,= c
allora |
(a,c)
(a,c
)
|
L
= 1.
2 Operatori lineari
2.1 Denizioni e prime proprietà
Siano X e Y due spazi normati.
Denizione. Una funzione T : X Y è detta un operatore lineare (da X a Y ) se
per ogni x, y X e per ogni R si ha che
T(x + y) = T(x) + T(y).
Quando T è un operatore lineare si preferisce scrivere Tx in luogo di T(x).
Denizione. Un operatore lineare T : X Y è limitato se esiste M 0 tale che
|Tx|
Y
M|x|
X
, x X.
Esercizio 29. Sia X = C([0, 1]). Deniamo loperatore lineare T : X X nel
seguente modo:
(Tf)(t) = f(t) + f(0), f X.
Mostrare che T è limitato.
58
Esercizio 30. Sia X =
1
, e sia y = (y
1
, y
2
, y
3
, . . .)
. Deniamo loperatore
lineare T : X R nel seguente modo:
Tx =
j=1
x
j
y
j
, x = (x
1
, x
2
, x
3
, . . .) X.
Mostrare che T è limitato.
Teorema 2.1. Sia T : X Y un operatore lineare. Allora una qualsiasi delle
seguenti condizioni implica le altre due:
(i) T è limitato;
(ii) T è continuo (Lipschitz);
(iii) T è continuo in 0 X.
dimostrazione. Se vale (i), allora dalla denizione di operatore limitato si
ricava subito (ii), che banalmente implica (iii). Mostriamo allora che (iii) implica
(i). Se infatti (i) non vale, cioè T non è limitato, allora esiste x
n
X tale che
|Tx
n
|
Y
> n|x
n
|
X
, n.
Ma allora la successione
z
n
=
x
n
n|x
n
|
X
tende a zero e
|Tz
n
|
Y
> 1, n,
per cui T non è continuo in zero, ovvero (iii) implica (i).
Alla luce di questo teorema, parleremo indierentemente di operatore lineare
continuo o limitato.
Indichiamo con L(X, Y ) linsieme degli operatori lineari continui da X a Y (si
usa la notazione L(X) in luogo di L(X, X) se X = Y ). Dati T, S L(X, Y ) e
R, si pu` o denire loperatore
(T + S)(x) = Tx + Sx.
Dunque lo spazio L(X, Y ) è a sua volta uno spazio lineare, che risulta essere uno
spazio normato rispetto alla norma
|T|
L(X,Y )
= sup
x1
|Tx|
Y
.
Osservazione.
`
E banale vericare che
sup
x1
|Tx|
Y
= sup
x=1
|Tx|
Y
.
59
Esercizio 31. Si mostri che |T|
L(X,Y )
è la pi` u piccola (e quindi la migliore!)
costante M per cui vale la disuguaglianza |Tx|
Y
M|x|
X
.
Esercizio 32. Sia X = L
2
([0, 1]), e sia T : X X l operatore di moltiplicazione
per t, denito come
(Tf)(t) = tf(t), f X.
Mostrare che |T|
L(X)
= 1.
Proposizione 2.2. Se Y è uno spazio di Banach, allora L(X, Y ) è uno spazio di
Banach.
23
dimostrazione. Sia T
n
una successione di Cauchy in L(X, Y ). Allora, per
ogni x X, la successione T
n
x è una successione di Cauchy in Y , e quindi
convergente a un valore Tx Y . Infatti,
|T
n
x T
m
x|
Y
|T
n
T
m
|
L(X,Y )
|x|
X
.
Lasciamo per esercizio la dimostrazione che T : X Y è un operatore lineare.
Dobbiamo mostrare che T è continuo e che T
n
T in L(X, Y ). Fissato > 0,
dalla formula precedente ricaviamo che, per n, m abbastanza grandi,
|T
n
x T
m
x|
Y
|x|
X
.
Dunque, facendo il limite m ,
|T
n
x Tx|
Y
|x|
X
.
Questo, in particolare, ci dice che T L(X, Y ). Inne, dallarbitrariet` a di ,
otteniamo la convergenza desiderata.
Denizione. Due spazi normati X e Y sono isomor se esiste un operatore biettivo
T L(X, Y ) con T
1
L(Y, X).
Un isomorsmo tra spazi normati trasferisce tutte le propriet` a lineari e topo-
logiche da uno spazio allaltro (in particolare, la completezza). Pertanto, due spazi
normati isomor possono essere senzaltro identicati dal punto di vista topologico.
Proposizione 2.3. Uno spazio normato X di dimensione N è isomorfo a R
N
.
dimostrazione. Abbiamo gi` a mostrato lesistenza di un isomorsmo alge-
brico (cioè un operatore lineare biettivo) I : X R
N
. Ripetendo allora la di-
mostrazione della Proposizione 1.7 con X al posto di (R
N
, | |
), si vede subito
che I è bicontinuo.
23
Vale anche il viceversa.
60
Una conseguenza interessante di questa proposizione è che i sottospazi nito
dimensionali di uno spazio normato sono chiusi.
Esercizio 33. Sia T L(X, Y ). Allora il nucleo (kernel) di T denito da
ker(T) =
_
x X : Tx = 0
_
è un sottospazio chiuso di X.
Osservazione. T è iniettivo se e solo se ker(T) = 0.
Operatori lineari particolarmente interessanti sono le isometrie. Diciamo che
T L(X, Y ) è unisometria se |Tx|
Y
= |x|
X
per ogni x X. Si noti che le
isometrie sono operatori iniettivi (ma non necessariamente suriettivi).
Esercizio 34. Mostrare che se X è uno spazio di Banach, Y uno spazio normato
e T L(X, Y ) è unisometria, allora TX è un sottospazio chiuso di Y .
Unaltra classe di operatori particolarmente signicativa è quella degli operatori
compatti. Discuteremo in dettaglio questi operatori nel prossimo capitolo, quando
avremo introdotto la convegenza debole.
2.2 Iniezioni continue
Assumiamo che lo spazio normato X sia un sottospazio lineare di Y (che potrebbe
anche coincidere, come spazio lineare, con Y ). Loperatore lineare che vogliamo
considerare è loperatore di inclusione o iniezione J : X Y denito da
Jx = x, x X.
Se la mappa J è continua, cioè se esiste M 0 tale che
|x|
Y
M|x|
X
, x X,
diremo che X è incluso con continuit` a in Y , e scriveremo
X Y.
In particolare se x
n
è una successione di elementi di X che converge a x X nella
norma di X, allora converge a x anche nella norma di Y .
Si noti che se X e Y sono lo stesso spazio lineare con due diverse norme, allora
le due norme sono equivalenti se e solo se si ha
X Y e Y X.
Esempio. Con riferimento alla Proposizione 1.12, se () < e s < r ab-
biamo liniezione continua L
r
() L
s
(). Analogamente, abbiamo liniezione
continua
s

r
.
61
Esercizio 35. Siano X = C([a, b]) con la norma del massimo, e Y = C([a, b]) con
la norma integrale. Mostrare che X Y . Mostrare che invece non si ha Y X.
Esercizio 36. Siano X Y , e sia A X. Mostrare che se A è chiuso in Y allora
A è chiuso in X.
2.3 Il Teorema di Baire e le sue conseguenze
Denizione. Sia X uno spazio normato. Un sottoinsieme A di X è detto mai
denso se la sua chiusura A ha interno vuoto, cioè non contiene sottoinsiemi aperti
non vuoti di X. Un insieme di prima categoria (in X) è ununione numerabile di
sottoinsiemi di X mai densi. Tutti gli altri sottoinsiemi di X sono detti di seconda
categoria.
Esempio. Linsieme Q è di prima categoria in R.
Teorema 2.4 (Baire). Ogni spazio di Banach è di seconda categoria (in se).
dimostrazione. Per assurdo, sia X =
n=1
A
n
, con A
n
chiuso mai denso.
Scegliamo x
1
A
C
1
. Allora esiste
1
< 1 tale che B(x
1
,
1
) A
C
1
. Linsieme mai
denso A
2
non può contenere B(x
1
,
1
). Scegliamo x
2
A
C
2
B(x
1
,
1
). Allora
esiste
2
< 1/2 tale che B(x
2
,
2
) A
C
2
B(x
1
,
1
). Procedendo in questo modo,
costruiamo una successione di palle nidicate
B(x
1
,
1
) B(x
2
,
2
) B(x
3
,
3
) ,
ciascuna di raggio
n
< 1/n. La successione x
n
dei centri delle palle è di Cauchy,
e quindi converge a un certo x X. Ora, se x appertenesse a X, per ipotesi
esisterebbe n
0
tale che x A
n
0
. Ma la successione x
n
, per n n
0
appartiene a
B(x
n
0
,
n
0
), che è un insieme chiuso, e quindi il suo limite x appartiene anchesso
a B(x
n
0
,
n
0
). Dato che B(x
n
0
,
n
0
) A
n
0
= , concludiamo che x , A
n
0
. Con-
traddizione.
Osservazione. Dalla dimostrazione si evince che il risultato vale pi` u in generale
se X è uno spazio metrico completo.
Un corollario immediato (in realtà, un enunciato alternativo del Teorema di
Baire) è il seguente.
Corollario 2.5. Sia X uno spazio di Banach. Lintersezione di una collezione
numerabile di aperti densi in X è un insieme denso in X.
In particolare, lintersezione è non vuota. Spesso questa è la conseguenza pi` u
interessante del risultato.
dimostrazione. Sia A
n
una famiglia numerabile di aperti densi in X. Se esi-
ste una palla chiusa B X tale che
n
A
n
B = , passando al complementare,
n
(A
C
n
B) = B, da cui B è di prima categoria in se, in contraddizione con il
Teorema di Baire (B è uno spazio metrico completo).
62
Esercizio 37. Mostrare che R si può scrivere come unione disgiunta R = G F,
dove G è un insieme G
di misura di Lebesgue nulla tale che G Q.

Esercizio 38. Dimostrare che uno spazio di Banach innito dimensionale non può
avere una base di Hamel numerabile.
Veniamo ora a discutere le importanti conseguenze del Teorema di Baire. Nel
seguito del paragrafo, X e Y sono spazi di Banach.
Teorema 2.6 (Banach-Steinhaus o Uniforme Limitatezza). Sia T un sottoinsieme
di L(X, Y ). Assumiamo che per ogni x X esista una costante M
x
0 tale che
sup
TF
|Tx|
Y
M
x
.
Allora esiste una costante M 0 tale che
sup
TF
|T|
L(X,Y )
M.
dimostrazione. Sia
C
n
=
_
x X : |Tx|
Y
n, T T
_
.
Linsieme C
n
è chiuso. Inoltre, X =
nN
C
n
. Sfruttiamo ora il fatto che X
è uno spazio di Banach. Dunque, dal Teorema di Baire, deve esistere n
0
tale
che C
n
0
non abbia interno vuoto. Ovvero, esistono > 0 e x
0
X tali che
C
n
0
B(x
0
, ). Se |z|
X
, segue che z +x
0
B(x
0
, ) C
n
0
, da cui
|Tz|
Y
|T(z +x
0
)|
Y
+|Tx
0
|
Y
2n
0
, T T.
Pertanto, se x ,= 0,
|Tx|
Y
=
1
|x|
X
_
_
_T
_
x
|x|
X
__
_
_
Y
2n
0
|x|
X
, T T.
Chiaramente, tale formula vale anche per x = 0.
Si noti che il Teorema di Uniforme Limitatezza vale anche se Y non è completo.
Al contrario, è essenziale che X lo sia.
Corollario 2.7. Sia T L(X, Y ). Se non esiste alcuna costante M 0 per cui
sia vericata la relazione
sup
TF
|T|
L(X,Y )
M,
allora esiste un insieme G
denso G X tale che

sup
TF
|Tx|
Y
= , x G.
63
dimostrazione. I chiusi C
n
della precedente dimostrazione sono mai densi (in
caso contrario si otterrebbe uniforme limitatezza). Pertanto, i complementari
A
n
= C
C
n
sono aperti densi, e dal Corollario 2.5 lintersezione G =
nN
A
n
è un
G
denso. Notando che

sup
TF
|Tx|
Y
> n, x A
n
,
la tesi segue immediatamente.
Alla luce del Corollario 2.7, possiamo dare la seguente formulazione alternativa
del Teorema di Uniforme Limitatezza.
Teorema 2.8. Dato T L(X, Y ), due sono le possibili situazioni:
- sup
TF
|T|
L(X,Y )
M per qualche M 0; oppure
- esiste un G
denso G tale che sup

TF
|Tx|
Y
= per ogni x G.
Corollario 2.9. Sia T
n
L(X, Y ). Assumiamo che per ogni x X esista il limite
Tx = lim
n
T
n
x. Allora T L(X, Y ).
Esercizio 39. Dimostrare il Corollario 2.9.
Teorema 2.10 (Mappa Aperta). Sia T L(X, Y ) una mappa suriettiva. Allora T
è una mappa aperta (cioè TA è aperto in Y per ogni aperto A in X).
dimostrazione. Conviene utilizzare la seguente notazione: dato un vettore x,
un insieme A e > 0, indichiamo con x + A linsieme dei vettori della forma
x +a, al variare di a in A.
Denotiamo con U e V le palle aperte unitarie in X e Y . Usando la linearità di
T, è suciente dimostrare che esiste > 0 tale che
TU V.
Poiche
nN
nU = X, dalla suriettivit` a di T ricaviamo che
Y = T
_
_
nN
nU
_
=
_
nN
T(nU) =
_
nN
nTU.
Sfruttando il fatto che Y è di seconda categoria, linsieme TU non pu` o avere
interno vuoto. Dunque, esisteranno y Y e > 0 tali che TU y + V .
Essendo T suriettiva, y = Tx per qualche x X, dunque TU Tx + V ,
ovvero,
T(U x) V.
A patto di prendere M > 0 abbastanza grande, U x MU. Quindi, ponendo
= /M, otteniamo nalmente
TU V.
64
Questa è quasi la nostra tesi. Dobbiamo ora rimuovere la chiusura (e lo faremo,
a patto di dimezzare ). Sia y V . Allora esiste x
1
U tale che
|y Tx
1
|
Y

2
.
Poniamo y
1
= y Tx
1
. Notiamo che y
1

2
V . Quindi esiste x
2

1
2
U tale che
|y
1
Tx
2
|
Y

4
.
Poniamo y
2
= y
1
Tx
2
. Procedendo in questo modo, costruiamo due successioni
x
n

1
2
n1
U e y
n

2
n
V tali che
|y
n
Tx
n
|
Y

2
n
.
Si noti che
y
n+1
= y
n
j=1
Tx
j
.
A questo punto, sia
x =
n=1
x
n
.
La serie converge assolutamente, e quindi converge poiche X è di Banach. Inoltre,
|x|
X

n=1
|x
n
|
X
<
n=1
1
2
n1
= 2.
Inne, y = Tx. Infatti,
|y Tx|
Y
= lim
n
_
_
_y
n
j=1
Tx
j
_
_
_
Y
= lim
n
|y
n+1
|
Y
= 0.
Pertanto TU

2
V .
Contrariamente al Teorema di Uniforme Limitatezza, nel Teorema della Mappa
Aperta è fondamentale che entrambi gli spazi X e Y siano di Banach.
Teorema 2.11 (Mappa Inversa). Sia T L(X, Y ) una mappa biettiva. Allora
T
1
L(Y, X).
dimostrazione. Dobbiamo mostrare la continuità di T
1
. Per fare ciò è
suciente far vedere che controimmagini di aperti in X attraverso la mappa T
1
sono aperti in Y . Sia allora A X un insieme aperto. Poiche T è biettiva
(T
1
)
1
(A) = TA,
che è aperto in virt` u del Teorema della Mappa Aperta.
65
Vediamo ora una conseguenza del Teorema della Mappa Inversa.
Corollario 2.12. Sia X uno spazio lineare, e siano | | e | |
due diverse norme

che rendano X uno spazio di Banach tali che
|x|
M|x|, x X.
Allora le due norme sono equivalenti.
dimostrazione. La mappa identità J : (X, | |) (X, | |
) è continua
(e, ovviamente, biettiva). Per il Teorema della Mappa Inversa lapplicazione
J
1
: (X, | |
) (X, | |) è continua, da cui si ricava la disuguaglianza

mancante.
Denizione. Un operatore lineare T : X Y è chiuso se ogni qualvolta x
n
x
in X e Tx
n
y in Y segue che Tx = y.
Se T L(X, Y ), allora T è chiuso. Infatti, se x
n
x la continuità di T implica
che Tx
n
Tx.
24
Il fatto interessante è che vale anche il viceversa.
Teorema 2.13 (Graco Chiuso). Sia T : X Y un operatore lineare chiuso.
Allora T L(X, Y ).
dimostrazione. Deniamo una nuova norma su X nel seguente modo:
|x|
= |x|
X
+|Tx|
Y
.
La norma | |
rende X uno spazio di Banach (si verichi la completezza per

esercizio). Ovviamente,
|x|
X
|x|
X
+|Tx|
Y
= |x|
, x X.
Per il Corollario 2.12, esiste M 1 tale che
|x|
X
+|Tx|
Y
M|x|
X
, x X,
da cui
|Tx|
Y
(M 1)|x|
X
, x X.
Quindi T è continuo.
Osservazione. Il teorema si dice del Graco Chiuso poiche si pu` o riformulare
in modo equivalente dicendo che se il graco di T
((T) =
_
(x, Tx) : x X
_
è un sottoinsieme chiuso di X Y , allora T è un operatore continuo.
24
Si noti che questa proprietà vale anche se T non è lineare, ma solo continuo. Tuttavia, un
operatore non lineare può essere chiuso ma non continuo. Ad esempio, la mappa da R in R denita
da 1/t se t ,= 0 e 0 altrimenti.
66
3 Lo spazio duale
3.1 Denizioni e prime proprietà
Denizione. Sia X uno spazio normato. Un operatore lineare : X R è detto
funzionale (lineare). Lo spazio di Banach L(X, R) è detto spazio duale di X, e viene
indicato con X
. Gli elementi di X
sono i funzionali lineari continui su X.

Dunque un funzionale : X R è continuo se e solo se
sup
x1
[x[ < .
In tal caso
||
X
= sup
x1
[x[.
Esercizio 40. Mostrare che spazi isomor hanno duali isomor.
Se X
, sappiamo che ker() è necessariamente chiuso.

Proposizione 3.1. Sia : X R un funzionale lineare non nullo. Allora X
se e solo se ker() è chiuso se e solo se ker() non è denso in X.

dimostrazione.
`
E ovvio che ker() chiuso implica ker() non denso in X
(altrimenti sarebbe il funzionale nullo). Mostriamo allora che se non è
continuo allora ker() è denso in X.
Sia x X con x = ,= 0, e sia > 0. Vogliamo trovare z B(x, ) tale che
z = 0. Se non è continuo, esiste y B(0, ) tale che y = , con [[ [[.
Per = / (si noti che [[ 1),
(x +y) = + = 0.
Pertanto, il vettore z = x + y appartiene a B(x, ) ker().
Esercizio 41. Sia X = C([0, 1]). Deniamo il funzionale lineare : X R nel
seguente modo:
f =
_
1
0
f(t)dt, f X.
Mostrare che X
. Calcolare quindi ||
X
.
Esercizio 42. Sia X = C
c
(R) (funzioni a supporto compatto) con la norma del
massimo. Deniamo il funzionale lineare : X R nel seguente modo:
f =
_

f(t)dt, f X.
Mostrare che non è continuo. [Suggerimento: vericare che ker() è denso]
67
Esercizio 43. Mostrare che ogni funzionale lineare su R
N
è della forma x x, y),
per qualche y R
N
. Concludere che il duale di R
N
pu` o essere identicato in modo
naturale con R
N
.
Osservazione. Lesercizio ci dice in particolare che tutti i funzionali lineari su
R
N
sono continui. Questa è una peculiarità degli spazi di Banach nito dimen-
sionali. Negli spazi innito dimensionali è infatti sempre possibile (sfruttando
lesistenza della base di Hamel) costruire un funzionale lineare non continuo.
Esercizio 44. Sia X = L
p
(). Fissata g L
q
(), deniamo il funzionale
g
:
X R nel seguente modo:
g
f =
_
fgd, f X.
Mostrare che
g
X
e che |
g
|
X
= |g|
L
q .
25
`
E allora sensato chiedersi se tutti i funzionali di L
p
() siano della forma
g
,
con g L
q
(). La risposta è aermativa se p < . Enunciamo infatti senza
dimostrazione il
Teorema 3.2. Sia p [1, ). Allora tutti e soli i funzionali lineari continui di
L
p
() sono della forma
g
, con g L
q
().
26
Esercizio 45. Dimostrare il Teorema 3.2 per il caso particolare degli
p
.
Possiamo pertanto identicare il duale di L
p
() con L
q
() attraverso la mappa
g
g
. Per quanto riguarda L
(), abbiamo invece il

Teorema 3.3. Il duale di L
() contiene strettamente L
1
() (a meno che la misura
sia concentrata in un numero nito di punti
27
).
3.2 Il Teorema di Hahn-Banach
Enunciamo il risultato fondamentale sui funzionali lineari continui.
Teorema 3.4 (Hahn-Banach). Sia X uno spazio normato, e sia Y X un suo
sottospazio. Dato un funzionale lineare
0
: Y R tale che
[
0
y[ M|y|, y Y,
esiste unestensione X
di
0
tale che ||
X
M.
25
Se p = 1 luguaglianza vale se si assume che ogni insieme di misura innita contenga un
sottoinsieme misurabile di misura nita strettamente positiva.
26
Se p = 1 si deve supporre inoltre che la misura sia -nita.
27
Nel qual caso L
1
() e L
() coincidono con R
N
in norma-1 e norma-, rispettivamente.
68
Si noti che il sottospazio Y pu` o non essere chiuso. La dimostrazione si basa sul
celebre Lemma di Zorn
28
, che richiamiamo per convenienza del lettore.
Lemma 3.5 (Zorn). Ogni insieme non vuoto parzialmente ordinato in cui ogni
catena abbia estremo superiore ha un elemento massimale.
Ricordiamo che un insieme parzialmente ordinato è un insieme su cui è denita
una relazione di ordine parziale. Una catena è un sottoinsieme totalmente ordinato.
Procediamo quindi alla dimostrazione del Teorema di Hahn-Banach.
dimostrazione. Sia x , Y . Mostriamo che è possibile estendere
0
a un
funzionale di norma minore o uguale a M denito sul sottospazio di X
Z =
_
y +x : y Y, R
_
.
Deniamo (y + x) =
0
y + , con R. Dobbiamo sincerarci per` o che
esista R (non necessariamente unico) tale che
[(y + x)[ = [
0
y +[ M|y +x|
X
, y Y, R.
Dividendo entrambi i membri per ,= 0, il cercato deve vericare la relazione
0
y M|y + x|
X

0
y +M|y +x|
X
, y Y,
che è certamente soddisfatta se
0
w M|w +x|
X

0
y + M|y +x|
X
, y, w Y,
Ma questultima disuguaglianza si pu` o riscrivere come
0
(y w) M|y +x|
X
+M|w + x|
X
,
ed è immediato vericare che
0
(y w) [
0
(y w)[ M|y w|
X
M|y +x|
X
+ M|w +x|
X
.
Sia ora o la collezione delle coppie ordinate (, Z), dove Z è un sottospazio di
X che contiene Y , e è un funzionale lineare su Z di norma minore o uguale a
M che coincide con
0
se ristretto a Y . Deniamo su o una relazione di ordine
parziale dichiarando (
, Z
) (
, Z
) se Z
[
Z
=
. Linsieme o
è non vuoto. Inoltre, se o
è una catena, allora deniamo Z
Z, al variare
degli Z tali che (, Z) o
. Si verica facilmente che Z
è un sottospazio,
sul quale possiamo denire il funzionale
nel seguente modo: se x Z
,
allora x Z con (, Z) o
, e poniamo quindi
x = x. Evidentemente,
(
, Z
) è lestremo superiore della catena o
. Siamo dunque nella posizione di

poter applicare il Lemma di Zorn, che ci garantisce lesistenza di un elemento
massimale (, Z) per linsieme o. Concludiamo la dimostrazione mostrando che
Z = X (e dunque è lestensione cercata). Se cos` non fosse, sfruttando il passo
precedente, potremmo estendere il funzionale su un sottospazio contenente Z
propriamente, contraddicendo la massimalit` a di (, Z).
28
Il Lemma di Zorn è una formulazione equivalente dellAssioma della Scelta.
69
Osservazione. Se Y = X, la tesi del Teorema di Hahn-Banach si ottiene con
un argomento diretto (Teorema di Estensione Limitata). Inoltre, in questo caso
lestensione è unica.
Esempio. Mostriamo un esempio di applicazione del Teorema di Hahn-Banach.
Sappiamo che il duale di L
([0, 1]) contiene strettamente L

1
([0, 1]). Esibiamo
allora un elemento di L
([0, 1])
non della forma

g
, con g L
1
([0, 1]). Sia Y il
sottospazio di L
([0, 1]) delle funzioni continue. Deniamo

f = f(0), f Y.
`
E immediato vericare che è continuo su Y , e che non esiste g L
1
([0, 1]) tale
che f =
g
f per ogni f Y . Si estenda inne su tutto X.
Veniamo alle importantissime conseguenze del Teorema di Hahn-Banach.
Corollario 3.6. Dato x X, esiste
x
X
con |
x
|
X
= 1 tale che
x
x = |x|
X
.
dimostrazione. Sia Y =
_
x : R
_
X. Poniamo
0
(x) = |x|
X
, ed
estendiamo
0
su X.
In particolare, X
separa i punti di X (quindi, X
è uno spazio abbastanza

ricco, e dunque di una certa utilit` a). Vale cioè il
Corollario 3.7. Se x, z X e x = z per ogni X
, allora x = z.
Osservazione. Usando la linearit` a di , un enunciato equivalente è il seguente:
se x X e x = 0 per ogni X
, allora x = 0.
Corollario 3.8. Se Y è un sottospazio chiuso proprio di X e x , Y , allora esiste
X
tale che x ,= 0 ma [
Y
= 0.
dimostrazione. Sia x , Y . Deniamo Z =
_
x + y : y Y, R
_
X, e
il funzionale
0
(x + y) = . Poiche ker(
0
) = Y , e Y è chiuso,
0
è continuo
su Z. Estendiamo allora
0
su tutto X.
Esercizio 46. Sia x X e sia x = 0 per ogni Y con Y denso in X
.
Dimostrare che x = 0.
3.3 Riessività
Sia X uno spazio di Banach. Il suo duale X
possiede a sua volta uno spazio duale.

Tale spazio (dei funzionali lineari continui su X
) è detto biduale di X, e indicato

con X
. Esiste unimmersione naturale dello spazio X in X
attraverso la mappa
canonica cos` denita:
(x) = F
x
,
70
dove F
x
è lelemento di X
che agisce su X
nel seguente modo:

F
x
= x, X
.
La mappa è un isomorsmo isometrico da X a (X) X
. Infatti
|F
x
|
X
= sup
X
=1
[F
x
[ = sup
X
=1
[x[ |x|
X
.
Daltro canto, per il Corollario 3.6, esiste un elemento X
di norma unitaria
tale che
[x[ = |x|
X
.
Concludiamo quindi che (X) è un sottospazio chiuso di X
.
Denizione. Uno spazio di Banach X è riessivo se la mappa canonica : X X
è suriettiva.
In tal caso, X pu` o essere identicato con il suo biduale X
.
`
E importante
ricordare che uno spazio è riessivo se è isometricamente isomorfo al suo biduale
attraverso la mappa , e non attraverso una qualsiasi altra mappa.
29
Proposizione 3.9. X è riessivo se e solo se X
è riessivo.
dimostrazione.
`
E facile mostrare che un isomorsmo tra spazi di Banach
preserva la riessivit` a. Dunque, se X è riessivo lo stesso vale per X
. La sola
cosa da provare è allora limplicazione
X
riessivo = X riessivo.
Sia X
riessivo. Se X non lo è, (X) è un sottospazio chiuso proprio di X
. Dal
Corollario 3.8, esiste X
, ,= 0, tale che F
x
= 0 per tutti gli F
x
(X).
Usando la riessivit` a di X
, =
, per qualche X
. Pertanto,
0 =
F
x
= F
x
= x, x X.
Concludiamo che = 0, e, conseguentemente, = 0. Contraddizione.
Proposizione 3.10. Un sottospazio chiuso Y di uno spazio di Banach X riessivo
è riessivo.
dimostrazione. Associamo a F
0
Y
un elemento F X
nel seguente
modo:
F = F
0
[
Y
, X
.
Dato che X è riessivo, esiste x X tale che F = x per ogni X
.
Pertanto,
F
0
[
Y
= x, X
.
29
Esiste un controesempio dovuto a James di uno spazio di Banach non riessivo isometricamente
isomorfo al suo biduale.
71
Ma Y è chiuso, e luguaglianza di cui sopra ci dice che x = 0 per ogni X
tale che [
Y
= 0, implicando cos` x Y . Sia ora
0
Y
. Estendiamo
0
a
X
. Allora,
F
0
0
= F
0
[
Y
= F = x =
0
x.
Concludiamo che F
0
(Y ), ovvero, : Y Y
è suriettiva.
Esaminiamo alcune questioni di separabilit` a.
Proposizione 3.11. Se X
è separabile, allora X è separabile. Viceversa, se X è

separabile e riessivo, allora X
è separabile.
dimostrazione. Ragionando come nella dimostrazione della Proposizione 3.9,
dobbiamo solo dimostrare che se X
è separabile, allora X è separabile. Sia

dunque
n
una successione densa in X
. Per ogni n N, esiste allora x

n
X
di norma unitaria tale che
[
n
x
n
[
1
2
|
n
|
X
.
Consideriamo quindi linsieme (numerabile) F formato dalle combinazioni lineari
degli x
n
a coecienti razionali. La chiusura Y di F è un sottospazio di X. Il
nostro scopo è mostrare che Y = X. Per assurdo, non sia cos`. Allora esiste
X
non nullo tale che [

Y
= 0. Fissato > 0, selezioniamo un elemento
n
0
tale che
|
n
0
|
X
< .
In tal caso, ricordando che x
n
0
= 0,
1
2
|
n
0
|
X
[
n
0
x
n
0
[ [
n
0
x
n
0
x
n
0
[ |
n
0
|
X
|x
n
0
|
X
.
Ma allora,
||
X
|
n
0
|
X
+|
n
0
|
X
3,
e dallarbitrarietà di concludiamo che = 0.
Concludiamo il paragrafo discutendo la riessività degli spazi L
p
(). Ricordando
il Teorema 3.2 e il Teorema 3.3, ricaviamo immediatamente il
Teorema 3.12. Se p (1, ), allora L
p
() è riessivo. Non sono invece riessivi
(tranne in casi banali) gli spazi L
1
() e L
().
Osservazione. La non riessivit` a di L
1
() (e quindi anche L
()) pu` o essere

dedotta anche dalla proposizione precedente.
72
3.4 Convergenza debole
Denizione. Sia X uno spazio di Banach e siano x
n
, x X. Diciamo che x
n
converge debolmente a x (e scriviamo x
n
w
x) se
x
n
x, X
.
La convergenza in norma (detta anche convergenza forte) implica quella debole,
poiche
[(x
n
x)[ ||
X
|x
n
x|
X
.
Il viceversa è in generale falso.
Esercizio 47. Mostrare che il limite debole di una successione x
n
X, se esiste,
è unico.
Osservazione. Sebbene in questa sede ci siamo limitati a considerare la
convergenza debole di successioni, un discorso pi` u approfondito richiederebbe
lintroduzione della topologia debole. In particolare, la topologia debole è sempre
pi` u debole della topologia della norma quando lo spazio è innito dimensionale.
Ci` o per` o non signica che in uno spazio innito dimensionale sia sempre vero che
la convergenza debole non implichi la convergenza forte.
30
Un esempio interes-
santissimo è il caso dello spazio (innito dimensionale)
1
, dove si ha che x
n
x
se e solo se x
n
w
x.
31
Proposizione 3.13. Se x
n
w
x allora x
n
è una successione limitata.
dimostrazione. Se x
n
w
x, allora x
n
è limitato per ogni X
. Conside-
riamo la famiglia di mappe F
n
X
denite da
F
n
= x
n
.
Per ogni ssato, esiste M
0 tale che
sup
nN
[F
n
[ M
.
Dal Teorema di Uniforme Limitatezza, ricaviamo lesistenza di M 0 tale che
sup
nN
[F
n
[ M||
X
.
Ma per ogni x X, esiste
x
X

x
x = |x|
X
.
Quindi, per ogni n N,
|x
n
|
X
= [
xn
x
n
[ = [F
n
xn
[ M|
xn
|
X
= M,
come volevasi dimostrare.
30
Il problema è che noi ci limitiamo a considerare successioni, mentre la topologia debole, che
non è metrizzabile, non può essere completamente descritta dalle sole successioni.
31
Risultato dovuto a Schur.
73
Osservazione. Se x
n
w
x allora
|x|
X
liminf
n
|x
n
|
X
.
Infatti, sia
x
X

x
x = |x|
X
. Allora,
|x|
X
=
x
x = lim
n
x
x
n
= lim
n
[
x
x
n
[ liminf
n
|
x
|
X
|x
n
|
X
= liminf
n
|x
n
|
X
.
Come vedremo, ci sono esempi in cui vale eettivamente il minore stretto.
n
, x X e
n
, X
. Dimostrare che le convergenze

x
n
w
x e
n
implicano la convergenza numerica
n
x
n
x.
Esercizio 49. Assumiamo che x
n
converga per ogni X
. Ci` o non implica,

in generale, lesistenza di x tale che x
n
w
x. Si dimostri che se X è riessivo questo
fatto è invece vero.
3.5 Convergenza debole-
Denizione. Sia X uno spazio di Banach. Una successione
n
X
converge
debolmente- a (e scriviamo
n
w
) se
n
x x per ogni x X.
Si osservi che la convergenza debole- è una convergenza denita sul duale di
uno spazio di Banach. Si tratta sostanzialmente della convergenza debole su X
, ma
testata non su tutti gli elementi di X
, bens` sui soli elementi di (X). Ne consegue

che
n
w
=
n
w
.
Se X è riessivo (e dunque (X) = X
), allora convergenza debole e debole-

coincidono su X
.
Esercizio 50. Come nella situazione precedente, mostrare che il limite debole- è
unico e le successioni debolmente- convergenti sono limitate.
n
, x X e
n
, X
. Dimostrare che le convergenze

x
n
x e
n
w
implicano la convergenza numerica

n
x
n
x.
Teorema 3.14 (Banach-Alaoglu). Sia X uno spazio di Banach separabile. Allora
ogni successione limitata in X
ammette una sottosuccessione debolmente- conver-

gente.
dimostrazione. Sia
n
una successione limitata in X
, e sia
M = sup
nN
|
n
|
X
.
Inne, sia x
k
una successione densa in X. La successione
n
x
1
è limitata in
R, e dunque ammette una sottosuccessione convergente
n
j
x
1
. Ripetendo il ra-
gionamento con
n
j
x
2
, troviamo una sotto-sottosuccessione
n
j
i
x
2
convergente.
74
Iterando la procedura, e usando lo stesso procedimento di estrazione diagonale
gi` a visto nella dimostrazione del Teorema di Ascoli-Arzel` a, troviamo una sotto-
successione
nm
di
n
tale che
nm
x
k
converge in R per ogni k N. Preso ora
un generico x X, mostriamo che esiste il limite
x = lim
m
nm
x.
Invero, ssato > 0 arbitrario, esiste k N tale che
|x x
k
|

2M
.
Pertanto,
[
n
i
x
n
j
x[ [
n
i
x
n
i
x
k
[ +[
n
i
x
k

n
j
x
k
[ +[
n
j
x
k

n
j
x[
[
n
i
x
k

n
j
x
k
[ + 2M|x x
k
|
[
n
i
x
k

n
j
x
k
[ + .
Facendo il limite i, j , e sfruttando larbitrariet` a di , concludiamo che la
successione
nm
x è di Cauchy, e pertanto converge. Ci resta solo da mostrare
che X
: la linearità di è ovvia, inoltre, per ogni x X,

[x[ = lim
m
[
nm
x[ limsup
m
|
nm
|
X
|x| M|x|.
In alternativa, si poteva utilizzare il Corollario 2.9.
Ad esempio, consideriamo L
() = (L
1
())
. Sia f
n
L
() una successione
limitata. Allora per il Teorema di Banach-Alaoglu esiste f
n
k
w
f, per qualche
f L
(). Ci` o signica che

_
f
n
k
gd
_
fgd, g L
1
().
Il risultato è, in generale, falso se si omette la separabilità di X.
Esempio. Sia X =
, e si consideri la successione
n
X
data da
n
x = x
n
, x = (x
1
, x
2
, . . .) X.
La successione
n
è chiaramente limitata in X
, ma non ammette sottosucces-

sioni debolmente- convergenti.
Osservazione. Se X è riessivo, si può identicare X con X
, cosicche la
convergenza debole in X coincide con la convergenza debole- in X
(con abuso
di linguaggio, si dice che la convergenza debole e debole- coincidono su X).
Vale quindi il
Teorema 3.15. Se X è riessivo, ogni successione limitata in X ammette una
sottosuccessione debolmente convergente.
75
dimostrazione. Per semplicità, assumiamo X separabile (ma si noti che il
risultato vale anche nellipotesi X non separabile). Dunque X
è separabile.
Sia allora x
n
una successione limitata in X. Dato che x
n
pu` o essere pensata
(usando la mappa canonica ) come una successione limitata in in X
, esiste
una sottosuccessione x
n
k
convergente a x debolmente- in X
, vale a dire, x
n
k
converge a x debolmente in X.
Osservazione. Limplicazione inversa, nota in letteratura come Teorema di
Eberlein-Shmulyan, è anchessa vera. Di fatto, questa è una caratterizzazione
degli spazi riessivi. Precisamente: uno spazio di Banach X è riessivo se e
solo se ogni successione limitata in X ammette una sottosuccessione debolmente
convergente.
Esercizio 52. Sia X riessivo. Dato X
dimostrare che esiste x X di norma

unitaria che realizza la norma di , cioè tale che ||
X
= x.
32
Esercizio 53. Ripetendo la costruzione della dimostrazione del Corollario 3.8,
dimostrare il Lemma di Riesz di quasi ortogonalità: dato un sottospazio chiuso
proprio Y di uno spazio normato X, e ssato > 0, esiste un vettore x X di
norma unitaria tale che
dist(x, Y ) = inf
yY
|x y| 1 .
Se X è uno spazio di Banach riessivo, lo stesso risultato vale con = 0.
Esercizio 54. Siano X, Y spazi di Banach, e sia X Y .
(i) Mostrare che se x
n
w
x in X, allora x
n
w
x in Y .
(ii) Sia X riessivo. Mostrare che se x
n
è una successione limitata in X tale che
x
n
w
x in Y , allora x X e x
n
w
x in X.
(iii) Sia X riessivo. Mostrare che la palla chiusa unitaria di X è chiusa in Y .
3.6 Operatori compatti
Siano X, Y spazi di Banach, con X riessivo.
Denizione. Un operatore lineare K : X Y è compatto se limmagine di un
insieme limitato B X attraverso K è relativamente compatta in Y , ovvero, se KB
è compatto in Y . In particolare, ci` o implica che se x
n
è una successione limitata in
X, allora Kx
n
ammette una sottosuccessione (fortemente) convergente in Y .
Proposizione 3.16. Se K : X Y è un operatore lineare compatto, allora K
L(X, Y ).
32
Viceversa, uno spazio di Banach in cui la norma di ogni elemento del duale è realizzata è
riessivo (Teorema di James).
76
dimostrazione. Poiche la palla unitaria B di X è un limitato, KB è relati-
vamente compatto in Y , e di conseguenza limitato. Quindi
sup
x
X
1
|Kx|
Y
M,
da cui la continuità di K.
Osservazione Esempi particolari di operatori compatti sono gli operatori di
rango nito, cioè gli operatori limitati il cui rango è un sottospazio nito dimen-
sionale. Esistono tuttavia operatori compatti che non sono di rango nito.
Denizione. Indichiamo con /(X, Y ) L(X, Y ) la classe degli operatori compatti
da X a Y . Si noti che /(X, Y ) è uno spazio lineare.
Proposizione 3.17. Sia K L(X, Y ). Allora K /(X, Y ) se e solo se x
n
w
x
implica che Kx
n
Kx.
dimostrazione. Sia K /(X, Y ), e sia x
n
w
x. Valgono i seguenti due fatti:
- Kx
n
w
Kx (se Y
, allora K X
);
- ogni sottosuccessione di Kx
n
ha punti limite (poiche x
n
è limitata in X).
Ma se Kx
n
k
y per una sottosuccessione x
n
k
, allora y = Kx, forzando la con-
vergenza a Kx dellintera successione. Osserviamo che per questa implicazione
non abbiamo utilizzato la riessivit` a di X.
Viceversa, sia B X un insieme limitato, e sia y
n
una successione di elementi
di KB. Allora esiste x
n
B tale che Kx
n
= y
n
. Usando la riessività di X, la
successione x
n
ammette una sottosuccessione x
n
k
debolmente convergente ad un
certo x X. Ma allora y
n
k
= Kx
n
k
Kx fortemente, da cui segue che KB è
relativamente compatto.
Corollario 3.18. /(X, Y ) è uno spazio di Banach nella norma indotta da L(X, Y ).
dimostrazione. Basta mostrare che /(X, Y ) è un sottospazio chiuso di
L(X, Y ). Sia K
n
/(X, Y ) una successione convergente a K in L(X, Y ).
Dobbiamo far vedere che K /(X, Y ). Sia dunque x
j
w
x. In particolare,
|x
j
|
X
M. Otteniamo quindi
|Kx
j
Kx|
Y
|Kx
j
K
n
x
j
|
Y
+|K
n
x
j
K
n
x|
Y
+|K
n
x Kx|
Y
2M|K K
n
|
L(X,Y )
+|K
n
x
j
K
n
x|
Y
.
Fissiamo > 0, e scegliamo n tale che 2M|K K
n
|
L(X,Y )
< /2. Poiche K
n
è
compatto, per j sucientemente grande |K
n
x
j
K
n
x|
Y
< /2. Concludiamo
che
limsup
j
|Kx
j
Kx|
Y
< .
77
Osservazione Il corollario appena visto ci garantisce che il limite in norma di
una successione di operatori di rango nito è un operatore compatto.
Esercizio 55. Sia k(t, s) L
2
([0, 1] [0, 1]). Consideriamo loperatore lineare,
T
k
: L
2
([0, 1]) L
2
([0, 1]), detto operatore integrale di nucleo k, denito da
(T
k
f)(t) =
_
1
0
k(t, s)f(s)ds.
Mostrare che T
k
è limitato e che
|T
k
|
L(L
2
([0,1]))
|k|
L
2
([0,1][0,1])
.
Mostrare quindi che T
k
è compatto.
33
3.7 Sulle diverse convergenze negli spazi L
p
()
Terminiamo il capitolo analizzando le relazioni che intercorrono tra alcuni tipi di
convergenza delle successioni di funzioni negli spazi L
p
(). In questo paragrafo,
è, per semplicità, un sottoinsieme misurabile di R (o di R
N
) di misura di Lebesgue
positiva. Tutte le funzioni di cui parleremo saranno denite (quasi ovunque) su a
valori reali.
Innanzitutto, dimostriamo un risultato di unicit` a del limite debole e puntuale
quasi ovunque.
Proposizione 3.19. Se f
n
w
f in L
p
() e f
n
g puntualmente quasi ovunque,
allora f = g.
dimostrazione. Supponiamo per assurdo che il risultato sia falso. Allora
esister` a
0
di misura nita positiva tale che g è limitata su
0
, e f(t) ,= g(t)
per t
0
. Applicando il Teorema di Egoro, esiste un secondo insieme
1

0
,
sempre di misura positiva, tale che f
n
g uniformemente su
1
(in altre parole,
f
n
g in L
(
1
)). Usando liniezione continua L
(
1
) L
p
(
1
), concludiamo
che f
n
g in L
p
(
1
), e quindi f
n
w
g in L
p
(
1
).
`
E facile vericare che anche
f
n
w
f in L
p
(
1
). Pertanto, per lunicit` a del limite debole, f e g devono
coincidere su
1
, contro lipotesi.
Una conseguenza quasi immediata è una forma debole del Teorema della Con-
vergenza Dominata (risultato, questo, di fondamentale importanza nello studio delle
equazioni non lineari alle derivate parziali).
Teorema 3.20. Sia p (1, ). Assumiamo che f
n
f puntualmente quasi
ovunque e |f
n
|
L
p M. Allora f
n
w
f in L
p
().
33
Gli operatori integrali di nucleo a quadrato sommabile, altrimenti noti come operatori di
Hilbert-Schmidt, formano un sottoinsieme denso nello spazio di Banach degli operatori compatti.
78
dimostrazione. Dalla riessivit` a, sappiamo che esiste una sottosuccessione
f
n
k
ed una funzione g L
p
() tali che f
n
k
w
g. Ma la proposizione precedente ci
dice che g = f. Daltro canto, ogni sottosuccessione debolmente convergente di
f
n
deve avere f come suo limite debole.
`
E facile allora mostrare che ciò implica
la convergenza debole a f dellintera successione f
n
.
Gli spazi L
p
() con p (1, ) (cos` come gli spazi di Hilbert, che vedremo pi` u
avanti) esibiscono uninteressante proprietà,
34
che enunciamo senza dimostrazione.
Proposizione 3.21. Sia p (1, ). Se f
n
w
f in L
p
() e |f
n
|
L
p |f|
L
p, allora
f
n
f in L
p
().
Osservazione. Lo stesso risultato è invece falso in L
1
(). Un esempio in tal
senso è dato dalla successione di funzioni f
n
(t) = 1+sin nt L
1
([0, 2]). Infatti,
per ogni n N,
|f
n
|
L
1 =
_
2
0
(1 + sin nt)dt = 2,
e, come dimostreremo in seguito, sin nt
w
0, da cui f
n
w
1.
Unendo il Teorema 3.20 e la Proposizione 3.21 otteniamo il
Corollario 3.22. Sia p (1, ). Assumiamo che f
n
f puntualmente quasi
ovunque e |f
n
|
L
p |f|
L
p. Allora f
n
f in L
p
().
Osservazione. Questo risultato è vero anche in L
1
(). Ovviamente, si deve
procedere con una diversa dimostrazione.
Concludiamo il paragrafo con alcune osservazioni sulla convergenza debole. Si
è già accennato che la successione sin nt (e analogamente cos nt) converge debol-
mente a 0 in L
2
([0, 2]). Tuttavia è immediato vericare che sin nt non ammette
alcuna sottosuccessione convergente a 0 puntualmente quasi ovunque. Analizziamo
unulteriore situazione. La successione di funzioni
f
n
(t) = sin nt + cos nt
converge debolmente a 0, ma la successione f
2
n
converge debolmente a 1 in L
2
([0, 2]).
Questi esempi ci mostrano che, in generale, la convergenza debole non d` a infor-
mazioni di alcun tipo riguardo alla convegenza puntuale.
34
La proprietà discussa è soddisfatta da tutti gli spazi di Banach uniformemente convessi. Gli
spazi L
p
(), con p (1, ), sono infatti spazi uniformemente convessi (Teorema di Clarkson).
Ricordiamo che uniformemente convesso signica che per ogni x
n
e y
n
con |x
n
| 1 e |y
n
| 1,
la convergenza |x
n
+y
n
| 2 implica che |x
n
y
n
| 0.
III. Spazi di Hilbert
1 Geometria degli spazi di Hilbert
1.1 Spazi con prodotto interno
Sia H uno spazio lineare su R. Un prodotto interno o prodotto scalare in H è una
forma bilineare, simmetrica e denita positiva da H H in R, cioè una funzione
, ) : H H R
che soddisfa le condizioni
(i) x +y, z) = x, z) +y, z) R, x, y, z H (linearit` a);
(ii) x, y) = y, x) x, y H (simmetria);
(iii) x, x) 0 x H (positivit` a);
(iv) x, x) = 0 x = 0 (annullamento).
Unendo (i) e (ii) ricaviamo la linearità anche nella seconda variabile. Dunque la
forma è bilineare (lineare in entrambi gli argomenti). In particolare,
x, 0) = 0, x H.
Osservazione. Analogamente, se H è uno spazio lineare sul campo C, si
denisce il prodotto interno rimpiazzando la condizione (ii) con
(ii)
x, y) = y, x) x, y H .
In tal caso, la forma , ) : H H C è detta sesquilineare. Si noti che vale la
relazione x, y) = x, y).
Denizione. Due vettori x, y H si dicono ortogonali se
x, y) = 0.
Spesso si usa la notazione x y. Un insieme A H si dice ortogonale se x, y) = 0
per ogni x, y A, con x ,= y. Se in aggiunta ogni vettore x A è tale che x, x) = 1,
linsieme si dice ortonormale.
79
80
Denizione. Uno spazio lineare H su R dotato di un prodotto interno , ) è detto
spazio con prodotto interno.
Esempio. R
N
è uno spazio con prodotto interno, denendo
x, y) =
N
j=1
x
j
y
j
,
dove x = (x
1
, . . . , x
N
), y = (y
1
, . . . , y
N
). Si noti che la relazione di ortogonalit` a
tra due vettori è quella usuale della geometria euclidea.
Esercizio 1. Si dimostri che C([0, 1]) è uno spazio con prodotto interno ponendo
f, g) =
_
1
0
f(t)g(t)dt.
Introduciamo ora la funzione a valori in [0, ) denita da
|x| =
_
x, x), x H.
Abbiamo volutamente utilizzato il simbolo di norma poiche dimostreremo che si
tratta eettivamente di una norma.
`
E immediato vericare che valgono le proprietà
di omogeneit` a e annullamento. Per dimostrare la disuguaglianza triangolare ci oc-
corre il seguente
Teorema 1.1 (Disuguaglianza di Cauchy-Schwarz). Dato uno spazio con prodotto
interno H, vale la disuguaglianza
[x, y)[ |x||y|, x, y H.
dimostrazione. Se x = 0 o y = 0 la tesi è ovvia. Siano dunque entrambi
diversi da zero. Per ogni t > 0, si ha che
0 |x ty|
2
= |x|
2
+t
2
|y|
2
2tx, y),
da cui
x, y)
1
2t
|x|
2
+
t
2
|y|
2
.
Ponendo allora t = |x|/|y|, si ricava
x, y) |x||y|.
Ripetendo il ragionamento con x al posto di x si ha anche
x, y) |x||y|.
che, unita alla precedente disuguaglianza, d` a la tesi.
81
Esercizio 2. Si verichi che la funzione x |x| soddisfa la proprietà triangolare
della norma.
Concludiamo quindi che la funzione x |x| denisce una norma su H. Di con-
seguenza, uno spazio con prodotto interno è in particolare uno spazio normato, con
la norma indotta dal prodotto interno. Osserviamo che due vettori x e y soddisfano
la relazione
|x +y|
2
= |x|
2
+|y|
2
se e solo se sono ortogonali.
35
Esercizio 3. Sia
n=1
x
n
una serie convergente in H tale che x
n
sia un insieme
ortogonale. Dimostrare luguaglianza
_
_
_
n=1
x
n
_
_
_
2
=
n=1
|x
n
|
2
.
Esercizio 4. Utilizzando la disuguaglianza di Cauchy-Schwarz, dimostrare che
lapplicazione (x, y) x, y) è continua in entrambi gli argomenti. Ovvero, se
x
n
x e y
n
y, allora x
n
, y
n
) x, y).
1.2 Completezza: spazi di Hilbert
Denizione. Uno spazio con prodotto interno è detto spazio di Hilbert quando è
completo (nella norma indotta dal prodotto interno). Uno spazio di Hilbert è in
particolare uno spazio di Banach.
Esempio. R
N
è uno spazio di Hilbert con il prodotto interno denito nel prece-
dente esempio. La norma indotta dal prodotto interno è la norma-2 euclidea.
Viceversa, non è sempre vero che uno spazio di Banach sia anche di Hilbert.
Infatti, si verica immediatamente che la norma in uno spazio di Hilbert deve sod-
disfare la regola del parallelogramma,
36
ovvero
|x +y|
2
+|x y|
2
= 2|x|
2
+ 2|y|
2
, x, y H.
La condizione è anche suciente.
Proposizione 1.2. Sia H uno spazio di Banach. Se la norma di H soddisfa la
regola del parallelogramma, allora H è uno spazio di Hilbert con il prodotto interno
x, y) =
1
2
_
|x + y|
2
|x|
2
|y|
2
_
.
Si noti che il prodotto interno induce la norma di partenza.
35
In R
2
questo è il Teorema di Pitagora.
36
Interpretando le norme come lunghezze dei vettori, la regola del parallelogramma ci dice che
la somma dei quadrati delle diagonali di un parallelogramma è uguale alla somma dei quadrati dei
suoi lati, una proposizione familiare della geometria piana.
82
Esercizio 5. Dimostrare la Proposizione 1.2.
Esercizio 6. Vericare che C([0, 1]) con la norma del massimo non è uno spazio
di Hilbert.
1.3 Proiezioni ortogonali
Nel seguito, sia H uno spazio di Hilbert. Sia V un sottoinsieme di H. Il complemento
ortogonale di V , indicato con V
, è denito come
V
=
_
x H : x, v) = 0, v V
_
.
Evidentemente, H
= 0 e 0
= H.
Proposizione 1.3. Se V H, allora V
è un sottospazio chiuso di H.
dimostrazione.
`
E immediato mostrare che V
sia un sottospazio. Sia dunque

x
n
V
, x
n
x H. Se v V , abbiamo
x, v) = lim
n
x
n
, v) = 0,
da cui x V
.
Esercizio 7. Sia V H, e sia

V è il sottospazio chiuso generato da V , cioè il
sottospazio formato da combinazioni lineari di vettori di V e dai loro punti limite.
Mostrare che

V
= V
. In particolare, se V
= 0 segue che

V = H.
Teorema 1.4. Sia V un sottospazio chiuso di H, e sia x H. Allora esiste un
unico v
V tale che
37
dist(x, V ) = inf
vV
|x v| = |x v
|.
dimostrazione. Sia v
n
V tale che
lim
n
|x v
n
| = d = inf
vV
|x v|.
Mostriamo che v
n
è di Chauchy. Fissiamo dunque m > n, e notiamo che
v
m
+ v
n
2
V.
Pertanto,
_
_
_x
v
m
+ v
n
2
_
_
_ d = |2x (v
m
+v
n
)| 2d.
37
Il risultato vale anche se V è un sottoinsieme convesso, chiuso e non vuoto di H.
83
Usando la regola del parallelogramma, abbiamo
|v
m
v
n
|
2
= |v
m
x +x v
n
|
2
= 2
_
|v
m
x|
2
+|v
n
x|
2
_
|2x (v
m
+v
n
)|
2
2
_
|v
m
x|
2
+|v
n
x|
2
_
4d
2
,
da cui
lim
n,m
|v
m
v
n
| = 0.
Quindi la successione v
n
converge a v
V . Ne consegue che
|x v
| = lim
n
|x v
n
| = d.
Inne, se v
V è tale che |xv
| = d, utilizzando come in precedenza la regola

del parallelogramma si vede subito che |v
| = 0, da cui v
= v
.
Denizione. Siano V e W due sottospazi di H ortogonali tra loro, cioè tali che
v w per ogni v V e per ogni w W. La somma ortogonale di V e W è il
sottospazio di H
V W =
_
v +w : v V, w W
_
.
Osservazione.
`
E immediato vericare che un vettore x V W ammette
ununica decomposizione della forma v + w. Se infatti v + w = v
+ w
, allora
v v
= w w
, e poiche V W = 0 ricaviamo che v = v
e w = w
.
Teorema 1.5 (della Proiezione). Sia V un sottospazio chiuso di H. Allora
H = V V
.
dimostrazione. Sia x H. Dal teorema precedente, esiste un unico v V
tale che
dist(x, V ) = |x v|.
Poniamo allora w = x v. Dobbiamo mostrare che w V
. Sia dunque u V
ssato. Scegliamo ,= 0 in modo tale che w, u) 0. Risulta
|w|
2
|x (v +u)|
2
= |w u|
2
= |w|
2
+[[
2
|u|
2
2w, u).
Dividendo il tutto per [[, otteniamo la disuguaglianza
[w, u)[
[[
2
|u|
2
,
la quale, operando il limite [[ 0, implica che w, u) = 0.
84
Osservazione. Il vettore v della decomposizione viene talvolta indicato con
P
V
x, ed è chiamato la proiezione di x sul sottospazio V . Come abbiamo visto,
P
V
x è il punto che realizza la minima distanza di x da V .
Esercizio 8. Dimostrare che la mappa P
V
: H V denisce un operatore lineare
limitato.
Esercizio 9. Sia V H un sottospazio chiuso. Mostrare che (V
= V .
1.4 Il duale di uno spazio di Hilbert
Ci proponiamo di caratterizzare il duale H
di uno spazio di Hilbert H. Fissiamo

un generico y H, e consideriamo il funzionale lineare
y
: H R denito da
y
x = x, y).
Dalla disuguaglianza di Cauchy-Schwarz,
sup
x1
[
y
x[ = sup
x1
[x, y)[ sup
x1
|x||y| = |y|.
Inoltre, se y ,= 0, scegliendo x = y/|y|, si ha che
y
x = x, y) = |y|.
Dunque, ogni funzionale della forma
y
è un elemento di H
, e soddisfa la relazione
|
y
|
H
= |y|.
Il risultato seguente dimostra che tutti i funzionali lineari continui su H sono
della forma
y
.
Teorema 1.6 (di Rappresentazione di Riesz). H
se e solo se esiste un unico

y H tale che =
y
.
dimostrazione. Mostriamo che se H
allora =
y
per un certo y H.
Se è il funzionale nullo allora y = 0. Supponiamo quindi che non sia
identicamente nullo. Poiche è continuo, ker() è un sottospazio chiuso, e per
il Teorema 1.5, ker()
non si riduce a 0. Sia dunque z ker()
con |z| = 1.
Per ogni x H abbiamo che
x
x
z
z ker().
Pertanto
x
x
z
z, z) = 0
da cui segue
x = x, (z)z).
85
Dunque y = (z)z. Per quanto riguarda lunicità, se y
1
e y
2
sono tali che
x, y
1
) = x, y
2
), x H
allora
x, y
1
y
2
) = 0, x H
da cui immediatamente y
1
= y
2
.
Possiamo allora identicare H con il suo duale H
attraverso lisomorsmo iso-

metrico
y
y
.
Pertanto, una successione x
n
H converge debolmente a x H se
x
n
, y) x, y), y H.
Corollario 1.7. Gli spazi di Hilbert sono riessivi.
dimostrazione. Sia F H
. Poiche ogni elemento di H
è della forma
y
,
possiamo denire un funzionale lineare continuo su H nel seguente modo:
y = F
y
.
Allora esiste x H tale che =
x
, ovvero
y, x) = F
y
.
Ma y, x) =
y
x, da cui lasserto.
n
, x H tali che x
n
w
x e |x
n
| |x|. Dimostrare la
convergenza forte x
n
x.
Esercizio 11. Dimostrare che se x
n
w
x e y
n
y, allora x
n
, y
n
) x, y).
Esercizio 12. Sia un funzionale lineare continuo su un sottospazio V di H.
Mostrare che ammette ununica estensione su H che preserva la norma, e che tale
estensione si annulla su V
.
1.5 Basi ortonormali
In R
N
i vettori e
1
, . . . e
N
, dove e
j
vale uno sulla componente j-esima e zero altrove,
formano un insieme ortonormale. Inoltre tale insieme è completo, cioè ogni vettore
u R
N
è esprimibile (in modo unico) come combinazione lineare degli e
j
. Infatti,
per ogni x R
N
si ha
x =
N
j=1
x, e
j
)e
j
,
86
dove x, e
j
) è la componente di x nella direzione j-esima. In particolare, se
x, e
j
) = 0, j = 1, . . . , N,
allora x = 0.
Prendendo spunto dallesempio appena discusso, diamo la seguente
Denizione . Sia H uno spazio di Hilbert. Un insieme ortonormale A è detto
completo, o anche una base ortonormale,
38
se per ogni x H la relazione
x, u) = 0, u A
implica x = 0.
Teorema 1.8. Sia H uno spazio di Hilbert (contenente almeno due vettori distinti).
Allora esiste sempre una base ortonormale.
dimostrazione. Ci limitiamo a fornire una traccia. Sia o la collezione degli
insiemi ortonormali di H (parzialmente) ordinato con la relazione di inclusione.
Ogni catena ha estremo superiore, e quindi dal Lemma di Zorn si prova lesistenza
di un elemento massimale. Inne, si dimostra per assurdo che lelemento massi-
male è un sistema ortonormale completo.
`
E inoltre possibile dimostrare che due diverse basi ortonormali hanno la stessa
cardinalit` a. Di conseguenza, deniamo dimensione ortogonale
39
di uno spazio di
Hilbert la cardinalit` a di una sua base.
Nel seguito, tratteremo esclusivamente spazi di Hilbert separabili (e, per evitare
situazioni banali, contenenti almeno due vettori distinti). In questo caso, la dimen-
sione ortogonale è (al pi` u) numerabile. Ciò segue immediatamente dal fatto che due
elementi distinti u e v della base ortonormale soddisfano la relazione
|u v| =
2.
Pertanto, se la base ortonormale avesse cardinalità pi` u che numerabile, non ci
potrebbe essere un insieme numerabile denso in essa, e quindi nello spazio.
Osservazione. lesistenza di una base ortonormale in uno spazio di Hilbert
separabile può essere dimostrata in modo costruttivo (cioè senza lausilio del
Lemma di Zorn), attraverso il cosiddetto metodo di diagonalizzazione di Gram-
Schmidt.
Esempio. Lo spazio di Banach
2
è di Hilbert con il prodotto interno
x, y) =
j=1
x
j
, y
j
),
38
Non si deve confondere la base ortonormale con la base di Hamel.
39
Da non confondersi con la dimensione lineare, cioè la cardinalità di una base di Hamel.
87
dove x = (x
1
, x
2
, x
3
, . . .) e y = (y
1
, y
2
, y
3
, . . .). I vettori u
n

2
(n N), dove u
n
vale uno sulla componente n-esima e zero altrove, formano una base ortonormale
di
2
.
Disponendo di una base ortonormale possiamo trattare uno spazio innito di-
mensionale come se fosse R
N
. Ovvero, possiamo ricostruire un generico vettore
x come combinazione lineare (innita) degli elementi della base. Premettiamo due
lemmi.
Lemma 1.9 (Disuguaglianza di Bessel). Sia H uno spazio di Hilbert separabile,
e sia u
n
nN
un insieme ortonormale (non necessariamente completo). Per ogni
x H vale la disuguaglianza
n=1
[x, u
n
)[
2
|x|
2
.
dimostrazione. Per ogni N N,
0
_
_
_x
N
n=1
x, u
n
)u
n
_
_
_
2
= |x|
2
n=1
[x, u
n
)[
2
.
Facendo il limite N abbiamo la tesi.
Lemma 1.10. Sia H uno spazio di Hilbert separabile, e sia u
n
nN
un insieme
ortonormale (non necessariamente completo). Se
n

2
,
n=1
n
u
n
converge in
H.
dimostrazione. Sia s
n
=
n
j=1
j
u
j
. Per m > n, abbiamo
|s
m
s
n
|
2
=
_
_
_
m
j=n+1
j
u
j
_
_
_
2
=
m
j=n+1
[
j
[
2
,
da cui segue che s
n
è di Cauchy, e dunque
n=1
n
u
n
converge in H.
Possiamo ora enunciare il fondamentale
Teorema 1.11. Sia H uno spazio di Hilbert separabile, e sia u
n
nN
una base
ortonormale. Allora per ogni x H vale l uguaglianza
x =
n=1
x, u
n
)u
n
.
Inoltre per ogni x, y H vale la cosiddetta identità di Parseval
x, y) =
n=1
x, u
n
)y, u
n
).
Come caso particolare,
|x|
2
=
n=1
[x, u
n
)[
2
.
88
dimostrazione. Dobbiamo dimostrare soltanto la prima asserzione, in quanto
lidentit` a di Parseval segue dalla continuit` a del prodotto interno. Sia dunque
x H. Per la disuguaglianza di Bessel, la serie
n=1
[x, u
n
)[
2
è convergente, e
dunque la serie
n=1
x, u
n
)u
n
converge in H. Denendo w = x

n=1
x, u
n
)u
n
, raggiungiamo la tesi se
dimostriamo che w = 0. Ma per ogni n
0
ssato,
w, u
n
0
) = x, u
n
0
) lim
N
N
n=1
x, u
n
)u
n
, u
n
0
) = x, u
n
0
) x, u
n
0
) = 0.
Poiche u
n
è una base ortonormale, segue che w = 0.
Osservazione. I risultati appena visti valgono banalmente se H è nito di-
mensionale.
I coecienti x, u
n
) vengono detti coecienti di Fourier di x (relativi alla base
ortonormale u
n
). Unimmediata conseguenza è il
Corollario 1.12. Sia H uno spazio di Hilbert separabile innito dimensionale, e
sia u
n
nN
una base ortonormale. Allora u
n
w
0.
Si noti che |u
n
| = 1, mentre il limite debole è zero.
Esercizio 13. Pu` o accadere che x
n
w
x ma che |x
n
| non converga?
Esempio. Sia u
n
nN
una base ortonormale numerabile di H. La proiezione di
un generico vettore x sul sottospazio lineare H
N
generato dai vettori u
1
, . . . , u
N
(si noti che H
N
è chiuso, essendo nito dimensionale) risulta essere
P
H
N
x =
N
n=1
x, u
n
)u
n
.
Dal Teorema 1.11 segue che
lim
N
P
H
N
x = x.
Inne, osserviamo che lidentità di Parseval stabilisce un fatto molto importante.
Se H è uno spazio di Hilbert innito dimensionale separabile, la mappa x x, u
n
)
è un isomorsmo di spazi di Hilbert (cioè un isomorsmo che conserva il prodotto
interno) fra H e
2
.
89
1.6 Lo spazio L
2
()
Il caso p = 2 per gli spazi L
p
() è particolarmente interessante, in quanto la norma
deriva da un prodotto interno. Precisamente, si denisce
f, g)
L
2 =
_
f(t)g(t)dt.
Pertanto L
2
() è uno spazio di Hilbert. La disuguaglianza di H older in questo
caso non è altro che la disuguaglianza di Cauchy-Schwarz. Inoltre 2 è lesponente
coniugato di se stesso, e dunque
L
2
()
= L
2
(),
conformemente al Teorema di Rappresentazione di Riesz.
Esercizio 14. Sia H = L
2
([0, 1]), e sia C il sottospazio di H delle funzioni costanti.
Caratterizzare la proiezione P
C
e il sottospazio C
.
Esercizio 15. Siano , due misure nite su tali che . Mostrare che
la mappa f
_
fd è un funzionale lineare continuo su L

2
(, + ). Sia
L
2
(, +) la funzione tale che
_
fd =
_
fd( +).
Si dimostri che (t) [0, 1) per quasi ogni t (rispetto a entrambe le misure e ).
Si denisca quindi la funzione positiva
=

1
.
Allora L
1
(, ) e
(E) =
_
E
d.
In altre parole, è la derivata di Radon-Nykodym di rispetto a . Abbiamo quindi
dimostrato il Teorema di Radon-Nykodym per le misure nite.
40
Consideriamo ora il caso particolare = [, ], e calcoliamo esplicitamente
una base ortonormale di L
2
([, ]).
Osservazione.
`
E evidente che se u
n
è una base ortonormale di L
2
([, ]),
allora, ponendo
v
n
(t) =
_
2
b a
u
n
_
2(t a)
b a
_
,
v
n
è una base ortonormale di L
2
([a, b]).
40
Questa dimostrazione è dovuta a von Neumann.
90
Teorema 1.13. I vettori
1
2
,
cos nt
,
sin nt
, n N,
formano una base ortonormale di L
2
([, ]).
Quindi, f L
2
([, ]) si pu` o scrivere come
f(t) =
a
0
2
+
n=1
a
n
cos nt +
n=1
b
n
sin nt,
dove luguaglianza è intesa in L
2
([, ]), con
a
0
=
1
2
_

f(t)dt, a
n
=
1
f(t) cos nt dt, b

n
=
1
f(t) sin nt dt.

Questa rappresentazione è detta sviluppo in serie di Fourier della f, e le quantit` a
a
0
, a
n
, b
n
sono i coecienti di Fourier della f.
Naturalmente bisognerebbe dimostrare che linsieme in questione è una base
ortonormale. Lasciamo per esercizio la verica dellortonormalità. Per quanto
riguarda la completezza, ci limitiamo a menzionare che segue dal Teorema di Stone-
Weierstrass. Uninteressante conseguenza è che le successioni di funzioni sin nt e
cos nt convergono debolmente a 0 in L
2
([, ]).
1
([, ]). Mostrare che
41
lim
n
_

f(t) cos nt dt = lim

n
_

f(t) sin nt dt = 0.
Esercizio 17. Si consideri la funzione f(t) = t in L
2
([, ]). Calcolare i coef-
cienti di Fourier della f. Utilizzare il risultato trovato per dimostrare la famosa
uguaglianza di Eulero
n=1
1
n
2
=

2
6
.
Esercizio 18. Mostrare che le funzioni
u
n
(t) =
_
2
sin nt
formano un base ortonormale in L
2
([0, ]). [Suggerimento: si estendano le funzioni
su [, ] in modo opportuno]
41
Risultato noto come Lemma di Riemann-Lebesgue.
91
Pertanto possiamo scrivere ogni funzione f L
2
([0, ]) come
f(t) =
n=1
c
n
sin nt,
con
c
n
=
2
_

0
f(t) sin nt dt.
Questa rappresentazione è detta sviluppo in serie di Fourier seno della f.
2 Teorema spettrale per gli operatori compatti
simmetrici
In questo paragrafo, sia H uno spazio di Hilbert innito dimensionale separabile, e
sia u
n
nN
una base ortonormale. Ricordiamo che L(H) e /(H) sono rispettiva-
mente lo spazio degli operatori limitati e lo spazio degli operatori compatti da H in
H. La norma di un operatore T L(H) è data da
|T|
L(H)
= sup
x=y=1
[Tx, y)[.
Infatti,
sup
x=y=1
[Tx, y)[ sup
x=1
|Tx|,
e ponendo y = Tx/|Tx| si ha luguaglianza.
2.1 Rappresentazione matriciale degli operatori limitati
Come per le matrici, rappresentiamo un operatore T L(H) utilizzando la base
ortonormale. Se x H, allora x =
n=1
x, u
n
)u
n
. Usando la continuità di T,
Tx =
n=1
x, u
n
)Tu
n
.
Daltro canto,
Tu
n
=
m=1
Tu
n
, u
m
)u
m
,
ma anche
Tx =
m=1
Tx, u
m
)u
m
.
Abbiamo quindi la
92
Proposizione 2.1. Sia T L(H). Deniamo gli elementi di matrice T
nm
di T
attraverso la relazione
T
nm
= Tu
n
, u
m
).
Allora, per ogni x H, ponendo x
n
= x, u
n
),
Tx =
n=1
m=1
T
nm
x
n
u
m
=
m=1
n=1
T
nm
x
n
u
m
.
Lm-esimo coeciente di Fourier di Tx è dunque dato da
n
T
nm
x
n
. Inoltre,
|T|
L(H)
= sup
n=1
m=1
T
nm
x
n
y
m
= sup
m=1
n=1
T
nm
x
n
y
m
,
dove il sup è preso al variare delle successioni x
n
e y
n
di norma unitaria in
2
.
Se H = R
N
, gli elementi di L(H) sono le matrici quadrate N-dimensionali.
`
E noto che se una matrice T è simmetrica, allora ha esattamente N autovalori
(reali)
n
, contati con loro molteplicità. Utilizzando la base ortonormale u
n
dei
relativi autovettori, i coecienti della matrice soddisfano la relazione T
nm
=
n
nm
,
e pertanto si ha la cosiddetta rappresentazione spettrale di T, ovvero,
Tx =
N
n=1
n
x
n
u
n
.
Il nostro scopo è di fornire un risultato analogo negli spazi di Hilbert separabili
innito dimensionali.
2.2 Operatori simmetrici
Denizione. Un operatore T L(H) è simmetrico se
Tx, y) = x, Ty), x, y H.
Esercizio 19. Mostrare che T L(H) è simmetrico se e solo se T
nm
= T
mn
.
Proposizione 2.2. Sia T L(H) un operatore simmetrico. Allora
|T|
L(H)
= sup
x=1
[Tx, x)[.
dimostrazione. Ovviamente, vale
d = sup
x=1
[Tx, x)[ |T|
L(H)
.
Dobbiamo mostrare la disuguaglianza opposta. Per ogni x H,
[Tx, x)[ d|x|
2
.
93
Usando quindi la simmetria di T e legge del parallelogramma, per x, y H
abbiamo
4Tx, y) = T(x +y), x +y) T(x y), x y)
d
_
|x +y|
2
+|x y|
2
_
= 2d
_
|x|
2
+|y|
2
_
.
Scegliendo
y =
|x|
|Tx|
Tx,
per Tx ,= 0 (e quindi x ,= 0), otteniamo
|x||Tx| d|x|
2
,
da cui
|Tx| d|x|.
Detta relazione vale ovviamente anche per Tx = 0.
Denizione. Sia T L(H). Un autovalore di T è un numero R per cui vale la
relazione
Tu = u,
per qualche u H, diverso dal vettore nullo, detto autovettore. Indichiamo con A
lautospazio relativo a , cioè il sottospazio generato da tutti gli autovettori relativi

allautovalore . Si noti che A
è un sottospazio chiuso.
Osservazione.
`
E immediato vericare che se è un autovalore di T, allora
[[ |T|
L(H)
.
Proposizione 2.3. Sia T L(H) un operatore simmetrico. Allora autovettori
corrispondenti ad autovalori distinti sono ortogonali.
dimostrazione. Siano u
1
e u
2
sono due autovettori corrispondenti a due
distinti autovalori
1
e
2
. Assumendo
1
,= 0, abbiamo
u
1
, u
2
) =
1
1
Tu
1
, u
2
) =
1
1
u
1
, Tu
2
) =

2
1
u
1
, u
2
),
da cui segue u
1
, u
2
) = 0.
Esercizio 20. Si concluda che gli autovalori distinti di un operatore T simmetrico
sono al pi` u uninnità numerabile.
Esercizio 21. Per k L
2
([0, 1] [0, 1]), consideriamo loperatore integrale T
k
:
L
2
([0, 1]) L
2
([0, 1]) (ricordiamo che T
k
è compatto). Mostrare che T
k
è simmetrico
se e solo se k(t, s) = k(s, t).
94
2.3 Operatori compatti simmetrici
Lemma 2.4. Sia K /(H) un operatore simmetrico, e sia d = |K|
L(H)
. Allora
almeno uno dei due numeri fra d e d è autovalore di K.
dimostrazione. Sia d ,= 0 (altrimenti il risultato è banale), e sia u
n
una
successione di vettori di norma unitaria tale che
[Ku
n
, u
n
)[ d.
Allora u
n
ammette una sottosuccessione u
n
k
w
u. Si noti che |u| 1. Ma K è
compatto, pertanto Ku
n
k
Ku, e ci` o implica che
[Ku, u)[ = d.
In particolare, u ,= 0. Abbiamo due possibili casi. Se Ku, u) = d (ma laltro
caso è analogo), vale la relazione
|Ku du|
2
= |Ku|
2
+d
2
|u|
2
2dKu, u) = |Ku|
2
+ d
2
|u|
2
2d
2
0.
Quindi, Ku = du.
Osservazione. Dato un operatore K compatto simmetrico si ha dunque la
relazione
|K|
L(H)
= sup
_
[[ : è autovalore di K
_
.
Esercizio 22. Sia ,= 0 un autovalore di un operatore compatto. Mostrare che
A
è nito dimensionale.
Siamo adesso in grado di dimostrare il risultato principale di questo paragrafo:
dato un operatore compatto simmetrico K, è possibile trovare una base ortonormale
di H formata da autovettori di K.
Teorema 2.5 (Teorema Spettrale). Sia K /(H) un operatore simmetrico. Allora
i suoi autovalori distinti
- sono in numero nito (in tal caso 0 è sicuramente un autovalore, con relativo
autospazio di dimensione ortogonale innita); oppure
- formano una successione tendente a 0 (in tal caso 0 può essere o non essere un
autovalore, con relativo autospazio di dimensione ortogonale nita o innita).
Inoltre, i corrispondenti autovettori possono essere scelti in modo da formare una
base ortonormale di H.
95
dimostrazione. Dal lemma precedente, esiste un autovalore di modulo
[[ = |K|
L(H)
. Lautospazio A
ha dimensione ortogonale N < . Scegliamo

allora una sua base ortonormale w
1
, w
2
, . . . , w
N
e poniamo
1
= =
N
= .
Chiamando H
1
= A
, lo spazio H si decompone nella somma ortogonale A
H
1
.
Si noti che H
1
è invariante per K, ovvero, K[
H
1
è un operatore lineare da H
1
a
H
1
, che risulta essere ancora compatto simmetrico. Inoltre,
|K[
H
1
|
L(H
1
)
|K|
L(H)
.
Possiamo quindi ripetere largomento per loperatore K[
H
1
, producendo un nuovo
spazio H
2
, e cos` via. Con questa procedura
42
, costruiamo una successione di
autovalori
n
decrescente in modulo, cui corrispondono autovettori normalizzati
w
n
ortogonali fra loro. Ovviamente pu` o accadere che da un certo punto in poi
i
n
siano tutti nulli. Questo, se H
m
= 0 per qualche m. In tal caso 0 è un
autovalore e lautospazio A
0
ha dimensione ortogonale innita. Mostriamo ora
che
n
0. Sia = inf
n
[
n
[ > 0. La successione limitata w
n
ammette una
sottosuccessione (che chiamiamo ancora w
n
) debolmente convergente, dunque la
successione Kw
n
=
n
w
n
converge fortemente. Poiche per n ,= m
|
m
w
m
n
w
n
|
2
= [
m
[
2
+[
n
[
2
2
2
,
concludiamo che = 0, da cui
n
0. Inne, se x è ortogonale a tutti i w
n
corrispondenti ad autovalori non nulli, allora per ogni m N
|Kx| = |K[
Hm
x| [
m
[|x|,
da cui x ker(K). In particolare, non vi sono altri autovalori non nulli. Dunque
w
n
è una base ortonormale di ker(K)
. Pertanto, per ottenere una base

ortonormale dello spazio basta aggiungere alla collezione dei w
n
una base ortonor-
male v
n
di ker(K). Si noti che ker(K) può ridursi al solo vettore nullo, ma
pu` o essere anche innito dimensionale.
Alla luce del Teorema Spettrale, loperatore K ammette la rappresentazione
Kx =
n=1
n
x, w
n
)w
n
.
Ovviamente, se vogliamo considerare la base completa u
n
di H ottenuta unendo
w
n
e v
n
, non sar` a possibile mantenere i corrispondenti autovalori ordinati in
modulo, a meno che ker(K) = 0 (cioè 0 non è autovalore), oppure vi sia un
numero nito di autovalori diversi da zero.
42
Per rendere pi` u rigorosa la dimostrazione si dovrebbe in realtà procedere per induzione.
96
Corollario 2.6. Sia K /(H) un operatore simmetrico. Vale la seguente dicoto-
mia, detta Alternativa di Fredholm.
- Per ogni y H lequazione
x Kx = y
ammette ununica soluzione; oppure
- = 1 è un autovalore di K.
Osservazione. Il risultato vale, pi` u in generale, anche senza lipotesi K sim-
metrico.
dimostrazione. Sia
n
la successione degli autovalori di K (contati con la
loro molteplicit` a), e sia u
n
la corrispondente base ortonormale di autovettori.
Fissato un generico y H, lequazione x Kx = y si pu` o riscrivere proiettando
sulla base come
n=1
(1
n
)x, u
n
)u
n
=
n=1
y, u
n
)u
n
.
Dunque è soddisfatta se e solo se
(1
n
)x, u
n
) = y, u
n
).
Pertanto, se
n
,= 1 per ogni n, il vettore
x =
n=1
y, u
n
)
1
n
u
n
soddisfa lequazione. La convergenza della serie in H è garantita dal fatto che
n
0. Viceversa, se
m
= 1 per un certo m, lequazione non ha soluzione per
alcun y che abbia lm-coeciente di Fourier diverso da 0.
Lesercizio seguente stabilisce limplicazione opposta del Teorema Spettrale.
Esercizio 23. Sia w
n
un insieme ortonormale (non necessariamente completo),
e sia
n
R una successione tendente a 0. Allora loperatore lineare K denito da
Kx =
n=1
n
x, w
n
)w
n
è compatto simmetrico.
Esercizio 24. Mostrare che per ogni g L
2
([0, 1]) lequazione integrale di Fred-
holm
f(t) t
_
1
0
sf(s)ds = g(t)
ammette ununica soluzione f L
2
([0, 1]).
97
Esercizio 25. Mostrare che per ogni g L
2
([0, 1]) lequazione integrale di Volterra
f(t)
_
t
0
f(s)ds = g(t)
ammette ununica soluzione f L
2
([0, 1]). Qui si deve applicare lAlternativa di
Fredholm per un operatore compatto non simmetrico.
3 Cenni agli operatori non limitati
3.1 Operatori chiusi
Consideriamo operatori lineari T deniti su un sottospazio denso T(T) H, il
dominio, a valori in H. Non assumiamo la limitatezza, cioè che valga
|Tx| M|x|, x T(T).
Di fatto, gli operatori pi` u interessanti, come gli operatori dierenziali, sono non
limitati. Consideriamo ad esempio loperatore
T =
d
dt
, T(T) = C
1
([0, 1]), H = L
2
([0, 1]).
Scegliendo u
k
(t) = e
kt
vediamo subito che T non è limitato. Invero,
|Tu
k
| = k|u
k
|,
da cui
sup
_
|Tu| : u T(T), |u| = 1
_
= .
Ci si attende dunque che operatori non deniti su tutto H siano non limitati.
Contrariamente al caso di L(H), il dominio è parte integrante della denizione
di operatore. Ci si pu` o dunque porre il problema di trovare il dominio pi` u natu-
rale consistente con lazione delloperatore. Nellesempio precedente, si tratterebbe
dunque di estendere loperatore ad un opportuno dominio pi` u grande. Ricordiamo
che un operatore

T è unestensione di T se
T(
T) T(T) e

T[
D(T)
= T.
Esiste una procedura standard per ottenere lestensione ottimale, che consiste nel
chiudere un operatore. Diamo prima una denizione.
Denizione. T è chiuso se per ogni x
n
T(T) tale che x
n
x e Tx
n
y, segue
che x T(T) e Tx = y.
98
Esercizio 26. Sia T un operatore chiuso, e siano x
n
T(T) e x H. Mostrare
che se x
n
x e Tx
n
è un insieme relativamente compatto in H, allora x T(T)
e Tx
n
Tx.
Teorema 3.1. Sia T chiuso. Allora T è limitato se e solo se T(T) = H.
dimostrazione. Unimplicazione è il Teorema del Graco Chiuso. Assumiamo
dunque che T sia limitato. Fissato x H, esiste x
n
T(T) tale che x
n
x. In
particolare, x
n
è di Cauchy. Sfruttando la limitatezza di T, abbiamo che
|Tx
n
Tx
m
| M|x
n
x
m
|.
Dunque Tx
n
è di Cauchy, e quindi Tx
n
y H. Ma T è chiuso, e pertanto
x T(T). Concludiamo che T(T) è chiuso, e di conseguenza coincide con H.
Dato un operatore T, si può allora cercare un operatore chiuso T che estenda T.
Non è detto per` o che tale operazione sia possibile. In caso aermativo, loperatore
T è detto chiudibile, e T è la sua chiusura.
Proposizione 3.2. Tè chiudibile se e solo se per ogni successione x
n
T(T) con-
vergente a 0 tale che Tx
n
y, segue che y = 0.
dimostrazione. Se T è chiudibile allora ammette unestensione chiusa T,
e il risultato segue facilmente. Verichiamo limplicazione opposta. Deniamo
lestensione chiusa di T nel seguente modo. Poniamo
T(T) =
_
x : x
n
x e Tx
n
y H, Tx = y.
Lunica cosa di cui ci dobbiamo sincerare è che loperatore T sia ben denito.
Ovvero, se z
n
x e Tz
n
w, deve valere luguaglianza y = w. Ma questo
segue banalmente dalle ipotesi.
3.2 Operatori simmetrici
Denizione. T è simmetrico se
Tx, y) = x, Ty), x, y T(T).
In generale, un operatore simmetrico potrebbe non essere chiuso. Tuttavia vale
il seguente risultato.
Esercizio 27. Se T è simmetrico allora T è chiudibile, e la sua chiusura è ancora
un operatore simmetrico.
Alla luce di questo fatto, nel seguito ci riferiremo esclusivamente ad operatori
simmetrici chiusi.
99
Teorema 3.3. Sia T un operatore simmetrico. Se T è suriettivo, allora T è anche
iniettivo, e il suo inverso T
1
(denito su tutto H) è un operatore limitato, cioè
appartiene a L(H), e simmetrico.
dimostrazione. Dimostriamo innanzitutto che T è iniettivo. Sia dunque
x T(T) tale che Tx = 0. Per ogni y H esiste z T(T) tale che y = Tz.
Pertanto
x, y) = x, Tz) = Tx, z) = 0,
da cui x = 0. La mappa T
1
: H T(T) è dunque ben denita, ed è immediato
vericare che è lineare. Inoltre, per ogni x = Tw e y = Tz in H,
T
1
x, y) = w, Tz) = Tw, z) = x, T
1
y).
Verichiamo inne che T
1
L(H). Dal Teorema del Graco Chiuso, basta
dimostrare che se x
n
x e T
1
x
n
y, allora y = T
1
x. Sia allora z
n
T(T)
tale che x
n
= Tz
n
. Dunque, abbiamo che
z
n
y e Tz
n
x.
Poiche T è chiuso, concludiamo che x = Ty, da cui y = T
1
x.
In particolare, se linverso è compatto, ricaviamo un teorema di rappresentazione
spettrale.
Teorema 3.4 (Teorema Spettrale). Sia T un operatore simmetrico e suriettivo.
Assumiamo inoltre che il suo inverso sia compatto. Allora i suoi autovalori formano
una successione tendente a . Inoltre, i corrispondenti autovettori possono essere
scelti in modo da formare una base ortonormale di H.
La denizione di autovalore è analoga al caso degli operatori limitati. Ovvia-
mente, gli autovettori apparterranno a T(T).
dimostrazione. Il risultato è una conseguenza del Teorema Spettrale per gli
operatori compatti simmetrici. Notiamo che
T
1
x = x Tx =
1
x.
Inoltre, ker(T
1
) = 0, cioè T
1
non ha autovalori nulli. Detta dunque
n
la
successione degli autovalori di T
1
e w
n
la relativa base ortonormale di H, per
ogni x T(T) abbiamo la rappresentazione
Tx =
n=1
n
x, w
n
)w
n
,
dove gli
n
=
1
n
sono gli autovalori di T.
100
Nei seguenti esercizi valgano le ipotesi del Teorema Spettrale.
Esercizio 28. Mostrare che x H appartiene a T(T) se e solo se
n=1
[
n
[
2
[x, w
n
)[
2
< .
Disponiamo quindi di una caratterizzazione concreta del dominio di T.
Esercizio 29. Mostrare che lo spazio lineare T(T), munito del prodotto interno
x, y)
D(T)
= Tx, Ty),
è uno spazio di Hilbert.
Esercizio 30. Mostrare che liniezione
J : T(T) H
è un operatore compatto (con T(T) dotato della norma denita nel precedente
esercizio).
Ringraziamenti
Voglio ringraziare Clemente Zanco (il primo vero Maestro di Analisi Matematica)
per i suoi utilissimi consigli sul capitolo degli Spazi di Banach, la mia preziosa
collaboratrice Monica Conti e i numerosi studenti di Analisi Reale e Funzionale
2004/05 del Corso di Studi in Ingegneria Matematica che, con i loro suggerimenti,
hanno contribuito a migliorare queste dispense.
Vittorino Pata

Dispense Analisi Funzionale

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Dispense Analisi Funzionale

Titolo originale:

Caricato da

Copyright:

Formati disponibili

Appunti del Corso di

ANALISI REALE E FUNZIONALE

(intersezioni numerabili di aperti), e gli insiemi F

(unioni numerabili di chiusi).

sono dette rispettivamente parte positiva

`e una rappresentazione della u che

(P) = (E). Allora (, M

sia ben denita.

sono dunque della forma EN (unione disgiunta), con E M

: T(R) [0, ], denita da

fosse numerabilmente additiva, allora coinciderebbe con la misura

su L sia una misura.

`e subadditiva, E soddisfa (C) se e solo se

su L, che dora in poi indicheremo

, che condivide tutte le propriet`a di T tranne che

`e un insieme di misura positiva che non contiene intervalli.

, tale che (GE) = 0;

fd per ogni n, abbiamo che

[f[, entrambi gli integrali nella denizione sono niti.

2gd ad ambo i membri, concludiamo che

) due spazi misurabili, e sia :

una mappa tale che

. Si noti che se una funzione (positiva o reale) f denita

-misurabile, segue che la funzione f denita su `e M-misurabile.

[f[d. Si noti che la Proposizione 3.9 d` a la propriet` a dellannullamento

; si applichi il Teorema della Convergenza Monotona a

un insieme di Cantor generalizzato di misura positiva. La

(x) = f(x) per ogni x [a, b]. Vogliamo

F(x +h) F(x)

[f g[d +M(E) <

= 0 su un insieme di misura positiva. [Suggerimento: sia A il

[ `e misurabile (si badi bene, non

()[ > 0, dimostrare che per ogni N [c, d] con (N) = 0

[ `e uguale a 0 quasi ovunque su [a, b]. Completare quindi la dimostrazione

(t)dt G(b) G(a).

non `e limitata, e quindi

il completamento di M N relativo alla misura . Sia f una

-misurabile. Allora vale la tesi del Teorema di Fubini, con lunica

due insiemi misurabili

lo spazio lineare delle

converge ad un vettore s X. Poiche questa

([a, b]) (cio`e lo spazio delle funzioni

tale che, per m, m

1.7 Norme equivalenti

due diverse norme su

si dicono equivalenti se esistono due numeri positivi m M

una qualsiasi altra norma su

, da cui segue che la funzione (x) = |x|

m|x|. Resta da dimostrare che m > 0. Ma se m fosse zero,

= 0, contraddicendo lannullamento della

() linsieme di (classi di equivalenza di) funzioni

sono gli spazi gi` a incontrati in precedenza.

([0, 2]) e |f|

(). Deniamo gli insiemi

converge puntualmente quasi ovunque ad una funzione g. Poiche

non `e separabile. [Suggerimento: si

di misura di Lebesgue nulla tale che G Q.

denso G X tale che

denso. Notando che

denso G tale che sup

due diverse norme

) (X, | |) `e continua, da cui si ricava la disuguaglianza