Inmersión (matemáticas)
# Inmersión (matemáticas)

En matemáticas, una inmersión es una aplicación diferenciable entre variedades diferenciables cuya derivada es inyectiva en todo punto. Explícitamente, f : M → N es una inmersión si:
   $D_{p}f:T_{p}M\to T_{f(p)}N\,$
es una función inyectiva en cada punto p de M (donde la notación T$_p$X representa el espacio tangente de X en el punto p). Equivalentemente, f es una inmersión si su derivada tiene rango constante e igual a la dimensión de M:
   $\operatorname {rank} \,D_{p}f=\dim M$
La propia función f no necesariamente debe ser inyectiva, sólo su derivada.
Un concepto relacionado es el de incubamiento (embedding). Un incubamiento es una inmersión inyectiva f : M → N que también es un incubamiento topológico, de tal manera que M es difeomórfica con su imagen en N. Una inmersión es claramente un incubamietno local, es decir, para un punto x ∈ M existe una vecinidad, U ⊂ M, de x tal que f: U → N es un incubamiento, y recíprocamente un incubamiento local es una inmersión. Para variedades de dimensión infinita, esto a veces se toma como la definición de inmersión.
Si M es compacto, una inmersión inyectiva es un incubamiento, pero si M no es compacto entonces las inmersiones inyectivas no son necesariamiente incubamientos, análogamente a la relación que existe entre biyecciones continuas y homeomorfismos.

# Inmersión (matemáticas)
## Homotopía regular

Una homotopía regular entre dos inmersiones f y g de una variedad M a otra variedad N se define como una aplicación diferenciable H : M × [0,1] → N al que para todo t in [0, 1] la función H$_t$: M → N definida por H$_t$(x) = H(x, t) para todo x ∈ M es una inmersión, con H$_0$ = f, H$_1$ = g. Una homotopía regular es por tanto una homotopía de inmersiones.

# Inmersión (matemáticas)
## Clasificación

Hassler Whitney inició el estudio sistemático de las inmersiones y las homotopías regulares en los años 1940, y demostró que para 2m < n+1 toda aplicación f: M$^m$ → N$^n$ de una variedad m-dimensional a una variedad n-dimensional es homotópica con una inmersión, y de hecho lo es a un incubamiento para 2m < n; estos dos resultados constituyen el teorema de inmersión de Whitney y el teorema de incubamiento de Whitney.
Stephen Smale expresó las clases de inmersión de homotopías regulares f : M$^m$ → R$^n$ como los grupos de homotopía de una variedad de Stiefel. La eversión de la esfera es un consecuencia particularmente notable de este hecho. Morris Hirsch generalizó la expresión de Smale a una descripción en el marco de la teoría de la homotopía de las clases de homotopía regular de inmersiones de variedades m-dimensionales M$^m$ en variedades n-dimensionales. La clasificación de Hirsch-Smale de las inmersiones fue generalizadas más aún por Mikhail Gromov.

# Inmersión (matemáticas)
## Existencia

El obstáculo principal para la existencia de una inmersión i : M$^m$ → R$^n$ es el fibrado normal estable de M, como es exhibido por sus clases características, particularmente sus clases de Stiefel-Whitney. Es decir, puesto que $\scriptstyle \mathbb {R} ^{n}$ es paralelizable, el pullback de su fibrado tangente a M es trivial, puesto que este pullback es la suma directa del fibrado tangente (intrínsecamente definido) TM, que tiene dimensión m, y del fibrado normal ν de la inmersión i, que tiene dimensión n-m.