title: Mappa esponenziale
text: # Mappa esponenziale
  
  In geometria differenziale, la mappa esponenziale è una funzione che mappa lo spazio tangente in un punto di una varietà riemanniana o pseudo-riemanniana sulla varietà stessa. La mappa esponenziale è utile a rappresentare un intorno di un punto tramite coordinate geodetiche.
  
  ## Definizione
  
  Sia $p$ un punto in una varietà riemanniana o pseudo-riemanniana $M$. La mappa esponenziale è una mappa
  
      ${\rm {exp}}_{p}:U\to M$
  
  definita su un insieme aperto $U$ dello spazio tangente $T_{p}$ in $p$ contenente l'origine, nel modo seguente.
  
  Per ogni vettore $v$ non nullo dello spazio tangente, esiste un'unica geodetica
  
      $\gamma _{v}:(-a,b)\to M$
  
  tale che $\gamma _{v}(0)=p$ e $\gamma '_{v}(0)=v$. La geodetica è qui descritta nel suo dominio massimale: i numeri $a$ e $b$ sono positivi o $+\infty$. Se $b>1$, si definisce ${\rm {exp}}_{p}(v)=\gamma _{v}(1)$.
  
  Si estende infine la mappa esponenziale all'origine, ponendo ${\rm {exp}}_{p}(0)=p$. I vettori su cui ${\rm {exp}}_{p}$ è definita formano un aperto $U$ contenente l'origine.
  
  ## Proprietà
  
  ### Geodetiche
  
  La mappa esponenziale mappa ogni retta passante per l'origine sulla geodetica avente come tangente quella retta. Se la geodetica può essere estesa fino ad avere lunghezza infinita in ambo i sensi, la mappa è definita su tutta la retta; altrimenti, la mappa è definita solo sul segmento aperto massimale su cui la geodetica può essere estesa.
  
  ### Completezza
  
  Il teorema di Hopf-Rinow fornisce varie nozioni equivalenti di completezza per una varietà riemanniana. Tra queste, c'è la possibilità di prolungare indefinitivamente ogni geodetica. Segue quindi che se $M$ è completa la mappa esponenziale è definita su tutto lo spazio tangente
  
      ${\rm {exp}}:T_{x}\to M\,\!$
  
  per ogni punto $x$ di $M$.
  
  ### Invertibilità locale
  
  La mappa esponenziale è continua e differenziabile, con differenziale invertibile nell'origine. Per il teorema di invertibilità locale, esiste un intorno $V$ dell'origine in $T_{x}$ tale che
  
      $f|_{V}:V\to f(V)\,\!$
  
  è un diffeomorfismo. La mappa esponenziale è cioè un diffeomorfismo locale nell'origine, ed è quindi utile a modellare la varietà $M$ localmente vicino a $x$.
  
  ### Raggio di iniettività
  
  Benché lo sia in un intorno dell'origine, la mappa esponenziale non è però necessariamente globalmente iniettiva: il raggio di iniettività di una varietà riemanniana $M$ in $x$ è il massimo numero $R$ tale che la mappa
  
      $f|_{B_{R}}:B_{R}\to M$
  
  ristretta alla palla di raggio $R$ centrata in zero è iniettiva. La palla è
  
      $B_{R}={\big \x\in T_{x}\ {\big |}\ |x|<R{\big \}}$
  
  ove la norma $|x|$ di $x$ è data dal prodotto scalare definito dal tensore metrico.
  
  ## Esempi
  
  ### Varietà non completa
  
  Se
  
      $M=\mathbb {R} ^{n}\setminus \{0\}$
  
  è lo spazio euclideo privato dell'origine, e $x$ è un qualsiasi punto di $M$, la mappa esponenziale non è mai definita su tutto il piano tangente $T_{x}$. Infatti non risulta definita sul vettore $-x$, poiché la geodetica uscente da $x$ in direzione $-x$ è definita soltanto fino a che questa non incontra l'origine. L'aperto $U$ è quindi tutto lo spazio privato di una semiretta.
  
  ## Coordinate geodetiche
  
  Le coordinate geodetiche in un intorno di un punto $p$ sono definite tramite la mappa esponenziale.
  
  ### Definizione
  
  Sia $p$ un punto di una varietà (pseudo-)riemanniana $M$. Lo spazio tangente $T_{p}M$ è dotato di un prodotto scalare definito positivo, dato dal tensore metrico. Lo spazio è quindi identificabile con lo spazio euclideo $\mathbb {R} ^{n}$: per ottenere questa identificazione è sufficiente scegliere una base ortonormale.
  
  Sia $U$ un intorno dell'origine nello spazio tangente $T_{p}M$ su cui la mappa esponenziale è un diffeomorfismo. Questo aperto è identificato con un aperto di $\mathbb {R} ^{n}$. Conseguentemente, l'immagine $\operatorname {exp} (U)$ è identificata con questo aperto. L'identificazione fornisce un sistema di coordinate, detto geodetico o normale.
  
  ### Proprietà
  
  Le coordinate geodetiche identificano un intorno aperto di $p$ con un intorno aperto dello spazio euclideo $\mathbb {R} ^{n}$. Valgono le proprietà seguenti.
  
  **Geodetiche**
  
  Il punto $p$ è identificato con l'origine. Le geodetiche uscenti da $p$ sono identificate con le rette uscenti dall'origine.
  
  **Tensore metrico**
  
  Il tensore metrico $g$ in $p$ è rappresentato dalla matrice identità. Questo avviene però generalmente solo in $p$: se avviene in tutto l'intorno, la metrica in questo intorno è piatta, cioè senza curvatura.
  
  Più precisamente, il tensore metrico è approssimato dalla metrica Euclidea al primo ordine:
  
      $g_{ij}=\delta _{ij}+O(|x|^{2}).$
  
  In particolare, si annullano le derivate prime del tensore metrico:
  
      ${\frac {\partial g_{ij}}{\partial x^{k}}}(p)=0.$
  
  **Simboli di Christoffel e derivata covariante**
  
  I simboli di Christoffel si annullano in $p$:
  
      $\Gamma _{jk}^{i}(p)=0.$
  
  La derivata covariante nel punto $p$ quindi coincide con la derivata parziale.
  
  