Immersioni aperte in dimensione infinita - Dipartimento di Matematica
Immersioni aperte in dimensione infinita - Dipartimento di Matematica
Immersioni aperte in dimensione infinita - Dipartimento di Matematica
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
F.4 La mappa esponenziale <strong>di</strong> uno spray 111<br />
SPR 3. Se r e t sono numeri, rt appartiene al dom<strong>in</strong>io <strong>di</strong> σv se e solo se r appartiene al dom<strong>in</strong>io<br />
<strong>di</strong> σtv, ed <strong>in</strong> tal caso<br />
πσtv(r) = πσv(rt).<br />
SPR 4. Un numero t appartiene al dom<strong>in</strong>io <strong>di</strong> σv se e solo se 1 appartiene al dom<strong>in</strong>io <strong>di</strong> σtv, ed<br />
<strong>in</strong> tal caso<br />
πσv(t) = πσtv(1).<br />
Considereremo nel seguito ulteriori proprietà delle curve <strong>in</strong>tegrali <strong>di</strong> uno spray. Sia<br />
S : T M → T (T M)<br />
uno spray su M. Sia E l’<strong>in</strong>sieme dei vettori v <strong>in</strong> T M tali che σv è def<strong>in</strong>ita <strong>in</strong> un <strong>in</strong>tervallo contenente<br />
[0, 1]. Allora E è un sotto<strong>in</strong>sieme aperto <strong>di</strong> T M, <strong>in</strong>oltre la mappa<br />
è un morfismo <strong>di</strong> E ⊂ T M <strong>in</strong> T M.<br />
v ↦→ σv(1)<br />
Def<strong>in</strong>izione F.11 (Mappa esponenziale <strong>di</strong> uno spray). La mappa esponenziale exp: E → M<br />
è il morfismo def<strong>in</strong>ito da<br />
exp(v) = πσv(1).<br />
L’<strong>in</strong>sieme E è detto il dom<strong>in</strong>io della mappa esponenziale (associata allo spray S).<br />
Se x è un punto della varietà M, <strong>in</strong><strong>di</strong>cato con Ox il vettore nullo <strong>di</strong> TxM, da SPR 1, posto<br />
r = 0 si ottiene F (Ox) = 0. Qu<strong>in</strong><strong>di</strong><br />
exp(Ox) = π σOx (1) = π(Ox) = x.<br />
Denoteremo con exp x la restrizione <strong>di</strong> exp a Ex := E ∩ TxM.<br />
RAUL TOZZI