# Diferencial (matemática)

    Este artículo habla sobre la definición del diferencial dentro del campo de la geometría diferencial, para otros usos dentro de la matemática vea diferencial (cálculo, desambiguación), para usos más generales vea diferencial (desambiguación)
Herramienta matemática que nos permite trabajar sobre espacios tangentes de diferentes variedades diferenciables aprovechado las buenas propiedades de unos bien conocidos sobre otros que casi no conocemos.
Eslabón necesario para construir la teoría de geometría diferencial y generalizar su estudio.

## Definición de diferencial

Sean $M_^,N$ variedades diferenciables, $F:M\longrightarrowN$ una aplicación diferenciable y $p\in M$, llamaremos diferencial de $F_^$ a
    ${\begin{matrix}{\forall d_{p}F:}&{{\mathcal {T}}_{p}M}&\longrightarrow&{{\mathcal {T}}_{F(p)}N}\\&{\delta }&\mapsto &{\begin{matrix}d_{p}F(\delta ):&{\mathcal {F}}(M)&\longrightarrow&\mathbb {R} \\&g&\mapsto &d_{p}F(\delta )(g):=\delta (g\circ F).\end{matrix}}\end{matrix}}$.
Observaciones
Queda claro que $\delta _^$ es $\delta _{p}^$, ya que $p_^$ es redundante pues hablamos de elementos de ${\mathcal {T}}_{p}M$ y, es decir, derivaciones a $M_^$ precisamente en $p_^$.
Veamos que está bien definida, es decir, que $d_{p}F(\delta )\in {\mathcal {T}}_{F(p)}N$ como se ha requerido:
    $\forall f,g\in {\mathcal {F}}(N),\forall \lambda \in \mathbb {R}$,
      * $d_{p}^F(\delta )(f+g)=\delta ((f+g)\circ F)=\delta (f\circ F+g\circ F)=\delta (f\circ F)+\delta (g\circ F)=d_{p}F(\delta )(f)+d_{p}F(\delta )(g),$
      * $d_{p}^F(\delta )(\lambda f)=\delta ((\lambda f)\circ F)=\delta (\lambda (f\circ F))=\lambda \delta (f\circ F)=\lambda d_{p}F(\delta )(f),$
       $d_{p}^F(\delta )(f\cdot g)=\delta ((f\cdot g)\circ F)=\delta ((f\circ F)\cdot (g\circ F))=\delta (f\circ F)(g\circ F)(p)+(f\circ F)(p)\delta (g\circ F)=d_{p}F(\delta )(f)g_{|F(p)}+f_{|F(p)}d_{p}F(\delta )(g)$,
    y, por tanto, es una derivación; en resumen, el diferencial de una derivación es una derivación.
Veamos finalmente que $d_{p}^F$ es $\mathbb {R}$-lineal:
    $\forall \delta _{1},\delta _{2}\in {\mathcal {T}}_{p}M,\forall f\in {\mathcal {F}}(N)\;y\;\forall \lambda \in \mathbb {R}$, tenemos
      * $d_{p}^F(\delta _{1}+\delta _{2})(f)=(\delta _{1}+\delta _{2})(f\circ F)=\delta _{1}(f\circ F)+\delta _{2}(f\circ F)=d_{p}F(\delta _{1})(f)+d_{p}F(\delta _{2})(f)$,
      * $d_{p}^F(\lambda \delta _{1})(f)=(\lambda \delta _{1})(f\circ F)=\lambda \delta _{1}(f\circ F)=\lambda d_{p}F(\delta _{1})(f)$,
    y por tanto, al ser lineal y bien definida, hereda correctamente las propiedades de suma vectorial y producto por escalar para que los elemento obtenidos en ${\mathcal {T}}_{F(p)}N$, a partir de los elementos de ${\mathcal {T}}_{p}M$, puedan formar un subespacio vectorial, sería deseable conseguir una base para generar totalmente ${\mathcal {T}}_{F(p)}N$.
Así pues, tenemos que $d_{p}^F$, como aplicación lineal entre espacios vectoriales, queda totalmente determinada por una matriz.

## Propiedad

Sean $M,\;N,\;P_^$ variedades diferenciables, $F:M\rightarrow N$, $G:N\rightarrow P$ y $p\in M$, entonces tenemos que:
    $d_{p}(G\circ F)=d_{F(p)}G\circ d_{p}F$.
Demostración
    $\forall h\in {\mathcal {F}}(P),$ $\forall \delta \in {\mathcal {T}}_{p}M$, sucesivamente por definición:
       $d_{p}(G\circ F)(\delta )(h)=\delta (h\circ G\circ F)=$$d_{p}F(\delta )(h\circ G)=$$d_{F(p)}G(d_{p}F(\delta ))(h)=$$d_{F(p)}G\circ d_{p}F(\delta )(h)$.

## Propiedad

Sea $M_^$ una variedad diferenciable, $Id_{M}:M\rightarrow M$ y $p\in M$, entonces tenemos que:
    $d_{p}(Id_{M})=Id_{{\mathcal {T}}_{p}M}$.
Demostración
    $\forall h\in {\mathcal {F}}(P),\forall \delta \in {\mathcal {T}}_{p}M$,
       $d_{p}(Id_{M})(\delta )(h)=\delta (h\circ Id_{M})=$$\delta (h)$.

## Propiedad

Sea $M,\;N_^$ variedades diferenciables y $F:M\rightarrow N$ un difeomorfismo, entonces tenemos que:
    $\forall p\in M,\;d_{p}F$ es un isomorfismo de $\mathbb {R}$-espacios vectoriales.
Demostración
    Si $F_^$ es un difeomorfismo entonces tenemos que $\exists G:N\rightarrow M$ diferenciable: $F\circ G=Id_{N}$ y $G\circ F=Id_{M}$.
    Bastaría considerar los diferenciales $d_{q}G_^$ y $d_{p}F^,\;q=F(p)$, usando sucesivamente las propiedades anteriores tenemos:
       $d_{q}G\circ d_{p}F=d_{p}(G\circ F)=$$d_{p}(Id_{M}^)=$$Id_{{\mathcal {T}}_{p}M}$,
       $d_{p}F\circ d_{q}G=d_{q}(F\circ G)=$$d_{q}(Id_{N}^)=$$Id_{{\mathcal {T}}_{q}N}$.
    Por tanto hemos visto que $d_{p}F_^$ es un isomorfismo de $\mathbb {R}$-espacios vectoriales.
* Datos: Q12162791