CAPITOLO I
VARIET ` A DIFFERENZIABILI
§1 Variet`a topologiche
Sia X = (X, τ ) uno spazio topologico. Una carta locale di dimensione n in X `e il dato (U, φ) di un aperto U di X e di un omeomorfismo φ : U − → φ(U) = Ω ⊂ R n di U su un aperto Ω dello spazio Euclideo R n . Se φ(x 0 ) = 0 per un punto x 0 di U , diremo ancora che x 0 `e il centro della carta locale.
Se (U, φ), (V, ψ) sono due carte locali di dimensione n di X, con U ∩ V 6= ∅, allora φ(U ∩ V ) e ψ(U ∩ V ) sono due aperti non vuoti di R n e l’applicazione:
(1.1) φ ◦
ψ ψ(U∩V )
U∩V
−1
: ψ(U ∩ V ) − → φ(U ∩ V )
`e un omeomorfismo, che si dice la funzione di transizione dalla carta (V, ψ) alla carta (U, φ).
Diciamo che X `e una variet` a topologica di dimensione n se ogni suo punto ammette un intorno aperto omeomorfo a un aperto di R n .
Osservazione 1 Ogni punto di una variet` a topologica di dimensione n ammette un intorno aperto omeomorfo a R
n.
Sia infatti U un intorno aperto di un punto x di una variet` a topologica X e φ : U −→ Ω ⊂ R
nun omeomorfismo di U su un aperto Ω di R
n. Fissiamo una palla aperta B, con centro in φ(x), contenuta in Ω e un omeomorfismo ψ : B − → R
n. Allora φ
−1(B) = V ⊂ U ` e un intorno aperto di x in X e ψ ◦ φ : V −→ R
nun omeomorfismo di un intorno aperto V di x in X con R
n.
Osservazione 2 La dimensione n di una carta locale in un punto p ∈ X `e un invariante topologico. Infatti non esistono omeomorfismi tra aperti di spazi Euclidei di dimensione diversa (vedi ad es. [W.Hurewicz, H.Wallman, Dimension Theory. Princeton, Princeton Univ.Press, 1941]) .
Una famiglia A = {(U i , φ i )
i ∈ I} di carte locali di X si dice un atlante se {U i
i ∈ I} `e un ricoprimento di X.
Le funzioni di transizione 1 (1.2) φ ij = φ i ◦
φ j φ Uj(U
i∩U
j)
i
∩U
j−1
: φ j (U i ∩ U j ) − → φ i (U i ∩ U j )
dalla carta (U j , φ j ) alla carta (U i , φ i ), al variare di i, j in I, si dicono funzioni di transizione dell’atlante A. Poniamo Ω i = φ i (U i ), Ω ij = φ j (U i ∩ U j ). Allora Ω ij ⊂ Ω j e le funzioni di transizione φ ij : Ω ij − → Ω ji soddisfano:
(1) Ω ii = Ω i e φ ii `e l’identit` a su Ω i .
1
Per semplicit` a penseremo le funzioni di transizione definite anche quando U
i∩ U
j= ∅, ammettendo che la funzione vuota sia l’unico omeomorfismo dell’insieme vuoto.
1
(2) φ −1 ij = φ ji per ogni i, j ∈ I.
(3) φ ij (Ω ij ∩ Ω kj ) = Ω ji ∩ Ω ki per ogni i, j, k ∈ I e il seguente diagramma `e commutativo:
(1.3)
Ω ij ∩ Ω kj φij
−−−−→ Ω ji ∩ Ω ki φkj
y y φki
Ω ik ∩ Ω jk Ω jk ∩ Ω ik
Proposizione 1.1 Sia X una variet` a topologica di dimensione n e sia A = {(U i , φ i ) } i∈I un atlante di X. Allora X `e omeomorfo alla somma topologica degli aperti Ω i = φ i (U i ) dello spazio Euclideo R n , rispetto alle funzioni di incollamento
φ ij : Ω ij = φ j (U i ∩ U j ) − → Ω ji = φ i (U i ∩ U j ).
Sia data viceversa una famiglia {Ω i } i∈I di aperti di R n e per ogni coppia di indici i, j ∈ I sia assegnato un sottoinsieme aperto Ω ij di Ω j e omeomorfismi φ ij : Ω ij − → Ω ji tali che siano soddisfatte le propriet` a (1), (2), (3) elencate sopra.
Allora la somma topologica degli Ω i rispetto alle funzioni di incollamento φ ij `e una variet`a topologica di dimensione n.
Dim. Indichiamo con F
i∈I Ω i l’unione disgiunta degli aperti Ω i ⊂ R n , e definiamo l’applicazione
ψ : ˜ G
i∈I
Ω i − → X , mediante ψ ˜ ◦ ι i = φ −1 i ∀i ∈ I .
Per passaggio al quoziente otteniamo un’applicazione continua ψ : ]
(Ω i , Ω ij , φ ij ) − → X , che `e bigettiva ed aperta, e quindi un omeomorfismo.
Viceversa, per la [Proposizione 3.2 del Capitolo II, in Lezioni di topologia ge- nerale, 2005-2006 ], gli affondamenti j i degli aperti Ω i nella somma topologica X = U
(Ω i , Ω ij , φ ij ) sono immersioni topologiche aperte : quindi X ammette un ricoprimento mediante gli aperti di un sistema di carte locali di dimensione n e quindi `e una variet` a topologica di dimensione n. Esempio 1.1 La sfera S n `e una variet` a topologica di dimensione n. Infatti le proiezione stereografiche dai due poli ( ±e 0 ) sul piano equatoriale :
φ + : U + = S n \ {+e 0 } − → R n , φ + (x 0 , x 1 , . . . , x n ) =
1−x0x1, ... ,
xn1−x0