09.05.2013 Views

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!