Geometria

Richiami di calcolo dierenziale locale
In quel che segue spazio vettoriale signicherà spazio vettoriale reale di di-
mensione nita. In ogni tale spazio verrà utilizzata una norma scelta comunque
tra quelle esistenti : tutto quanto verrà discusso non dipenderà dalla particolare
norma utilizzata.
Gran parte dei risultati richiamati in questo paragrafo rimangono validi anche
per per spazi vettoriali reali di dimensione innita su cui sia stata ssata una
norma rispetto alla quale essi siano completi: tali spazi vengono chiamati spazi
di Banach e sono studiati solitamente nei corsi di Analisi; un esempio è dato
dallo spazio C
0
(T) delle funzioni continue a valori reali su uno spazio compatto
T, dotato della norma del sup. o da quelli analoghi delle funzioni derivabili
con continuità, come ad esempio C
1
([0, 1]). Per tale generalizzazione bisogna
richiedere esplicitamente alcuni fatti che sono automaticamente vericati in di-
mensione nita; precisamente ogni applicazione lineare : E F deve essere
supposta continua e talvolta, come per i teoremi di inversione locale, si deve
supporre che il suo nucleo abbia supplementare chiuso, che la sua immagine sia
chiusa e sia dotata anchessa di supplementare chiuso. Comunque nel seguito
saremo interessati essenzialmente solo a spazi di dimensione nita.
Siano V, W spazi vettoriali, V un aperto, x
0
V e f : W una
applicazione. Ricordiamo che f è detta dierenziabile in x
0
se esiste L : V W
lineare tale che posto per h V con x
0
+h :
f(x
0
+h) = f(x
0
) +L[h] +R(h)
si abbia
lim
h0
R(h)
[[h[[
= 0
Si dimostra che di tali L ne esiste al pi` u uno; se esiste esso viene detto il dif-
ferenziale di f in x
0
ed è indicato con df(x
0
) (Si noti luso di parentesi tonde
e quadre: in df(x
0
)[h] , x
0
è il punto in cui si dierenzia ed è indicato en-
tro parentesi tonde; in parentesi quadre indichiamo invece gli incrementi, in
questo caso h, in cui il dierenziale è calcolato).
Se f è dierenziabile in ogni punto di , si ha una applicazione
df : /(V, W) = Hom
R
(V, W)
Se tale applicazione è continua diremo che f è di classe C
1
su .
Induttivamente, per k intero 2, diremo che f è di classe C
k
se è C
1
e df è
C
k1
; diremo che f è C
se essa è C
k
per ogni k N.
Dora in poi il termine dierenziabile signicherà di classe C
.
Teorema 1 (di inversione locale) Siano E, F spazi vettoriali, un aperto
in V , f : F dierenziabile ed x .
Se df(x) : E F è un isomorsmo, allora esiste un aperto U E contenente
x , tale che :
a. V = f(U) è aperto in F
b. f : U V è biunivoca con inversa dierenziabile.
La dimostrazione sarà supposta nota (corsi di Analisi).
1
Def. Siano U E e V F aperti in spazi vettoriali. Una applicazione f :
U V è detta un dieomorsmo se è biunivoca insieme alla sua inversa. Nelle
notazioni ed ipotesi del teorema pecedente diremo che f è un dieomorsmo
locale in x od anche che essa è localmente invertibile.
Un dieomorsmo sarà talvolta chiamato anche cambiamento di coordinate.
Corollari del teorema di inversione locale
Siano E, F spazi vettoriali, E un aperto, f : F una applicazione
dierenziabile e sia 0 , f(0) = 0.
1. supponiamo che df(0) : E F sia surgettiva.
Sia p : E K = ker(df(0)) una proiezione (associata alla scelta di un sup-
plementare di K in E). Allora lapplicazione g : F H denita da
g(x) = (f(x), p(x)), è localmente invertibile in 0. Essa rappresenta quindi un
cambiamento di coordinate in un intorno di 0; in tali coordinate la f diviene
lineare (precisamente la proiezione sul fattore F).
2. supponiamo che df(x
0
) : E F sia iniettiva.
Sia H un supplementare in F dellimmagine di df(x
0
). Allora lapplicazione
g : E H F denita da g(x, h) = f(x) + h è localmente invertibile in 0.
Essa denisce quindi un cambiamento di coordinate nellorigine di F; in tali
coordinate la f diviene lineare (precisamente linclusione di E in E H).
Integrali contenenti un parametro
Siano E uno spazio vettoriale e f : [a, b] E continua. Esiste un unico I E
detto integrale di f su [a, b] (e che verrà indicato con
_
b
a
f(t)dt ) tale che per ogni
> 0 , esista > 0 tale che per ogni successione a = x
0
x
1
x
n
= b
con [ x
i1
, x
i
[ per i = 1, . . . n, sia
[
n
1
f(x
i
) (x
i
x
i1
) I [<
Se b < a deniamo
_
b
a
f(t)dt =
_
a
b
f(t)dt.
Proposizione 2 f
_
b
a
f(t)dt è una applicazione lineare continua di C
0
([a, b])
in R la cui norma è [b a[ (ossia |
_
b
a
f(t)dt| [(b a)[ sup
x[a,b]
|f(x)|)
Siano E, F spazi vettoriali, E un aperto, T uno spazio topologico. Le
applicazioni f : T F possono essere pensate come famiglie di applicazioni
da in F parametrizzate da T. Useremo in tal caso la notazione f(x, t) = f
t
(x)
per (x, t) T. La notazione df
t
(x) indicherà quindi il dierenziale della
funzione f
t
: F nel punto x .
Def. C
1
T
(, F) è linsieme delle f : T F che sono continue, tali che per
ogni t T, f
t
: F sia dierenziabile e tali che df
t
: T /(E, F) sia
continua. Analogamente si deniscono le C
k
T
(, F) per k 2 o k = .
Teorema 3 Siano a < b e f C
1
[a,b]
(, F). Allora la funzione g : F
denita da g(x) =
_
b
a
f(x, t)dt è di classe C
1
ed il suo dierenziale è dg =
_
b
a
df
t
(x)dt (lintegrale al secondo membro è fatto in /(E, F)).
2
Corollario 4 Se nel teorema precedente si suppone f C
k
[a,b]
(, F), k 1
allora g C
k
(, F).
dim. (del teorema: non nel programma di esame)
Continuità di g : siano x
0
e > 0. Vogliamo trovare un intorno U di x
0
in
tale che per x U sia [g(x) g(x
0
)[ < . Essendo f continua su [a, b],per
ogni t [a, b] esiste un intorno A
t
di (x
0
, t) in [a, b] tale che per (y, s) A
t
sia [f(y, s) f(x
0
, t)[ <

ba
.
Ora tale intorno può supporsi del tipo U
t
I
t
con U
t
, I
t
aperti negli spazi e
[a, b]. Per compattezza di [a, b], esistono t
1
, , t
r
tali che I
1
I
r
= [a, b].
Allora per x U = U
t
1
U
t
r
e qualsiasi t [a, b] si ha :
[g(x) g(x
o
)[ =
_
b
a
[f(x, t) f(x
0
, t) < (b a)

b a
= .
Dierenziabilità di g : bisogna mostrare che g è dierenziabile nel punto x
0

e che il suo dierenziale è
_
b
a
df(x
0
, t)dt. Ciò signica che :
lim
x
0
+h
h0
_
b
a
(f(x
0
+h, t) f(x
0
, t))dt (
_
b
a
df
t
(x
0
)dt)[h]
|h|
= 0
Ora si ha :
(
_
b
a
df
t
(x
0
)dt)[h] =
_
b
a
df
t
(x
0
)[h]dt
(si noti che lintegrale nel membro di sinistra è fatto in /(E, F) mentre quello
a destra è fatto in F).
Quindi si deve mostrare che va a zero lintegrale
_
b
a
(
f(x
0
+h, t) f(x
0
, t) df
t
(x
0
)[h]
|h|
)
Consideriamo la funzione : [0, 1] U denita da (t) = x
0
+ th. Allora
(teorema di Torricelli) si ha :
f(x
0
+h) f(x
0
) = f (1) f (0) =
_
1
0
d(f ) =
=
_
1
0
df
t
(x
0
+sh)
(s)ds =
_
1
0
df
t
(x
0
+sh)[h]ds
Sostituendo nellespressione precedente ci si riduce a mostrare che va a zero
lespressione:
1
[[h[[
_
b
a
(
_
1
0
(df
t
(x
0
+sh) df
t
(x
0
))ds)dt[h]
Essendo df
t
(x) continua su [a, b] , lo stesso ragionamento utilizzato per
mostrare la continuità di g , mostra che la norma di df
t
(x
0
+ sh) df
t
(x
0
) è
maggiorata da una qualsiasi pressata costante positiva per h in qualche intorno
dellorigine e da ciò segue facilmente che tutto lintegrale va a zero.
Teorema di divisione elementare
Siano E, F spazi vettoriali ; un aperto in E F è detto stellato rispetto ad
E se per ogni (x
0
, y
0
) , tutto il segmento [(x
0
, 0), (x
0
, y
0
)] è contenuto in .
3
Teorema 5 (divisione elementare) Siano E F un aperto stellato
rispetto a E ed f : G una applicazione dierenziabile nulla su E0;
(ossia tale che f(x
0
, 0) = 0 per ogni (x
0
, 0) ). Esiste allora una applicazione
dierenziabile g : /(F, G) tale che per (x, y) sia f(x, y) = g(x, y)[y]
dim. Sia (x
0
, y
0
) ssato. Consideriamo la funzione

f : [0, 1] G denita
da

f(t) = f(x
0
, ty
0
). Per il teorema di Torricelli, si ha:
f(x
0
, y
0
) =

f(1)

f(0) =
_
1
0
d
f =
_
1
0
(df
x
(x
0
, ty
0
)[y
0
]) =
= (
_
1
0
df
x
(x
0
, ty
0
))[y
0
] = g(x
0
, y
0
)[y
0
]
ove df
x
dipende dierenziabilmente da x
o
, y
0
, t; i risultati del paragrafo prece-
dente assicurano quindi che g è dierenziabile.
Applicazioni polinomiali e sviluppi di Taylor
Siano E, F spazi vettoriali. Una applicazione : E F è detta un polinomio
omogeneo di grado p se esiste una b : E
p
F plineare tale che per ogni
x E sia (x) = b(x, , x). Diremo che è la contrazione di b. Si verica
facilmente (facendo una media su permutazioni delle variabili) che se è un tale
polinomio, fra tutte le plineari di cui esso è contrazione, ve ne è esattamente
una che sia simmetrica : essa verrà detta la polarizzazione di
Ne segue che /
p
(E, F) =polinomi omogenei di grado p da E a F è uno
spazio vettoriale (è in corrispondenza biunivoca con le applicazioni plineari
simmetriche da E ad F).
Una applicazione : E F è detta un polinomio di grado n se =
0
+
1
+ +
p
ove
i
: E F è un polinimio omogeneo di grado p.
Se è un aperto in E F e g : /
p
(F, G) è dierenziabile, allora (x, y)
g(x, y)[y] (che è ovviamente dierenziabile) sarà detta un polinomio omogeneo
di grado p in y a coecienti funzioni (
su .
Siano un aperto in E F stellato rispetto ad E,
0
= E 0 e sia
f : G dierenziabile. Allora f(x, y)f(x, o) : G è nulla su
0
; quindi
per il teorema precedente, esiste R
0
: /
1
(F, G) tale che f(x, y) f(x, 0) =
R
0
(x, y)[y]. Posto f(x, 0) =
0
(x) questa relazione si scrive:
(1) f(x, y) =
0
(x) +R
0
(x, y)[y]
che verrà chiamata sviluppo di Taylor dordine 0 di f rispetto a y. Svilup-
pando dordine zero R
0
, si ottiene una relazione del tipo R
0
(x, y) =
1
(x, y) +
R
0
(x, y)[y] ove
1
:
0
/
1
(F, G),

R
0
: /
1
(F, /
1
(F, G)). Quindi

R
0
asso-
cia ad ogni punto (x
0
, y
0
) di , una applicazione bilineare su F a valori in G la
cui contrazione è un polinomio omogeneo di grado due da F a G che indicheremo
con R
1
(x, y). sostituendo nella (1) si ottiene ;
f(x, y) =
0
(x) +
1
(x)[y] + (R
1
(x, y)[y]
che è lo sviluppo di Taylor dordine 1: dice che f è un polinomio di grado uno
in y a coecienti (
in x pi` u un resto che è un polinomio omogeneo di grado

due in y a coecienti funzioni (
in x, y.
Proseguendo cos` si ottiene il seguente :
4
Teorema 6 (Sviluppo di Taylor) Se e f sono come sopra, esistono appli-
cazioni dierenziabili
p
:
0
/
p
(F, G) e R
p
: /
p
(F, G) per p N tali
che per n N sia :
(2) f(x, y) =
n
h=0
h
(x)[y] +R
n+1
(x, y)[y].
Nota. Derivando successivamente ambo i membri di (2) e calcolando per y = 0
si ottiene che
p
(x) =
1
p!
d
p
f
x
(0) (attenzione alle notazioni che possono trarre
in inganno: si ricordi che f
x
(y) è per denizione f(x, y)). Ne segue che le
h
in
(2) sono univocamente determinate. Per quanto riguarda i resti R
n+1
(x, y)[y],
essi non sono univocamente determinati dalle richieste fatte (lo sarebbero se si
chiedesse una proprietà supplettiva che qui non esplicitiamo perchè non avremo
necessità di avvalercene). Ciò accade perche un polinomio omogeneo a coeci-
enti C
non (formalmente) nullo può rappresentare la funzione identicamente

nulla, a dierenza di quel che accade per polinomi a coecienti costanti (ad
esempio h
1
(x
1
, x
2
)x
1
+h
2
(x
1
, x
2
)x
2
ove h
1
(x
1
, x
2
) = x
2
e h
2
(x
1
, x
2
) = x
1
).
Quel che spesso è suciente sapere dei resti R
n
è precisato dalla seguente:
Proposizione 7
Se , f sono come sopra, ogni (x
0
, 0) ha un intorno aperto U = AB ,
con A, B aperti in E, F, tale che
lim
y0
R
n+1
(x, y)[y]
|y|
n
= 0 uniformemente per x A.
Dim. Siano infatti U un aperto in ed M un numero reale tali che |R
n+1
(x, y)|
M per (x, y) U. Allora, essendo R
n+1
un polinomio omogeneo di grado n+1,
si ha che:
R
n+1
(x, y)[y]
|y|
n
= |y|R
n+1
(x, y)[
y
|y|
]
avrà norma |y|M.
Scritture in termini di coordinate
Se x
1
, . . . , x
n
sono le coordinate su E = R
n
, un polinomio omogeneo
: E R di grado d si scrive ordinariamente nel seguente modo:
(x) =
|I|=d
a
I
x
I
ove per le usuali convenzioni di multiindici: se x = (x
1
, . . . , x
n
) R
n
e
I = (i
1
, . . . , i
n
) N
n
, si pone [I[ = i
1
+ +i
n
e x
I
= x
i
1
1
x
i
n
n
.
Nello sviluppo di Taylor di una funzione dierenziabile f : R
n
R, si ha una
somma di tali polinomi omogenei pi` u un ultimo termine R
n+1
, il resto, che
è ancora espresso da una scrittura dello stesso tipo con la sola dierenza che i
coecienti a
I
invece che costanti sono funzioni dierenziabili:
R
n+1
=
|I|=d
a
I
(x) x
I
Comportamento qualitativo locale: il lemma di Morse
Siano f : U R e f
: U
R due funzioni dierenziabili denite su aperti di

5
uno spazio euclideo contenente lorigine. Diremo che (U, f) , (U
, f
) hanno in 0
lo stesso comportamento qualitativo se esistono intorni aperti V U , V
di 0 ed un dieomorsmo h di V su V
tali che f(x) = f(h(x)) per ogni x V .

Proposizione 8 Sia f una funzione dierenziabile in un intorno U di 0 R.
Se essa si annulla in 0 assieme a tutte le sue derivate di ordine inferiore ad n ma
la sua derivata dordine n è positiva in 0, allora essa ha lo stesso comportamento
qualitativo della funzione t t
n
Dim. Per la formula di Taylor, in un intorno di 0 si ha f(t) = t
n
h(t) con h
dierenziabile (per ipotesi lo sviluppo di ordine n1 è nullo e quindi f coincide
col resto). La condizione f
(n)
(0) > 0 equivale a h(0) > 0; esiste quindi in
un intorno di 0 una funzione dierenziabile k tale che h = k
n
. Si ha quindi
f = (t k(t))
n
. resta da dimostrare che t k(t) può essere presa come coordinata
di centro 0 e ciò è vero perche ha derivata non nulla in 0.
Proposizione 9 (Lemma di Morse) Sia f una funzione dierenziabile in un
intorno di 0 R
n
nulla in 0 assieme a tutte le sue derivate prime e supponiamo
che la matrice H i cui elementi sono le derivate seconde di f calcolate in 0 abbia
determinante non nullo. Allora, se a è il numero di autovalori positivi di H, la
f ha in 0 lo stesso comportamento qualitativo della funzione
x
2
1
+... +x
2
a
(x
2
a+1
+... +x
2
n
)
Dim. La dimostrazione è molto simile a quella del teorema di diagonalizzazione
delle forme quadratiche reali. Si parte dallo sviluppo di Taylor di ordine 1 che
dà :
f(x) =
n
ij+1
h
ij
(x)
Cambiando eventualmente le coordinate (in modo lineare) si può supporre che
h
11
(0) ,= 0. Sia B la somma degli addendi del tipo h
ij
(x)x
i
x
j
con i, j > 1
ed A la somma degli altri. Aggiungendo ad A dei termini del tipo h
i
(x)x
2
i
, e
sottraendoli contemporaneamente a B si scrive f come somma di un termine
A = h
11
(x)(x
1
+ a
2
x
2
+ ... + a
n
x
n
)
2
ed uno

B =
ij>1
b
ij
(x)x
i
x
j
. A questo
punto si prendono come nuove coordinate le funzioni
_
[h
11
(x), x
2
, ..., x
n
; la

A
diviene x
2
1
e si può riapplicare la procedura a

B, che è espressa come un poli-
nomio omogeneo di grado due nelle x
2
, ..., x
n
a coecienti funzioni dierenziabili
elle x
1
, ..., x
n
. Iterando questa procedura si arriva alla diagonalizzazione di
f. Che il numero di quadrati positivi che si ottengono coincide col numero di
autovalori positivi della matrice H, può essere dedotto dallanalogo fatto per
la diagonalizzazione delle forme quadratiche, osservando che per una f che in
un punto ha nulle tutte le derivate prime, ogni cambiamento di coordinate lo-
cali trasforma la matrice delle derivate seconde come si trasformano le forme
quadratiche. Questo fatto sarà analizzato meglio nel seguito quando parleremo
dellHessiano.
Varietà immerse
Sia H R
N
un sottoinsieme qualsiasi (non necessariamente aperto). Una fun-
zione f : H R è detta dierenziabile se per ogni x
0
H esistono un suo
6
intorno aperto U ed una F : U R dierenziabile (in senso ordinario) tali che
per ogni x U H sia f(x) = F(x).
Se H R
N
e K R
M
, una f : H K è detta dierenziabile se tali sono le
sue M componenti in quanto funzioni di H in R.
Diremo che f : H K è un dieomorsmo se f è biunivoca e dierenziabile
assieme alla sua inversa.
Siano H R
N
e x
0
H; lo spazio tangente ad H in x
0
è linsieme T(H)
x
0
dei
v R
N
tali che per ogni aperto U in R
N
che contiene x
0
e funzione dierenzi-
abile h : U R che sia nulla su U H si abbia dh(x
0
)[v] = 0. E chiaro che
T(H)
x
0
è un sottospazio vettoriale di R
N
.
Siano H R
N
, K R
M
, f : H K dierenziabile e x
0
H.
Per denizione esistono un aperto U in R
N
contenente x
0
ed una F : U R
M
dierenziabile che coincide con f su U H. Si verichi per esercizio che dF(x
0
)
applica T(H)
x
0
R
N
in T(K)
f(x
0
)
R
M
ed induce quindi una applicazione
lineare : T(H)
x
0
T(K)
f(x
0
)
. Inoltre tale non dipende dalla partico-
lare estensione F scelta; ossia se U
è un altro aperto in R
N
contenente x
0
e
F
: U
R
M
è dierenziabile e tale che per x U
H sia F
(x) = f(x) ,
allora per v T(H)
x
0
si ha dF(x
0
)[v] = dF
(x
0
)[v].
Si ottiene cos` una ben denita applicazione lineare df(x
0
) : T(H)
x
0
T(K)
f(x
0
)
che sarà detta il dierenziale di f in x
0
.
Def. Un sottoinsieme H R
N
è detto una varietà dierenziabile di dimen-
sione n se ogni suo punto ha un intorno aperto dieomorfo ad un aperto di R
n
.
Diremo invece che H è una varietà dierenziabile a bordo di dimensione n se ogni
suo punto ha un intorno aperto dieomorfo ad un aperto di [0, +[R
n1
R
n
.
Una carta su una varietà dierenziabile X R
N
di dimensione n è una coppia
(U, f) ove U X è un aperto ed f : U V è un dieomersmo tra U ed un
aperto V di R
n
. Se x U ed è f(x) = 0 diremo che (U, f) è una carta di centro
x; in tal caso linversa f
1
: V U sarà detta una parametrizzazione di X
allintorno di x.
Esempi (denizioni,esercizi,complementi)
1. Consideriamo la varietà a bordo X = [0, = ] R
n1
e poniamo
X = 0 R
n1
. Si verichi che ogni dieomorsmo f : U V tra aperti di
X applica U X in V X. Ciò permette di denire il bordo X per ogni
varietà a bordo X di dimensione n e di dimostrare che esso è una varietà (senza
bordo) di dimensione n 1. Ad esempio D
n
= x R
n
: [[x[[ 1 è una
varietà compatta a bordo (detta il disco di dimensione n) il cui bordo è S
n1
(la sfera di dimensione n 1).
Un aperto R
n
sarà detto a frontiera dierenziabile se ogni x
0
possiede
un intorno aperto U ed una funzione dierenziabile f : U X tali che:
- f(x
0
) = 0 e U = x U : f(x) < 0
- df(x
0
) è non nullo
Ciò equivale a dire che è la parte interna di una sottovarieà a bordo di R
n
avente dimensione n. Una tale f verrà detta una equazione locale per in x
0
.
2. Siano R
n
un aperto ed f : R
p
una applicazione dierenziabile.
Allora X = (x, y) R
n
R
p
: x , y = f(x) è una varietà dierenziabile
di dimensione n (infatti x (x, f(x)) è un dieomorsmo tra ed X).
7
3. Siano X R
n
, Y R
m
varietà dierenziabili di dimensioni p e q; allora
X Y R
n+m
è una varietà dierenziabile di dimensione p + q. Se una delle
due è a bordo anche il prodotto lo è. Se entrambi hanno il bordo non vuoto,
X Y non è una varietà a bordo.
4. Sia f : X Y una applicazione dierenziabile tra varietà. Diremo che
x X è un punto critico per f se df(x) : T(X)
x
T(Y (
f(x)
non è surgettiva;
altrimenti diremo che x è un punto regolare.
Diremo che y Y è un valore critico per f se è immagine di qualche punto
critico. Altrimenti esso sarà detto un valore regolare.
Si dimostri che linsieme dei punti critici è un chiuso in X e che linsieme dei
valori critici può non essere un chiuso in Y.
5. Sia f : X Y dierenziabile tra varietà di dimensione n +p e p.
Si dimostri che se y Y è un valore regolare allora X
0
= f
1
(y) è una sottova-
rietà di X di dimensine n. Se ciò accade ed è Y = R
p
e y = 0 , diremo che f è
una equazione (globale) di denizione per X
0
in X.
Si dimostri che se X
0
è una sottovarietà di X , ogni x X
0
ha un intorno aperto
U sul quale esiste una equazione di denizione h per X
0
U.Una coppia del tipo
(U, h) sarà detta una equazione locale di denizione per X
0
in X.
6. Una applicazione dierenziabile f : X Y tra varietà è detta un prodotto
se esistono una varietà F ed un dieomorsmo h : X F Y tale che detta
p : F Y Y la proiezione canonica si abbia p h = f. Necessariamente una
tale f è priva di punti critici.
Viceversa se f : X Y è dierenziabile ed x X è regolare, allora x ha un
intorno aperto U in X tale che f(U) è aperto in Y e la restrizione di f da U in
f(U) è un prodotto.
7. Sia 0 un valore regolare per f : X R; allora M = x X : f(x) 0
è una varietà a bordo con M = f
1
(0). Si dimostri inoltre che in tal caso
(x, y) X R
n
: [[y[[
2
= f(x) è una ipersupercie (ossia una sottovarietà
di dimensione uno meno di quella dellambiente) in X R
n
.
8. Una applicazione dierenziabile : X Y tra varietà è detta una immersion
se il suo dierenziale d(x) è iniettivo per ogni x X. Diremo invece che è un
embedding se è un dieomorsmo tra X e la sua immagine; ciò equivale a dire
che è una immersion ed è un omeomorsmo con la propria immagine. Diremo
che una varietà X di dimensione n ha codimensione di embedding p se esiste un
suo embedding in R
n+p
. Ad esempio la sfera S
n
ha codimensione di embedding
uno. Analoga denizione per la nozione di immersion.
E facile dimostrare che per S
1
non esiste alcuna immersion in R.
Si dimostri pi` u in generale che una varietà compatta non vuota di dimensione
n non ha alcuna immersion (e quindi neppure un embedding) in R
n
.
9. Sia una applicazione dierenziabile di una varietà a bordo X in una varietà
(senza bordo) Y . Un punto x
0
X è detto regolare per se o x
0
/ X ed x
0
è
un punto regolare per la restrizione di a X X, oppure x
0
X ed allora
x
0
è regolare per la restrizione di a X.
Si dimostri che se x
0
X è regolare per : X R
n
, allora esiste un intorno
8
aperto U di x
0
in X ed un dieomorsmo h (un sistema di coordinate locali) tra
U e D
+
= x R
n+p
: [[x[[ 1 , x
n+p
0 per cui h(0) = 0 e lapplicazione
diviene (x
1
, . . . , x
n+p
) (x
1
, . . . , x
n
).
Ciò può essere riformulato come segue: sia X una sottovarietà a bordo di una
varietà a bordo Y ; diremo che X è ben messa in Y se si ha:
X = X Y
e se per ogni x X si ha:
T
x
(X) = T
x
(X) T
x
(Y )
Da quanto sopra detto si ottiene che se : M N è una applicazione dieren-
ziabile di una varietà a bordo M in una varietà (senza bordo) N, allora la bra
X di su un valore regolare, è una sottovarietà a bordo ben messa in M.
Equazioni locali e globali per sottovarietà
Sia Y un sottoinsieme di una varieà dierenziabile X. Diremo che una sottova-
rietà Y di X ha codimensione p se p + dim(Y ) = dim(X); per p = 1 diremo
anche che Y è una ipersupercie. Ad esempio se f : X R è dierenziable e
0 è un suo valore regolare, allora Y = f
1
(0) è una ipersupercie di X. Pi` u in
generale se f : X Z è una applicazione dierenziabile tra varietà e z Z è
un suo valore regolare, allora Y = f
1
(z) è una sottovarietà di X avente per
codimensione la dimensione di Z; nel caso sia Z = R
p
e z = 0 diremo che f è
una equazione globale per Y in X. Una equazione locale per Y in X in un punto
x X è il dato di un intorno aperto U di x in X e di una equazione globale
f : U R
p
per Y U in U. E facile vericare che ogni sottovarietà Y di X
ha equazioni locali in tutti i punti di Y e che le ha anche in tutti i punti di X
se e solo se è un sottoinsieme chiuso. La questione dellesistenza di equazioni
globali è pi` u complicata. Nel seguito esamineremo questo problema per p = 1
e parzialmente per il caso p = 2. Il tipo di argomenti che utilizzeremo, sono già
indicati nella trattazione del caso abbastanza elementare in cui X = R
N
ed Y
è compatta.
Proposizione 10
Ogni ipersupercie compatta in R
N
ha una equazione globale.
Dim. Come già osservato Y ha equazioni locali in ogni punto. Esistono cioè
un ricoprimento aperto | = (U
i
)
iI
di R
N
e equazioni f
i
per X U
i
in U
i
per ogni i I. Sia (
i
)
iI
una partizione dellunità subordinata; la funzione
f =
iI

i
f
i
è dierenziabile su tutto X, e si annulla su Y ; comunque può non
essere una equazione per Y perche può annullarsi in altri punti oltre quelli di Y
e nei punti di Y non è detto che abbia dierenziale non nullo. Ma supponiamo
che sia soddisfatta la condizione seguente:
- per ogni i, j I le funzioni f
i
ed f
j
hanno in ogni punto di U
i
U
j
lo stesso
segno.
Allora chiaramente f si annulla solo su X. Inoltre essa ha dierenziale non nullo
in ogni x X; infatti, se x U
i
, scelto un sistema di coordinate di centro x
in modo che f
i
divenga la prima coordinata x
1
, per ogni altro j con x U
j
si
ha che f
j
/x
1
è strettamente positiva in 0; quindi f/x
1
essendo una com-
binazione baricentrica di quantità positive sarà anchessa strettamente positiva.
9
Il problema è quindi di mettere a posto i segni delle f
i
in modo che in ogni
punto siano tutti concordi. Vedremo ora che questo è essenzialmente un prob-
lema di tipo combinatorio, che può essere risolto essendo R
N
topologicamente
abbastanza semplice.
Asserzione: su U
i
U
j
esiste una funzione dierenziabile f
ij
che è priva di zeri
e tale che f
i
= f
ij
f
j
( ossia: f
ij
è f
j
/f
i
). Infatti si prenda f
ij
= f
j
/f
i
sul complementare di X in U
i
U
j
; essendo X privo di parte interna, basterà
mostrare che f
j
/f
i
si estende localmente ad una funzione dierenziabile anche
allintorno di ogn x X. Ciò segue dal fatto che cambiando coordinate locali,
si può supporre che f
i
sia la prima coordinata e di conseguenza laermazione
fatta non è altro che il teorema di divisione elementare.
A questo punto abbiamo ancora due problemi da risolvere:
1. sarebbe comodo sapere che ogni U
i
U
j
se non vuoto è connesso: in tal caso
cambiando eventualmente segni ad una tra le f
i
e f
j
si può supporre che esse
concordino in segno su tutto U
i
U
j
2. partendo da un U
i
e lasciando f
i
invariata, passare da un U
j
ad un altro
cambiando segno eventualmente alla equazione sul nuovo aperto se non coincide
in segno con la precedente; anche questo processo abbia termine facendo con-
cordare tutti i segni occorre che in ogni percorso che parte da U
i
e vi torna, il
numero di inversioni di segno che si incontrano sia pari.
Il problema 1. è facilmente risolubile in R
n
passando eventualmente ad un raf-
namento di | fatto con aperti convessi: lintersezione di due convessi essendo
sicuramente o vuota o connessa; servirà un pò di lavoro per trovare qualcosa
che funzioni in modo analogo su varietà qualsiasi.
Il problema due può essere risolto in R
N
considerando ricoprimenti di tipo par-
ticolare: ad esempi quelli fatti quadrettando R
N
parallelamente agli assi ed
allargando poi un poco tali quadrati chiusi a quadrati aperti. Allora è
chiaro che si possono mettere a posto tra loro tutti quelli che appartengono ad
una stessa la parallela al primo asse, poi le le allineate nella direzione del
secondo asse e cos` via: nel caso che invece che in R
N
la ipersupercie sia ambi-
entata in una varietà M qualsiasi (connessa) vedremo che per essere sicuri che
i segni possono essere messi a posto, occorre sapere qualcosa sul gruppo fonda-
mentale
1
(M): troveremo anzi che ogni ipersupercie di M ha una equazione
globale se e solo se lunico omomorsmo di
1
(M) a valori in Z/2Z è quello
nullo.
Nota
Si può dimostrare che una varietà X di codimensione due in R
N
ha una equazione
globale (ossia esiste una f : R
N
R
N2
dierenziabile avente 0 come valore
regolare ed il cui luogo di zeri è X) se e solo se essa è orientabile. Un esempio
evidente di non orientabile in codimensione due si costruisce con la bottiglia
di Klein. In codimensione quattro, oltre alla orientabilità, lesistenza di euazioni
globali equivale al fatto che X verichi due proprietà di tipo coomologico. In
codimensione tre la questione sembra pi` u complicata; ad esempio per lunione
di due sfere ordinarie di dimensione due in R
5
che siano allacciate (od anche una
loro somma connessa fatta in R
5
che è dieomorfa ad una 2-sfera) non esiste
una equazione globale.
Spazi paracompatti e partizioni dellunità
Nel seguito ogni spazio topologico è supposto (se non esplicitamente dichiarato)
10
separato ed a base numerabile.
Denizioni:
- Una famiglia T di sottoinsiemi di uno spazio topologico X è detta puntualmente
nita se ogni x X appartiene solo ad un numero nito di elementi di T; è
detta localmente nita se ogni x X possiede un intorno che incontra solo un
numero nito di elementi di T.
- Una famiglia T è pi` u ne di una famiglia ( se ogni elemento di T è contenuto
in qualche elemento di (.
- Uno spazio topologico X è detto localmente compatto se ogni punto possiede
almeno un intorno compatto. E facile vericare che allora gli intorni compatti
di un punto costituiscono un suo sistema fondamentale di intorni.
- Uno spazio topologico X è detto paracompatto se per ogni ogni ricoprimento
aperto | di X esiste un ricoprimento aperto 1 di X che sia localmente nito e
pi` u ne di | (in generale 1 non è costruibile come una sottofamiglia di | ; si
prenda ad esempio per | la famiglia delle palle di centro lorigine in R
n
).
- Uno spazio topologico X è detto numerabile allinnito se è ricopribile con
una successione (numerabile) di compatti ognuno contenuto nella parte interna
del successivo; una tale successione di compatti verrà detta esaustiva .
Proposizione 11 Ogni spazio localmente compatto è numerabile allinnito
Dim. Sia (B
n
)
nN
una base numerabile di X; possiamo supporre che ogni B
n
abbia chiusura compatta (infatti gli elementi della base originaria che hanno tale
proprietà costituiscono ancora una base). Per ogni intero r sia H
r
la chiusura
di B
0
B
r
. Per ogni intero r esiste un intero s > r tale che H
r
è contenuto
nella parte interna di H
s
e ciò dimostra che eliminando alcuni degli H
i
resta
una successione esaustiva di compatti per X.
Proposizione 12 Ogni spazio localmente compatto è paracompatto
Sia (K
n
)
nN
una successione esaustiva di compatti per X. Per ogni intero n 1
sia
n
laperto ottenuto togliendo alla parte interna di K
n+1
il compatto K
n
.
La famiglia
n
)
n1
è un ricoprimento aperto di X che è numerabile, localmente
nito ed i cui elementi sono relativamente compatti.
Sia allora | = (U
i
)
iI
un ricoprimento aperto qualsiasi di X; per ogni intero
positivo n esiste I
n
I nito tale che
n
sia contenuto nellunione degli U
i
per i I
n
; ne segue che la famiglia degli
n
U
i
per n intero positivo ed
i I
n
costituisce un ricoprimento aperto 1 localmente nito pi` u ne di |. Si
noti che tale 1 è inoltre numerabile ma daltra parte si noti anche che in ogni
ricoprimento aperto localmente nito di X gli aperti non vuoti sono al pi` u una
innità numerabile.
Diremo che una funzione f a valori reali su uno spazio topologico X è localmente
nulla in x X se essa è identicamente nulla su qualche intorno di x. Linsieme
dei punti x X nei quali f non è localmente nulla costituisce un chiuso che
viene detto il supporto di f. Una famiglia (f
i
)
iI
di funzioni su X è detta
localmente nita se tale è la famiglia dei suoi supporti.
Una partizione dellunità sullo spazio topologico X è una famiglia localmente
nita (f
i
)
iI
di funzioni continue su X tale che
iI
f
i
(x) = 1 per ogni x I.
Tale partizione è detta pi` u ne di un ricoprimento | = (U
j
)
jJ
se cos` è la
famiglia dei supporti delle f
i
. Se inoltre accade che I = J e per ogni i I il
11
supporto di f
i
è contenuto in U
i
allora diremo che la partizione è subordinata
ad |.
Lemma 13 Sia | = (U
i
)
iI
un ricoprimento aperto di X. Se esiste una par-
tizione (f
j
)
jJ
su X pi` u ne di | allora ne esiste anche una (F
i
)
iI
subordinata
ad |
Dim. Per ipotesi esiste : J I tale che per ogni j J il supporto di f
j
sia
contenuto U
(j)
. Per ogni i I si denisca F
i
=
j
1
(i)
f
j
; si verica con un
po(co) di lavoro che (F
i
)
iI
è una partizione dellunità subordinata ad |.
Teorema 14 Su uno spazio localmente compatto ogni ricoprimento aperto ha
partizioni dellunit` a a lui subordinate
Dim.
La dimostrazione si avvale del teorema di esistenza di funzioni continue detto
lemma di Uhrison. Per evitarne luso e per trattare allo stesso tempo gli analoghi
risultati nel caso dierenziabile, si può supporre che su X sia assegnata una
famiglia T di funzioni continue che abbia la seguente proprietà:
- dati comunque x X ed un intorno U di x esiste una f T non nulla
in x ed avente supporto contenuto in U.
Se X è una varietà topologica (o dierenziabile) si possono costruire famiglie
siatte trasportando tramite carte locali su X delle funzioni standard su R
n
;
oppure se X è metrico si costruiscono facilmente funzioni continue con tale
proprietà utilizzando la metrica stessa. Passando ai quadrati si può supporre
che gli elementi di T siano funzioni positive.
Veniamo alla dimostrazione. Per quanto visto avanti si può supporre che il rico-
primento dato sia numerabile, localmente nito e costituito da aperti localmente
compatti. Sia esso | = (U
n
)
nN
. Vogliamo denire induttivamente funzioni
continue g
n
: X R ed aperti V
n
X per n N soddisfacenti le condizioni:
- il supporto di g
n
contiene V
n
ed è contenuto in U
n
- V
0
, . . . , V
n
assieme a tutti gli U
i
per i > n ricoprono X
operiamo cos` : sia F il complementare di
n>0
U
n
; esso è un compatto con-
tenuto in U
0
ed utilizzando l esistenza di funzioni locali si può costruire una
funzione continua g
0
strettamente positiva su F ed il cui supporto sia contenuto
in U
0
. Si scelga quindi per V
0
un intorno aperto di F contenuto nel supporto
di g
0
. Supposti costruiti g
0
, . . . g
n
e V
0
, . . . V
n
si considera il complementare F
dellunione di V
0
, . . . V
n
con gli U
r
per r > n+1 e si ripete la costruzione prece-
dente ottenendo una g
n+1
ed un V
n+1
. Evidentemente la funzione g =
nN
g
n
è positiva strettamente e le f
n
= g
n
/g formano una partizione dellunità subor-
dinata al ricoprimento |.
Nota. E chiaro che se X è una varietà dierenziabile tutta la costruzione può
essere fatta utilizzando funzioni dierenziabli su X.
Applicazioni proprie
12
In questa appendice ogni spazio topologico è supposto oltre che separato ed a
base numerabile anche localmente compatto.
Denizioni
- Una applicazione f : X Y tra spazi topologici è detta chiusa se trasforma
chiusi di X in chiusi di Y . E detta propria se è continua e se f
1
trasforma
compatti di Y in compatti di X.
- Diremo che una successione (x
n
)
nN
in uno spazio topologico X diverge od
anche che tende all se per ogni compatto K X esiste n
0
N tale che
x
n
/ K per n n
0
. Per le ipotesi fatte su X ciò equivale al non possedere
sottosuccessioni convergenti ossia a non avere punti aderenti.
Proposizione 15 Sia f : X Y continua. Sono equivalenti le condizioni:
(a) f è propria
(b) f è chiusa ed f
1
(y) è compatto per ogni y Y
(c) f trasforma successioni divergenti in X in successioni divergenti in Y
Dim.(a) (b) : Evidentemente le bre di f sono compatte. Mostriamo che se
C è chiuso in X allora f(C) è chiuso in Y . Sia y in Y f(C) e consideriamo
la famiglia / degli intorni compatti di y. Essendo Y localmente compatto si ha
KK
K = . Allora
KK
f
1
(K) C = ed essendo tali insiemi compatti in
X , lintersezione di un numero nito di essi è vuota. Si ottiene quindi lesistenza
di un K / per il quale f
1
(K)C = e ciò implica che Kf(C) = ; Quindi
f
1
(C) è chiuso perche ogni punto che non gli appartiene possiede un intorno
che non lo interseca.
(b)(c) : Se (c) non è vericata esiste una successione (x
n
) divergente in X
e tale che f(x
n
) converge ad un y Y . Essendo (x
n
) divergente, linsieme
x
n
: n N è chiuso in X; per (b) quindi f(x
n
) : n N è chiuso in Y . Se
ne deduce che y deve essere uno degli f(x
n
); anzi, siccome ciò deve rimanere
vero per ogni sottosuccessione deve esistere n
0
N tale che f(x
n
) = y per ogni
n n
0
. Quindi la successione (x
n
)
nn
0
è contenuta in f
1
(y) che per ipotesi è
compatto e non può essere divergente contrariamente allipotesi fatta.
(c) (a) : Sia K un compatto in Y . Se per assurdo f
1
(K) non fosse com-
patto in X, esso conterrebbe una successione (x
n
) divergente in f
1
(K) ma
divergente anche in X perche esso è chiuso in X. Ma (f(x
n
)) è una successione
nel compatto K e non può quindi essere divergente; si è cos` contraddetto la (c)
e la dimostrazione è conclusa.
Proposizione 16 Sia f : X Y una applicazione propria. Se y Y ed U è
un aperto di X che contiene f
1
(y) , esiste un intorno V di y in Y tale che
f
1
(V ) U.
In altri termini : le immagini inverse di intorni di y costituiscono un sistema
fondamentale di intorni per la bra f
1
(y)
Dim. Sia / la famiglia degli intorni compatti di y in Y ; si ha allora
KK
f
1
(K) U = . Essendo questa una famiglia di compatti, chiusa per
intersezioni nite, se ne deduce lesistenza di un K / tale che f
1
(K)U =
ossia f
1
(K) U.
13
Orientazioni
Sia V uno spazio vettoriale reale di dimensione nita. Sullinsieme delle basi di
V poniamo la seguente relazione di equivalenza: due basi sono equivalenti se la
matrice quadrata che esprime gli elementi delluna come combinazione lineare
di quelli dellaltra ha determinante positivo. Si hanno due classi di equivalenza:
orientare V signica scegliere una di tali classi; le basi della classe scelta saranno
dette orientate positivamente o positive. Orientare una varieà dierenziabile
signica ssare una orientazione per ciascuno dei suoi spazi tangenti, in modo
tale che allintorno di ogni punto esista un sistema di coordinate locali il cui
dierenziale trasformi le basi scelte come positive nelle basi di R
n
che sono
equivalenti (stessa orientazione) della base canonica di R
n
.
Una varietà sarà detta orientabile se esistono sue orientazioni; nel caso che
essa sia connessa o non possiede orientazioni (non orientabile) o ne ammette
esattamente due.
Punti e valori critici
Sia f : X Y una applicazione dierenziabile tra varietà.
Un x
0
X è detto un punto critico per f se il dierenziale df(x
0
) : T
x
0
(X)
T
f(x
0
))
(Y ) non è surgettivo. Scrivendo f localmente tramite coordinate locali
in x
0
ed in f(x
0
), la condizione di essere critico equivale allessere il rango della
matrice jacobiana (f
i
/x
j
) inferiore alla dimensione di Y (ossia il numero delle
sue righe). Tale condizione equivale poi allannullarsi dei determinanti di certe
matrici: precisamente dei minori della matrice jacobiana di ordine dim(Y ).
Ne segue che linsieme dei punti critici è chiuso in X. Un punto y
0
Y
è detto un valore critico per f se proviene da qualche punto critico, ossia se
f
1
(y
0
) ,= . In generale linsieme f() dei valori critici non è un chiuso in
Y ; ciò sara comunque vero nellipotesi che f sia propria.
Sistemi di equazioni di denizione
Siano R
n+p
un aperto ed f : R
p
una applicazione dierenziabile. Se
0 R
p
è un valore regolare per f, ossia se il dierenziale di f è surgettivo in
ogni punto ove f si annulla, allora X = f
1
(0) è una sottovarietà chiusa in di
dimensione n. In tal caso f o meglio le sue componenti f
1
, ..., f
p
saranno dette
un sistema di equazioni di denizione per X in e si ha:
Proposizione 17 Per ogni g : R dierenziabile e nulla su X esistono
h
1
, ..., h
p
dierenziabili su e tali che g = h
1
f
1
+... +h
p
f
p
Dim. Lesistenza locale allintorno dei punti di X di tali h
i
segue dal teorema
di divisione locale, utilizzando il fatto che localmente f
1
, ..., f
p
possono essere
prese come parte di un sistema di coordinate; nei punti di non in X, almeno
una delle f
i
, diciamo f
1
, è diversa da zero: preso un intorno U di x ove f
1
,= 0 si
ha che g = (gf
1
) f
1
+0 f
2
+... +0 f
p
. Quindi lenunciato è vero localmente
in ogni punto di . Si globalizza nel modo seguente: esiste un ricoprimento
aperto | di tale che per ogni i I la g ristretta ad U
i
può essere scritta come
h
(i)
1
f
1
+... +h
(i)
p
f
p
; sia (
i
)
iI
una partizione dellunità subordinata ad | e per
14
j 1, ..., p si denisca h
j
=
iI

i
h
(i)
j
.
Allora su tutto si ha g = h
1
f
1
+... +h
p
f
p
.
Osservazioni
1. La proposizione precedente vale nel caso pi` u generale che sia una qualsiasi
varietà dierenziabile: identica dimostrazione
2. Sia ancora f : R
p
come sopra e sia data inoltre una funzione dieren-
ziabile f
0
: R tale che in ogni punto x in cui f
0
(x) = f
1
(x) = ... =
f
p
(x) = 0 il dierenziale df
0
(x) sia linearmente indipendente dai dierenziali
df
1
(x), ..., df
p
(x); ossia supponiamo che 0 R
p+1
sia un valore regolare per
lapplicazione x (f
0
(x), ..., f
p
(x)) R
p+1
.
Allora = x : f
1
(x) = ... = f
p
(x) = 0 , f
0
(x) 0 è una varietà a
bordo di dimensione n chiusa in . Infatti nelle ipotesi fatte allintorno di ogni
punto di esiste un sistema di coordinate locali in cui f
0
, ..., f
p
sono le prime
coordinate; in un tale sistema diventa un aperto della varietà a bordo denita
in R
p+1
da x
1
= ... = x
p
= 0 e x
0
0.
Famiglie di spazi vettoriali
Sia X R
N
una varietà dierenziabile di dimensione n.
Un sottoinsieme F di X R
M
è detto una famiglia dierenziabile di spazi
vettoriali di dimensione p (o anche pi` u tecnicamente un brato vettoriale di
dimensione p su X) se per ogni x
0
X esistono un aperto U X contenente
x
0
ed una applicazione dierenziabile A : U matrici a M righe e M p
colonne R
(Mp)M
tali che:
1. la matrice A(x) ha rango M p per ogni x U
2. F (U R
M
= (x, v) R
N
R
M
: x U , A(x)[v] = 0.
Lapplicazione : F X, restrizione della proiezione X R
M
X, è detta
proiezione del brato. Ogni sua bra
1
(x
0
) sarà identicata al sottospazio
vettoriale di dimensione p in R
M
dato dalle soluzioni del sistema lineare omo-
geneo A(x
0
)[v] = 0 e sarà indicata con F
x
0
.
Esercizio. Si controlli che una denizione equivalente di brato vettoriale di
dimensione p è la seguente:
per ogni x
0
X esistono un suo intorno aperto U in X ed una applicazione
dierenziabile C : U R
p
matrici a p colonne ed M righe tali che:
F (U R
M
) = (x, C(x)[v] : x U , v R
p
Proposizione 18 Una famiglia F come sopra è una sottovarietà dierenziabile

di R
N
R
M
di dimensione n +p
Dim. Per x
0
X sia U un suo intorno aperto in X sul quale sia denita
A : U R
(Mp)M
con le proprietà richieste sopra. A meno di restringere U
si può supporre che sia U = X ove è un aperto in R
N
, lapplicazione A
è estendibile dierenziabilmente ad e su esista un sistema di equazioni di
15
denizione f : R
Nn
per X . Allora la parte di F che stà in R
M
è
il luogo di zeri dellapplicazione:
: R
M
(x, v) (f(x), A(x)[v]) R
Nn
R
Mp
Basterà quindi mostrare che d ha rango massimo in ogni punto ove sia
annulla.
Ed infatti in tali punti la restrizione di a R
N
0 va surgettivamente su
R
Nn
0 (è lipotesi che f è un sistema di equazioni di denizione) e la sua
restrizione a 0 R
M
va surgettivamente su 0 R
Mp
(è lipotesi sul rango
di A(x) ); quindi d è surgettiva.
Proposizione 19 Siano X R
N
una varietà dierenziabile di dimensione n
e F X R
M
un brato dierenziabile di dimensione p.
Allora (x, v) X R
M
: x X , v F
x
è un brato dierenziabile di
dimensione M p che sarà detto brato ortogonale ad F e indicato con F
Dim. Utilizziamo la descrizione locale di F data nellesercizio precedente.

Quindi F (U R
M
) = (x, C(x)[v]) : x U , v R
p
.
Con facili considerazioni di algebra lineare si verica che:
F
(U R
M
) = (
t
C(x)[w], w) : x U, w R
Mp
Esempi di brati vettoriali
Siano Y X sottovarietà dierenziabili in un R
N
di dimensioni risp. n ed n+p.
Allora:
T(Y ) = (y, v) R
N
R
N
: y Y , v T
x
(Y )
è un brato dierenziabile su Y di dimensione n che viene detto brato tangente
ad Y .
N(Y, X) = (y, v) R
N
R
N
: y Y , v T
y
(X) T
y
(Y )
è un brato dierenziable su Y di dimensione p che viene detto brato ortogonale
ad Y in X. Se X = R
N
esso sarà indicato semplicemente con N(Y ).
Intorni tubolari
Sia X R
N
una sottovarietà di dimensione n. Per > 0 poniamo
D
(X) = x R
N
: d(x, X) N
(X) = (x, v) N(X, R

N
) : [[v[[
e consideriamo lapplicazione dierenziabile : N(X, R
N
) R
N
denita dalla
formula (x, v) = x +v.
Teorema 20 Se X è compatta, esiste
0
> 0 tale che per ogni 0 < <
0
lapplicazione induce un dieomorsmo tra la varietà a bordo N
(X) e D
(X);
in particolare anche questultimo è una varietà a bordo.
Per ogni x D
(X) esiste uno ed un solo r(x) X tale che d(x, r(x)) = d(x, X)
e lapplicazione r : D
(X) X ha la proprietà seguente:

16
per ogni x
0
X esistono un suo intorno aperto U in X ed un dieomorsmo
h : r
1
(U) U D (ove D è il disco unitario in R
n
) che trasforma r nella
proiezione di U D in U. Le identicazioni tra r
1
(x) ed il disco D in due tali
rappresentazioni locali sono date da trasformazioni lineari ortogonali dipendenti
dierenziabilmente da punto x
Dim. Per y R
N
indichiamo con
y
: R
N
R la funzione
y
(x) =
[[x y[[
2
. Essendo X compatta, la sua restrizione ad X ha un minimo x
0
e conseguentemente ha dierenziale nullo in x
0
. Il dierenziale di
y
come
funzione su R
N
è calcolabile con lo sviluppo:
y
(x
0
+h) = [[x
0
+h y[[
2
= [[x
0
y[[
2
+ 2 < x
0
y, h > +[[h[[
2
che dà : d
y
(x
0
)[h] = 2 < x
0
y, h >. Quindi la restrizione di
y
ad X ha un
punto critico in x
0
se e solo se x
0
y = v è ortogonale a T
x
0
(X); in tal caso
(x
0
, v) N(X, R
N
) e (x
0
, v) = y. Se y D
(X) allora [[v[[ < e quindi si è

mostrato che : N
(X) D
(X) è surgettiva per ogni > 0.

Vediamo ora che per sucientemente piccolo, ha dierenziabile invertibile
in ogni punto di D
e quindi è una applicazione localmente invertibile. Basterà

controllare che ciò è vero nei punti di X 0 perche allora ciò sarà vero in
qualche intorno di X0 e quindi su qualche N
(X) perche questi ne costituis-

cono un sistema fondamentale di intorni. Avendo dominio e codominio la stessa
dimensione basterà mostrare che per x X la ha dierenziale surgettivo nel
punto (x, 0). Ciò segue immediatamente osservando che lo spazio tangente ad
X in x è in tale immagine (perche : X 0 X è un dieomorsmo) ed
anche il suo ortogonale (perche applica x T
x
(X)
con un dieomorsmo
sul sottospazio ane ortogonale ad X in x.
Resta quindi da mostrare che per sucientemente piccolo, è iniettiva su
N
(X). Ragioniamo per assurdo: per ogni n intero positivo, esistono quindi
(x
n
, u
n
) ,= (y
n
, v
n
) in N
1/n
(X) sui quali assume gli stessi valori, ossia
x
n
+u
n
= y
n
+v
n
. Per compattezza di X una sottosuccessione degli (x
n
) con-
vergerà ad un x
0
X; siccome u
n
e v
n
vanno a zero, anche gli y
n
tenderanno
ad x
0
; quindi in ogni intorno di (x
0
, 0) vi sono punti distinti (x
n
, u
n
) e (y
n
, v
n
)
sui quali assume gli stessi valori e ciò contrasta col fatto che in (x
0
, 0) la è
localmente invertibile.
Per 0 < <
0
, chiameremo D
(X) , lintorno tubolare di raggio di X e

r : D
(X) X sarà detta la proiezione ortogonale su X. Si noti inoltre che per

tali , linsieme S
(X) = x R
N
: d(x, X) = è una sottovarietà dierenzia-
bile di codimensione uno in R
N
e r : S
(X) X è dierenziabile e priva di

punti critici (in termini tecnici si direbbe che è un brato dierenziabile a bra
la sfera di dimensione N n 1 e gruppo strutturale il gruppo ortogonale).
Altra conseguenza: se X R
N
è una sottovarietà compatta (senza bordo),
allora la funzione distanza da X è non solo continua su R
N
ma il suo quadrato
è dierenziabile in un intorno di X.
La nozione di intorno tubolare di una sottovarietà in R
N
può essere esteso al
caso di una sottovarietà X compatta in una varietà dierenziabile M R
N
:
si trova un intorno U di X in M dieomorfo alla varietà compatta a bordo N
costituita dalle coppie (x, v) ove x X , [[v[[ è un vettore che è tangente

ad M in x ed è ortogonale allo spazio tangente ad Xin x; il dieomorsmo
17
r : N
U M è costruito associando prima ad (x, v) il vettore x +v R

N
e
proiettando poi questo nel punto di M a lui pi` u vicino.
Il teorema di brazione
Sia f : X Y una applicazione dierenziable tra varietà. Un punto x
0
X è
detto un punto critico per f se il suo dierenziale df(x
0
) : T
x
0
(X) T
f(x
0
)
(Y )
non è surgettivo. Scrivendo f in termini di coordinate locali scelte allintorno
di x
0
e di f(x
0
), i punti critici sono quelli in cui il rango della matrice jacobiana
(f
i
/x
j
ha rango inferiore alla dimensione di Y (quindi al numero delle righe di
tale matrice). Ne segue che linsieme deipunti critici, essendo localmente il luogo
di zeri di certi determinati (i minori della matrice jacobiana di ordine dim(Y ))
è un sottoinsieme chiuso di X. La sua immagine f(), ossia linsieme degli
y Y tali che f
1
(y) contiene qualche punto critico, sono detti valori critici di
f. In generale essi non costituiscono un chiuso di Y
Sia f : X Y una applicazione dierenziabile propria tra varietà. Se y
0
Y
è un valore regolare allora la bra X
y
0
= f
1
(y
0
) è una varietà compatta, anzi
siccome i valori regolari formano un aperto tutte le bre X
y
per y suciente-
mente vicino ad y
0
saranno varietà compatte. Mostreremo ora che tali varietà
sono tutte dieomorfe ad X
y
0
.
Teorema 21 Sia f : X Y una applicazione dierenziabile propria e sia
y
0
Y un suo valore regolare. Esiste un intorno aperto U di y
0
in Y ed un
dieomorsmo h : f
1
(U) U X
y
0
tale che su f
1
(U) si abbia p h = f
essendo p : U X
y
0
U la proiezione canonica.
In altri termini lapplicazione f : f
1
(U) U è dieomorfa alla
proiezione p : U X
y
0
U
Dim. Si può supporre Y = R
p
e X R
N
. Fissiamo un intorno tubolare
r : D
(X
0
) X
0
di X
0
in R
N
e sia U R
p
un intorno aperto dellorigine tale
che f
1
(U) D
(X
0
). Deniamo h : f
1
(U) X
0
U come lapplicazione che
applica x in (r(x), f(x)). Per costruzione f = p h. Resta da mostrare che se
U è sucientemente piccolo, h è un dieomorsmo. Ciò segue dalle asserzioni
seguenti:
a. h induce un dieomorsmo tra X
0
e X
0
0
b. h è localmente invertibile nei punti x X
0
; basterà dimostrare che in tali
punti il suo dierenziale è surgettivo, perche dominio e codominio hanno la
stessa dimensione.
Ed infatti in h(x) = (x, 0), lo spazio tangente ad X
0
0 è nellimmagine per
quanto detto in a. Considerando ora la proiezione di X
0
U U, limmagine
del dierenziale di h contiene il nucleo del dierenziale di p e viene applicato
surgettivamente sullo spazio tangente in 0 ad U (infatti ph = f e x è un punto
regolare per f).
Possiamo quindi supporre, rimpicciolendo eventualmente U che h sia local-
mente invertibile su tutto f
1
(U). Ragionando per assurdo come si è fatto
per liniettività nel teorema dellintorno tubolare, si ottiene che:
c. si può supporre che h sia iniettiva.
Resta da mostrare che per U opportuno, h è anche surgettiva. Si noti che h è
propria; infatti essa è a valori in un prodotto ed una delle componenti (la f)
è propria. Ne segue che Im(h) è un chiuso; ma Im(h) è anche aperto perche
18
h è localmente invertibile e quindi aperta. Quindi Im(h) è una unione di com-
ponenti connesse di X
0
U; se U è connesso, X
0
incontra tutte le componenti
connesse di x
0
U ed essendo X
0
Im(h), si avrà IM(h) = X
0
U.
Domini fortemente convessi
Def. Un dominio a frontiera dierenziabile in una varietà dierenziabile X è
un aperto di X che verica le proprietà:
1. è relativamente compatto in X
2. ogni x
0
(=frontiera topologica di ) ha un intorno U su cui esiste una
funzione dierenziabile f : U R tale che U = x U : f(x) < 0 e se
f(x) = 0 , allora df(x) ,= 0. Una tale f sarà detta una equazione su U per il
bordo di .
Ciò equivale a dire che è la parte interna della sua chiusura e che la sua
chiusura è una varietà a bordo compatta e connessa.
Siano X un dominio a frontiera dierenziabile in R
n
, x
0
, U un intorno
aperto di x
0
in R
n
ed h una equazione locale per su U. Chiameremo hes-
siano di h in X la forma quadratica su T()
x
0
che è restrizione della forma
quadratica su R
n
associata alla matrice (
2
f/x
i
x
j
(x
0
)) ; essa verrà indicata
con 1(h)(x
0
).
Lemma 22 Se k è unaltra equazione locale su U per , allora esiste una
costante positiva tale che 1(k) = 1(h).
Def. Per il lemma precedente la segnatura di 1(h) (ossia la terna (a, b, c) data
dai suoi indici di positività , negatività e nullità ) è indipendente dalla particolare
equazione utilizzata e sarà detta la segnatura di in x
0

Dim. Per il teorema di divisione, si ha che k = rh con r : U R dierenziabile
mai nulla in U anzi strettamente positiva perchè h, k sono entrambe negative
su U.
Confrontiamo gli hessiani di h, k ; calcoliamo prima su R
n
:
- k/x
i
= r/x
i
+rh/x
i
-
2
k/x
i
x
j
= (
2
r/x
i
x
j
)h + (r/x
i
)(h/x
j
) +
+ (r/x
j
)(h/x
i
) +r(
2
h/x
i
x
j
)
Calcolando in x
0
si ha h = 0 , quindi il primo addendo del secondo membro si
annulla. Vediamo poi che calcolando lhessiano di k su un vettore v T()
x
0
,
anche il secondo e terzo addendo si annullano , cosicchè solo il quarto membro
rimane e quindi 1(k)(x
0
) = r(x
0
)1(h)(x
0
) ove r(x
0
) ,= 0.
Infatti la matrice data da secondo e terzo membro si può scrivere:
(r)(h)
+ (h)(r)
(M
indica la trasposta della matrice M).

Il suo valore su un vettore v R
n
è dato da v
(r)(h)
v +v
(h)(r)
v ed
essendo lequazione di T()
x
0
esattamente v
(h) = 0 od anche (h)
v = 0 ,
tale espressione si annulla per v T()
x
0
.
Nota Si può dare la seguente caratterizzazione della segnatura (a, b, c) di un
dominio liscio in un suo punto x
0
del bordo:
Sia H R
n
uno spazio ane ; diremo che esso è tangente a X in x
0
se x
0

H e se la direzione di H (unico sottospazio di R
n
di cui H è un traslato) è
contenuto in T()
x
0
. Un tale H è detto tangente internamente (risp. tangente
esternamente) a X in x
0
se è tangente nel senso precisato sopra ed esiste > 0
19
tale che H
= v H : 0 < |v x
0
| < (risp. contenuto nella parte
esterna di ).
Considerando la restrizione della funzione h ad H si vede facilmente che
a max dim. dei sottospazi ani tangenti esternamente ad in x
0
a + c
e b è riferito analogamente alle possibili dimensioni degli spazi ani tangenti
internamente. Ne segue che se lhessiano è non degenere, ossia c = 0, allora a e
b misurano esattamente tali dimensioni.
Def. Un aperto fortemente convesso in R
n
è un dominio a frontiera dierenzia-
bile connesso ed avente segnatura (n 1, 0, 0) in ogni punto del bordo.
Proposizione 23 Un aperto fortemente convesso in R
n
è convesso.
Dim. Siano x
0
, x
1
; dobbiamo mostrare che [x
0
, x
1
] . Essendo
connesso , esiste una curva : [0, 1] con (0) = x
0
, (1) = x
1
. Sia
= t [0, 1] : [x
0
, (t)] , . Tale è chiaramente un chiuso in [0, 1] ,
quindi se non vuoto ha un primo elemento t
0
. E facile convincersi che allora
la retta H per x
0
, (t
0
) è tangente internamente a in qualche suo punto x .
Ma allora la segnatura di in x , dovrebbe avere b +c > 0 contro lipotesi.
Nota : La segnatura di un dominio a frontiera dierenziabile R
n
non
cambia, cambiando linearmente le coordinate di R
n
; tale nozione è quindi
trasportabile su uno spazio vettoriale (o ane ) qualsiasi.
Se invece è ssato su R
n
un prodotto scalare denito positivo, imponendo
allequazione locale f per la frontiera di di avere nel punto x
0
gradiente
di modulo uno, (ossia che (f/x
1
)
2
+ ... + (f/x
n
)
2
= 1), allora non solo la
segnatura di 1(f) (sulliperpiano tangente a ) non dipende dalla particolare
f ma saranno invarianti anche gli elementi che appaiono nella diagonalizzazione
di essa su una base ortonormale.
Teoremi tipo Jordan
Un sottoinsieme di R
2
che sia omeomorfo alla 1sfera unitaria S
1
è detto un
curva semplice di Jordan. Vi sono vari risultati che vengono detti teorema di
Jordan tutti abbastanza dicili da dimostrare se non si fanno ipotesi sul tipo
di omeomorsmo tra ed S
1
. Noi esamineremo solo situazioni semplicate,
supponendo che tale omeomorsmo sia dierenziabile (basterebbe C
1
a tratti)
oppure che sia un poligono (vedi la denizione nel seguito).
Il pi` u semplice di tali enuciati è il seguente:
- R
2
è unione di due aperti connessi disgiunti, uno dei quali è limitato
Il pi` u completo dice invece:
- la coppia (R
2
, ) è omeomorfa alla copia (R
2
, S
1
) : ossia esiste un omeomor-
smo h di R
2
in se stesso (che può essere scelto coincidere con lidentità fuori
di un compatto) tale che h(S
1
) = .
Un corollario di questo secondo enunciato che serve in diverse altre considera-
zioni è che la componente limitata di R
2
che è limitata è omeomorfa ad una
2palla aperta, in particolare è semplicemente connessa.
20
Vedremo anche che alcuni di questi risultati si estendono a situazioni di dimen-
sone superiore e/o pi` u generali, mentre altri no.
Lemma 24 Sia X una ipersupercie in una varietà dierenziabile M. Ogni
x
0
X ha un intorno aperto U tale che U X consiste di due componenti
connesse la chiusura di ognuna delle quali contiene X U
Dim. Esiste un sistema di coordinate locali in x
0
in cui un intorno di x
0
in
M diviene una palla aperta in R
n
e la parte di X contenuta in essa diviene
linsieme dei punti ove la prima coordinata è nulla.
Proposizione 25 Siano R
n
un aperto connesso ed X una sottovarietà
dierenziable non vuota e connessa di dimensione n 1. Anche X abbia su
una equazione di denizione globale f : R è necessario e suciente
che X sia un aperto sconnesso. In tal caso X ha esattamente due
componenti connesse
Dim. Cha la condizione sia necessaria è facile: se X ha una equazione f allora X
è un chiuso (perche luogo di zeri di f che è continua) e quindi X è un aperto;
inoltre in tal caso X è unione degli aperti f
1
(, 0[) e f
1
]0, [), che
sono disgiunti ed entrambi non vuoti (ogni punto di X è aderente ad entrambi).
Viceversa supponiamo che X sia chiuso e che X sia sconnesso e mostriamo
per prima cosa che allora ha esattamente due componenti connesse. Ed infatti
consideriamo una componente connessa A di X. Essa è un aperto in X
e quindi anche in : non può essere un chiuso di , altrimenti sarebbe
sconnesso, quindi

A X è un chiuso non vuoto di X: per il lemma precedente
esso è anche un aperto di X ed essendo X connesso deve coincidere con X.
Quindi la chiusura di ogni componente connessa di X contiene X: per il
precedente lemma tali componenti non possono essere pi` u di due.
Supponiamo quindi che X sia costituito da due componenti connesse che
indicheremo con A e B. Una equazione per X su X è data dalla funzione f
0
che vale 1 su A e 1 su B. Per ogni x si scelga una palla aperta U
x
di centro
x sulla quale X abbia una equazione di denizione f
x
; possiamo evidentemente
supporre che f
x
sia positiva nei punti di U
x
che stanno in A e negativa su quelli
che stanno in B.
Esistono quindi su un ricoprimento aperto (U
i
)
iI
di , che possiamo supporre
localmente nito, equazioni di denizione f
i
: U
i
R per X U
i
che a due a
due concordano in segno; rincollandole con una partizione dellunità (come fatto
per il caso = R
n
) si ottiene una equazione per X su
Osservazione La precedente proposizione vale pi` u in generale se è una sotto-
varietà di un R
N
(identica dimostrazione).
Corollario 26 Il complementare di una ipersupercie connessa X R
n
ha
esattamente due componenti connesse.
Dim. Sappiamo che essa ha una equazione su R
n
; la tesi segue allora dalla
precedente proposizione.
Nel corollario precedente, se X è supposta anche compatta, essa è contenuta nel
21
complementare di un disco di centro lorigine e raggio sucientemente alto; ne
segue che una sola delle due componenti connesse di R
n
X è limitata: essa
sarà detta linterno di X mentre laltra lesterno.
Proposizione 27 Linterno di una varietà dierenziable X R
2
di dimen-
sione 1 che sia compatta e connessa è semplicemente connesso
Utilizzeremo il seguente lemma che verrà dimostrato nel paragrafo seguente:
Lemma 28 Esiste una funzione lineare f : R
2
R la cui restrizione ad X ha
solo punti critici non degeneri (ossia, utilizzando una coordinata locale t su X,
in ogni punti di X ove df/dt è nulla la derivata seconda d
2
f/dt
2
è diversa da
zero)
Dim. (della prop.11) Possiamo prendere f come la seconda coordinata di R
2
.
Per ogni R sia
linsieme aperto dei punti interni ad X in cui y < . Tale
è vuoto per << 1 e coincide con linterno di X per >> 1. Mostreremo

per ogni che sia un valore regolare per la restrizione di y ad X, tale
ha
un numero nito di componenti connesse ognuna delle quali è semplicemente
connessa.
I punti critici di su X sono quelli in cui la tangente ad X è orizzontale. In
ognuno di essi la X è rappresentabile come graco di una funzione y = f(x)
allintorno di un punto x
0
ove f
(x
0
) = 0 ma f
(x
0
) ,= 0. Distinguiamo quattro
casi possibili, a seconda che x
0
sia di massimo o minimo per f e che linterno
sia localmente sopra o sotto il suo graco. Il tipo di omeomorsmo di
non
cambia se non attraversa qualche valore critico, ossia i cambiamenti del suo
tipo di omeomorsmo avvengono solo al passaggio dei valori critici che, come i
punti critici, sono in numero nito, perche isolati in una X compatta. Passando
per un punto (di massimo o di minimo) in cui linterno di X stà localmente
sotto il graco, il tipo di omeomorsmo di
non cambia. Se localmente

linterno stà sopra il gaco si ha laggiunta di una nuova componente connessa
contrattile se il punto è di minimo; se è di massimo, prima del passaggio si
hanno localmente due componenti connesse di
che vengono congiunte. Per

dimostrare quanto asserito sopra, basta assicurare che tali componenti locali
appartengono a componenti connesse diverse di
; ed infatti in caso contrario,

congiungendo due punti di tali componenti locali con una curva in
ove y è
inferiore al valore critico e congiungendoli anche con una curva interna ad X
ove y è maggiore del valore critico, si avrebbe una curva chiusa disgiunta da
X al cui interno starebbe parte di X mentre unaltra parte starebbe fuori e ciò
contraddirebbe il fatto che X è connessa.
Mappa di Gauss e suo grado
Sia X una varietà di dimensione 1 in R
2
, che supporremo orientata. In ogni suo
punto x sono deniti il suo versore tangente T(x) (lunico vettore tangente di
modulo uno orientato positivamente) ed il versore normale N(x), denito come
lunico vettore di modulo uno che è ortogonale a T(x) e tale che (T(x), N(x))
costituisca una base positiva per R
2
. Lapplicazione X x N(x) S
1
è
detta mappa di Gauss di X. Se X è dieomorfa ad S
1
scelti punti base x
0
X
e N(x
0
) S
1
, lomomorsmo tra gruppi fondamentali associato allapplicazione
N è un omomorsmo di Z in Z , quindi la moltiplicazione per un intero d: esso
viene detto il grado della mappa di Gauss.
22
Proposizione 29 Il grado della mappa di Gauss per una X R
2
dieomorfa
a S
1
vale 1. Precisamente essa vale +1 se e solo se lorientazione scelta su X
è tale che la normale punti allinterno di X
Dim. Dalla dimostrazione della proposizione 11 si ricava che il numero dei punti
di X in cui si ha la nascita di una componente connessa è uno di pi` u di quelli
in cui si ha la diminuzione di una componente connessa. Tali punti sono quelli
in cui la mappa di Gauss ha valore (0, 1) e rispettivamente quelli in cui la
mappa di Gauss conserva o inverte le orientazioni di dominio e codominio.
La dimostrazione sarà conseguenza di quanto discuteremo qui di seguito.
Sia : X Y una applicazione tra varietà dierenziabili della stessa dimen-
sione n che siano orientate e sia x
0
X. Supponiamo che x
0
sia un punto
regolare per ; diremo che in x
0
si conserva lorientazione se il dierenziale
d(x
0
) porta basi positive per T
x
0
(X) in basi positive per T
(x
0
)
(Y ), altrimenti
diremo che in x
0
lorientazione viene invertita.
Se è propria ed y
0
Y è un suo valore regolare, la cardinalità di
1
(0) è nita
(è un compatto fatto di punti isolati); possiamo quindi calcolare la dierenza
tra il numero dei punti di
1
(y
0
) in cui si conserva lorientazione e quelli in cui
lorientazione viene invertita. In questo modo si ottiene una funzione a valori
interi sullaperto di Y costituito dai valori regolari di . Si può dimostrare
che:
- è un aperto denso (lo dimostreremo tra poco)
- (y
0
) = (y
1
) se y
0
e y
1
sono valori regolari per che appartengono alla stessa
componente connessa di Y e tale intero rimane invariato al variare di per
omotopia (lo dimostreremo tra poco nel caso di curve (n = 1) e nel caso di
superci (n = 2), dando indicazioni della dimostrazione per n > 2.
Sia : S
1
S
1
una applicazione continua. Scelto un punto base s
0
S
1
sia
s
1
= (s
0
). Si ha quindi un omomorsmo
:
1
(S
1
, s
0
)
1
(S
1
, s
1
). Essendo
tali gruppi fondamentali isomor a Z, lomomorsmo
sarà la moltiplicazione
per un intero d che viene detto grado intero di (omomorsmo
rimane
invariato cambiando il punto base s
0
perche i gruppi fondamenali in gioco sono
abeliani, quindi il grado non dipende dalla scelta di s
0
).
Proposizione 30 Supponiamo che sia dierenziabile e che y
0
sia un suo
valore regolare. Allora il grado intero di coincide con la dierenza tra il
numero dei punti di
1
(y
0
) in cui lorientazione viene conservata ed il numero
di quelli in cui viene invertita.
Dim. I punti di
1
(y
0
) sconnettono S
1
in un numero nito di archi connessi
e è omotopa al prodotto dei cammini di S
1
su ciascuno di tali intervalli. La
dimostrazione è conclusa con considerazioni omotopiche elementari.
Resta da dimostrare lesistenza di valori regolari per applicazioni dierenziabili.
Un plurirettangolo R in R
n
è un prodotto cartesiano di n intervalli limitati in R;
il prodotto delle lunghezze dei fattori è la misura di R ed è indicato con (R).
Un sottoinsie H di R
n
è detto avere misura di Lebesgue zero e scriveremo allora
(H) = 0, se per ogni > 0 esiste una famiglia numerabile (R
n
)
nN
di pluriret-
tangoli in R
n
la cui unione contiene H e tali che
nN
(R
n
) < .
Supporremo noti i seguenti fatti (la cui dimostrazione è comunque abbastanza
23
facile e probabilmente nota dai corsi di Analisi).
- se (H) = 0 allora H è privo di parte interna
- lunione di una famiglia numerabile di insiemi di misura zero ha misura zero
- se f :
1

2
è una applicazione dierenziabile tra aperti di R
n
ed H
1
ha misura zero, allora f(H) ha misura zero.
- un insieme compatto è di misura nulla se e solo se per ogni > 0 esso è
contenuto in un aperto avente area (di Jordan-Riemann) minore di .
Queste proprietà permettono di denire insiemi di misura zero in una varietà
dierenziabile: sono quei sottoinsiemi che letti localmente tramite sistemi di
coordinate sono di misura zero in R
n
.
Il seguente teorema, di cui dimostreremo solo dei casi particolari, è detto lemma
di Sard
Teorema 31 Sia : X Y una applicazione dierenziabile tra varietà. Allora
linsieme dei suoi valori critici è un insieme di misura zero in Y
Dim. Verrà svolta solo nel caso che dim(X) = dim(Y ). Sarà suciente esami-
nare il caso che X ed Y siano aperti di R
n
. Basterà mostrare che se è linsieme
dei punti critici di ed R è un plurirettangolo chiuso in X, allora ( R) ha
misura zero. Ciò si dimostra esprimendo R come unione di un numero nito
di plurirettangoli ognuno di diametro abbastanza piccolo in modo che nei punti
di quelli che intersecano il determinante del dierenziale di (detto il suo
jacobiano) sia pi` u piccolo di una costante pressata : in tal modo ognuno
dei plurirettangoli che intersecano ha una immagine per contenuta in un
aperto che ha area al pi` u volte la sua area. Ne segue che (R) è contenuto
in un aperto che ha misura al pi` u (R).
Corollario 32 (Lemma di Sard nel caso dim(X) < dim(Y ))
Se : X Y è una applicazione dierenziabile tra varietà X ed Y aventi
dimensioni risp. n ed n +p con p > 0, (X) ha misura di Lebesgue zero in Y
Dim. Si consideri lapplicazione XR
p
(x, t) (x) Y e si osservi che tutti
i punti delimmagine sono valori critici. Oppure, senza ricorrere al precedente
teorema, si noti che X 0 ha misura zero in X R
p
.
Hessiano di funzioni dierenziabili su varietà
Sia X R
N
una varietà dierenziable di dimensione n e siano x
0
X ed
f : X R dierenziabile. Abbiamo denito uno spazio vettoriale T
x
0
(X) detto
spazio tangente ad X in x
0
che approssima X ed una applicazione lineare
d(x
0
) : T
x
0
(X) R che approssima la f in x
0
(in realtà approssima f(x)
f(x
0
)). Se è un aperto contenente 0 in R
n
e : X è un dieomorsmo
tra ed un aperto in X tale che (0) = x
0
(ossia se è una parametrizzazione
locale di X in x
0
) allora d(x
0
) : R
n
R
N
dà un isomorsmo tra R
n
e
T
x
0
(X) e tramite esso il dierenziale df(x
0
) si legge come il dierenziale di f
in 0 R
n
. Ciò non accade in generale per lhessiano ne per i termini di ordine
superiore dello sviluppo du Taylor. Quel che voglio dire è che se si legge la
funzione f tramite la e si considera il suo sviluppo di Taylor di un ordine p
su R
n
, trasportando questo su T
x
0
(X) si ottiene qualcosa che in generale non è
indipendente dalla parametrizzazione utilizzata. Ad esempio le funzioni di R
in se nel punto 0 date da t t +t
2
per R possono essere considerate tutte
24
letture della stessa funzione reale su una varietà di dimensione 1, ma lhessiano
di esse (ossia la derivata seconda) è negativa, nulla o positiva a seconda del segno
di . In altri termini cambiando sistema di coordinate locali, i polinomi omogenei
che danno lo sviluppo di Taylor di una funzione non cambiano linearmente
(si ricordi che un polinomio omogeneo di grado p è la contrazione di una forma
plineare sullo spazio vettoriale): tale variazione è però lineare (e dà quindi un
oggetto intrinseco sullo spazio tangente di una varietà) se tutti i termini di grado
inferiore nello sviluppo di Taylor (salvo al pi` u quello di grado zero) sono nulli.
Cos` lhessiano di una funzione dierenziabile su una varietà è una ben denita
forma quadratica sullo spazio tangente nei punti che sono critici per la funzione.
Un punto critico verrà detto non degenere se tale è il suo hessiano: il lemma
di Morse trattato avanti dice che in tal caso esiste un sistema di coordinate
nel quale la funzione viene trasformata in una costante (il valore che assume nel
punto) pi` u un polinomio omogeneo di grado due (e precisamente il suo hessiano).
Sia X R
n+1
una ipersupercie (sottovarietà di dimensione n) chiusa.
Proposizione 33 Esiste una funzione lineare su R
n+1
la cui restrizione ad X
ha punti critici tutti non degeneri
Dim. Esiste una equazione di denizione per X su R
n+1
; dividendo tale funzione
per il modulo del suo gradiente sullaperto U ove questo non si annulla si ottiene
una equazione di denizione f : U X per X tale che [f(x)[ = 1 per x X.
Quindi f : X S
n
è una mappa di Gauss per X. Scegliamo v S
n
tale
che lui e v siano valori regolari per f. La funzione lineare L : R
n+1
R
denita da L(x) =< v, x > ha le proprietà richieste nellenunciato. Infatti i
punti critici di essa sono quelli in cui lo spazio tangente ad X è lortogonale a
v, che coincidono quindi con lunione delle bre su v e v; inoltre una verica
diretta mostra che in tali punti, lhessiano di L (ristretta ad X) è esprimibile
con la stessa matrice che dà lo jacobiano della mappa di Gauss.
Lunghezza di una curva
Una suddivisione di un intervallo [a, b] R è una successione nita di numeri
reali d = (x
0
, x
1
, ..., x
n
) tale che a = x
0
< x
1
< ... < x
n
= b.
Se : [a, b] X è una applicazione continua in uno spazio metrico X, per ogni
suddivisione d = (x
0
, ..., x
n
) di [a, b] poniamo L(d) =
n
1
d(x
i1
, x
i
).
Diremo che il cammino ha lunghezza nita se tali L(d) hanno un estremo
superiore L R; in tal caso tale L è detto la lunghezza di e sarà indicata con
L().
Osservazione. Si noti che se

d = (y
0
, ..., y
m
) è una suddivisione di [a, b] pi` u ne
di d = (x
0
, ..., x
n
) (ossia se x
0
, ..., x
n
y
0
, ..., y
m
) allora L(
d) L(d).
Proposizione 34 Se : [a, b] R
n
è un cammino con derivata continua allora
esso ha lunghezza nita ed è: L() =
_
b
a
[[
(t)[[dt
Dim. Esiste continua su = (t, h) R
2
: t, t +h [a, b] per cui:
() (t +h) (t) = (t, h) h
(stessa dimostrazione fatta nel caso di applicazioni dierenziabili innite volte:
il primo membro si annulla per h = 0 quindi è divisibile per h).
25
Se d = (x
0
, ..., x
n
) è una suddivisione di [a, b] si ha:
L(d) =
n
1
[[(x
i
) (x
i1
[[ =
n
1
[[(x
i1
, x
i
x
i1
)(x
i
x
i1
)[[ M (b a)
ove M è il massimo di su (che è compatto): quindi le L(d) sono superior-
mente limitate.
Si ha poi: (t, h) =

(t) + R(t, h) ove R(t, h) va a zero uniformemente per h
che va a zero (uniforme continuità sul compatto ). Quindi:
L(d) =
n
1
[[
(x
i1
) (x
i
x
i1
) +R(x
i1
, x
i
x
i1
)(x
i
x
i1
)[[
Ne segue che L(d) dista dalla somma di Riemann
n
1
[[
(x
i1
)[[(x
i
x
i1
) che
approssima
_
b
a
[[
(t)[[dt di al pi` u
n
1
[[R(x
i1
, x
i
x
i1
)[[(x
i
x
i1
) che è infe-
riore ad un pressato per ogni suddivisione in cui ogni x
i
x
i1
è abbastanza
piccolo.
Una applicazione dierenziabile : I V ove I è un intervallo aperto in R e
V è uno spazio vettoriale (reale) sarà chiamata arco dierenziabile in V .
Anche la sua velocità (t) =
d
dt
((t)) e la sua accelerazione (t) =
d
2
dt
2
((t))
saranno archi dierenziabili deniti su I.
Se per t
0
I si ha (t
0
) ,= 0 , la retta di V avente parametrizzazione
t t (t
0
)+(t
0
) approssimerà (in un senso ovvio che comunque sarà precisato
pi` u avanti) la curva per t vicino a t
0
. In certi casi (come ad esempio per la
cuspide (t) = (t
2
, t
3
)), anche nei punti ove (t
0
) = 0 si può scegliere tra le
rette per (t
0
) una che approssima meglio di tutte le altre larco ed ottenere
in ogni punto dellarco una retta tangente variante con continuità.
Ciò non è però sempre possibile. Sia ad esempio : R R una funzione dif-
ferenziabile identicamente nulla su ] , 0] e con derivata positiva su ]0, +[
e si consideri larco : R R
2
denito da:
(t) = ((t), 0) per t 0 e (t) = (0, (t)) per t 0
Tale è dierenziabile ma cambia bruscamente direzione nellorigine: nessuna
denizione sensata di retta tangente per t = 0 è evidentemente possibile.
In modo analogo, se la dimensione di V è almeno tre, cercheremo di scegliere in
ogni punto dellarco un piano che localmente lo approssima nel modo migliore;
troveremo che in ogni punto t
0
I in cui (t) e (t)
sono linearmente indipendenti tale piano è quello parametrizzato da:
R
2
(, ) (t
0
) + (t
0
) + (t
0
)
Nessuna tale scelta è in genere possibile nei punti ove velocità ed accelera-
zione sono linearmente dipendenti, anche se la velocità è non nulla (circostanza
questultima in cui larco viene detto regolare). Ad esempio larco:
R t (t, (t), (t))
ove è come sopra, è contenuta per t positivo nello spazio delle prime due co-
ordinate e per t negativo nello spazio della prima e terza coordinata e quindi il
26
piano approssimante larco cambia bruscamente passando per lorigine.
Si noti inoltre che questarco ha in ogni punto la derivata terza linearmente
dipendente dalle prime due: ci si potrebbe attendere che larco allora giaccia
tutto su un piano ma ciò non accade. Evidentemente un tale fenomeno non può
accadere per archi analitici. Lanaliticità è comunque una condizione troppo
restrittiva: se da un lato le curve analitiche sono un insieme denso in ogni
topologia ragionevole sullo spazio delle curve dierenziabili, esse non possono
però mai costituire un insieme aperto.
Introdurremo una classe di archi dierenziabili in R
n
che si comportano bene
(ad esempio nel senso che hanno piani approssimanti che variano in modo dif-
ferenziabile) e che per una topologia ragionevole sullo spazio di tutte le curve
dierenziabili costituiscono non solo un aperto denso ma addirittura il comple-
mentare di un insieme di codimensione innita in un senso che non preciseremo
ma che grosso modo dice che ogni famiglia di archi dipendente da un numero
nito di parametri può essere deformata di poco quanto si vuole in modo da
ottenerne una composta solamente di archi di tale tipo.
Ordini di contatto tra sottovarietà
Diremo che una funzione f : R
n
R si annulla dordine p in 0 se si ha che
lim
x0
f(x)/[[x[[
p1
= 0. E chiaro che tale nozione non dipende dal sistema
di coordinate utilizzato in R
n
e può quindi essere trasportata su una varietà
dierenziabile qualsiasi. Se f è dierenziabile essa si annulla dordine p se e solo
se il suo sviluppo di Taylor ha nulli tutti i termini di grado minore di p.
Siano , due sottovarietà dierenziabili di X e siano x
0
e p un
intero positivo. Diremo che ha un contatto dordine (almeno) p con in x
0
od anche che contiene in x
0
allordine p se per ogni funzione dierenziabile
f denita in un intorno di x
0
in X e la cui restrizione a ha in x
0
uno zero
dordine p + 1 , anche la restrizione di f a ha in x
0
uno zero dordine p + 1.
Si dimostrano facilmente le proprietà suguenti:
1. Se allora contiene in ogni x
0
per qualsiasi ordine.
2. contiene dordine 1 in un punto x
0
se e solo se T()
x
0
T()
x
0
.
In particolare dim() dim() se contiene di un ordine 1 in qualche
punto.
3. Se e sono sottospazi ani in R
n
ed esiste x
0
in cui contiene
dordine 1 , allora .
4. E evidente la proprietà transitiva della relazione di contenere allordine
p sullinsieme di tutte le sottovarietà di X che passano per un punto x
0
; tale
relazione è anche simmetrica (ed è quindi una relazione di equivalenza) se ci
restringiamo a sottovarietà della stessa dimensione (lo si verichi rappresen-
tandole localmente entrambi come graci di applicazioni rispetto ad una stessa
decomposizione di R
n
).
Se dim = dim ed una delle due contiene laltra in x
0
di un ordine p , diremo
allora che esse hanno un contatto dordine p in x
0
.
5. Siano R
n
un aperto e : R
N
un dieomorsmo tra e una
sottovarietà X = () di R
N
. Per t
0
e p N , lo sviluppo di Taylor di
ordine p di è una eguaglianza (t) =
(p)
+ R ove
(p)
è una applicazione
polinomiale di grado p ed R verica la condizione lim
tt
0
R(t)/([[t t
0
[[)
p
= 0.
Lapplicazione
(p)
ha dierenziale iniettivo in t = t
0
, quindi la sua restrizione
ad un intorno sucientemente piccolo U di t
0
, induce un dieomorsmo tra U
27
ed una sottovarietà

X = (U) di R
N
. Allora X ed

X hanno in x
0
= (t
0
) un
contatto dordine p.
6. Siano , sottovarietà di X passanti per x
0
e sia p 1 un intero. Allora
contiene allordine p in x
0
se e solo se per ogni :] , [ dierenziabile
con (0) = x
0
ed ogni f : R dierenziabile su un aperto contenente x
0
e tale che f
|
0 , si ha che f :] , [R si annulla in zero assieme alle
prime p derivate.
7. Siano X una sottovarietà ed x
0
. Una funzione dierenziabile
su X allintorno di x
0
è nulla dordine p su in x
0
se e solo se è somma di una
funzione identicamente nulla su e di una che si annulla dordine p su X in x
0
(localmente si può supporre che = R
a
0 R
a
R
b
; ogni funzione f(x, y)
si può scrivere come f(x, 0) +g(x, y) y quindi...)
Ne segue che una sottovarietà contiene allordine p una sottovarietà in un
punto x
0
se e solo se ogni funzione dierenziabile su X allintorno di x
0
ed
identicamente nulla su , si annulla dordine p + 1 su in x
0
.
8. In R
n
una sottovarietà ne contiene unaltra allordine p in un punto
x
0
se e solo se per x , la distanza da è un innitesimo di ordine superiore
della potenza pesima della distanza da x
0
; ossia il rapporto d(x, )/d(x, x
0
)
p
va a zero per x che tende ad x
0
in . (Utilizzando un intorno tubolare di
si esprima d(x, ) nella forma (g
2
1
+ + g
2
r
)
1/2
ove le g
i
sono dierenziabili e
identicamente nulle su e si applichi il punto 7)
9. Una sottovarietà chiusa in R
n
che abbia in ogni punto un contatto dordine
almeno due con il proprio spazio tangente in tale punto è un sottospazio ane
se è connessa.
Nota Le nozioni di contatto sopra denite si possono estendere al seguente con-
testo pi` u generale: sia una sottovarietà dierenziabile di X ; una applicazione
dierenziabile : X è detta contenuta allordine p in nel punto x
0

se (x
0
) = y
0
e se per ogni funzione dierenziabile f allintorno di y
0
in X
che sia nulla dordine p su , la funzione f è nulla dordine p in x
0
; si
verica facilmente che se ha in x
0
dierenziale iniettivo e denisce quindi un
dieomorsmo tra un qualche intorno di x
0
in ed una sottovarietà
di X,
ciò accade se e solo se
è contenuta allordine p in .
Nel seguito saremo particolarmente interessati ad archi regolari, cioè archi aventi
velocità mai nulla e spesso identicheremo due tali archi se ottenibili luno
dallaltro per riparametrizzazione del dominio; in tal caso (localmente, o per
applicazioni iniettive anche globalmente) saremo quindi interessati allimmagine
dellarco e quindi ad una varietà di dimensione uno (eventualmente orientata)
cui ci riferiremo col termine curva.
3. Archi coerenti e sistemi di Frenet
Siano R un intervallo aperto ed : V un arco dierenziabile in uno
spazio vettoriale reale V .
Per t ed r intero positivo, consideriamo il sottospazio vettoriale V
r
(t) gen-
erato in V dalle prime r derivate
(1)
(t), . . . ,
(r)
(t) di in t. Lunione di tali
(V
r
(t))
r1
sarà indicato con V (t) e detto lo spazio generato da in t.
Diremo rango di in t la dimensione di V (t); il minimo di tali interi sarà
detto il rango dellarco. Un arco è coerente se la dimensione di V (t) è un intero
non dipendente da t e quindi coincide col suo rango.
Ogni arco analitico è coerente. Infatti sia t
0
e sia W(t
0
) un supplementare
28
di V (t
0
) in V . Si avrà (t) = (v(t), w(t)) con v(t) , w(t) archi analitici in V (t
0
)
e W(t
0
) rispettivamente. Dalla denizione di V (t
0
) deriva che w(t) ha tutte le
derivate nulle in t
0
ed essendo analitico è quindi costante; in altri termini larco
è contenuto in un translato di V (t
0
). Se ne deduce che per t
1
qualsiasi
si avrà V (t
1
) = V (t
0
). Quindi non solo un arco analitico è coerente, ma il suo
rango è la dimensione del minimo sottospazio ane di V che lo contiene. Ve-
dremo pi` u avanti che gli archi coerenti si comportano nello stesso modo.
Larco (t, (t), (t)) descritto nel paragrafo 1. non è coerente: la dimensione
di V (t) è sempre 2 salvo che nellorigine ove è 1.
La condizione di essere coerente è fortemente generica nel senso che in ogni
topologia ragionevole su uno spazio di archi, non solo quelle coerenti costitui-
scono un aperto denso ma per di pi` u quelle che non lo sono costituiscono un
sottoinsieme di codimensione innita; ossia vicino ad ogni famiglia di archi il
cui spazio dei parametri sia un compatto di dimensione nita, ve ne è una fatta
tutta di archi coerenti.
Siano un intervallo aperto in R e f : V un arco nello spazio vettoriale V .
Se p è un intero positivo e t , chiameremo sistema di Frenet di ordine p per
f in t, ogni successione V
1
(t) V
p
(t) di sottospazi vettoriali di V tali che
per p r 1, il sottospazio V
r
(t) abbia dimensione r e contatto di ordine r con
larco nel punto f(t); questultima condizione equivale alla seguente: V
r
contiene
f
(1)
(t), . . . , f
(r)
(t). Quindi se in t le prime r derivate di f sono linearmente
indipendenti, V
r
non può che essere lo spazio generato da esse. Ma se in t
tali derivate sono linearmente dipendenti, si avranno inniti sistemi di Frenet
possibili. Mostriamo ora che se f ha rango almeno p esiste un modo naturale per
selezionare in ogni caso un sistema di Frenet F
1
(t), . . . , F
p
(t) che chiameremo
osculatore; precisamente indicando come avanti con V
r
(t) il sottospazio di V
generato dalle prime r derivate di f, scegliamo F
1
(t) come il primo dei V
i
che
non sia nullo, con F
2
(t) il primo dei V
i
(t) che sia diverso da F
1
(t) e cos` via sino
ad F
p
(t). Equivalentemente per 1 r p scegliamo come F
r
(t) il sottospazio
di V di dimensione r che ha massimo contatto possibile con larco nel punto
f(t).
Nota. Se su V è ssato un prodotto scalare denito positivo, per ogni succes-
sione F
1
F
2
... F
p
di sottospazi vettoriali con dim(F
i
) = i si possono
determinare p vettori e
1
, . . . , e
p
ortonormali e tali che (e
1
, . . . , e
r
) sia una base
di F
r
per r = 1, . . . , p ; essi saranno univocamente determinati a meno del segno.
Vogliamo ora studiare con quale regolarità dipendono da t i sottospazi
F
r
(t); evidentemente essi appartengono alla grassmaniana dei sottospazi di V
aventi dimensione r che è una varietà dierenziabile che indicheremo con ((r, V ).
Ricordiamo che una applicazione di una varietà dierenziabile T in ((r, V )
è dierenziabile se e solo se per ogni punto t
0
T esistono un suo intorno U
ed r applicazioni dierenziabili v
1
, . . . v
r
: U V i cui valori in ogni t U
diano una base di (t). Lo strumento base per questo studio sarà il seguente
lemma ispirato alla cosiddetta regola di de lHopital ma che sembra invece sia
da attribuire a Johann Bernoulli.
Sia W uno spazio vettoriale su R e sia : W0 P(W) lapplicazione che
29
ad ogni vettore non nullo di W associa il sottospazio da esso generato in W.
Se F : W è una applicazione dierenziabile da un aperto R contenente
lorigine in W , indicheremo con

F : F
1
(0) P(W) lapplicazione ottenuta
componendo la F con .
Lemma 35 (Regola di de lHopital) Supponiamo che F(0) = F
(1)
(0) =
= F
(p1)
(0) = 0 e che F
(p)
(0) ,= 0; allora 0 è isolato in F
1
(0) e denendo
F(0) come il punto di P(W) individuato da F

(p)
(0), si ottiene una estenzione
dierenziabile di

F ad un intorno di 0
Dim. Lo sviluppo di Taylor di F dà una eguaglianza F(t) =
t
p
p!
G(t) con
G : V dierenziabile e G(0) = F
(p)
(0) ,= 0.
In un intorno U di 0 si avrà G ,= 0 e quindi F non si annulla su U 0.
Inoltre essendo F e G proporzionali, esse inducono la stessa applicazione di
U 0 in P(V ). Lestenzione di

F a tutto U è cos` lapplicazione

G la quale
in 0 assume proprio il valore dichiarato nellenunciato.
Teorema 36 Siano R un intervallo aperto ed f : V dierenziabile di
rango almeno p. Allora linsieme dei t tali che (f
(1)
(t), . . . , f
(p)
(t)) non
sono linearmente indipendenti è costituito da punti isolati. Inoltre lapplicazione
che associa a t il sottospazio F
p
(t) è una applicazione dierenziabile di
nella grassmaniana ((p, V ).
Dim. Questa dimostrazione utilizza la nozione di algebra esterna di uno spazio
vettoriale che sarà svolta nel seguito. La si legga per curve in R
3
; la linea di
dimostrazione nel caso generale è la stessa.
La questione è di natura locale ed esamineremo quindi cosa succede allintorno
di 0 . Intendiamo utilizzare il lemma precedente per lapplicazione F :

_
p
V = W denita da F(t) = f
(1)
(t) f
(p)
(t). Si devono quindi
calcolare le derivate successive di F in 0. Per 1 r p sia
r
il primo in-
tero n per il quale i sottospazi V
r
(0) e F
r
(0) coincidono; in altri termini
r
è
denito induttivamente come il minimo intero n tale che f
(n)
(0) sia linearmente
indipendente da f
(
1
)
(0), . . . , f
(
r1
)
(0). La prima derivata non nulla di F è
allora la qesima ove q =
p
1
(
i
i) ed essa vale un multiplo intero positivo m
di f
(
1
)
f
(
p
)
(0) (tale m rappresenta la cardinalità delle geodetiche da
(1, . . . , p) a (
1
, . . . ,
p
) nel grafo indotto su Z
p
dal semiordinamento prodotto
degli ordinamenti sui fattori).
Corollario 37 Siano R un intervallo aperto ed f : V un
arco coerente di rango r. Allora limmagine di f è contenuta in un sottospazio
vettoriale W V di dimensione r
Dim Sia linsieme dei punti t in cui qualche F
i
(t) è diverso da V
i
(t); per
il teorema precedente esso è discreto in . Essendo le f
(i)
(t) per t ed
1 i r linearmente indipendenti, esistono a
1
, . . . a
r
: R dierenziabili
tali che:
f
(r+1)
(t) =
r
1
a
i
(t) f
(i)
(t)
30
Se h : V R è un funzionale lineare, la funzione = h f soddisfa quindi
lequazione dierenziale lineare:
(r+1)
(t) =
r
1
a
i
(t)
(i)
(t)
Fissato t
0
in per ogni funzionale h nullo sulle f
(i)
(t
0
) per 1 i r,
la funzione h f coincide in conseguenza del teorema di unicità per le soluzioni
di equazioni dierenziali lineari, con la funzione costante f(t
0
) su tutta la com-
ponente connessa di che contiene t
0
. Si è cos` ottenuto che per ogni
componente connessa J di limmagine di f è contenuta in un sottospazio
vettoriale W
J
di V di dimensione r; essendo W
J
= F
r
(t) per ogni t J ed
essendo per il precedente teorema F
r
denito e continuo su tutto si ottiene
che tutti i W
J
coincidono con un W contenente tutta limmagine di f.
4. Formule di Frenet
Sia f : V un arco dierenziabile di rango almeno p in uno spazio V su
cui sia stato ssato un prodotto scalare denito positivo < , >. Come abbiamo
visto sopra un tale arco esso possiede un unico sistema di Frenet dordine p ;
sia esso costituito dagli spazi vettoriali V
1
(t) ... V
p
(t) V .
Chiameremo sistema di Frenet di ordine p per f la scelta di p funzioni dif-
ferenziabili e
1
, ..., e
p
: V tali che per t ed 1 h p il sistema
(e
1
(t), ..., e
h
(t)) sia una base ortonormale di V
h
(t). Utilizzando il processo di
ortonormalizzazione di Gram-Schmidt si dimostra facilmente lesistenza di un
tale sistema; è anche ovvio che un tale sistema è univocamente determinato
a meno di cambiamenti di segno. Sia linsieme dei punti di in cui le
derivate f
(1)
(t), ..., f
(p)
sono linearmente dipendenti; abbiamo visto che essendo
f di rango almeno p tale insieme è discreto in . Per t i vettori
f
(1)
(t), ..., f
(h)
(t) costituiscono una base di V
h
(t). Se ne deduce che per tali t
la derivata e
h
(t) appartiene allo spazio V
h+1
(t); per continuità ciò sarà valido
anche per t . Per ogni 1 i p si avrà quindi:
e
i
(t) = k
i1
(t)e
1
(t) +... +k
ii+1
(t)e
i+1
(t)
ove le k
rs
: R sono funzioni dierenziabili.
Ponendo k
ij
(t) = 0 per j > i + 1 si ottiene una matrice K(t) e la relazione
precedente può essere scritta:
e(t) = K(t) e(t)
ove e(t) indica il vettore colonna di componenti e
1
(t), ..., e
p
(t).
Osservando ora che per ogni i, j il prodotto scalare < e
i
(t), e
j
(t) > è costante
ed ha quindi derivata nulla si ottiene < e
i
(t), e
j
(t) > + < e
i
(t), e
j
(t) >= 0.
Se ne deduce che la matrice K è antisimmetrica ed essendo anche k
ij
= 0 per
j > i + 1 si ottiene che gli unici elementi non nulli della matrice K sono i
k
i i+1
= k
i+1 i
= k
i
per i = 1, ..., p 1 , quantità che verrebbe voglia di
chiamare le curvature di f; ma tali quantità non dipendono solo dalla curva
orientata, ma dipendono dalla particolare parametrizzazione: quelle che sono
indipendenti dalla parametrizzazione sono i quozienti di essa per il modulo della
derivata prima. Siccome questa si può annullare, sarebbe allora opportuno
31
denire curvatura di f la pupla (k
0
, k
1
, ..., k
p
) P
p1
ove k
0
è il modulo
della derivata di f meglio ancora se dotata del segno + o a seconda che la
parametrizzazione rispetti oppure no lorientazione ssata per larco.
La relazione e(t) = K(t) e(t) equivale quindi alle seguenti relazioni:
e
1
= k
1
e
2
, . . . , e
i
= k
i1
e
i1
+k
i
e
i+1
, . . . , e
p
= k
p1
e
p1
che sono dette formule di Frenet.
5. La varietà delle sfere generalizzate: I sistemi di Frenet sono costituiti
dai sottospazi lineari osculatori allarco ossia quelli che meglio lo approssimano.
Precisamente abbiamo visto che per un arco coerente (di rango almeno p), il
piano osculatore di dimensione p è quello (unico) che fra tutti i sottospazi di
dimensione p ha il contatto pi` u alto con esso.
Seguiremo adesso la stessa procedura sostituendo ai ppiani le psfere e cer-
cando quella che meglio approssima larco. Nellattuazione di questo programma
non si incontrano problemi se nel punto dellarco che consideriamo le prime p
derivate sono linearmente indipendenti; ma avvicinandosi ad un punto in cui tali
derivate divengano dipendenti, la psfera oculatrice diviene sempre pi` u grande
degenerando quando si arriva nel punto ad un ppiano che poi risulterà essere
proprio il ppiano osculatore. Ad esempio per un arco piano passando per
un esso, il cerchio osculatore (che viene detto cerchio di curvatura) diviene la
retta tangente passando da un lato dellarco allopposto per rimanere sempre
dalla parte in cui questo presenta la sua convessità. Per trattare la dipendenza
dierenziabile delle sfere osculatrici anche nei punti in cui esse degenerano in
piani, aggiungeremo alle psfere i sottospazi ani di dimensione p chiamandoli
entrambi psfere generalizzate; doteremo quindi la famiglia di tutte le psfere
generalizzate non solo di una topologia ma anche di una struttura di varietà
dierenziabile dimostrando poi che, per un arco coerente, non solo le sfere os-
culatrici esistono in ogni punto (come sfere generalizzate) ma anche che variano
dierenziabilmente al variare del punto sullarco.
Sia quindi V uno spazio vettoriale su R di dimensione n su cui sia stato s-
sato un prodotto scalare denito positivo < , > e siano S = (x, t) V R :
[[x[[
2
+t
2
= 1 e N = (0, 1) S.
La proiezione stereograca di S da N è lapplicazione : S N V denita
da ((y, t)) = y/(1 t); essa è biunivoca anzi è un dieomorsmo con inversa
: V S N denita da:
(x) = (
2x
[[x[[
2
+ 1
,
[[x[[
2
1
[[x[[
2
+ 1
)
Una sfera T (di codimensione uno) in S è data dallintersezione di S con un
iperpiano ane H V R avente distanza inferiore ad uno dallorigine.
Tale H è univocamente determinato da T ed avrà una equazione:
H = (x, t) V R : t+ < a, x >=
ove (, a, ) P(R V R) verica (, a) ,= 0. La sua distanza d dallorigine
si calcola determinando lintersezione di H con la retta che congiunge in V R
lorigine col punto (a, ) . Si ottiene:
d
2
=

2
2
+[[a[[
2
32
Limmagine di T N in V tramite la proiezione stereograca, si determina
utilizzando lapplicazione e si trova :
(T N) = x V : 2 < a, x > +([[x[[
2
1) = ([[x[[
2
+ 1)
Si noti che T passa per N se e solo se = ; se ciò accade lequazione precedente
diviene < a, x >= e si ha quindi un iperpiano ane in V ; altrimenti ,= 0
e lequazione diviene:
x V : [[x[[
2
+ 2 <
a

, x >=
+

che rappresenta lequazione della sfera in V di centro C = a/( ) e raggio:
[[a[[
2
+
2
2
(
2
2
)
Si identicano in questo modo linsieme delle sfere (di codimensione uno) di S
con linsieme delle sfere ed iperpiani in V ed entrambi con laperto dei (, a, )
P(R V R) tali che
2
<
2
+[[a[[
2
.
Consideriamo pi` u in generale le sfere in S di dimensione p con dim(S) p 1.
Esse coincidono con le intersezioni di S con sottospazi ani H di dimensione
p + 1 aventi distanza dallorigine minore di uno in V R; tali sfere sono cos`
identicate ai punti di un aperto della grassmanniana dei p + 1 piani ani in
V R. Per capire cosa divengono tali sfere se trasformate in V tramite la
proiezione stereograca, si rappresenti il sottospazio ane H come intersezione
di iperpiani in V R; allora la trasformata di H S viene rappresentata come
intersezione di sfere ed iperpiani che sarà una sfera di dimensione p in V o un
sottospazio ane di dimensione p secondo che N stia o no nella sfera di partenza.
In questo modo dato uno spazio vettoriale V di dimensione n su R su cui sia
ssato un prodotto scalare denito positivo e ssato un intero p tra 1 ed n 1,
linsieme delle sfere di dimensione p in V unito allinsieme dei sottospazi ani di
dimensione p in V viene identicato ad un aperto connesso della grassmanniana
dei sottospazi ani di dimensione p + 1 in V R; in particolare esso è dotato
in questo modo di una struttura di varietà dierenziabile connessa che sarà
indicata con o
p
(V ). I suoi elementi sono detti sfere generalizzate di dimensione
p in V .
6. Sfere osculatrici Sia ancora V uno spazio vettoriale reale dotato di un
prodotto scalare denito positivo < , > e sia f : V un arco dierenzia-
bile. Una applicazione : o
p
(V ) viene detta osculatrice all arco f se è
dierenziabile e se per ogni t la psfera (t) ha nel punto f(t) un contatto
di ordine almeno p + 1 con larco f.
33
Curve piane
Teorema 38 Sia J un intervallo aperto in R e sia J t (t) R
2
un arco
regolare (ossia (t) ,= 0 su J). Se per ogni t [a, b] J la curvatura K di
verica K(t) ,= 0 e

K(t) 0, allora il cerchio osculatore in b è strettamente
contenuto nell interno del cerchio osculatore in a
Dim. Sia (t) = (x(t), y(t)) parametrizzata per arco lunghezza; ossia x(t)
2
+
y(t)
2
= 1. Le formule di Frenet danno: x = K y e y = K x ove K è la curvatura.
Se essa è non nulla allora K
1
è il raggio di curvatura e C = (x, y)+K
1
( y, x)
è il centro del cerchio osculatore S.
Si ha:
c(t) = ( x
y K y

K
K
2
, y +
x K x

K
K
2
)
Utilizzando le formule di Frenet si ottiene:
c(t) = ( x x + y
K
K
2
, y y x
K
K
2
) =
K
K
2
( y, x)
Si ha quindi
[ c(t)[ =
[

K[
K
2
Supponiamo che per a t b sia t e

K(t) 0.
Si ha allora:
[C(a) C(b)[
_
b
a
K
K
2
dt =
1
K(a)

1
K(b)
ove il segno di eguaglianza vale se e solo se ( y, x) è costante, ossia se larco è
una retta. Ciò signica che la distanza tra i centri dei cerchi osculatori in a e in
b pi` u il raggio di curvatura in b è strettamente inferiore al raggio di curvatura
in b; ossia che il cerchio osculatore in b è strettamente contenuto nel cerchio
osculatore in a.
Evolute
Sia R t (t) = (x(t), y(t)) R
2
dierenziabile di periodo L ed unitaria
ossia tale che x(t)
2
+ y(t)
2
= 1 per ogni t R. Supponiamo che K(t) sia non
nulla nellintervallo ]a, b[. Come sopra il centro di curvatura è
c(t) = (x, y) +K
1
( y, x)
e la sua derivata:
c(t) =
K
K
2
( y, x)
Quindi la curva c(t) è regolare per t [a, b] se

K(t) ,= 0 e la sua tangente
coincide con la normale a (t) nel punto t. Lorientazione di c(t) coincide con
quella della normale positiva a se e solo se

K(t) > 0 altimenti è opposta.
Nei punti in cui

K = 0 la curva c non è pi` u regolare, almeno con la parametriz-
zazione indotta dalla curva che la origina.
34
Supponiamo che sia una curva chiusa semplice a curvatura positiva in ogni
punto e parametrizzata per lunghezza darco; quindi la sua mappa di Gauss
data da t

(t) non ha punti critici e dovendo avere grado uno sarà un dieo-
morsmo tra la curva ed S
1
. Supponiamo che la derivata

K della sua curvatura
abbia solo zeri isolati. La evoluta è quindi composta da un numero nito di
archi regolari tutti a curvatura positiva, quindi convessi. Nei punti ove

K si
annulla senza cambiare segno, i due archi ivi incidenti si raccordano formando
un arco convesso, di classe almeno C
1
. In quelli in cui cambia segno levoluta
ha una cuspide, con tangente eguale alla normale della curva di cui è levoluta
e tale cuspide punta verso la curva se nel punto la curvatura è massima e verso
lesterno se la curvatura è minima. E chiaro che i punti ove

K cambia segno
sono in numero pari ed essendo la curva compatta dovranno essere almeno due
(quelli ove la curvatura è massima e minima). Mostriamo che non possono essere
solo due. Infatti se fossero solo due, consideriamo una retta passante per uno
di essi che non sia ivi tangente e tale che laltro punto di cuspide sia dalla parte
opposta a quella contenente localmente la prima cuspide. I due archi convessi di
cui la evoluta sarebbe composta, partirebbero dalla prima cuspide e dovrebero
arrivare nella seconda: ne segue che su ognuno di essi esisterebbe una parallela
alla retta scelta tangente in un punto; ciò contraddirebbe il fatto che la mappa
di Gauss sia biunivoca.
I punti ove la curvatura ha un massimo od un minimo locale sono detti vertici
della curva. Quanto abbiamo mostrato sopra è quindi che nelle ipotesi fatte la
curva ha almeno quattro vertici (viene detto teorema dei quattro vertici).
Campi di vettori tangenti e derivazioni
Sia X R
N
una varietà dierenziabile di dimensione n. Il brato suo tangente
T(X) è la famiglia dierenziabile di spazi vettoriali denita da:
T(X) = (x, v) R
N
R
N
: x X , v T(X)
x
Indichiamo con : T(X) X la proiezione canonica (ossia ((x, v)) = x).

Un campo di vettori tangenti su un X è una applicazione s : T(X) tale
che (s(x)) = x per ogni x . Tale campo sarà detto continuo o dierenziabile
se tale è in quanto applicazione tra varietà.
I campi di vettori tangenti su possono essere sommati tra loro ed anche
moltiplicati per funzioni dierenziabili su . Indicheremo con c() = c lanello
delle funzioni dierenziabili sullaperto : allora linsieme T () = T dei campi
di vettori tangenti (dora in poi considereremo solo quelli dierenziabili) costitui-
sce un modulo su c.
Daremo ora una interpretazione algebrica dei campi di vettori tangenti ad una
varietà senza riferimenti al brato tangente; anzi questo può poi essere denito
in modo algebrico a partire da questa interpretazione.
Sia A un anello commutativo. Una derivazione di A è una applicazione V :
A A che sia un omomorsmo additivo e tale che per f, g A si abbia
V (fg) = V (f)g +fV (g) (detta regola di Leibnitz ).
Se A contiene un corpo K una derivazione di A su K è una derivazione V su
A che si annulla su tutti gli elementi di K o, equivalentemente, che sia lineare
per la struttura di spazio vettoriale su K di A. E chiaro che le derivazioni di A
35
(o le derivazioni su un sottocorpo K) sono un modulo sullanello A. In generale
la composizione di due derivazioni non è una derivazione; con una facile verica
formale si controlla che se V, W sono derivazioni, allora il loro commutatore
V W W V è una derivazione che viene indicata con la notazione [V, W].
Saremo interessati essenzialmente al caso in cui A è lanello delle funzioni dif-
ferenziabili su un aperto di una varietà dierenziabile X non necessariamente
immersa in un R
N
, ossia una varietà che potremmo chiamare astrattamete
denita; tali sono ad esempio gli spazi proiettivi o le grassmaniane, varietà
delle quali non viene data generalmente alcuna realizzazione come sottovarietà
di un R
N
, anche se sarebbe possibile farlo (un teorema, detto immersione di
Whitney assicura che ogni varietà dierenziabile astrattamente denita è re-
alizzabile come sottovarietà di un R
N
); il fatto è che ogni tale immersione non
aiuta a semplicare la gran parte delle considerazioni solitamente svolte per tali
oggetti geometrici che vengono svolte invece sulle carte di un atlante col quale
le varietà astratte vengono denite.
Divagazione. Una completa algebrizzazione dellargomento può essere ottenuta
nel modo seguente: sia R una R algebra. Sullinsieme M degli omomorsmi
x : R R di R-algebre introduciamo la topologia seguente:
un sottoinsieme F M è chiuso se e solo se esiste un sottoinsieme R tale
che F = x M : x(f) = 0 per ogni f . Ogni elemento di R può essere
pensato come una funzione su M, denendo il valore f(x) di una f R su un
punto x M come x(f); si può vericare che tali funzioni sono continue per
la topologia introdotta sopra su M. Si può anche dimostrare che se R è lanello
delle funzioni dierenziabili su una varietà

M, associando ad ogni punto x

M
lomomorsmo R f f( x) R si ottiene una applicazione biunivoca tra

M
ed M, che risulta anche essere un omeomorsmo.
Inoltre se R
è lalgebra delle funzioni dierenziabili su una varietà M
, as-
sociando ad una applicazione dierenziabile : M M
lomomorsmo di
R algebre
: R
R ottenuto tramite la composizione di funzioni, si ha

una corrispondenza biunivoca tra applicazioni dierenziabili di M in M
e
omomorsmi R
R di Ralgebre.
Un modulo proiettivo nito P sulla Ralgebra Rè denibile come un Rmodulo
che sia fattore diretto di un Rmodulo libero nito; ossia tale che esistano un
altro R modulo Q ed un isomorsmo P Q R
n
per qualche n N. Si può
dimostrare che se R è lR algebra delle funzioni dierenziabili sulla varietà
M, allora il modulo delle derivazioni di M è un modulo proiettivo e che pi` u
in generale un Rmodulo è proiettivo se e solo se è isomorfo al modulo delle
sezioni di un brato vettoriale (dierenziabile) su M.
Le derivazioni di c, nulle sul corpo R identicato alle funzioni costanti su ,
saranno dette semplicemente derivazioni su .
Un fatto fondamentale è che ogni derivazione V su è un operatore locale nel
senso che se f c è nulla in tutti i punti di un aperto U anche V (f) è
nulla nei punti di U; in altri termini si ha il seguente:
Lemma 39 Se V è una derivazione su un aperto di una varietà X, per ogni
36
f c() il supporto di V (f) è contenuto nel supporto di f
Dim. Sia U un aperto di sul quale f sia identicamente nulla; si scelga c che
sia identicamente 1 fuori di U e identicamente zero in un intorno di x
0
cosicche si
avrà f = f. Se V è una derivazione su , si avrà quindi V (f) = V ()f+V (f)
ed essendo sia che f identicamente nulle in un intorno di x
0
anche V (f) si
annullerà in tale intorno.
Corollario 40 Siano U aperti in una varietà dierenziabile; indichiamo
con r : c() c(U) loperatore di restrizione. Per ogni derivazione W su
esiste una ed una sola derivazione W
su U tale che il seguente diagramma sia

commutativo:
c()
r
c(U)
W
_W
c()
r
c(U)
Dim. Per ogni punto x
0
U si prenda una funzione c() che valga 1 in un
intorno di x
0
e che abbia supporto compatto entro U. Per f c(U) la funzione
f può essere considerata dierenziabile su (denendola a valori nulli fuori
di U); per il precedente lemma il valore di W( f) in un intorno di x
0
sono
indipendenti dalla scelta di
Questo risultato dovrebbe chiarire perche abbiamo detto che le derivazioni sono
operatori locali: per determinarne uno, basta conoscerlo localmente, ad esempio
come opera sulle carte locali.
Se consideriamo R
n
come varietà dierenziable, il suo spazio tangente coincide
in ogni punto con lo stesso spazio R
n
stesso; quindi un campo di vettori tangenti
V su un aperto R
n
è semplicemente una applicazione dierenziabile
x (
1
(x), ...,
n
(x)) R
n
Ad un tale campo associamo lapplicazione V : c c che ad una f c associa
la funzione
x V (f)(x) =
n
i
(x)
f
x
i
(x) R
che ad ogni punto x associa il limite dei rapporti incrementali
f(x +tL(x)) f(x)
t
(quantità che viene detta derivata nella direzione L(x) della f)
E chiaro che lapplicazione dallinsieme T () dei campi di vettori tangenti
di nellinsieme T() delle derivazioni di c cos` denita è un omomorsmo di
moduli sulanello c.
Calcolando la derivazione V associata al campo L = (
1
, ...,
n
) sulla iesima
coordinata x
i
si ottiene
i
. Ciò mostra che è iniettiva. Mostereremo ora che
è anche surgettiva, quindi un isomorsmo.
37
Lemma 41 Lunica derivazione su un aperto di R
n
che vale zero sulle funzioni
coordinate è la derivazione identicamente nulla
Dim. Sia V : c c una derivazione tale che V (x
i
) = 0 per i = 1, ..., n e siano
f c ed x
0
. Lo sviluppo di Taylor dice che su un intorno U di x
0
in
(si può prendere un qualsiasi aperto convesso contenente x
0
) esistono funzioni
dierenziabili g
ij
tali che per x U sia
f(x) = f(x
0
) +
n
1
f
x
i
(x
0
) x
i
+
n
i,j=1
g
ij
(x) x
i
x
j
Ora il termine costante viene annullato dalla derivazione perche per denizione
essa vale zero sulle costanti. Per ipotesi essa annulla anche i termini di primo
grado. Il terzo addendo viene poi annullato nel punto x
0
perche le coordinate
x
i
sono nulle in tal punto.
Corollario 42 Su un aperto R
n
le derivazioni coincidono con i campi di
vettori tangenti
Dim. Sia W una derivazione su e sia T = (
1
, ...,
n
) il campo di vettori su
ove
i
= W(x
i
) per i = 1, ..., n. La derivazione associata a T assume gli stessi
valori di W sulle funzioni coordinate x
1
, ..., x
n
, quindi per il precedente lemma
tali due derivazioni coincidono.
Quanto detto sopra indica che su una varietà dierenziabile X R
N
, i campi
di vettori tangenti e le derivazione sono sostanzialmente la stessa cosa. Per
questa ragione su una varietà astrattamente denita, al posto di campi di vettori
tangenti si introducono le derivazioni. In ogni caso, come abbiamo visto, su
ogni carta locale della varietà ogni derivazione si legge in modo univoco come
un campo di vettori.
Algebra esterna di uno spazio vettoriale
Siano V uno spazio vettoriale di dimensione nita su R e p un intero non
negativo. Deniamo una relazione di equivalenza su V
p
nel modo seguente:
v = (v
1
, . . . , v
p
) w = (w
1
, . . . , w
p
) se e solo se è vericata una (almeno) delle
seguenti due condizioni:
- v e w sono entrambi sistemi linearmente dipendenti in V
- esiste una matrice quadrata M = (m
ij
) dordine p e determinante 1 tale
che v
i
=
p
1
m
ij
w
j
Gli elementi del quoziente di V
p
per tale relazione sono dette le p-faccette di V .
Il loro insieme sarà indicato con F
p
(V ).
Una applicazione : F
p
(V ) W delle p-faccette di V in uno spazio vettoriale
W è detto un morsmo se la composizione V
p
F
p
(V ) W è p-lineare
alternante. Un tale morsmo sarà detto un prodotto esterno di grado p per V
se verica la seguente condizione:
per ogni altro morsmo
: F
p
(V ) W
esiste una ed una sola

applicazione lineare h : W W
tale che
= h .
Unicità. E facile vericare che se ,
soddisfano entrambi la condizione prece-

dente, allora esiste uno ed un solo isomorsmo h : W W
che trasforma in
38
, cosicche tali spazi sono identicabili in modo ben precisato. Esprimeremo

ciò dicendo che il prodotto esterno di grado p per V se esiste è univocamente
determinato a meno di isomorsmi.
Esistenza. Siano dati un morsmo : F
p
(V ) W e una base (e
1
, . . . , e
n
) di V .
E facile vericare che è un prodotto esterno di grado p per V se e solo se gli
elementi ((e
i
1
, . . . , e
i
p
)
1i
1
<<i
p
n
costituiscono una base di W.
Infatti ciò equivale ad asserire che dare una applicazione p-lineare alternante
su V a valori in uno spazio W
, equivale ad assegnare i valori di
sugli elementi
(e
i
1
, . . . , e
i
p
) per 1 i
1
< < i
p
n.
Esibiamo una tale : sia V
il duale di V e W =applicazioni p-lineari alter-

nanti su V
a valori in R. Deniamo : V
p
W cos` :
per v
1
, . . . , v
p
V , (v
1
, . . . v
p
)[h
1
, . . . , h
p
] = det(h
i
(v
j
)).
Dette e
1
, . . . , e
n
una base di V e e
1
, . . . , e
n
la duale in V
, per
1 i
1
< < i
p
n e 1 j
1
< < j
p
n si ha:
(e
i
1
, . . . , e
i
p
)[e
j
1
, . . . , e
j
p
] =
i
1
j
1
,
i
p
j
p
Utilizzando il fatto sopra ricordato di come si scrivono le forme p-lineari su uno
spazio in cui è ssata una base, si conclude che è un prodotto esterno di
grado p per V . Tale W verrà indicato con la notazione
_
p
V e lapplicazione
V
p
_
p
V con (v
1
, . . . , v
p
) v
1
v
p
; un elemento in
_
p
V sarà detto
semplice se è nellimmagine di F
p
(V ).
Nota. Quanto descritto sopra fornisce una immersione della varietà (detta di
Grassmann) dei sottospazi vettoriali di dimensione p di V nello spazio proiettivo
P(
_
p
V ) ottenuta considerando per ogni p-faccetta non nulla v = v
1
v
p
il
sottospazio H(v) generato da v
1
, . . . , v
p
che verrà detto il suo supporto.
Prodotti. Deniamo un prodotto
_
p
V
_
q
V
_
p+q
V come lunica appli-
cazione bilineare (v, w) v w vericante:
(v
1
v
p
) (w
1
w
q
) = v
1
v
p
w
1
w
q
Che tale denizione è ben posta segue facilmente dalle proprietà richieste alle
applicazioni F
r
(V )
_
r
V cos` come la associatività di tali prodotti e la anti-
commutatività: per v
_
p
V , w
_
q
V si ha v w = (1)
p+q
w v.
Si ottiene co` una Ralgebra
_
V =
i0
_
i
V , che viene chiamata lalgebra
esterna su V .
Per h
1
, . . . , h
p
V
e v
1
, . . . , v
p
V ponendo
(h
1
h
p
)[v
1
v
p
] = det(h
i
(v
j
))
si ottiene un isomorsmo di
_
p
V
con (
_
p
)
.
Se b : V V R è una forma bilineare, si ottiene una forma bilineare b
p
su
_
p
V ponendo
b
p
(v
1
v
p
, w
1
w
p
) = det(b(v
i
, w
j
))
Tale b
p
è simmetrica e denita positiva se b lo è.
Siano ssati su V un prodotto scalare <, > denito positivo ed una orientazione
(un tale oggetto viene detto spazio euclideo). Deniamo ora un isomorsmo
39
:
_
p
V
_
np
V associando ad una p-faccetta v = v
1
v
p
la (n p)-
faccetta w = w
1
w
np
avente per supporto lortogonale del supporto di
v , tale che v e w abbiano la stessa norma e tale che v
1
, . . . , v
p
, w
1
, . . . , w
np
dia lorientazione positiva di V . Si vede facilmente che è una isometria e che
2
è la moltiplicazione per (1)
p(np)
; ciò può essere controllato ad esempio
osservando che se e
1
, . . . , e
n
costituiscono una base ortonormale di V , allora gli
e
i
1
e
i
p
per 1 i
1
< < i
p
n sono una base ortonormale per
_
p
V .
In particolare
_
n
V verrà identicato canonicamente con R ssando per base la
n-faccetta e
1
e
n
.
Nel seguito avremo uno spazio vettoriale V che sarà lo spazio tangente T(X, x)
in un punto x ad una varietà dierenziabile X e considereremo lalgebra es-
terna sul suo duale V
. Dalla costruzione descritta avanti segue che

_
p
V
è
identicato con lo spazio vettoriale delle forme : V
p
R plineari simmet-
riche. Se x
1
, . . . , x
n
sono coordinate locali su X vicino ad x, allora dx
1
, . . . , dx
n
costituiscono una base per V
e quindi una base per

_
p
V è data dalle forme
dx
i
1
dx
i
p
per 1 i
1
< < i
p
n.
Siano una p-forma e una q-forma su V . Se esse sono semplici , =
h
1
h
p
e = k
1
k
q
ove h
1
, . . . , h
p
, k
1
, . . . , k
q
V
, si è
posto = h
1
h
p
k
1
k
q
. Se e non sono semplici, essendo
esse somma di semplici, si può calcolare utilizzando la distributività del
prodotto esterno rispetto alla somma. Altrimenti si può utilizzare la seguente
formula per la cui validità è suciente controllare il caso in cui e sono
semplici: se v
1
, . . . , v
p+q
V si ha
()(v
1
, . . . , v
p+q
) =
S(p,q)
(1)
||
(v
(1)
, . . . , v
(p)
) (v
(p+1)
, . . . , v
(p+q)
)
ove S(p, q) è il gruppo delle permutazioni di 1, . . . , p +q tali che
(1) < < (p) e (p + 1) < < (p + q) e come al solito [[ è la parità
della permutazione.
Nota.Le formule ora date, nel caso di forme semplici sono precisamente le for-
mule di Laplace generalizzate per il calcolo dei determinanti.
Forme dierenziali su una varietà
Sia un aperto in una varietà dierenziabile X; una forma dierenziale di
grado p o p-forma su è il dato per ogni punto x in di una p-forma
( x) sullo spazio tangente T(X)
x
. Se (x
1
, . . . , x
n
) sono coordinate su un aperto
U si ha una scrittura ( x) =
a
i
1
...i
p
dx
i
1
dx
i
p
, ove la somma è
estesa alle p-uple crescenti i
1
< < i
p
in 1, . . . , n e le a
i
1
...i
p
sono funzioni
univocamente determinate su U. Diremo che è a coecienti continui o dif-
ferenziabili se in ogni tale rappresentazione le funzioni a
i
1
...i
p
sono continue o
dierenziabili. Indicheremo con A
p
() lo spazio vettoriale delle p-forme a coef-
cienti dierenziabili sullaperto della varietà dierenziabile X e con A
p
c
()
il sottospazio di quelle a supporto compatto.
Se f : X Y è una applicazione dierenziabile ed x X, il dierenziale di f
in x è (stato denito come) una applicazione lineare df(x) : T
x
(X) T
f(x)
(Y );
se è una p-forma su un aperto U di Y , indicheremo con f
la p-forma su
f
1
(U) denita per x f
1
(U) e v
1
, . . . , v
p
T
x
(X) dalla eguaglianza:
f
(x)[v
1
, . . . , v
p
] = (f(x))[df(x)[v
1
], . . . , df(x)[v
p
]]
40
E facile vericare, scrivendo la f in termini di coordinate locali, che f
è
dierenziabile se lo è e che essa commuta con le operazioni dellalgebra esterna.
Inoltre, se g : Y Z è anche dierenziabile, si ha (g f)
= f
; con
queste denizioni gli A
p
(X) divengono funtori contravarianti sulla categoria
delle varietà dierenziabili. Diversamente gli A
c
(X) rappresentano dei funtori
(ancora contravarianti) solo sulla categoria i cui oggetti sono ancora le varietà
dierenziabili ma i morsmi sono le sole applicazioni dierenziabili proprie.
Denizione intrinseca di forme dierenziali
Abbiamo visto che i campi di vettori tangenti possono essere pensati come
derivazioni; queste possono essere considerate su ogni varietà indipenfdente-
mente da una sua realizzazione come sottovarietà di uno spazio euclideo. Da
questo punto di vista anche le forme dierenziali possono essere introdotte in-
trinsecamente. Indichiamo con T() = T linsieme delle drivazioni su un aperto
di una varietà: esso è un modulo sullanello c delle funzioni dierenziabili
sullaperto . Una pforma dierenziale (dierenziabile) su può essere
identicata ad una applicazione p lineare alternante si T a valori in c ossia
una applicazione T
p
c che sia lineare (sullanello c) in ogni argomento sep-
aratamente e che cambi segno scambiando tra loro due degli argomenti. Ad
esempio se f c, associando ad ogni elemento V T la funzione V (f) (ossia
la derivata di f lungo il campo V ) si ha una 1forma. Essa è quella che
solitamente si indica con df detta il dierenziale della funzione f. Od ancora
se f
1
, ..., f
p
sono funzioni dierenziabili indicheremo con df
1
...df
p
la pforma
dierenziale che alla pupla (V
1
, ..., V
p
) di derivazioni associa il determinante
della matrice (di funzioni) data da (df
i
(V
j
)) = (V
j
(f
i
)). Se f
1
, ..., f
n
sono un
sistema di coordinate su un aperto , allora le pforme (df
i
1
... df
i
p
formano
al variare di 1 i
1
< ... < i
p
n una base delle pforme su c; ossia le p
forme su sono tutte esprimibili ed in modo unico come combinazione lineare
a coecienti in c di tali pforme.
Integrazione di forme
Sia X una varietà dierenziabile orientata di dimensione n. Deniamo una
applicazione lineare
_
X
: A
n
c
(X) R cos`:
se il supporto di A
n
c
(X) è contenuto in una carta orientata (U, h) di X, si
legga tramite h come forma su R
n
; si otterrà una n-forma f(x)dx
1
dx
n
con f dierenziabile a supporto compatto e si denisce:
_
X
=
_
R
n
f(x)dx
1
dx
n
Nel caso generale utilizzando una partizione dellunità ed il fatto che il supporto
di è compatto, si trova una decomposizione =
1
+ +
r
ove ogni
i
ha
supporto contenuto in qualche carta orientata su X e si pone :
_
X
=
_
X
1
+ +
_
X
r
Che i valori trovati non dipendono dalle scelte arbitrarie fatte si dimostra facil-
mente utilizzando la formula di cambiamento di variabili in un integrale multiplo
41
in R
n
, la additività per tali integrali e la confrontabilità tra partizioni dellunità
(se (
i
)
iI
è una partizione subordinata al ricoprimento (U
i
)
iI
e (
j
)
jJ
una
subordinata al ricoprimento (V
j
)
jJ
allora (
i

j
)
(i,j)IJ
è una partizione
dellunità subordinata al ricoprimento fatto con le intersezioni U
i
V
j
).
Nota. E chiaro che lintegrazione delle n-forme a supporto compatto risulta
denita anche se la varietà X ha un bordo non vuoto o per forme a coecienti
continui. Se il supporto dellintegrando non è compatto lintegrale è denibile
solo sotto certe condizioni. La condizione generale di integrabilità che può essere
richiesta è la seguente: per ogni > 0 esiste un compatto K tale che per ogni
funzione continua h : X [0, 1] avente supporto compatto disgiunto da K si
ha [
_
X
h[ < . Ciò corrisponde al fatto che comunque si decomponga la forma
in una somma di forme i cui supporti costituiscano una famiglia localmente
nita, lintegrazione degli addendi fornisce una serie convergente incondiziona-
tamente (ossia la somma non solo è nita per ogni ordinamento seguito nella
sommazione ma anche il risultato è lo stesso: trattandosi di serie di numeri
reali, ciò è equivalente alla assoluta convergenza). Oppure si può ssare una
procedura determinata di integrazioni e richiedere che esista il limite dei valori
cos` trovati come ad esempio col porre
_
R
f(t)dt = lim
n
_
n
n
f(t)dt.
Una coppia (, h) ove è una varietà dierenziabile orientata compatta a bordo
di dimensione p e h : X è una applicazione dierenziabile verrà detta p-
catena dierenziabile in X; se = essa verrà detta un p-ciclo dierenziabile.
Ogni tale p-catena denisce una applicazione lineare
_
(,h)
: A
p
(X) R de-
nendo per una p-forma su X :
_
(,h)
=
_
()
Chiameremo opposta di una p-catena = (, h) su X la p-catena , = (
, h)
ove è ottenuta da invertendo lorientazione. Se
i
= (
i
, h
i
) per i = 1, 2
sono p-catene in X, considerando lunione disgiunta di
1
e
2
si ottiene una
p-catena che verrà detta somma di
1
e
2
. Due p-cicli
1
,
2
sono bordanti se
1
è il bordo di qualche (p+1)-catena. Per dimostrare che questa è una re-
lazione di equivalenza, occorre utilizzare lesistenza di un collare per il bordo di
varietà dierenziabili; ossia che se X è una varietà dierenziabile compatta (ma
è vero anche senza questa ipotesi), esiste un intorno di X in X dieomorfo a
X[0, 1[. Oppure si può per semplicità mettere ciò nella denizione di varietà
a bordo.
E facile vericare che le classi di equivalenza di p-cicli di una varietà X, for-
mano un gruppo abeliano (lopposto della classe di è la classe di ) che viene
detto p-esimo gruppo di bordismo orientato B
p
(X) di X. Se f : X Y è dif-
ferenziabile, si ha un omomorsmo f
: B
p
(X) B
p
(Y ) che dipende solo dalla
classe di omotopia di f. Per il tipo di considerazioni che svolgeremo nel seguito,
questo invariante è troppo ne; infatti esso tiene conto non solo della complessità
della varietà X su cui lo si calcola, ma anche del fatto che non tutte le varietà
orientate sono bordo di qualcosa. Ad esempio si può dimostrare (non in modo
elementare) che la 4-varietà P
2
(C) non è il bordo di alcuna 5-varietà orientata,
cosicche ogni applicazione f : P
2
(C) X anche se costante ed anche se X è
un punto, dà un elemento non nullo in B
p
(X). Per ridurre questo invariante in
modo che rappresenti solo la complessità topologica di X si devono ammettere
42
cicli con singolarità. Un modo, è quello di sostituire le varietà di dimensione
p che abbiamo considerato allinizio con poliedri orientati P (in qualche R
n
)
ed applicazioni (dierenziabili o continue, non cambia molto) h : P X. Gli
invarianti che ne derivano sono detti gruppi di omologia singolare a coecienti
in Z. Un altro modo potrebbe essere quello di ammettere solo certi tipi di singo-
larità: si ssa una lista di poliedri e si prendono sottoinsiemi R
m
che siano
localmente modellati sugli elementi della lista (con orientazioni coerentemente
denite). Si possono cos` ottenere teorie intermedie alle due discusse sopra.
Loperatore di dierenzazione Sia X una varietà dierenziabile. Asso-
ciando ad ogni funzione dierenziabile il suo dierenziale, si ottiene un omo-
morsmo d : A
0
(X) f df A
1
(X). Gli elementi di Im(d) sono detti
dierenziali esatti o integrabili su X ; essi costituiscono uno spazio vettoriale
B
1
(X). Per B
1
(X), ogni f A
0
(X) tale che df = è detta una prim-
itiva di ; se X è connessa, due primitive della stessa forma dieriscono per
una costante. La 1-forma df misura infatti quanto la f non sia localmente
costante. Precisamente se valutamo la f sullo 0-ciclo x
0
X, ottenendo quindi
f(x
0
) e confrontiamo con il valore f(x
1
) in un punto x
1
vicino a x
0
, la dif-
ferenza f(x
1
) f(x
0
) può essere calcolata con lintegrale di df su una qualsiasi
1-catena che ha per bordo x
1
, x
0
; infatti per la formula di Torricelli, se
: [0, 1] X è dierenziabile, si ha
_
df = f((1)) f((0))
Costruiremo ora operatori d : A
p
(X) A
p+1
(X) che svolgono lo stesso ruolo
per le p-forme: si vuole associare ad una p forma una (p + 1)-forma d che
misura quanto
_
vari quando viene sostituito con un ciclo bordante con

lui; precisamente gli operatori d vericheranno una analoga della formula di
Torricelli che viene detta formula di Stokes:
per A
p
(X) e (, h) una (p + 1)-catena in X si ha:
_
(,h)
d =
_
(,h)
Chiameremo esatte o integrabili le p-forme che siano il dierenziale di una

(p1)-forma che verrà detta una sua primitiva; queste formeranno uno spazio
vettoriale B
p
(X). Una p-forma sarà detta invece chiusa o localmente integrabile
se ogni x X ha un intorno aperto U sul quale la forma è integrabile; queste
formeranno uno spazio vettoriale Z
p
(X) e il quoziente Z
p
(X)/B
p
(X) = H
p
(X)
sarà chiamato p-esimo spazio di coomologia di de Rham di X.
Nota. Per denire la integrabilità delle 0forme (ossia delle funzioni) dobbiamo
considerare A
1
che non è stato denito. Per convenzione deniamo A
1
come
lcmodulo nullo, ossia considereremo integrabile la sola funzione identicamente
nulla.
Analoghe denizioni si introducono per le forme a supporto compatto: una
A
p
c
(X) sarà detta integrabile se esiste A
p1
c
(X) tale che d = e sarà
detta chiusa se tale è in quanto pforma su X, ossia d = 0; si introducono cos`
gli spazi di coomologia a supporti compatti H
p
c
(X) come quozienti di forme (a
43
supporto compatto) chiuse modulo forme esatte. Si noti che se f : X Y
è dierenziabile, non è denita f
: A
p
c
(Y ) A
p
c
(X) e quindi neppure una
f
: H
p
c
(Y ) H
p
c
(X) a meno che f sia propria.
Comunque se f è una inclusione aperta, ossia X è un aperto in Y , allora si ha
un omomorsmo naturale di inclusione f
: H
p
c
(X) H
p
c
(Y )
Loperatore di dierenzazione esterna d viene introdotto di solito in questo modo
che seguiremo per uniformarci alla trattazione seguita nei pi` u comuni testi di
geometria dierenziale:
Teorema 43 Esiste una ed una sola successione di operatori lineari
d : A
p
(X) A
p+1
(X) per p 0 che verica:
1. d è lusuale dierenzazione per gli elementi di A
0
(X)
2. d d : A
p
(X) A
p+1
(X) è loperatore nullo
3. per A
p
(X) e A
q
(X) si ha d( ) = (d + (1)
p
(d)
Dim. Si dimostra dapprima che d è un operatore locale, ossia che per ogni p-
forma il supporto di d è contenuto nel supporto di (se 0 allintorno
di x
0
, sia f A
0
(X) tale che f = 0 su X e f 1 vicino ad x
0
; allora
0 = d(f ) =. . . etc ). Si può quindi lavorare su R
n
ove se x
1
, . . . , x
n
sono le
coordinate le p-forme si scrivono:
=
i
1
<<i
p
a
i
1
...i
p
dx
i
1
dx
i
p
e per le richieste fatte deve essere:
d =
i
1
<<i
p
(da
i
1
...i
p
) dx
i
1
dx
i
p
Con un pò di fatica si scopre che ciò porta ad una buona denizione degli ope-
ratori di dierenzazione esterna (si controllino i dettagli su un qualsiasi testo
di Geometria Dierenziale). Loperatore d cos` introdotto è funtoriale nel senso
che se f : X Y è una applicazione dierenziabile ed è una p-forma dieren-
ziabile su Y , allora si ha la formula di commutazione: f
d = df
.
Denizione intrinseca delloperatore di dierenzazione
Un modo di denire la dierenzazione delle forme senza utilizzare sistemi di
coordinate (e quindi senza bisogno poi di vericare che essa non dipende dal
particolare sistema di coordinate utilizzato) è il seguente: siano una pforma
su una varietà; indichiamo con d la (p + 1)forma che sulla (p + 1)pla di
derivazioni (V
0
, ..., V
p
) vale
p
i=0
(1)
p
V
i
((V
0
, ..,

V
i
, .., V
p
)) +
0i<jp
(1)
i+j
([V
i
, V
j
], ..,

V
i
, ..,

V
j
, .., V
p
)
ove la notazione
V signica eliminare la V nella scrittura.

Si deniscono anche operazioni (dette prodotti esterni ) : A
p
A
q
A
p+q
denite per A
p
, A
q
e X
1
, ..., X
p+q
T da:
[X
1
, ..., X
p
] =
S
p,q
(1)
||
[X
1
, ..., X
p
] [X
p+1
, ..., X
p+q
]
44
ove S
p,q
è linsieme delle permutazioni su 1, ..., p + q che sono crescenti su
1, ..., p e su p+1, ..., p+q. Si verica che tali prodotti esterni sono associativi
( ( ) = ( ) ) e anticommutativi ( = (1)
pq
). Per la
dierenzazione esterna vale la formula d( ) = d + (1)p d se p è
il grado di . Dalla denizione intrinseca si ricava anche che se A
p
allora
d(d) è lelemento nullo di A
p+2
.
E facile controllare utilizzando un sistema di coordinate locali (x
1
, ..., x
n
) e
ricordando che le derivazioni /x
i
e /x
j
commutano, che questa denizione
coincide con quella data in termini di coordinate locali.
Teorema 44 (Formula di Stokes) Sia X una varietà orientata a bordo di
dimensione p e sia una (p 1)-forma a supporto compatto su X. Si ha:
_
X
d =
_
X
Dim. Essendo ambo i membri lineari ed essendo ogni forma a supporto com-
patto esprimibile come somma di forme con supporto contenuto in una carta,
è suciente dimostrare la formula nel caso X = (x
1
, . . . , x
p
) R
p
: x
1
0.
Basterà allora considerare il caso = a(x) dx
i
1
dx
i
p
distinguendo in
due casi secondo che 1 sia o no presente tra gli i
1
, . . . , i
p
e questa è una facile
verica diretta.
Nota. Loperatore di dierenzazione delle forme potrebbe essere introdotto an-
che come lunico operatore d : A
p
(X) A
p+1
(X) che rende valida la formula
di Stokes. Questo è sostanzialmente il metodo in cui esso viene denito in corsi
di Fisica (parlando di divergenza o di rotore); o almeno cos` mi fu presentato
nel corso di Fisica 2 che seguii tanti anni quando ero studente.
Alcune determinazioni della coomologia di de Rham
Grado zero:
Su una varietà X una f A
0
è chiusa se df = 0; ciò equivale allessere f local-
mente costante. Quindi se X è connessa, solo le funzioni costanti sono chiuse
per cui H
0
(X) R identicato allo spazio vettoriale delle funzioni costanti; se
invece X ha r componenti connesse allora H
0
(X) R
r
identicato allo spazio
delle funzioni costanti su ogni componente connessa.
Se X è connesso, allora H
0
c
(X) è isomorfo ad R se X è compatta, altrimenti è lo
spazio nullo. Se X ha a componenti connesse compatte e b componenti connesse
non compatte, allora H
0
c
(X) R
a
.
Grado uno
Premettiamo alcune considerazioni di omotopia.
Lemma 45 Una varietà connessa è connessa anche per cammini dierenziabili
Dim. Nel caso di uno spazio topologico X si dimostra che se esso è connesso
e localmente connesso per archi allora è anche globalmente connesso per archi.
La dimostrazione utilizza il fatto che se un cammino termina ove inizia un
altro cammino , allora il loro prodotto è ancora un cammino continuo.
Nel caso che X sia una varietà dierenziabile ed e siano dierenziabili,
45
il loro prodotto sarà in generale non dierenziabile (in generale nel punto di
congiunzione la direzione con la quale arriva , anche se denita sarà diversa
da quella con la quale parte . Ma tale congiunzione sarà dierenziabile se è
costante in un intorno del punto 1 e lo è in un intorno del punto 0. Ciò può
essere ottenuto componendo e con una parametrizzazione : [0, 1] [0, 1]
che sia dierenziabile e che sia costante in un intorno di 0 [0, 1] e in un intorno
di 1 [0, 1].
La dimostrazione delineata del precedente lemma, può essere precisata in modo
da dimostrare che dato un cammino continuo : [0, 1] X ove X è una varietà
e ssata una costante positiva , esiste un cammino dierenziabile : [0, 1] X
avente gli stessi estremi di e tale che [[ (t) (t)[[ < per ogni t [0, 1].
Ammanaccando in modo analogo, si dimostra anche che data una omotopia a
estremi ssi tra due cammini continui aventi stessi estremi ed una costante posi-
tiva , esiste una omotopia dierenziabile con gli stessi estremi ssi e che disti in
ogni punto meno di dalla omotopia tra le due approssimazioni dierenziabili
e

dei cammini estremi della omotopia.
Questo tipo di questioni, potrebbe essere pi` u facilmente trattato supponendo
che X sia una sottovarietà chiusa in un R
N
(sempre possibile per il teorema di
immersione di Whitney) ed utilizzado i seguenti due ingredienti:
1. Esistenza di un intorno tubolare, ossia il fatto che esiste un intorno U di X
in R
N
tale che la coppia (U, X) sia dieomorfa alla coppia (N(X), X) essendo
N(X) il brato normale di X in R
N
, in cui X è identicata a vettori normali
di lunghezza zero.
2. Il teorema di approssimazione di Weierstrass: dati un compatto K R
N
,
una funzione continua f : K R ed una costante positiva esiste una fun-
zione polinomiale P (basterebbe: una funzione dierenziabile P) su R
N
tale
che [f(x) P(x)[ < per ogni x K.
Ammessi questi due fatti si dimostrano facilmente teoremi del seguente tipo:
Teorema 46 Siano X R
N
una sottovarietà compatta ed ed Y R
M
una
sottovarietà chiusa. Indichiamo con [X, Y ] linsieme delle classi di omotopia di
applicazioni continue f : X Y e con [X, Y ]
lanalogo dierenziabile (ossia

il quoziente dellinsieme delle applicazioni dierenziabili di X in Y ottenuto
identicando qulle che sono estremi di una omotopia dierenziabile). Allora
lapplicazione naturale [X, Y ] [X, Y ]
è biunivoca
Analoghi del teorema precedente possono essere dimostrati ammettendo che X
sia una varietà a bordo oppure ssando condizioni tipo punto base:
ad esempio dando sottovariet` a Z
1
, ..., Z
p
di X e considerando solo applicazioni
f : X Y le cui restrizioni alle Z
i
siano applicazioni dierenziabili ssate.
Osservazioni
1. Nella costruzione di un intorno tubolare di una sottovarietà X di una varietà
dierenziabile M R
N
abbiamo supposto che (almeno) X fosse compatta; in
tal caso abbiamo considerato, dato > 0 sucientemente piccolo, la parte N
del brato normale ad X in M costituita dalle coppie (x, v) con [[v[[ < , poi
linsieme

N
dato dagli x +v per (x, v) N
ed inne schiacciato questo su M

con la proiezione ortogonale (associata ad un intorno tubolare di M in R
N
).
E facile vericare che anche nel caso in cui X non sia compatta (ma che sia
un chiuso in M), per avere un intorno tubolare di X in M basta considerare
46
(in quel che precede) non come una costante, ma cone una opportuna (cioè
abbastanza piccola) funzione (dierenziable) di x X.
2. Gli intorni tubolari possono essere costruiti utilizzando al posto di una realiz-
zazione di M come sottovarieà di R
N
, una metrica riemanniana su M e con-
siderando le geodetiche in M (denite pi` u avanti) che partono ortogonalmente
da X.
Sia ora X una varietà dierenziabile connessa e, ssato un suo punto x
0
, indichi-
amo con il suo gruppo fondamentale
1
(X, x
0
). Posto S
1
= z C : [z[ = 1
consideriamo linsieme M delle applicazioni dierenziabili : S
1
X che
applicano 1 in x
0
. Identichiamo due tali
0
e
1
se esiste una applicazione
: S
1
[0, 1] X dierenziabile e tale che (s, i) =
i
(s) per i = 0, 1 ed
s S
1
. Il quoziente coincide con . Se è una 1forma chiusa su X, per ogni
applicazione dierenziabile : S
1
X è denito
_
R. Utilizzando la for-
mula di Stokes si dimostra che integrando su cammini (dierenziabili) che siano
omotopi (dierenziabilmente, ossia equivalenti per la relazione sopra denita)
si ottiene lo stesso risultato. Si ha quindi una applicazione:

_
R
che, come facilmente si verica, è un omomorsmo; esso è nullo se e solo se
è integrabile, ossia è il dierenziale di una f : X R dierenziabile. Si
ottiene cos` una applicazione : H
1
(X) Hom(, R) che è iniettiva. Si
può dimostrare che tale è anche surgettiva, ottenendo una identicazione tra
H
1
(X) ed Hom(, R) risultato che viene chiamato Teorema di de Rham in
dimensione 1.
Il caso di una supercie
Calcoleremo ora H
2
(X) e H
2
c
(X) quando X è una varietà connessa di dimen-
sione due. Esaminiamo prima il caso X = R
2
:
sia una due forma su R
2
; essa è quindi rappresentata da una espressione del
tipo f(x)dx dy ove f è una funzione dierenziabile su R
2
; essa è automatica-
mente chiusa perche su R
2
lunica forma dierenziale di grado 3 è quella nulla.
Sia g la funzione su R
2
denita da g(x, y) =
_
x
0
f(t, y)dt. Allora la 1forma
= g(x, y)dy è una primitiva di e ciò mostra che H
2
(R
2
) = (0).
Consideriamo ora la 2coomologia a supporto compatto di R
2
. Un elemento
A
2
c
(R
2
) si scrive = f(x, y)dx dy ove f è una funzione a supporto
compatto su R
2
. Associando ad ogni tale il suo integrale () =
_
R
2
si ha
una applicazione lineare : A
2
R. Se è il dierenziale di una 1forma a
supporto compatto, quindi esiste H R tale che sia identicamente nulla fuori
di D = (x, y) R
2
: x
2
+y
2
H, per la formula di Stokes si ha:
_
R
2
=
_
D
=
_
D
= 0
Ciò mostra che induce una applicazione lineare : H
2
c
(R
2
) R che è chiara-
mente surgettiva (perche esiste qualche 2forma su R
2
che ha integrale non
nullo). Mostriamo ora che tale è anche iniettiva, quindi un isomormo. Infatti
in quanto come abbiamo visto sopra ogni tale è il dierenziale di una 1forma
47
su R
2
che non è detto sia a supporto compatto.
Facciamo vedere che se ha integrale nullo, allora esiste una funzione h dif-
ferenziabile su R
2
tale che dh = nei punti ove x
2
+y
2
è sucientemente alto.
Precisamente sia H R tale che sia nullo per [[(x, y)[[ H e sia laperto
ove [[(x, y)[[ > H. Su si ha quindi d = = 0, ossia è una 1forma chiusa
su tale aperto. Il gruppo fondamentale di è generato dal bordo orientato di
D = R
2
: per Stokes si ha:
_
D
=
_
D
= ()
Quindi se questo è nullo, la forma è integrabile su , ossia esiste una funzione
g su tale che dg = . Si scelga una funzione equale a 0 per [[(x, y)[[ H+1
ed 1 per [[(x, y)[[ H +2 e sia g la funzione su R
2
che vale g su e 0 su D.
Allora = d g è una primitiva a supporto compatto di .
Corollario 47 Sia una 2forma a supporto compatto su un disco aperto di
R
2
e sia U un aperto non vuoto in . Esiste allora una 1forma a supporto
compatto in tale che d abbia supporto compatto contenuto in U
Calcoliamo adesso H
2
c
(X) quando X è una supercie connessa. Fissiamo un
ricoprimento aperto localmente nito (U
i
)
iI
di X costituito da aperti dieo-
mor a dischi aperti di R
2
; moltiplicando per gli elementi di una partizione
dellunità associata al ricoprimento si ottiene una decomposizione =
iI

i
in cui quasi tutti gli addendi (ossia tutti salvo un numero nito) sono nulli
perche ha supporto nito. Per il corollario precedente, se U
i
U
j
,= esiste
una 1forma dierenziale avente supporto in U
i
tale che =
i
+ d ha
supporto in U
i
U
j
; possiamo quindi sostituire
j
con
j
+ e mettere 0 al
posto di
i
: la forma somma delle nuove
i
darà allora in H
2
c
(X) la stessa classe
di . Essendo X connessa, iterando questa costruzione, si può trasformare la
in una forma avente supporto in un solo U
i
. Se la supercie è orientabile,
possiamo considerare lintegrale di su X: questo non cambia valore nei passagi
che hanno trasformato in ; se tale integrale era nullo, essendo U
i
dieomorfo
ad R
2
la forma è integrabile in una forma a supporto compatto in U
i
, quindi
anche dà la classe nulla in H
2
c
(X) che cos` (con ragionamento analogo a quello
fatto per X = R
2
) è identicato ad R proprio tramite lintegrazione su X.
Se invece X non è orientabile, allora esiste una successione di aperti del ricopri-
mento in cui ognuno interseca il successivo e che parte da U
i
tornando in U
i
con
lorientazione cambiata. Prendiamo allora la metà della forma e spostiamola
lungo la successione di aperti sino a riportarla in U
i
ottenendo una 2forma
che avrà integrale opposto alla metà di rimasta in U
i
: quindi (1/2)+ dà la
classe nulla in coomologia a supporto compatto e lo stesso avverrà per perche
dà la stessa classe.
Grado di una applicazione Sia : X Y una applicazione dierenziabile
propria tra varietà connesse della stessa dimensione n; linsieme dei valori
regolari di è un aperto in Y , denso per il lemma di Sard. Se y allora
1
(y) è un sottoinsieme discreto e compatto, quindi un insieme di cardinalità
nita (y).
Lemma 48 La funzione : Y N è localmente costante
48
Dim. Dato y
0
lapplicazione è un omeomorsmo locale in ogni punto
di
1
(y
0
) (teorema di inversione locale) ed essendo questo nito, esistono un
intorno V di y
0
e intorni U
1
, ..., U
p
dei punti x
1
, ..., x
p
di
1
(y
0
) tali che le
restrizioni di danno dieomorsmi tra gli U
i
e V . Quindi per y V linsieme
1
(y) ha almeno p punti, uno per ogni U
i
. Il complementare H dellunione
degli U
i
in X è un chiuso la cui immagine non contiene y
0
; essendo propria
linsieme (H) è chiuso in Y : allora V (H) è un intorno di y
0
e per ogni suo
punto
1
(y) consiste esattamente di p punti.
In generale il numero dei punti di
1
(y) varia al variare della componente
connessa di contenente y. Supponiamo ora che X ed Y siano orientate. In
ogni punto x X regolare per , il dierenziale d(x) essendo un isomorsmo
tra spazi vettoriali orientati farà corrispondere lorientazione di X con quella
di Y (ossia trasforma basi positive in basi positive) ed allora diremo che x ha
molteplicità +1 sopra y = (x), altrimenti, se inverte tali orientazioni, diremo
che ha molteplicità 1. Per ogni y , la somma delle molteplicità nei punti
di
1
(y) sarà detta grado di sopra y ed indicato con (; y) = (y). Si ha
cos` una funzione : Z. E evidente che è costante su ogni componente
connessa di . Si può dimostrare che essa è di fatto costante su tutto ; il suo
valore (quindi un intero) viene detto grado di ed indicato con (). Si può
anche dimostrare che tale grado è lo stesso per applicazioni che sono omotope.
Noi lo dimostreremo ora solo nei casi in cui abbiamo calcolato la coomologia di
de Rham di dimensione massima, cioè quelli di dimensione 1 e 2.
Sia infatti : X Y come sopra e sia y Y un suo valore regolare. Scegliamo
un intorno V di y tale che
1
(V ) sia fatto di p componenti connesse ognuna
dieomorfa a V tramite . Si scelga una nforma in X avente supporto
compatto entro V e tale che
_
Y
=
_
V
= 1. Allora
_
X
() =
_
1
(V )
()
vale (; y). Nei casi di dimensione 1 e 2, tale numero è indipendente dally
scelto: infatti in tali casi sappiamo che lomomorsmo
: H
n
c
(Y ) H
n
c
(X)
è tra spazi vettoriali di dimensione 1, ove le basi sono indotte da nforme a
supporto compatto ed integrale 1.
Una volta dimostrato che tale grado è ben denito, è facile dimostrare che esso
è lo stesso per applicazioni omotope: basta osservare che se (
t
)
t[0,1]
è una
omotopia (ossia X [0, 1] (x, t)
t
(x) Y è dierenziabile) dati t
0
[0, 1]
e y
0
Y valore regolare per
t
0
, per tutti i t in un intorno di t
0
il punto y
0
rimane un valore regolare per
t
e (
t
, y
0
) = (
t
0
(y
0
).
Molteplicità di intersezione tra sottovarietà e caratteristica di Eulero-
Poincare
Sia X una varietà compatta di dimensione n e con ssata orientazione e sia
: T(X) X la proiezione canonica (x, v) = x. Un campo di vettori tangenti
è una applicazione dierenziabile s : X T(X) tale che s(x) = x per ogni
x X (una inversa destra di ); in altri termini, se X R
N
, una tale s
è individuata da una applicazione di X in R
N
che ad ogni x X associa un
vettore v R
N
che è tangente ad X nel punto x; i punti x X ove tale vettore
è nullo sono detti zeri del campo.
Discuteremo ora del problema di contare quanti zeri debba necessariamente
avere un campo di vettori tangenti. Ad esempio sappiamo che su X = S
2
49
ogni campo di vettori tangenti deve avere qualche zero; invece su S
1
se ne
può costruire uno privo di zeri: ad esempio s(x, y) = (y, x). Ciò accade per
ogni sfera S
2n1
R
2n
di dimensione dispari: ad esempio s(x
1
, ..., x
2n
) =
(x
2
, x
1
, ..., x
2n
, x
2n1
) è un tale campo ( si può dimostrare che ciò accade su
ogni varietà di dimensione dispari).
Mostreremo ora come si possa dare un senso alla seguente aermazione e poi
dimostrare che essa è vera: per ogni varietà compatta (che per semplicità sup-
porremo orientata) X esiste un intero (X) Z, detto sua caratteristica di
Eulero-Poincare, tale che ogni campo di vettori tangenti su X o ha inniti zeri
oppure il numero di questi, contati con opportuna molteplicità, è (X).
Questo risultato sarà ottenuto come conseguenza di argomentazioni riguardanti
lintersezione tra sottovarietà di una data varietà.
Siano X una varietà di dimensione p + q e , sottovarietà compatte di di-
mensioni rispettivamente p e q. Diremo che e sono trasversali nel punto
x X se o x non appartiene alla loro intersezione oppure se lintersezione tra
T
x
() con T
x
() entro T
x
(X) è il solo vettore nullo, il che equivale, per la for-
mula di Grassmann a richiedere che T
x
(X) sia somma di tali due sottospazi; in
questo secondo caso il punto x sarà un punto isolato dellintersezione tra le due
sottovarietà. Se e sono trasversali in ogni punto di X, allora è un
insieme nito. Supponiamo che ciò sia vero e che siano state ssate orientazioni
su tutte e tre le varietà. Un punto x di intersezione tra e sarà detto positivo
se date basi positive (e
1
, .., e
p
) di T
x
() e (f
1
, ..., f
q
) di , è anche positiva la
base (e
1
, ..., e
p
, f
1
, ..., f
q
) di T
x
(X); altrimenti diremo che tale punto è negativo.
Lintero I(, ) Z dierenza tra il numero di punti in cui lintersezione è posi-
tiva e quello dei punti in cui è negativa viene detto molteplicità di intersezione
tra e . Mostreremo che ssata esiste una qforma chiusa a supporto com-
patto su X tale che
_
= I(, ) per ogni come sopra che sia trasversale

ovunque a .
Sia quindi una sottovarietà compatta orientata di dimensione p di una varietà
orientata X R
M
avente dimensione p + q e sia N il brato normale a in
X (coppie (x, v) di vettori di R
M
ove x e v è tangente ad X e ortogonale
a ). Lapplicazione : N R
M
denita da (x, v) = x + v, induce per
sucientemente piccolo un dieomorsmo tra N
= (x, v) N ; [[v[[ < ed

una sottovarietà di R
M
. Proiettando questa su X (mandando ogni punto di essa
nel punto a lui pi` u vicino tra quelli di X) si ottiene un dieomorsmo tra N
ed
un intorno W di in X che chiamiamo intorno tubolare di in X; possiamo
anche sostituire N
con tutto N essendo questi dieomor (vedi appendice sulla

costruzione di alcuni dieomorsmi).
Costruiremo adesso una qforma chiusa a supporto compatto in N; essa de-
terminerà una forma a supporto compatto entro W e quindi anche su X e
mostreremo che essa possiede la proprietà descritta avanti.
Infatti sia = f(t
1
, ..., t
q
)dt
1
... t
q
una qforma a supporto compatto su
R
q
tale che
_
R
q
= 1. Ogni punto x
0
ha un intorno U sul quale esistono
applicazioni v
1
, ..., v
q
di U in R
n
che sono dierenziabili e che per x U costi-
tuiscono una base ortonormale di N
x
; ciò induce una applicazione della parte
di N sopra U con U R
q
, quindi una proiezione di tale parte su R
q
tramite
la quale rimontiamo la qforma . Se utilizziamo delle v
i
diverse, ma in modo
che abbiano le stesse proprietà richieste sopra, la forma rimontata può essere
50
diversa ma rimarrà la stessa se la funzione (e quindi anche la qforma ) è
invariante per rotazioni di R
q
. Scelta f in tal modo, si ottiene una qforma
a supporto compatto su N che è chiusa perche localmente immagine inversa di
una chiusa in R
q
.
Mostriamo ora che se è una sottovarietà orientata chiusa in X di dimensione
q (non necessariamante compatta che sia trasversale a in ogni punto di X,
allora
_
= I(, ). Infatti essendo il supporto di contenuto nellintorno

tubolare, basta mostrare che ciò è vero quando X = N. In tal caso operando con
una omotetia sulle bra di N (moltiplicazione su N
x
per una costante positiva
(x) che dipende dierenziabilmente da x ) si fa in modo che intersechi
il supporto di solo in corrispondenza dei punti in cui essa incontra con
componenti connesse che nella proiezione su R
q
danno un dieomorsmo con
un aperto contenente il supporto di , il che mostra che lintegrale su ogni tale
componente dà 1 o 1 a seconda che lorientazione viene conservata o invertita.
Proposizione 49 Siano : M una applicazione dierenziabile tra varietà
orientate di dimensioni risp. p +1 e p +q e M una sottovarietà compatta
orientata di dimensione q. Supponiamo che sia compatta e che induca
un dieomorsmo tra ed una sottovarietà di M che sia trasversale a .
Allora la molteplicità di intersezione tra e è zero.
Dim. Sia la qforma costruita sopra nellintorno tubolare di ; essa è una
forma chiusa e qundi per la formula di Stokes ha integrale nullo su
Corollario 50 Sia M una sottovarietà compatta orientata di dimensione q
in una varietà orientata M di dimensione p+q. Se
0
,
1
: M sono dio-
morsmi su sottovarietà
0
,
1
M che sono omotopi dierenziabilmente (in
quanto applicazioni dierenziabili) e trasversali a essendo orientata com-
patta di dimensione p, allora le molteplicità di intersezione I(
0
, ) e I(
1
, )
coincidono
Sia s una sezione di un brato vettoriale : E M; la sua immagine in E
è una sottovarietà dieomorfa ad M che è detta il graco di s. Spesso si usa
identicare M con il graco della sezione nulla. Supponiamo che il rango di
E sia la dimensione n di M e che il suo graco sia trasversale a quello della
sezione nulla; ciò signica che in ogni punto x M ove s si annulla, la scrittura
di s in un intorno U di x sul quale E sia banalizzato (che è una applicazione
dierenziabile di U in R
n
) abbia dierenziale non nullo in x. Supponiamo
che M ed E siano orientati (per E signica equivalentemente che: o (1) le
bre di E sono orientate in modo compatibile con le banalizzazioni locali di
E, oppure (2) E è una variet` a orientata) e che M sia compatta; ad ogni zero
di s si può allora attribuire un segno: quello di molteplicità di intersezione
tra il graco di s e quello della sezione nulla. Siccome ogni due sezioni sono
omotope dierenziabilmente (ts
0
+ (1 t)s
1
è una omotopia tra le sezioni s
0
e
s
1
) si può applicare il corollario precedente ed ottenere che nelle ipotesi fatte, il
numero (algebrico) di tali zeri non dipende dalla particolare sezione di E che sia
trasversale alla sezione nulla. Tale numero viene detto numero di Eulero di E;
nel caso particolare che E sia il brato tangente alla varietà compatta orientata
M esso è detto la caratteristica di Eulero-Poincare di M.
51
Commento Con tecniche elementari di topologia dierenziale, basate essenzial-
mente sul lemma di Sard, si dimostra che introducendo una qualche topologia
ragionevole sullo spazio vettoriale delle sezioni di un brato E (ad esempio quella
di spazio di Banach che tiene conto delle derivate di ordine minore o eguale
ad un k 1), le sezioni trasversali a quella nulla costituiscono un aperto denso;
in particolare è un insieme non vuoto e quindi il numero di Eulero è un intero
ben denito.
Estendiamo ora la nozione di caratteristica di Eulero-Poincare al caso di varietà
compatte a bordo. Se M è una tale varietà ed è orientata, consideriamo campi
di vettori tangenti che puntino allesterno in ogni punto di bordo di M nel
senso seguente: in ogni punto x del bordo di M, lo spazio tangente T
x
(M)
contiene lo spazio tangente T
x
(M) come iperpiano. I vettori v T
x
(M) sono
precisamente quegli elementi di T
x
(M) che annullano i dierenziali di funzioni
dierenziabili su M e nulle su M. Quelli che puntano allesterno sono i
v T
x
(M) per il quali esiste qualche funzione f nulla su M e mai positiva su
M e tale che df[v] > 0.
Deniamo allora (M) come il numero (algebrico) degli zeri di un campo di
vettori tangenti che in ogni punto di M punti allesterno. Che tale numero non
dipende dal particolare campo tangente scelto lo si dimostra cos`: consideriamo
la varietà N compatta orientata senza bordo ottenuta unendo per il bordo M
e una sua copia

M in cui lorientazione sia stata cambiata ( si appoggia M
con il bordo su uno spechio e si vede N). Che ciò possa essere fatto in
modo che N sia una varietà dierenziabile, si dimostra osservando che esiste un
intorno (tubolare) di M in M che è dieomorfo a M [0, 1[ (nellappoggiare
M allo specchio si stia attenti ad appoggiarla ortogonalmente: allora non
si formano angoli nei punti dello specchio). I campi di vettori tangenti ad M
che puntino allesterno sul bordo possono essere scelti (o deformati se non lo
sono) in modo che siano ortogonali al bordo e unitari; allora due qualsiasi di
essi sono estendibili dierenziabilmente a tutto N con uno stesso campo su

M
(ad esempio lopposto del riesso di uno di essi allo specchio). Dal fatto che per
N il numero (algebrico) degli zeri non cambia, ne segue che lo stesso accade per
gli zeri che sono allinterno di M.
Calcolo della caratteristica tramite una funzione di Morse
Sia f : M R dierenziabile ove M è una varieà di dimensione n. Se in un
punto x M il dierenziale df si annulla (x è un punto critico) allora sullo
spazio tangente T
x
(M) è ben denita una forma bilineare simmetrica 1(f, x),
detta lhessiano; in un sistema di coordinate locali x
1
, ..., x
n
tale forma è espressa
dalla matrice simmetrica delle derivate seconde di f. Se tale forma è non singo-
lare (ossia il punto x è critico non degenere) viene detto indice del punto critico
la massima dimensione di sottospazio di T
x
(M) sul quale lhessiano è denito
negativo; in pratica lindice coincide con il numero degli autovalori negativi
(contati con la loro molteplicità) della matrice delle derivate seconde. La fun-
zione f è detta di Morse se è propria e se ogni suo punto critco è non degenere.
Supponiamo M compatta; ogni funzione di Morse su X ha quindi un numero
nito di punti critici e per ogni tale punto ctritico x è denito un intero i(x) tra
0 ed n, il suo indice. Indichiamo con (f) la somma dei (1)
i(x)
estesa a tutti
i punti critici di f.
52
Proposizione 51 Sia f una funzione di Morse su una varietà compatta orien-
tata M. Allora (f) = (M)
Dim. Consideriamo su M una qualsiasi struttura di varietà riemanniana. Allora
il gradiente di f (ossia il dierenziale di f interpretato come campo di vettori
tangenti utilizzando lisomorsmo tra 1forme dierenziali e campi di vettori
tangenti) è una sezione del brato tangente trasversale alla sezione nulla; inoltre,
utilizzando le scritture locali di f date dal lemma di Morse in un punto critico
x, si verica immediatamente che la molteplicità di zero di tale campo in x
coincide con (1)
i(x)
.
Nota. Questultimo risultato non solo dice che la caratteristica di Eulero-
Poincare di una varietà M non dipende dallorientazione scelta, ma anche che
probabilmente essa può essere denita anche nel caso che M non sia orientabile;
ciò può essere fatto al solito con tecniche elementari di topologia dierenziale, di-
mostrando che due funzioni di Morse qualsiasi, sono collegabili con una famiglia
ad un parametro di funzioni in cui solo un numero nito sono non di Morse in
ognuno dei quali appaiono o spariscono una coppia di punti critici i cui indici
dieriscono per una unità.
La mappa di Gauss per superci in R
3
Sia M una supercie in R
3
(o pi` u in generale sia M una sottovarietà di dimen-
sione n 1 in R
n
). In ogni punto x M lortogonale N
x
allo spazio tangente
T
x
(M) ha dimensione 1 e contiene quindi esattamente due vettori unitari. La
scelta di uno di essi equivale ad una orientazionedi T
x
(M): una base u
1
, u
2
posi-
tiva per T
x
(M) ed il versore scelto n sono tali che (u
1
, u
2
, n) costituisce una base
positiva per R
3
. Quindi se M è orientata, assegnando ad ogni punto x M il
versore ortogonale positivo si ha una applicazione G : M S
2
= sfera unitaria
di centro lorigine in R
3
; si noti che tale applicazione ha la particolarità che per
ogni x M lo spazio tangente ad M in x coincide con lo spazio tangente ad
S
2
in G(x). Il determinante del dierenziale di G in x M, considerato come
endomorsmo di T
x
M, è detto curvatura gaussiana (scalare) K
x
di M in x.
La curvatura gaussiana, pi` u propriamente detta, è la 2forma dierenziale
K
su M ottenuta sollevando tramite la mappa di Gauss la forma di volume dV
S
2
di S
2
, la forma di volume dV
M
di una varietà riemanniana orientata M di
dimensione p in un punto x essendo cos` denita: se v
1
, ..., v
p
sono in T
x
(M)
allora dV
M
(x)[v
1
, ..., v
p
] è il determinante della matrice < v
i
, e
j
> ove (e
1
, ..., e
p
)
è una base ortonormale positiva di T
x
(M). La curvatura della supercie ori-
entata M è quindi cos` denita: per u
1
, u
2
T
x
(M) la quantità
K
[u
1
, u
2
] è
data dal determinante della matrice (< dG[u
i
], e
j
>) ove (e
1
, e
2
) è una base
ortonormale positiva di T
G(x)
(S
2
). Se la varietà M è orientata, allora la sua
curvatura scalare in un punto x è ottenuta calcolando la curvatura
K
su una
base ortonormale positiva di T
x
(M); equivalentemente:
K
= K
x
dV
M
, ossia la
curvatura gaussiana è il prodotto tra la curvatura scalare e la forma di volume
di M.
Nota. A dierenza della curvatura gaussiana scalare, la forma di curvatura
gaussiana dipende dalla orientazione di M, cos` come la forma di volume; ma
lintegrale di essa su M è indipendente dallorientazione, cos` come la forma di
53
volume che in ogni caso dà larea della zona su cui si integra. Si noti anche che
il grado della mappa di Gauss è indipendente dalla orientazione scelta: infatti
se cambiamo orientazione, la mappa di Gauss viene cambiata di segno e quindi
anche lo spazio tangente di S
2
nel punto immagine, essendo cambiato in quello
dellantipodale del precedente, cambia orientazione.
La proposizione seguente, vista la denizione di grado che abbiamo dato, è
praticamente una tautologia:
Proposizione 52 Sia M R
3
una supercie compatta. Se è il grado della
mappa di Gauss G : M S
2
si ha:
_
M
K
= 4
Dim. Lintegrale di dV
S
2 su S
2
è larea di S
2
e quindi 4. Per ogni due forma
su S
2
si ha poi
_
M
G
() =
_
S
2

Proposizione 53 Sia M R
3
una supercie compatta connessa. Allora il
grado della mappa di Gauss G : M S
2
è la metà della caratteristica di
Eulero-Poincare di M
Dim. Per il lemma di Sard esiste v S
2
che sia un valore regolare per G e per
G. Consideriamo il campo T di vettori tangenti ad M ottenuto proiettando
ortogonalmente il vettore v sui vari piani tangenti di M; in altri termini T è
il gradiente della funzione x < v, x > di M in R. Gli zeri del campo T
sono i punti ove la normale ad M è v o v ossia i punti di G
1
(v) pi` u quelli
di G
1
(v). Essendo il grado ben denito, tutti e due questi insiemi di zeri,
contando +1 i massimi e i minimi e 1 i punti di sella, danno il grado di G e
tutti assieme danno la caratteristica di M.
Corollario 54 Se M è una supercie compatta in R
3
si ha:
_
M
K
= 2(M)
Connessioni
Siano una forma dierenziabile di grado p e T un campo di vettori tangenti
su una varietà X R
N
. Se p = 0, ossia se è una funzione f, sappiamo
derivarla rispetto a T: per la denizione astratta dei campi di vettori tangenti
(le derivazioni) tale derivata è il valore T(f) della derivazione sulla funzione.
Per la denizione pi` u concreta, si scelga in un punto x
0
X un cammino
dierenziabile :] a, a[ X tale che (0) = x
0
e (0) = T(x
0
); allora la
derivata rispetto a di f rispetto a T(x
0
) è il limite per h 0 dei rapporti
incrementali (f((h) f((0)))/h. Ma se p > 0, ad esempio è una 1forma,
una tale derivata non è stata denita. In modo analogo si pone la questione di
fare le derivate per campi di vettori normali o in generale nel caso di famiglie
dierenziabili di spazi vettoriali di cui ora discuteremo.
Sia X una varietà dierenziabile. Ricordiamo che una famiglia dierenziabile
di spazi vettoriali di dimensione p su X è un sottoinsieme E R
N
tale che per
ogni x
0
X esistano un suo intorno aperto U ed una applicazione dierenziabile
54
f : U matrici a N p righe ed N colonne tali che:
1. f(x) ha rango N p per ogni x U
2. E (U R
N
) = (x, v) U R
N
: f(x)[v] = 0
La restrizione ad E della proiezione naturale X R
N
X ha quindi per
bre sopra i punti x U, linsieme delle soluzioni di un sistema lineare omo-
geneo di N p equazioni linearmente indipendenti in N variabili che dipende
dierenziabilmente da x U.
Abbiamo visto che un tale E è una varietà dierenziabile; una sezione su un
aperto U X di una tale E è una applicazione s : U E tale che s(x) = x
per ogni x U. Tali sezioni possono essere sommate tra loro od anche moltipli-
cate per una funzione dierenziabile su U; il loro insieme, indicato con (U, E))
è cos` un modulo sullanello delle funzioni dierenziabli su U.
Esempi di tali famiglie sono il brato tangente ad una sottovarietà di R
N
o il
brato normale di una sottovarietà X di una varietà M R
N
. Ad esempio
se E è il brato tangente di una varietà dierenziabile X, le sue sezioni sono i
campi di vettori tangenti ad X che indichiamo con la notazione T.
Tutte le operazioni naturali di costruzione tra spazi vettoriali (quelle che sono
denibili senza utilizzare una scelta di basi (ad esempi la somma diretta, o lo
spazio degli omomorsmi lineari, o quello delle forme bilineari tra due spazi
vettoriali) possono essere introdotte tra brati vettoriali.
Importante è la nozione di isomorsmo tra brati vettoriali. Facciamo un es-
empio: la sfera S
3
ammette campi di vettori tangenti mai nulli; anzi se ne
possono trovare tre T
1
, T
2
, T
3
che siano linearmente indipendenti in ogni punto
x S
3
. Ne segue un isomorsmo tra S
3
R
3
e T(S
3
), quello che per s S
3
e
(
1
,
2
,
3
) R
3
associa
1

T
1
(s) +
2

T
2
(s) +
3

T
3
(s); se M : S
3
matrici in-
vertibili 33 è una applicazione dierenziabile, i tre campi T
i
(s) = M(s) T
i
(s)
per i = 1, 2, 3 inducono un altro isomorsmo di S
3
R
3
con T(S
3
). La situazione
è come per uno spazio vettoriale V : ssando una sua base esso si identica con
un R
p
ma nessuna di tali identicazioni è privilegiata in qualche senso rispetto
alle altre. Per brati vettoriali poi, tali identicazioni sono in genere possibili
solo localmente: ad esempio il brato tangente ad S
2
non è isomorfo (global-
mente) ad S
2
R
2
, altrimenti esisterebbero campi di vettori tangenti ad S
2
mai
nulli.
Un brato di rango p può essere visto localmente come una famiglia costante,
ossia la sua restrizione ad aperti U abbastanza piccoli è isomorfa ad U R
p
.
Fissando un tale isomorsmo (sullaperto U) le sezioni sono rappresentate come
applicazioni dierenziabili di U in R
p
e come tali possono essre dierenziate
dierenziando le singole componenti. Ma tale dierenzazione cambia cambiando
la identicazione locale con la famiglia costante, non è quindi intrinseca. Una
connessione su un brato di cui ora discuteremo è sostanzialmente la ssazione
di un modo univoco di dierenziare le sue sezioni.
Come detto sopra indicheremo con T il modulo dei campi di vettori tangenti
ad una varietà X; il modulo delle sezioni di un un brato vettoriale : E X
sarà indicato anche con A
0
(E).
Per p N indicheremo con A
p
(E) linsieme delle applicazioni : T
p
c che
siano alternanti e lineari sullanello c. Anche esse formano un modulo su c.
Una connessione su E è una applicazione : A
0
(E) A
1
(E) che soddis le
condizioni seguenti:
55
1. è Rlineare, per le strutture di spazi vettorilai reali esistenti su A
0
ed A
1
2. Per s A
0
(E) ed f c sia (f s) = df s + fs. ove il primo addendo a
destra è denito ponendo per T T: (df s)(T) = (df(T)) s.
Esempi:
1. Consideriamo il brato costante E = XR
p
sulla varietà X e per i = 1, ..., p
sia e
i
A
0
(E) la sezione avente la iesima componente 1 e tutte le altre
nulle. Allora (e
1
, ..., e
p
) costituisce una base di A
0
(E) su c; in altri termini
lapplicazione
c
p
(f
1
, ..., f
p
)
p
1
f
i
e
i
A
0
(E)
è un isomorsmo di cmoduli.
Sia : A
0
(E) A
1
(E) una connessione e per i = 1, ..., p sia
i
= e
1
. Al-
lora
p
1
f
i
e
i
=
p
1
df
i
+
p
1
f
i

i
e quindi la connessione è univocamente
determinata dai valori che essa assume sugli e
1
, ..., e
p
(che formano una base di
A
0
(E) su c). Viceversa date le
i
per i = 1, ..., p, ognuna delle quali è iden-
ticabile ad una nupla di 1forme dierenziali su X, la relazione precedente
individua una connessione. Quindi su un brato banale (ossia uno in cui tutti
gli spazi vettoriali sono identicati ad uno ssato) le connessioni corrispondono
biunivocamente alle matrici quadrate di 1forme dierenziali.
La dierenzazione ordinaria (fatta dierenziando ciascuna componente) è una
connessione e corrisponde alla matrice quadrata in cui tutti gli elementi sono la
1forma nulla.
Nota. In generale siano
1
,
2
due connessioni su un brato vettoriale E. La
dierenza H =
2

1
: A
0
(E) A
1
(E) è lineare su c; quindi per ogni
X T ed s A
0
(E) tale dierenza fornisce un H(X, s) A
0
(E) che dipende
linearmente (sullanello c) sia da X che da s, ossia è bilineare: essa è quindi
interpretabile come una applicazione lineare di T nelle applicazioni lineari di
A
0
(E) in se ossia come un elemento H A
1
(End(E)), ove End(E) è il -
brato vettoriale degli endomorsmi di E. Viceversa date una connessione
su E ed un elemento di A
1
(End(E)), lapplicazione

(s) = (s) + H(s) è una
nuova connessione su E. Possiamo esprimere questo fatto dicendo che lo spazio
delle connessioni su un brato vettoriale E è uno spazio ane sul modulo
A
1
(End(E)) delle 1forme del brato vettoriale degli endomorsmi di E. Ne
segue che dati un brato vettoriale E su una varietà dierenziabile M e una
connesione
i
per la restrizione di E ad un aperto U
i
per ogni U
i
di un rico-
primento localmente nito di M avente una partizione dellunità subordinata
(
i
)
iI
, allora la scrittura
iI

i
(x)
i
(s) se ben interpretata denisce una
connessione su E (nella somma indicata si devono considerare, per ogni x M
solo gli indici i per cui x U
i
).
2. Sia E una famiglia di sottospazi vettoriali di R
N
parametrizzati dalla varietà
X e sia una connessione sul brato banale X R
N
(determinata quindi da
una matrice N N di 1forme dierenziali su X). Ogni sezione s E è quindi
in particolare una sezione di X R
N
ed è quindi denita s A
1
(X R
N
;
questa associa ad ogni campo di vettori tangenti di X una sezione di X R
N
:
proiettando ortogonalmente questultima per ogni x X sulla bra E
x
di E
nel punto x, si ottiene un elemento di A
1
(E); ciò denisce una connessione su
E che diremo indotta dalla connessione su X R
N
. Ad esempio se X è una
56
sottovarietà di R
N
allora i suoi brati tangente e normale sono contenuti nel
brato banale X R
N
e la connessione banale su questo induce connessioni sui
brati tangente e normale che saranno dette connessioni canoniche.
3. Connessione sul duale. Sia una connessione sul brato E; ci chiediamo se
esistano connesioni
sul duale E
di E che verichino la seguente formula:

se A
0
(E
) e s A
0
(E) allora:
d < , s >=<
, s > + < , s >

ove d è la dierenzazione di funzioni e < , > è la forma bilineare ottenuta
valutando un funzionale lineare su una sezione (la dualità naturale).
In tale relazione il simbolo
compare in un solo termine: portando questo

al primo membro e tutti gli altri al secondo, si ha che i valori di esso sono
univocamente determinati dalla validità della relazione richiesta; inoltre tale
espressione può essere usata per denira una applicazione
che, come si veri-

ca con semplici calcoli formali, è una connessione. Questo è un tipico modo
di costruire connessioni su brati ottenuti con costruzioni naturali da brati
dotati di connessioni. Ad esempio sia una connessione su un brato E; esiste
allora una ed una sola connessione

sul brato End(E) degli endomorsmi di
E (se le bre di E sono spazi vettoriali isomor ad R
p
allora le bre di End(E)
sono isomorfe allo spazio delle matrici p p) che verichi la seguente formula:
se A
0
(End(E)) e s A
0
(E) allora:
((s)) = (
)(s) +((s))
Anche in questo caso lesistenza ed unicità di

si dimostra portando nel primo
membro lunico termine che contiene il simbolo di tale operatore ed al secondo
membro gli altri e vericando che il membro a destra denisce, quindi univoca-
mente, una connessione che ha la proprietà richiesta.
4. Supponiamo che sul brato vettoriale E sia ssato un prodotto scalare non de-
genere: questo può essere denito come una applicazione bilineare su c) simmet-
rica < , >: A
0
(E) A
0
(E) c tale che associando ad ogni sezione s A
0
(E)
il funzionale A
0
(E) t < s, t > c si ottenga un isomorsmo da A
0
(E) in
A
0
(E
) (in pratica signica avere per ogni bra E

x
di E una forma bilineare
simmetrica non degenere: se X è connessa la sua segnatura sarà indipendente
da x X).
Cerchiamo connessioni su E vericanti la seguente condizione: per s, t
A
0
(E) vale la formula:
d < s, t >=< s, t > + < s, t >
Questa volta non si riesce ad isolare un solo termine contenente ; e di fatto tali
connessioni (delle quali è possibile dimostrare comunque lesistenza) non sono
univocamente determinate da questa condizione. Ma si può ottenere lunicità nel
caso particolarmente importante che il brato in questione sia quello tangente,
richiedendo che valga anche unaltra formula, la quale ha senso solo nel caso del
brato tangente. Per precisare ciò useremo una notazione largamente usata: sia
una connessione su un brato vettoriale E; se s A
0
(E) allora s A
1
(E)
è un oggetto che può essere valutato su un campo di vettori T, il cui risultato
sarebbe normalmente indicato con (s)(T). Usualmente tale valore viene invece
indicato con la notazione:
T
s intendendo che sia la derivata di s rispetto alla
57
direzione T.
Sia ora < , > un prodotto scalare non degenere sul modulo dei campi di vettori
tangenti T di una varietà dierenziabile X; esso identica quindi T col proprio
duale. Cerchiamo se esistono connessioni su T per le quali valgano le formule
seguenti: nelle quali R, S sono campi di vettori tangenti:
a) Naturalità rispetto al prodotto scalare (o equivalentemente eguaglianza tra
e la sua duale):
d < R, S >=< R, S > + < R, S >
b) Una forma di associatività tra i commutatori:
R
S
S
R =
[R,S]
che equivale allavere per ogni f c:
R(S(f)) S(R(f)) = (
R
S)(f) (
S
R)(f)
Si dimostra che esiste una ed una sola connessione che abbia tali due proprietà:
la dimostrazione si fa considerando per ogni terna X, Y, Z di campi di vettori le
relazioni:
1. X < Y, Z >=<
X
Y, Z > + < Y,
X
Z >
2. Y < Z, X >=<
Y
Z, X > +....
3. Z < X, Y > +....
Sommando 1. con 2. e sottraendo 3. si ha una eguaglianza che, utilizzando
la proprietà b), può essere portata ad avere un solo termine in cui compaia il
simbolo e che può quindi essere usata per determinare come deve operare
la connessione; bisogna beninteso vericare poi che l operatore cos` denito è
eettivamente una connessione e che possiede le proprietà indicate in a) e b).
Tale connessione è detta di Levi-Civita; in tutto il calcolo che abbiamo accen-
nato, non si usa mai che il prodotto scalare è denito positivo, ma solo che è non
degenere, ossia che identica lo spazio dei campi di vettori tangenti con il suo
duale, cioè lo spazio delle 1forme dierenziali. La connessione di Levi-Civita
risulta quindi denita anche nel caso di metriche con segnatura mista.
Su un sistema di coordinate (x
1
, ..., x
n
) i campi
i
= /x
i
per i = 1, ..., n
formano una base delle derivazioni. Si ha quindi:
k
=
n
i=1
i
jk
i
ove la tabella di numeri
i
jk
è detta dei simboli di Christoel.
Cambiamenti di parametro
Siano M ed N due varietà dierenziabili e siano date una famiglia dierenziabile
di spazi vettoriali rdimensionali : E M ed una applicazione dierenziabile
: N M. Indicheremo con
(E) la famiglia dierenziabile di spazi vettoriali

su N denita associando al punto x N la bra E
(x)
di E sul punto (x).
58
Osservazione. Si ricordi che per le denizioni date E è un sottoinsieme di
un prodotto M R
N
; la denizione precedente indica quindi
(E) come un
sottoinsieme di N R
N
. Pi` u precisamente le famiglie di spazi vettoriali sono
state denite come soluzioni di sistemi lineari (a rango costante N r) i cui
coecienti dipendono dierenziabilmente da un parametro x M; allora
è ottenuto cambiando parametro tramite ossia sostituendo nei coecienti

del sistema lineare che denisce E la x con (y) per y N. Si noti che ogni
banalizzazione di E su un aperto di M (ossia laver ssato su una base
di E, ossia una rupla di sezioni linermente indipendenti in ogni punto di )
determina una banalizzazione di
(E) su
1
(E).
Una sezione di
(E) su N si identica ad una applicazione X : N E sod-

disfaciente la seguente condizione: per y N lelemento X(y) E appartiene
ad E
(y)
ossia (X(y) = (y). Ad esempio siano E il brato tangente ad M ed
N = [a, b] un intervallo, cosicche : N M è un cammino dierenziabile in
M. Allora una sezione di
(E) su [a, b] è quello che viene chiamato (qui e nella

usuale letteratura sullargomento) un campo di vettori tangenti ad M lungo il
cammino .
Sia : A
0
(E) A
1
(E) una connessione; deniamo una connessione
()
su
(E) nel modo seguente. Sia (s

1
, ..., s
r
) una base delle sezioni di E su un
aperto M (ossia una banalizzazione di E su ); allora è espresso su da
una matrice di 1forme (
ij
) per la quale per i = 1, ..., r si ha s
i
=
r
1
ij
s
j
.
Le forme (
(
ij
)) deniscono allora una connessione

per
(E) su
1
(),
quella in cui per i = 1, ..., r ponendo s
i
= s
i
si ha s
i
=
r
1
(
ij
) s
j
.
Una semplice verica formale dimostra che tale connessione non dipende dalla
particolare base (s
1
, ..., s
r
) scelta; si ottiene quindi una ben denita connessione
() per
(E) su N. Ribadiamo che questa è univocamente determinata

dalla condizione che la dierenzazione del sollevamente tramite di una sezione
s di E coincide col sollevamento della dierenzazione di s.
In particolare sia : [a, b] M un cammino dierenziabile; la connessione
() permette di dierenziare sezioni di E lungo . Ossia data una appli-

cazione dierenziabile s : [a, b] E tale che per ogni t [a, b] sia s(t) E
(t)
(equivalentemente: (s(t) = (t)), è denita un elemento
()(s) A
1
(
(E)
che essendo una 1forma a valori in E sullintervallo [[a, b] ove è ssata la coor-
dinata t si scriverà (in modo unico) come prodotto di una sezione s
di E lungo
per dt: tale s
viene detta derivata covariante di s lungo e viene indicata

con la notazione:
s
=
Ds
dt
Si ottiene cos` un operatore D/dt sullo spazio delle sezioni di E lungo il cammino
tale che se s
1
, s
2
sono due tali sezioni ed f : [a, b] R è dierenziabile si ha:
1. D(fs
1
)/dt = (df/dt)s
1
+f(Ds
1
/dt)
2. D(s
1
+s
2
)/dt = (Ds
1
/dt) + (Ds
2
/dt)
Una sezione che abbia derivata identicamente nulla viene detta parallela.
Nel caso che E sia il brato tangente ad una varietà M R
N
e che la connessione
su esso sia quella indotta dalla dierenzazione in R
N
, la derivata covariante
59
lungo un cammino è ottenuta proiettando la derivata ordinaria di tali campi
(considerati come aventi valori in R
N
) sugli spazi tangenti ad M.
Banalizazzione di una connessione lungo un cammino
Sia : E [a, b] un brato vettoriale di rango r su un intervallo compatto
della retta reale. E facile dimostrare che esso è globalmente banalizzabile, ossia
che esistono r sezioni s
1
, ..., s
r
di esso su tutto [a, b] che siano linearmente in-
dipendenti in ogni punto t [a, b] (basta dimostrare che ogni tale brato ha una
sezione mai nulla, concludendo per induzione col considerere il brato ortogo-
nale al graco di tale sezione. Che una sezioni mai nulla esiste si fà se r 2 per
connessione di R
2
0 componendo cammini dierenziabili che siano costanti
allintorno dei punti di bordo dellintervalo di denizione; per r = 1 dimostrando
che il brato è orientabile).
Fissata una tale banalizzazione, ogni altra sarà determinata univocamente da
una applicazione dierenziabile G : [a, b] O(r) ove O(r) è il gruppo delle
matrici ortogonali di ordine r. Mostreremo adesso come ssata una connessione
di E su [a, b], per ogni banalizzazione della bra di E sul punto a, ossia la
scelta di una base di E
a
, possa essere estesa in uno ed un solo modo ad una
banalizzazione di E su [a, b] per la quale la connessione diviene la dierenzazione
ordinaria, ossia per la quale la matrice di 1forme che caratterizza la connes-
sione è identicamente nulla; ciò equivale al fatto che gli elementi della base siano
campi a derivata covariante nulla, ossia paralleli.
Proposizione 55 Siano una connessione su un brato vettoriale : E M
e un cammino dierenziabile in M che va da un punto x ad un punto y.
Per ogni v E
x
esiste una ed una sola sezione s di E lungo che sia parallela
e tale che s(a) = v: lapplicazione che al vettore v E
x
associa s(b) E
y
è un
isomorsmo di spazi vettoriali
Dim. Si scelga una base (e
1
, ..., e
r
) delle sezioni di E lungo (ossia un isomor-
smo di
(E) con [a, b] R

r
) e sia (
ij
) la matrice di 1forme dierenziali che
determinano la connessione
(E). Ogni
ij
si scrive nella forma a
ij
(t) dt ove
a
ij
è una funzione dierenziabile su [a, b]. La generica sezione di E lungo si
scrive nella forma s(t) = x
1
(t)e
1
(t) +... +x
r
(t)e
r
(t) con derivata covariante:
Ds/dt = x
1
(t)e
1
(t) +... + x
r
(t)e
r
(t) +
r
ij=1
x
i
(t)a
ij
(t)e
j
(t)
Ciò mostra che il parallelismo per una sezione di E lungo equivale al fatto
che i suoi coecienti rispetto ad una base ssata siano soluzioni di un sistema
dierenziale lineare del primo ordine; lenunciato segue quindi dai risultati di
base nello studio di tali sistemi.
Lisomorsmo di E
x
in E
y
che nella proposizione precedente viene associato al
cammino è detto trasporto parallelo lungo il cammino od anche olonomia. In
generale esso non è indipendente dal cammino che collega x ad y: una misura
della curvatura della connesione su E è data proprio da tale dipendenza.
Moltiplicazione tra forme a valori in brati
Siano E, F, G tre brati vettoriali sulla varietà M e sia ssata una applicazione
60
bilineare (su c):
: A
0
(E) A
0
(F) A
0
(G)
Con formule identiche a quelle usate per dedurre dall applicazione bilineare
c c (f, g) f g c la moltiplicazione tra forme dierenziali usuali, si
introducono prodotti A
p
(E) A
q
(F) A
p+q
(G) ponendo per A
p
(E) ,
A
q
(F) e X
1
, . . . , X
p+q
T:
(X
1
, .., X
p+q
) =
S
p,q
(1)
||
(X
1
, .., X
p
) (X
p+1
, .., X
p+q
)
ove S
p,q
è linsieme delle permutazioni di 1, . . . , p + q tali che (i) < (j)
se 1 i < j p o se p + 1 i < j p + q. In particolare la somma
diretta della forme ordinarie A =
p0
A
p
è un anello graduato (anticommu-
tativo ossia con = (1)
pq
) e ogni A(E) =
p0
A
p
(E) è un Amodulo.
Esempio: sia < , >: A
0
(E) A
0
(E) c bilineare (sullanello c) (come un
prodotto scalare denito positivo sulle bre di E). Allora per A
p
(E) e
A
q
(E) il prodotto < , > è una (p +q)forma ordinaria.
Dierenzazione delle forme a valori in un brato
Sia : A
0
(E) A
1
(E) una connessione su un brato E della varietà M.
Deniamo operatori di dierenzazione : A
p
(E) A
p+1
(E) per p intero
naturale in modo formalmente identico a quello utilizzato per introdurre (in
modo intrinseco) la dierenzazione tra forme dierenziali ordinarie, ponendo
per A
p
(E) e X
0
, . . . , X
p
T :
d()(X
0
, .., X
p
) =
p
0
(1)
i
X
i
((X
0
, ..,

X
i
, .., X
p
))+
+
i<j
(1)
i+j
([X
i
, X
j
], X
0
, ..,

X
i
, ..,

X
j
, .., X
p
)
Diversamente da quanto succede per la dierenzazione di forme ordinarie, in
generale loperatore ! = : A
0
(E) A
2
(E) è in generale non nullo: esso
misura la eventuale impossibilità di banalizzare (localmente) E in modo che
la la dierenzazione divenga quella standard (ossia la possibilità di trovare
localmente una base delle sezioni fatta di sezioni parallele) ed è detto la curvatura
della connessione. Si può vericare che esso è lineare (sullanello c) e quindi che
può essere pensato come un elemento di A
2
(End(E)).
Misura degli angoli
Chiameremo angolo un elemento del gruppo S
1
= z C : [z[ = 1.
Consideriamo il rivestimento R e
i
S
1
che identica il gruppo degli
angoli con il quoziente di R per il sottogruppo 2Z: un R sarà detto misura
dellangolo e
i
; questa è determinata solo a meno di costanti additive in 2Z.
Con notazione un pò impropria, si indica con d la 1forma su S
1
ottenuta dif-
ferenziando le inverse locali della misura degli angoli; unaltra notazione (nello
stesso modo impropria) per d è dlog(z) mentre una pi` u corretta sarebbe dz/z
(che sono entrambi forme denite su C
e poi ristrette ad S
1
).
61
La forma d è chiusa (anche perche in dimensione 1 tutte le forme sono chiuse)
ma, diversamente da quanto indicherebbe la notazione, non è esatta: essa può
anche essere denita come la forma di volume su S
1
considerata come varietà
riemanniana orientata e comunque si ha
_
S
1
d = 2.
Per ogni applicazione dierenziabile f : P S
1
ove P è una varietà, consi-
dereremo su P la 1forma chiusa f
(d); pensando f come applicazione a valori

complessi, tale forma può anche essere indicata con df/f.
Proposizione 56 Siano f : P S
1
dierenziabile e : S
1
P un cammino
chiuso. Allora
_
df/f = 2 d ove d Z è il grado della applicazione f

Dim. Integrare df/f su signica integrare su S
1
la forma
(df/f) e siccome
df/f = f
(d), signica integrare su S

1
la forma
(f
(d)) = (f )
(d).
Quindi lenunciato è essenzialmente la denizione che abbiamo dato del grado.
Sia ora M una supercie riemanniana orientata; quindi per ogni x M sullo
spazio tangente T
x
(M) è denita una struttura di spazio vettoriale complesso
(di dimensione 1) ottenuta denendo la moltiplicazione per i =
1 dei vettori
in T
x
(M) come la rotazione di angolo /2. Sia P la parte di T(M) costituita
dai vettori aventi modulo 1: essa è una varietà di dimensione 3 sulla quale la
restrizione della proiezione : T(M) M è una applicazione dierenziabile
: P M le cui bre hanno una identicazione con S
1
determinata a meno
di rotazioni. Sia ora T un campo di vettori unitario su M; per ogni (x, v) P
esiste un unico w S
1
tale che v = w T(x): si ha cos` una applicazione dieren-
ziabile w : P S
1
cui è associata come descritto avanti una 1forma chiusa
che indicheremo con
T
. Ad ogni cammino dierenziabile : [a, b] M che
sia regolare (ossia mai nullo) associamo il cammino : [a, b] P ottenuto
sollevando col normalizzato n(t) di (t): ossia (t) = ((t), n(t)). Lintegrale
di
T
sulla curva sarà detto variazione dellangolo tra ed il campo T.
Siccome
T
è chiusa, tale integrale dipende solo dalla classe di omotopia (a
estremi ssi) di : [a, b] P e quindi solo dalla classe di omotopia dieren-
ziabile di in quanto curva regolare a estremi ssi per lei e le sue derivate
prime: ossia per deformazioni (
s
) del cammino per cui in ogni
s
la derivata
rimane sempre non nulla e rimangono ssi i valori e le derivate prime in a e in
b. Consideriamo adesso un cammino chiuso : S
1
M (se si preferisce una
: R M che sia Lperiodica per un L R
+
); allora
_

T
è un multiplo
intero di 2: precisamente vale 2 d ove d è il grado della composizione di
con la funzione angolo da P ad S
1
; tale d verrà detto grdo di rispetto al
campo T. Deformando T, tale integrale (o se si preferisce il grado che calcola)
varia con continuità e dovendo essere un intero è costante. Stessa conclusione
se deformiamo la metrica riemanniana con continuità (normalizzando via via il
campo T dividendolo per la norma che assume).
Nota. Dora in poi se T è un campo di vettori non nulli su M (non necessaria-
mente unitario) parleremo di variazioni di angolo con esso intendendo quelle
relative al suo normalizzato

T = T/[[T[[.
Il grado di una curva chiusa regolare rispetto ad un campo non nullo T
non dipende dalla particolare metrica riemanniana utilizzata e quindi deve es-
sere denibile topologicamente; ed infatti esso può essere denito parlando di
62
molteplicità di intersezione su M tra e la sua deformata di poco nella direzione
del campo T.
Dalla dicussione fatta deduciamo il seguente:
Corollario 57 Siano M una supercie orientata dieomorfa ad un disco aperto
e una sua sottovarietà dieomorfa ad S
1
. Qualunque metrica riemanniana
e qualunque campo di vettori tangenti unitario T si considerino su M, la vari-
azione di angolo tra e T sarà 2. Precisamente sarà +2 se è orientata
come bordo della componente relativamente compatta del suo complementare
Dim. Essendo M dieomorfa ad un disco aperto è anche dieomorfa ad R
2
;
sappiamo quindi che il suo complementare ha due componenti connesse, una
delle quali compatta. Orientando come il bordo della componente compatta
e scegliendo su R
2
la metrica euclidea e come campo T uno costante, sappiamo
che ha grado 1. Ogni altra metrica riemanniana m è deformabile in quella
euclidea e con m+(1)e, quindi la variazione di angolo tra e T non dipende
dalla metrica. Non dipende neppure da T perche essendo R
2
contrattile, tutti i
campi di vettori tangenti sono deformabili luno nellaltro.
Vediamo ora una generalizzazione del precedente corollario. Siano M una su-
percie riemanniana orientata e M un compatto a frontiera =
dierenziabile. Sia anche T un campo di vettori tangenti su M che non abbia
zeri su ed i cui zeri allinterno di siano tutti semplici.
Proposizione 58 La caratteristica di Eulero-Poincare di è data è data dalla
somma algebrica degli zeri di T sommata al grado di rispetto a T
La dimostrazione utilizza lesistenza di superci con campi di vettori tangenti
che servono a modicare il campo di vettori tangenti T con uno rispetto al
quale le componenti del bordo di M hanno grado nullo, ciò al costo di cambiare
il numero degli zeri di T.
Sia C la supercie compatta a bordo S
1
[0, 1] orientata col prodotto delle
orientazioni canoniche sui fattori e siano
0
= S
1
0 e
1
= S
1
1 orientate
in quanto bordi di C.
Lemma 59 Per d Z esiste un campo di vettori tangenti T
d
su C vericante
le seguenti proprietà:
1. T
d
ha esattamente [d[ zeri, tutti semplici, interni a C e tutti dello stesso
segno di d
2. i gradi di
0
e
1
rispetto a T
d
sono rispettivamente 0 e d
Dim. Per d = 0 si può prendere per T
0
un campo unitario parallelo alle bre
s [0, 1] di C. Costruiremo ora dei modelli per d = 1 e per d = 1: per
[d[ > 1 basterà poi passare ai rivestimenti di grado [d[ di essi.
Consideriamo su D = z C : [z[ 1 i campi V
1
(z) = (z 1/2)(z + 1/2) e
V
1
(z) = (z 1/2)( z +1/2). Essi hanno ciascuno due soli zeri, questi sono sem-
plici ed interni a D e sono entrambi positivi per V
1
e uno positivo e laltro nega-
tivo per V
1
. Togliendo a D linterno di un piccolo disco contenuto allinterno di
D, avente centro in uno zero positivo ed avendo laltro zero allesterno, si ottiene
una supercie dieomorfa a C sulla quale i campi V
1
e V
1
si leggono come due
63
campi T
1
e T
1
con le proprietà richieste. Infatti la proprietà 1. è vericata per
costruzione. Per la 2. che il grado su
0
sia nullo deriva dal fatto che il piccolo
disco tolto è uno zero semplice positivo per entrambi i campi considerati su D;
per il grado di
1
basta osservare che i due campi V
1
e V
1
sono omotopi (in un
intorno di D)) rispettivamente ai campi z z
2
e z 1 per i quali il calcolo
diretto è facile.
Dimostrazione della proposizione precedente
Sia una componente connessa del bordo di M e sia d il suo grado rispetto al
campo T. Utilizzando un dieomorsmo tra S
1
[0, 1] ed un intorno U chiuso
di in M (tale U essendo un intorno tubolare detto anche collare per ) si
può incollare ad M un S
1
[0, 1] ottenendo unaltra supercie

M che rimane
dieomorfa ad M. Modicando eventualmente con continuità il campo T in
un intorno di , si può fare in modo che T possa essere esteso a

M mettendo
sulla nuova porzione di supercie il campo T
d
del precedente lemma, in modo
che sulla nuova componente di bordo il grado sia nullo ed il numero (algebrico)
totale degli zeri di

T su

M si quello di T pi` u d. Facendo questa operazione
su tutte le componenti connesse del bordo di M si ottiene inne una supercie
dieomorfa ad M sulla quale esiste un campo di vettori tangenti trasversale al
bordo e che ha un numero algebrico di zeri eguale alla somma tra quello che
aveva T su M sommato al grado totale del bordo di M rispetto al campo T;
questo numero è (per denizione) la caratteristica di Eulero-Poincarè di

M che
è la stessa di quella di M che le è dieomorfa.
Gauss-Bonnet per superci non immerse
Siano M una supercie riemanniana orientata e T un campo di vettori aventi
norma 1 denito su un aperto M. Sia : [a, b] un cammino unitario
ossia tale che

abbia modulo costante 1. Per ogni t [a, b] esiste quindi un
numero complesso w(t) avente modulo 1 tale che

(t) = w(t) T((t)). Siccome
[a, b] è semplicemente connesso, esiste : [a, b] R dierenziabile e tale che
(t) = e
i(t)
T((t)). La derivata covariante di tale relazione dà:
D

(t)
dt
=

ie
i(t)
T((t)) +e
i(t)
DT((t))
dt
ove il membro a sinistra è il vettore di curvatura geodetica; esso concide col
prodotto k
g
i

(t) essendo k
g
la curvatura geodetica scalare di in t; in partico-
lare lo scalare k
g
è dato dal prodotto scalare tra il vettore di curvatura geodetica
e il vettore normale i

(t) al cammino e quindi dalla relazione precedente si
ottiene:
k
g
=<

(t) ie
i(t)
T((t)), ie
i(t)
T((t) > +
+ < e
i(t)
DT((t)
dt
, ie
i(t)
T((t) =

+ <
DT
dt
, iT >
Integrando tra a e b si ottiene:
_
b
a
k
g
dt = (b) (a) +
_
b
a
< T, iT >
64
Osserviamo che lintegrando nel membro a sinistra è denito solo lungo il cam-
mino ; nel membro a destra vi è la somma tra la variazione di angolo tra il
cammino (o meglio la sua tangente) ed il campo T (anche questo denito solo
lungo il cammino ) e lintegrale di < T, iT > che è una 1forma ordinaria
su tutto (ricordiamo che il prodotto < , >: A
0
(T)
2
c si estende a prodotti
A
p
(T) A
q
(T) A
p+q
(c) = (p +q) forme ordinarie).
Supponiamo ora che sia un dominio compatto a frontiera dierenziabile.
Si ha allora:
_
< T, iT >=
_
d < T, iT >
e quindi, parametrizzando per lunghezza darco si ottiene:
_
k
g
dt =
_
d +
_
d < T, iT >
Il membro a sinistra è la curvatura totale geodetica di e non dipende dalla
scelta del campo T. Nel membro a destra, il primo addendo è la variazione di
angolo di rispetto al campo T: abbiamo visto in precedenza che esso è 2
volte la caratteristica () di Eulero-Poincare di (perche non vi sono zeri
del campo T). Quindi anche il secondo addendo
_
d < T, iT > non deve

dipendere da T; infatti vedremo tra poco che il suo integrando non dipende da
T ed è quindi una quantità intrinseca della supercie riemanniana.
Intanto possiamo dedurre il seguente importante teorema di Gauss.
Diremo poligono geodetico in M una curva chiusa semplice (di Jordan, ossia
omeomorfa ad S
1
) i cui lati siano geodetiche; ossia supponiamo dati cammini
dierenziabili (
i
: [0, 1] M ordinati ciclicamente ognuno dei quali sia una
geodetica iniettiva che parte ove arriva la precedente e che per il resto siano
disgiunti. Nel punto di arrivo di ognuno di tali cammini, diremo angolo esterno
quello di cui deve essere ruotata la sua derivata per ottenere quella con cui parte
il successivo mentre il complemento di questo a sarà detto angolo interno.
Teorema 60 (Gauss) Sia un poligono geodetico contenuto in un aperto di
M che sia dieomorfo ad un disco. Orientiamo come bordo della componente
relativamente compatta del suo complementare in e sia T un campo di
vettori tangenti unitari su . Allora la somma degli angoli esterni di è data
da 2
_
d < T, iT >
Dim. Si modichi il poligono in una curva dierenziabile spianando gli angoli
nei punti in cui una geodetica termina ed inizia la successiva: ciò può essere fatto
modicando ogni
i
solo su [0, ] e 1, 1]. La curva ottenuta avrà una variazione
di angolo con T di 2 perche coincide con quella ottenuta considerando la curva
in R
2
con la metrica euclidea. Dal calcolo fatto sopra sappiamo che su ogni tale
piccolo arco modicato lintegrale di d dà la dierenza tra angolo che
i
(1 )
forma con T(
i
(1 ) e lanalogo formato da
i+1
() con T(
i+1
(); per che
tende a zero, tale dierenza tende allangolo esterno. Siccome per che tende
a zero, linterno della curva modicata tende allinterno di , lenunciato segue
dalla formula scritta avanti.
Nota. Nel caso che M sia il piano euclideo, la somma degli angoli esterni di
un poligono vale esattamente 2; questo fatto è elementarmente equivalente al
65
fatto che in un triangolo, la somma degli angoli interni è . Gauss osservò che
sulla sfera la somma degli angoli interni di un triangolo geodetico è maggiore di
mentre su una supercie del tipo z = xy, viene minore: dimostrò anzi che su
superci in R
3
, la dierenza tra tale somma e è data dallintegrale sullinterno
del triangolo di quella che noi oggi chiamiamo curvatura gaussiana. Mostreremo
adesso che per superci in R
3
la curvatura gaussiana, denita tramite la seconda
forma fondamentale o come determinante della mappa di Gauss, coincide con
d < T, iT >, il che completerà il risultato come Gauss laveva dato. Per
superci non immerse la curvatura gaussiana sarà denita tramite la formula
che la dà nel caso sia contenuta in R
3
(o se si preferisce, come quella che rende
vero il teorema di Gauss).
Sia M una supercie riemanniana orientata e siano dati su un aperto M due
campi di vettori unitari S e T; se è semplicemente connesso (o sucientemente
piccolo), esiste una funzione : R tale che S(x) = e
i(x)
T(x).
Dierenziando (con la connessione di Levi-Civita) si ottiene:
S = ie
i
Td +e
i
T
Ricordando che il prodotto scalare è invariante per rotazioni (ossia moltipli-
cazioni per numeri complessi unitari) si ottiene che:
< S, iS >= d+ < T, iT >
in particolare le due 1forme dieriscono per il dierenziale di una funzione e
quindi la 2forma d < T, iT > non dipende dal particolare campo unitario
scelto: tale 2forma è intrinsecamente denita su tutta M : essa, cambiata di
segno, verrà indicata con
K
e detta forma di curvatura gaussiana.
Proposizione 61 Sia T un campo di vettori tangenti unitari su un aperto
di una supercie orientata M R
3
. Allora d < T, (iT) > coincide sullaperto
con la curvatura gaussiana di M
Dim. Siano T
1
= T , T
2
= iT e T
3
= T
1
T
2
; abbiamo che T
1
e T
2
sono in ogni
punto x una base ortonormale di T
x
(M) mentre T
3
è la mappa di Gauss.
Dierenziando (dierenzazione ordinaria) le relazioni < T
i
, T
j
>=cost si hanno
le seguenti formule:
dT
1
=
3
T
2
2
T
3
dT
2
=
3
T
1
+
1
T
3
dT
3
=
2
T
1
1
T
2
Da cui, annullando le componenti ortogonali:
T
1
=
3
T
2
T
2
=
3
T
1
e dierenziando nuovamente, siccome d d = 0 si ha:
1

2
= d
3

3

1
= d
2

2

3
= d
1
Si ha quindi < T
1
, T
2
>=< T
1
,
3
T
1
>=
3
da cui
d < T
1
, T
2
>= d
3
=
1

2
66
che calcolata su vettori u, v T
x
(M) per x da:
()
1

2
[u, v] =
1
[u]
2
[v] +
1
[v]
2
[u]
Dobbiamo vericare che questa coincide con il sollevamento della forma di vol-
ume di S
2
tramite la mappa di Gauss: si deve fare attenzione che la sfera S
2
è orientata scegliendo la normale interna; ciò comporta che anche se lo spazio
tangente in un punto x M coincide con lo spazio tangente in T
3
(x) (la sua
immagine per la mappa di Gauss), lorientazione è quella opposta; quindi una
base positiva per lo spazio tangente di S
2
è (T
2
, T
1
).
Calcolando ancora sui vettori u, v T
x
(M) si ha:
< dT
3
[u], T
2
>< dT
3
[v], T
1
> < dT
3
[u], T
1
>< dT
3
[v], T
2
> =
= <
2
[u]T
1
1
[u]T
2
, T
2
><
2
[v]T
1
1
[v], T
1
>
<
2
[u]T
1
1
[u]T
2
, T
1
><
2
[v]T
1
1
[v]T
2
, T
2
> =
=
1
[u]
2
[v] +
2
[u]
1
[v]
che coincide con quanto dato in ().
Proposizione 62 (teorema di Gauss-Bonnett prima formulazione)
Sia un dominio compatto a frontiera dierenziabile in una supercie rieman-
niana orientata M. Allora:
_
k
g
dt +
_
K
= 2(D)
Dim. Se su esiste un campo di vettori privo di zeri, ne esiste anche uno uni-
tario (il suo normalizzato) ed allora questo risultato è già stato ottenuto allinizio
di questo paragrafo, mancando solo linterpretazione data ora della curvatura
gaussiana. Si può dimostrare in modo abbastanza facile (utilizzando collari al
bordo ed il fatto che varietà connesse sono omogenee per dieomorsmi) che se
è connessa ed ha bordo non vuoto, allora esistono campi di vettori tangenti
privi di zeri. Ciò lascia quindi da dimostrare la proposizione solo per una su-
percie compatta senza bordo (e che non sia dieomorfa ad un toro).
Possiamo comunque dimostrare direttamente il teorema per ogni supercie con
o senza bordo senza utilizzare la sua omogeneità per dieomorsmi ragionando
nel modo seguente.
Sia M una supercie riemanniana compatta orientata (con o senza bordo) e sia
M un compatto a frontiera dierenziable contenuto nella parte interna di
M. Allora e la chiusura
del suo complementare in M sono due superci

compatte sulle quali M induce strutture riemanniane orientate e
è una
varietà di dimensione 1 sulla quale le orientazioni indotte da e da
(come
parte del loro bordo) sono tra loro opposte. Si ha:
Lemma 63 Se il teorema di Gauss-Bonnet vale per e per
allora vale
anche per M
67
Dim. E suciente utilizzare le tre seguenti eguaglianze:
1. (M) = () +(
) 2.
_
M
K
=
_
K
+
_
K
3.
_
M
k
g
dt =
_
k
g
+
_
k
g
La 1. segue dallesistenza di un campo di vettori tangenti ad M avente solo zeri
semplici di cui nessuno su . La 2. è semplicemente ladditività delintegrale.
La 3. segue dal fatto che gli integrali che compaiono a destra ma non a sinistra
sono fatti due volte lungo con orientazioni opposte e quindi si cancellano.
Per dimostrare il teorema di Gauss-Bonnet basta quindi scegliere un campo
di vettori tangenti T su M che abbia solo zeri semplici ed applicare il lemma
precedente prendendo per lunione di dischi coordinati interni ad M e disgiunti
tra loro aventi centri negli zeri di T. Per la supercie
vale il teorema di
Gauss-Bonnet perche possiede un campo di vettori tangenti privo di zeri e vale
ovviamente anche per che è unione disgiunta di dischi.
In una supercie riemanniana orientata M sia un dominio compatto a fron-
tiera dierenziabile a tratti (denizione analoga a quella dei poligoni geodetici,
eliminando lipotesi che le curve che compongono il bordo siano delle geodetiche)
e siano
1
, ...,
r
gli angoli esterni.
Teorema 64 (teorema di Gauss-Bonnet seconda formulazione)
_
k
g
dt +
r
i
+
_
K
= 2()
Metodi combinatori
Descriviamo ora un esempio di linguaggio di tipo combinatorio, che può es-
sere usato per descrivere oggetti geometrici in alternativa e talvolta in aiuto a
quello topologico-dierenziale sinora usato; esempi di questo in dimensione 1
(sicuramente conosciuti) sono formalizzati sotto lappellativo di gra.
Schemi simpliciali
Sia I un insieme. Diremo simplesso di dimensione p in I ogni suo sottoinsieme
di cardinalità p + 1; in particolare il sottoinsieme vuoto è lunico simplesso di
dimensione 1. I sottoinsiemi di un simplesso sono detti le sue facce ; due
simplessi sono incidenti se uno è faccia dellaltro.
Uno schema simpliciale su I è una famiglia K di simplessi di I vericante le
condizioni seguenti:
- ogni 0simplesso di I appartiene a K
- ogni faccia di un simplesso di K appartiene a K
Esso sarà indicato con (I, K) o semplicemente K quando è chiaro chi sia I. I
suoi simplessi di dimensione 0 , 1 , 2 , 3... saranno detti vertici, spigoli, triangoli
(o facce), tetraedri ....
Ad esempio sia I = Z/nZ e consideriamo lo schema che ha gli elementi di I
come insieme dei vertici e gli insiemi i, i +1 per i I come spigoli: esso sarà
indicato come il poligono chiuso (standard) di n lati; se si aggiungono ad esso
68
come faccie i simplessi 0, i, i + 1 per i = 1, ..., n 2, si ha uno schema che
chiameremo disco poligonale chiuso (standard) di n lati.
La dimensione di uno schema è lestremo superiore delle dimensioni dei suoi sim-
plessi. Un morsmo tra schemi (I, K) e (I
, K
) è una applicazione : I I
tale che (s) K
se s K. Se è una inclusione, diremo che (I, K) è un

sottoschema di (I
, K
). Ad esempio sia K uno schema simpliciale; linsieme

K
n
dei suoi simplessi di dimensione al pi` u n è un sottoschema che viene detto il
suo nscheletro. Fissato un simplesso t, linsieme S(t) costituito dai simplessi
s tali che s t è ancora un simplesso di K è un sottoschema detto lo star di t in
K; i simplessi di S(t) che non intersecano t costituiscono pure un sottoschema
L(t) che viene detto il link di t in K. Lesterno di t in K è il sottoschema E(t)
formato dai simplessi che non hanno vertici comuni con t. Inne linsieme U(t)
dei simplessi che hanno qualche vertice in comune con t è detto lintorno aperto
di t in K; si noti che questo non è pi` u, in generale un sottoschema di K ma solo
un insieme di simplessi. Se s K è un simplesso, esso verrà spesso identicato
al sottoschema di K formato da tutte le sue facce; il sottoschema s formato
dalle sue facce proprie verrà detto il suo bordo.
Uno schema sarà detto sconnesso se è possibile ripartire i suoi vertici in due sot-
toinsiemi non vuoti di modo che ogni simplesso dello schema sia sottoinsieme di
uno solo di essi; altrimenti diremo che è connesso. Evidentemente ogni schema
simpliciale è decomponibile in un solo modo nellunione disgiunta di sottoschemi
connessi; essi verranno detti le componenti connesse dello schema dato.
Uno schema simpliciale K è nito se lo è in quanto insieme; in tal caso è
possibile introdurre la sua caratteristica di Eulero-Poincare come la somma
(K) = 1 + (v1 +v
0
v
1
+v
2
+...) = 1 +
pZ
(1)
p
v
p
ove v
i
indica la car-
dinalità dellinsieme dei suoi simplessi di dimensione i; in particolare () = 0.
Uno schema K è localmente nito se S(s) è nito per ogni suo simplesso s;
equivalentemente se il link di ogni suo vertice è nito.
Spazio topologico associato ad uno schema localmente nito
Dato un insieme I considereremo sullo spazio vettoriale R
(I)
delle applicazioni
x : I R aventi supporto nito, la norma [[x[[ = (
iI
x(i)
2
)
1/2
. Per i I sia
e
i
: I R lapplicazione denita da e
i
(j) =
ij
(ossia 0 se i ,= j e 1 se i = j).
Gli (e
i
)
iI
costituiscono una base di R
(I)
e verranno identicati agli elementi
di I. Se K è uno schema simpliciale localmente nito su I, il suo supporto ge-
ometrico o poliedro (simpliciale) associato è il sottoinsieme [K[ di R
(I)
unione
di tutti gli inviluppi convessi di elementi di K. Si verica facilmente che [K[
è linsieme delle x : I R che non sono negative,
iI
x(i) = 1 e tali che
i I : x(i) ,= 0 è un simplesso di K. Doteremo [K[ della topologia indotta
dalla norma denita sopra su R
(I)
. Questa costruzione permette di collegare
considerazioni di carattere puramente combinatorio, ossia ottenute in soli ter-
mini di schemi simpliciali, con altre di carattere topologico.
Infatti non solo ad ogni schema K si può associare lo spazio topologico [K[ ma
anche ad ogni morsmo di schemi simpliciali : (I, K) (I
, K
) si può as-
sociare una applicazione continua [[ : [K[ [K
[ prolungando in modo ane

su ogni simplesso di K lapplicazione denita inizialmente sui vertici e otte-
nendo cos` un funtore dalla categoria degli schemi simpliciali in quella degli spazi
topologici. In questo modo si può tentare di studiare uno spazio topologico X
sul quale sia dato un omeomorsmo con un poliedro [K[ (si parlerà di triango-
69
lazione di X) mediante considerazioni combinatorie sullo schema K. Quasi tutti
gli spazi decenti di dimensione nita ammettono una triangolazione (nita se
compatti altrimenti si devono usare schemi localmente niti..); ad esempio
ogni luogo di zeri di funzioni analitiche è rappresentabile in tal modo.
Schema associato ad un ricoprimento
Sia X un insieme ed | = (U
i
)i I un suo ricoprimento costituito da sottoinsiemi
non vuoti (saremo interessati al caso in cui X è uno spazio topologico ed | un suo
ricoprimento aperto). Si costruisce uno schema simpliciale N(|) su I scegliendo
i
0
, ..., i
p
come vertici di un simplesso se e solo se U
i
0
... U
i
p
,= ; questo è
detto il nerbo di | ed è utile in molte situazioni. Esso è nito se e solo se anche
| lo è. Se poi | è un ricoprimento localmente nito di uno spazio topologico X
costituito da aperti relativamente compatti, allora il suo nerbo sarà localmente
nito. In questo caso, un collegamento tra X ed il suo nerbo si trova cos` : sia
(
i
)
iI
una partizione dellunità subordinata ad | ossia una famiglia di funzioni
continue
i
: X R , tali che per ogni i I,
i
sia non negativa con supporto
contenuto in U
i
e si abbia inoltre che per ogni x X la somma dei
i
(x) (tutti
nulli salvo un numero nito) faccia 1. Allora per ogni x X la succesione
(
i
(x))
iI
è un elemento di N(|); si ha quindi una applicazione : X N(|)
ed è facile vericare che essa è continua. Se
0
,
1
sono due tali applicazioni,
ottenute a partire da due diverse partizioni dellunità, entrambi però subordinate
al ricoprimento |, esse saranno distinte ma sono omotope tra loro: esiste cioè
una applicazione continua : X[0, 1] N(|) tale che per x X ed i 0, 1
si abbia (x, i) =
i
(x). Sono cioè deformabili con continuità luna nellaltra.
Basta infatti denire (x, ) = (1 )
0
(x) +
1
(x).
Gra e superci
Chiamiamo grafo uno schema simpliciale ogni cui componente connessa abbia
dimensione uno. Un albero è un grafo connesso che non possiede sottoschemi
del tipo poligono chiuso.
Lemma 65 Un grafo connesso nito è un albero se e solo se () = 1
Dim. Si parta da uno spigolo, aggiungendo successivamente spigoli che hanno
un solo vertice nel sottoschema precedentemente costruito; ognuno di questi è un
albero ed ha caratteristica 1. Essendo il grafo connesso, tutti i vertici dovranno
essere inclusi nellultimo schema ottenuto. Quindi la caratteristica del grafo vale
1 meno il numero di spigoli lasciati fuori.
Chiamiamo supercie (poliedrale) ogni schema simpliciale di dimensione due
vericante le seguenti condizioni:
1. ogni spigolo appartiene esattamente a due facce
2. il link di ogni vertice è connesso e non vuoto
E facile dimostrare che in tal caso il link di ogni vertice è un poligono chiuso.
Se invece della 1. supponiamo:
1. ogni spigolo appartiene ad una o due facce
lo schema sarà chiamato supercie a bordo. In tal caso linsieme degli spigoli
70
che appartengono ad una sola faccia, assieme ai loro vertici, costituiscono un
sottoschema che è un grafo; esso viene detto bordo della supercie ed è facile
dimostrare che ogni sua componente connessa è del tipo poligono chiuso.
Orientazioni
Diremo che un simplesso è orientato se è ssata una classe di parità (i cui
elementi saranno detti positivi ) per gli ordinamenti dellinsieme dei suoi vertici.
Se (i
0
, ..., i
n
) è un ordinamento positivo per i vertici di un nsimplesso orientato,
allora la faccia ottenuta eliminando i
h
sarà orientata dallordinamento indotto
se h è pari altrimenti in modo opposto. Due nsimplessi distinti sono contigui
se hanno una faccia di dimensione n-1 in comune; in tal caso orientazioni di
essi saranno dette concordi se inducono orientazioni opposte su tale faccia. Una
supercie è orientabile se è possibile orientare i suoi simplessi di dimensione 2 (le
sue facce) in modo che quelli contigui siano concordi. Nel seguito, supporremo,
salvo mensione esplicita, che ogni supercie sia connessa.
Classicazione delle superci poliedrali
Sia X una supercie poliedrale orientata. Data una curva poligonale semplice
C di n lati in X (brevemente: C un npoligono in X) si costruisce un nuovo
schema simpliciale chiamato X tagliata lungo C : si raddoppiano tutti i simp-
lessi di C e si rideniscono in modo ovvio le relazioni di appartenenza. Si hanno
due possibilità: lo schema ottenuto è connesso ed è una supercie a bordo col
bordo fatto di due componenti connesse; oppure è sconnessa ed allora ogni com-
ponente connessa è una supercie a bordo con bordo connesso. Nel primo caso
diremo che C non divide X. Se ciò accade, si può costruire una nuova super-
cie

X senza bordo attaccando alla supercie tagliata due dischi poligonali di n
lati con una triangolazione standard od altra che si voglia usare. In ogni caso
la caratteristica di Eulero-Poincare aumenta di due ossia (

X) = (X) + 2.
Questa è detta ottenuta da X per chirurgia lungo la poligonale C.
Costruzione di una caverna massimale. Data una supercie X si scelga una
faccia F
1
di partenza; la seconda faccia che scegliamo è una qualsiasi faccia F
2
adiacente ad F
1
. In generale la faccia scelta sarà una non ancora selezionata
e nella quale si possa entrare passando da uno spigolo non ancora attraver-
sato. Incollando tra loro successivamente le facce selezionate si ottiene alla ne
uno schema D isomorfo ad una triangolazione (in generale non standard) del
poligono regolare ed una applicazione : D X surgettiva col bordo di D che
si applica due volte su un grafo in X detto grafo residuo della caverna. Tale
grafo è necessariamente connesso e quindi ha caratteristica al pi` u 1; ne segue
che X ha caratteristica al pi` u 2. Per quanto visto sopra quindi, dopo un numero
nito di tagli si avrà una supercie priva di curve che non la dividono. Ripe-
tendo la costruzione precedente per una tale supercie, siccome il grafo residuo
non sconnette X, esso non può contenere poligoni chiusi ed è quindi un albero.
Ne segue che una tale supercie ha precisamente caratteristica 2.
si è quindi dimostrata la seguente:
Proposizione 66 Ogni supercie nita orientabile dopo un numero nito di
chirurgie lungo curve poligonali che non la sconnettono, diviene una supercie
di caratteristica 2 che viene sconnessa da ogni sua poligonale chiusa.
In particolare la caratteristica della supercie data è pari e non superiore a 2
Corollario 67 Ogni supercie con bordo non vuoto che sia nita orientabile,
71
ha caratteristica non superiore ad 1. Se ha caratteristica 1, viene sconnessa da
ogni poligonale aperta che congiunga due suoi punti del bordo.
Dim. Aggiungendo dischi poligonali lungo le componenti del bordo, la caratteri-
stica aumenta esattamente del numero di queste. Per la proposizione precedente
la supercie ottenuta ha caratteristica non superiore a 2 e questo dimostra
la prima parte dellenunciato. Per la seconda parte si ragiona come per la
proposizione precedente: data una poligonale che unisce due punti del bordo,
si tagli lungo essa; la supercie ottenuta ha caratteristica 2 e quindi, avendo
bordo non vuoto, deve essere sconnessa.
A questo punto si può già capire che una tale supercie è topologicamente S
2
;
ad esempio perche è unione di un intorno dellalbero residuo (che è un disco)
e di una piccola contrazione della caverna costruita (anchessa un disco).
Ma è pi` u preciso ed anche interessante ottenere tale risultato attraverso il
seguente tipo di argomentazioni. Sia Y una supercie a bordo; un vertice del
bordo è detto collassabile se appartiene ad una unica faccia di Y . Uno spigolo
del bordo è detto collassabile se laltro vertice della faccia cui appartiene non
stà sul bordo di Y . Due simplessi di uno schema sono detti incidenti se uno di
essi è faccia dellaltro.
Proposizione 68 Ogni supercie a bordo non vuoto avente caratteristica 1
possiede almeno due elementi collassabili e non incidenti
Dim. Fissiamo uno spigolo di bordo. Se esso è collassabile, eliminandolo assieme
alla faccia che lo contiene si ha una supercie a bordo ancora di caratteristica
1 e con meno simplessi; per ipotesi di induzione questa ha almeno un elemento
collassabile non incidente col vertice opposto allo spigolo di partenza; esso sarà
allora anche collassabile nella supercie originaria. Se invece tale spigolo non
è collassabile ma è collassabile uno dei suoi estremi, eliminiamolo assieme alla
faccia ed a i due spigoli cui appartiene; lo schema che ne risulta è una super-
cie a bordo (a meno che la supercie originaria non fosse un triangolo, ma
allora lenunciato è banale); ragionando come sopra su essa si dimostra nuova-
mente lesistenza di un altro elemento collassabile della supercie di partenza.
Esaminiamo inne il caso che ne lui ne i suoi estremi siano collassabili. Si elimini
esso con la faccia cui appartiene e si raddoppi il vertice opposto, costruendo una
nuova supercie analogamente a quanto fatto con le chirurgie; per il precedente
corollario questa è sconnessa ed il solito tipo di calcolo per le caratteristiche
dice che è costituita da due componenti connesse ognuna di caratteristica 1.
Per ipotesi di induzione ognuna di esse verica lenunciato e fornisce quindi al-
meno un elemento collassabile non incidente con quello di taglio che è quindi
anche collassabile per la supercie di origine.
Chiamiamo espansione di tipo 0 per una supercie a bordo, laggiunzione di
una 2faccia con base uno spigolo del bordo ed un nuovo vertice; si ha cos`
una nuova supercie a bordo con un vertice una faccia e due spigoli in pi` u.
Chiameremo espansione di tipo 1 laggiunta di una faccia con due lati sul bordo
ed un nuovo lato: la supercie ottenuta avrà gli stessi vertici mentre facce e
spigoli saranno uno di pi` u.
Corollario 69 Ogni supercie a bordo non vuoto di caratteristica 1 è ottenibile
da un triangolo per successive operazioni di espansione di tipo 0 ed 1
72
Siano X una supercie poliedrale e T = a, b, c , S = b, c, d due suoi
simplessi distinti di dimensione due tali che a, d non sia un simplesso di X.
Eliminando da X i simplessi T , S ed il loro lato comune b, c ed introducendo
i simplessi a, b, d , a, c, d e a, d si ottiene una supercie

X che sarà detta
ottenuta per commutazione elementare da X. Diremo quasi-isomorfe due super-
cie ottenibili luna dallaltra con una successione di commutazioni elementari.
Una supercie ottenuta dal triangolo con un numero nito di espanzioni di tipo
0 sarà chiamata disco elementare. Ad esempio il disco poligonale standard è
elementare.
Lemma 70 Ogni n-disco elementare è quasi-isomorfo all n-disco standard
Dim. Per induzione: ogni espansione di tipo 0 dell n-disco standard o è già
l (n+1)-disco standard o lo diviene dopo una commutazione.
Supponiamo ora che una supercie a bordo Y sia ottenibile da una X con una
espansione di tipo 1 seguita da una di tipo 0. Se la seconda espansione non
ha per base lo spigolo introdotto dalla prima, lordine in cui sono eseguite le
espansioni può essere invertito. Altrimenti, con una commutazione elementare
su Y si ha una

Y ottenibile con una espansione di tipo 0 seguita da un altra di
tipo 1. Si ha la seguente:
Proposizione 71 Ogni supercie X di caratteristica due avente n vertici è
quasi-isomorfa ad una supercie ottenuta per identicazione tra i bordi di due
n-dischi elementari
Dim. Si tolga ad X una faccia; la supercie che resta può essere costruita a
partire da un triangolo con n 3 espansioni di tipo 0 e ottenendo cos` un disco
elementare con n vertici, seguite da espansioni di tipo 1; questultime possono
essere considerate espansioni di tipo 0 a partire dal triangolo tolto inizialmente
dando luogo cos` ad un altro disco elementare con n vertici.
Commento nale alla classicazione
Sia X una supercie nita orientata e sia g denito da (X) = 2 2g; tale g
è detto il genere della supercie. Abbiamo visto che la supercie è costruibile
dallo schema ottenuto incollando per il bordo due n-dischi standard, operando
alcune commutazioni, poi togliendo 2g punti assieme ai loro intorni aperti (che
devono essere disgiunti) ed incollando quindi a coppie i bordi che si sono formati.
E chiaro che se per ogni tale punto si toglie solo un triangolo di cui è faccia e
poi si identicano a coppie i bordi rimasti, si ottiene una supercie che dà un
poliedro omeomorfo a quello dato da X. Anche si possono spostare i triangoli
in adiacenti ... . Insomma si dimostra ora facilmente che se due tali super-
cie hanno la stessa caratteristica di Eulero-Poincare, allora sono omeomorfe
luna allaltra. Si possono anche dare, se interessa, enunciati di equivalenza
combinatoria direttamente per gli schemi ma credo che sia stato descritto già
sucientemente il quadro generale dei problemi e delle tecniche poliedrali in
questo settore e passeremo ad altro.
Teorema di Gauss-Bonnet poliedrale
Sia X una supercie poliedrale con bordo che sia nita. Diremo distanza su
X ogni funzione d : 1simplessi di X ]0, + tale che per ogni 2simplesso
73
i
0
, i
1
,
p
di X esista un triangolo di vertici P
0
, P
1
, P
2
in R
2
non degenere (ossia
con vertici non allineati) ogni cui lato P
h
P
k
abbia lunghezza f(i
h
, i
k
). Tale
triangolo è univocamente determinato a meno di isometrie di R
2
ed i suoi angoli
ai vertici saranno detti angoli della faccia .
Diremo esterni i vertici e gli spigoli di X che stanno in e esterne le facce che
hanno uno spigolo in comune con ; tutti gli altri simplessi di X saranno detti
interni. Indichiamo con v
e
, s
e
, f
e
rispettivamente il numero dei vertici, spigoli
e facce esterni ad X e v
i
, s
i
, f
i
quelli interni. Chiamiamo curvatura geodetica
del bordo in un suo vertice esterno P la dierenza k
P
tra e la somma degli
angoli che li hanno i triangoli (interni od esterni) che lo hanno come vertice.
Chiameremo curvatura gaussiana di X in un suo vertice interno p la dierenza
K
p
tra 2 e la somma degli angoli che li hanno i triangoli che lo hanno come
vertice. La somma k
X
dei k
P
per P vertice esterno sarà detta curvatura al bordo
di X; la somma K
X
dei K
P
per P vertice interno sarà detta curvatura interna
di X. Indichiamo poi con (X) la sua caratteristica di Eulero-Poincare.
Teorema 72 (Gauss-Bonnet poliedrale) La somma tra la curvatura esterna
e quella interna è eguale alla caretteristica di Eulero-Poincare. Ossia:
k
X
+K
X
= 2(X)
Dim. Consideriamo la somma di tutti gli angoli di tutti i triangoli di X. Siccome
ogni triangolo contribuisce ad essa di essa vale (f
i
+ f
e
) . Calcoliamo ora
tale somma raggruppando i contributi per ogni vertice di X: un P esterno
contribuisce per k
P
, quindi tutti assieme per v
e
P k
X
; un P interno
contribuisce per v
i
K
P
, quindi tutti assieme per v
i
2 K
X
. Si ha quindi:
(f
i
+f
e
) = v
e
k
X
+v
i
2 K
X
Utilizzando le (evidenti) relezioni: 2s
i
= 2f
e
+ 3f
i
e v
e
= s
e
= f
e
si ottiene
lenunciato.
Uso di metodi combinatori in geometria dierenziale
La denizione lunghezza di un cammino in R
n
è stata data utilizzando ap-
prossimazioni poligonali del cammino, quindi con metodo combinatori; dopo
ciò abbiamo dimostrato che tale lunghezza, nel caso di cammini dierenziabili
poteva essere calcolata tramite un integrale. Nel caso di superci abbiamo invece
denito larea direttamente tramite un integrale; infatti dare una denizione ge-
ometrica di area, e far vedere poi che coincide con quella data tramite la data
formula integrale è abbastanza laborioso per il motivo che ora indichiamo. Sia
pi` u in generale M una varietà compatta in un R
N
; chiamiamo approssimazione
poliedrale di M il dato di uno schema simpliciale (nito) (I, K) e di una appli-
cazione f : vertici di K M tali che lestenzione (ane sui ogni simplesso)
di f ad una applicazione continua

f : [K[ R
N
sia contenuta in un intorno
tubolare U di M e composta con la proiezione : U M dia un omeomor-
smo tra [K[ ed M (quindi quella che si chiama una triangolazione di M); in
particolare ache [f[ sarà un omeomorsmo tra [K[ ed un concreto poliedro K
in R
N
. Chiamiamo norma di una tale approssimazione il massimo diametro dei
simplessi di K
. Se dim(M) = 1 larea di K
ha limite per la norma che tende

a zero e questo limite coicide con larea (la lunghezza) di M denita tramite
lintegrale. Ciò è falso se dim(M) > 1: si consideri su M = S
1
[0, 1] la
74
approssimazione ottenuta dividendo [0, 1] nei punti x
0
, ..., x
2n
in 2m intervalli
uguali ed ogni S
1
x
i
nei punti y
1
, ..., y
m
in m archi eguali se i è dispari e nei
punti medi tra gli y
h
se i è pari. Se n >> m larea del poliedro tende allinnto
anche la sua norma tende a zero. Ciò accade perche i triangoli del poliedro
che approssima hanno piani tangenti che non tendono a divenire paralleli ad M
(o meglio ai suoi spazi tangenti). Si può evitare ciò se si utilizzano successioni
di poliedri i cui triangoli (con vertici in M) non solo hanno lati che divengono
sempre pi` u piccoli (la norma tende a zero) ma essi non tendono a degenerare,
nel senso che nessun angolo di essi tende a zero (non divengono liformi). Si
dovrebbe partire da uno di tali poliedri, scelto comunque, e poi suddividere il
poliedro col punto medio di uno dei suoi lati di massima lughezza proiettato su
M ortogonalmente (ossia con la proiezione dellintorno tubolare). Iterando
questa procedura si dovrebbe avere lapprossimazione dellarea. Dovrebbe an-
che essere vero che la curvatura al bordo di tali poliedri tende (nel senso delle
distribuzioni) alla curvatura geodetica del bordo di M e lo stesso per la cur-
vatura gaussiana, cos` da dedurre il teorema di Gauss-Bonnet su M da quello
poliedrale per i poliedri approssimanti. Non mi sembra che in questo modo si
arrivi a semplicare la dimostrazione del teorema; ma potrebbe servire per con-
vincersi che in molte circostanze può essere preferibile trattare tutto in modo
combinatorio visto che:
1. si ottengono risultati intercambiabili
2. nelle applicazioni quasi sempre gli oggetti concreti con cui si opera, le loro
misure e le prescrizioni operative sono tutti dati attraverso dati discreti, quindi
combinatori.
Metodi combinatori per la diseguaglianza isoperimetrica
Siano
0
= (x, y) : R R
2
un camino dierenziabile di periodo L (un cammino
chiuso) con x
2
+ y
2
= 1 e : R R dierenziabile di periodo L. allora:
: (x y, y + x)
è una (generica) deformazione di
0
e
L
=
_
L
0
(( x

y u)
2
+ y + x + x)
2
)
1/2
dt
A
=
_
L
0
(x y)( y + x + x)dt
sono rispettivamente la lunghezza e larea di essa.
La derivata di L
rispetto ad calcolata in zero vale:

dL
d
[
=0
=
_
L
0
1
2
( x
2
+ y
2
)2[ x( y y) + y( x + x)]dt =
=
_
L
0
( x y + y x)dt =
_
L
0
K dt
ove K è la curvatura di
0
.
La derivata di A
rispetto ad calcolata in zero vale:

dA
d
[
=0
=
_
L
0
( y y +x x)dt +
_
L
0
x xdt
75
Inoltre :
0 =
_
L
0
d
dt
(x x)dt =
_
L
0
( x
2
+x x +x x )dt
quindi:
dA
d
[
=0
=
_
L
0
( y
2
x
2
)dt =
_
L
0
dt
Se
0
racchiude area massima tra le curve (chiuse) di data lunghezza, allora
si deve accadere che
_
L
0
Kdt = 0 comporta
_
L
0
= 0 (altrimenti nella de-
formazione data da tale si troverebbero curve in cui il rapporto tra area e
lunghezza al quadrato sarebbe superiore ed allora operando con una omote-
tia...) e ciò accade solo se si ha K =cost. e quindi
0
è un cerchio. Si è cos`
dimostrato che se un minimo o un massimo esiste per A vincolato ad L =cost.
esso deve essere un cerchio. Ma nessuno assicura che un tale estremo esista.
Questa normalmente è la parte pi` u dicile delle disuguaglianze isoperimetriche:
assicurare che lestremo esista.
Mostreremo adesso che se riformuliamo il problema in termini combinatori, ove
il massimo per larea a perimetro costante non solo esiste ma lo si lo si può
anche caratterizzare, se ne può dedurre che il cerchio racchiude, nel caso dif-
ferenziabile, area massima per lunghezza costante.
Consideriamo poligonali con N 4 lati in R
2
tutti di ssate lunghezze.
Lemma 73 I poligoni con area massima sono quelli inscritti in un cerchio
Dim. Basta considerare il caso n = 4.
Siano quindi a, b le lunghezze dei lati uscenti da un vertice in cui langolo sia
e c, d quelle del vertice opposto ove langolo sia . Allora:
a
2
+b
2
2ab cos = c
2
+d
2
2dc cos
(entrami misure al quadrato di una delle diagonali del quadrilatero) che dif-
ferenziata dà:
(1) ab sin d = cd sin d
Due volte larea del quadrilatero è:
ab sin +cd sin
se il quadrilatero ha area massima tale espressione deve avere dierenziale nullo,
ossia:
(2) ab cos d = cd cos d
Dividendo i membri delle (1) per quelli della (2) si ottiene tg() = tg() ossia
+ = che equivale allessere il quadrilatero inscritto in un cerchio (angoli
opposti sullo stesso arco).
Il fatto che il cerchio racchiuda area massima tra curve di dato perimetro si
dimostra ora per assurdo: se ve ne fosse una che racchiude unarea maggiore
approssimando si troverebe una una poligonale non inscrivibile in un cerchio
che ha area maggiore di quella inscritta in un cerchio.
76
Appendice: alcuni dieomorsmi standard
(A)
R
n
0 x (x) = (
x
[[x[[
, [[x[[) S
n1
]0, +[
è dierenziabile ed ha inversa (s, r) = r s. Quindi è un dieomorsmo.
(B)
Per 0 < a
1
ssato sia :]0, +[]0, 1[ dierenziabile e tale che (t) = t per
0 < t < 1 , (t) > 0 per ogni t e lim
t+
(t) = 1. Tale è un dieomorsmo.
Quindi:
R
n
0 S
n1
]0, +[ (s, r) (s, (r)) S
n1
]0, 1[
è un dieomorsmo; esso è lidentità per 0 < r < a e quindi si estende ad un
dieomorsmo tra R
n
e B
n
= x R
n
: [[x[[ < 1.
(C)
Sia E un brato vettoriale di rango n su una varietà dierenziabile M e sia
< , > un prodotto scalare (dierenziabile) su E.
Allora se il dieomorsmo di R
n
su B
n
indicato nel punto (B) è invariante per
rotazioni, esso induce un dieomorsmo tra E e E(1) = (x, v) E : [[v[[ < 1.
77

Geometria

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Geometria

Transféré par

Droits d'auteur :

Formats disponibles

Richiami di calcolo dierenziale locale

in x pi` u un resto che `e un polinomio omogeneo di grado

non (formalmente) nullo pu`o rappresentare la funzione identicamente

R due funzioni dierenziabili denite su aperti di

tali che f(x) = f(h(x)) per ogni x V .

Proposizione 18 Una famiglia F come sopra `e una sottovariet`a dierenziabile

Dim. Utilizziamo la descrizione locale di F data nellesercizio precedente.

(X) = (x, v) N(X, R

(X) X ha la propriet`a seguente:

(X) allora [[v[[ < e quindi si `e

(X) `e surgettiva per ogni > 0.

e quindi `e una applicazione localmente invertibile. Baster`a

(X) perche questi ne costituis-

(X) , lintorno tubolare di raggio di X e

(X) X sar`a detta la proiezione ortogonale su X. Si noti inoltre che per

(X) X `e dierenziabile e priva di

costituita dalle coppie (x, v) ove x X , [[v[[ `e un vettore che `e tangente

U M `e costruito associando prima ad (x, v) il vettore x +v R

indica la trasposta della matrice M).

(h) = 0 od anche (h)

linsieme aperto dei punti interni ad X in cui y < . Tale

`e vuoto per << 1 e coincide con linterno di X per >> 1. Mostreremo

non cambia. Se localmente

che vengono congiunte. Per

; ed infatti in caso contrario,

F(0) come il punto di P(W) individuato da F

che rappresenta lequazione della sfera in V di centro C = a/( ) e raggio:

Indichiamo con : T(X) X la proiezione canonica (ossia ((x, v)) = x).

`e lalgebra delle funzioni dierenziabili su una variet`a M

R ottenuto tramite la composizione di funzioni, si ha

su U tale che il seguente diagramma sia

esiste una ed una sola

soddisfano entrambi la condizione prece-

, cosicche tali spazi sono identicabili in modo ben precisato. Esprimeremo

su V a valori in uno spazio W

, equivale ad assegnare i valori di

il duale di V e W =applicazioni p-lineari alter-

. Dalla costruzione descritta avanti segue che

e quindi una base per

vari quando viene sostituito con un ciclo bordante con

Chiameremo esatte o integrabili le p-forme che siano il dierenziale di una

V signica eliminare la V nella scrittura.

lanalogo dierenziabile (ossia

dato dagli x +v per (x, v) N

ed inne schiacciato questo su M

= I(, ) per ogni come sopra che sia trasversale

= (x, v) N ; [[v[[ < ed

con tutto N essendo questi dieomor (vedi appendice sulla

= I(, ). Infatti essendo il supporto di contenuto nellintorno

di E che verichino la seguente formula:

, s > + < , s >

compare in un solo termine: portando questo

che, come si veri-

) (in pratica signica avere per ogni bra E

(E) la famiglia dierenziabile di spazi vettoriali

`e ottenuto cambiando parametro tramite ossia sostituendo nei coecienti

(E) su N si identica ad una applicazione X : N E sod-

(E) su [a, b] `e quello che viene chiamato (qui e nella

(E) nel modo seguente. Sia (s

(E) su N. Ribadiamo che questa `e univocamente determinata

() permette di dierenziare sezioni di E lungo . Ossia data una appli-

viene detta derivata covariante di s lungo e viene indicata

(E) con [a, b] R