title: Immersione (geometria)
text: # 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. La nozione di immersione è duale a quella di Sommersione.
  
  ## Definizione
  
  Una funzione differenziabile
  
      $f:M\to N$
  
  fra due varietà differenziabili è una immersione se il differenziale
  
      $d_{p}f: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 $\mathbb {R} ^{k}$ e $\mathbb {R} ^{n}$.
  
  ## 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.
  
  