Raggio di iniettività
# Raggio di iniettività

In matematica, e più precisamente in geometria differenziale, il raggio di iniettività è un numero reale positivo che misura il "grado di collassamento" di una varietà riemanniana in un punto o globalmente.

## Definizione

Sia $M$ una varietà riemanniana. Per ogni punto $x$ di $M$ è definita la mappa esponenziale

    ${\rm {exp}}_{x}:U\to M\,\!$

su un insieme aperto $U$ dello spazio tangente $T_{x}M$ in $x$, contenente l'origine.

Sullo spazio tangente $T_{x}M$ è definito un prodotto scalare, dato dal tensore metrico della varietà. Risulta quindi definita la palla di raggio $R$ centrata nell'origine

    $B_{R}={\big \v\in T_{x}M\ {\big |}\ |v|<R{\big \}}.$

Il raggio di iniettività di $M$ in $x$ è il massimo $R$ tale che la mappa

    ${\rm {exp}}_{x}|_{B_{R}}:B_{R}\to M$

è iniettiva. Viene spesso indicato con

    $R={\rm {inj}}_{x}$

Il raggio di iniettività di $M$ è quindi definito come l'estremo inferiore di tutti i raggi di iniettività nei punti:

    ${\rm {inj}}(M)=\inf _{x\in M}{\big \{\rm {inj}}_{x}{\big \}}.$

## Proprietà

### Raggio locale positivo

Il differenziale di ${\rm {exp}}_{x}$ è invertibile. Per il teorema di invertibilità locale, la funzione è quindi un diffeomorfismo locale nell'origine: il raggio di iniettività ${\rm {inj}}_{x}$ è quindi strettamente positivo in ogni punto $x$.

### Geodetiche

Se la varietà è completa, il raggio di iniettività ${\rm {inj}}_{x}$ è pari a metà della minima lunghezza di una geodetica chiusa passante per $x$.

### Compattezza e raggio globale

Se la varietà $M$ è compatta, il raggio di iniettività globale ${\rm {inj}}(M)$ è maggiore di zero. Qualsiasi geodetica chiusa ha quindi lunghezza maggiore di ${\rm {inj}}(M)$.

