Immersione (geometria)

In geometria, una immersione è una funzione differenziabile fra varietà differenziabili, il cui differenziale è ovunque iniettivo.

Le immersioni non sono necessariamente iniettive globalmente, ma lo sono localmente.

Definizione

Una funzione differenziabile

$f:M\to N$

fra due varietà differenziabili è una immersione se il differenziale

$D_pf : T_p M \to T_{f(p)}N$

è iniettivo per ogni punto $p$ di $M$. Equivalentemente, se il rango del differenziale è ovunque pari alla dimensione di $M$

$\operatorname{rank}\,f = \dim M.$

L'equivalenza fra le due definizioni è garantita dal teorema della dimensione.

Le varietà differenziabili $M$ e $N$ possono essere ad esempio degli aperti contenuti in spazi euclidei $\R^n$ e $\R^k$.

Iniettività

Una immersione $f$ non è necessariamente iniettiva. Lo è però localmente, grazie ad una versione del teorema di invertibilità locale: ogni punto $p$ di $M$ ha un intorno $U$ su cui la funzione è iniettiva.

Voci correlate

• Immersione (matematica)

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica