Diferenciación en espacios de Fréchet
# Diferenciación en espacios de Fréchet

En matemáticas, en particular en el análisis funcional y en el análisis no lineal, es posible definir la derivada de una función entre dos espacios de Fréchet. Esta noción de diferenciación, como es la derivada de Gateaux entre espacios de Fréchet, es significativamente más débil que la derivada en un espacio de Banach, incluso entre espacios vectoriales topológicos (EVTs) generales. Sin embargo, es la noción más débil de diferenciación para la que se aplican muchos de los teoremas familiares del cálculo infinitesimal. En particular, la regla de la cadena es cierta. Con algunas restricciones adicionales sobre los espacios de Fréchet y las funciones involucradas, existe un análogo del teorema de la función inversa llamado teorema de la función inversa de Nash-Moser, que tiene amplias aplicaciones en análisis no lineal y en geometría diferencial.

# Diferenciación en espacios de Fréchet
## Detalles matemáticos

Formalmente, la definición de diferenciación es idéntica a la Gateaux derivative. Específicamente, sean $X$ y $Y$ espacios de Fréchet, $U\subseteq X$ sea un conjunto abierto y $F:U\to Y$ sea una función. La derivada direccional de $F$ en la dirección $v\in X$ está definida por
    $DF(u)v=\lim _{\tau \to 0}{\frac {F(u+v\tau )-F(u)}{\tau }}$
si el límite existe. Se dice que $F$ es continuamente diferenciable, o $C^{1}$ si existe el límite para todos los $v\in X$ y el mapeo
    $DF:U\times X\to Y$
es un mapa continuous.
Las derivadas de orden superior se definen inductivamente mediante
    $D^{k+1}F(u)\left\{v_{1},v_{2},\ldots ,v_{k+1}\right\}=\lim _{\tau \to 0}{\frac {D^{k}F(u+\tau v_{k+1})\left\{v_{1},\ldots ,v_{k}\right\}-D^{k}F(u)\left\{v_{1},\ldots ,v_{k}\right\}}{\tau }}.$
Se dice que una función es $C^{k}$ si $D^{k}F:U\times X\times X\times \cdots \times X\to Y$ es $C^{\infty },$ o suave si es $C^{k}$ para cada $k.$

# Diferenciación en espacios de Fréchet
## Propiedades

Sean $X,Y,$ y $Z$ espacios de Fréchet. Supongamos que $U$ es un subconjunto abierto de $X,$. $V$ es un subconjunto abierto de $Y,$ y $F:U\to V,$ $G:V\to Z$ son un par de funciones $C^{1}$. Entonces se cumplen las siguientes propiedades:
* Teorema fundamental del cálculo. Si el segmento de línea de $a$ a $b$ se encuentra completamente dentro de $U,$, entonces: $F(b)-F(a)=\int _{0}^{1}DF(a+(b-a)t)\cdot (b-a)dt.$
* El regla de la cadena. Para todos los $u\in U$ y $x\in X,$ :$D(G\circ F)(u)x=DG(F(u))DF(u)x$
* Linealidad. $DF(u)x$ es lineal en $x.$ De manera más general, si $F$ es $C^{k},$, entonces $DF(u)\left\{x_{1},\ldots ,x_{k}\right\}$ es multilinear en $x$.
* Teorema de Taylor con resto. Supongamos que el segmento de línea entre $u\in U$ y $u+h$ se encuentra completamente dentro de $U.$. Si $F$ es $C^{k}$ entonces :$F(u+h)=F(u)+DF(u)h+{\frac {1}{2!}}D^{2}F(u)\{h,h\}+\cdots +{\frac {1}{(k-1)!}}D^{k-1}F(u)\{h,h,\ldots ,h\}+R_{k}$ donde el término restante está dado por :$R_{k}(u,h)={\frac {1}{(k-1)!}}\int _{0}^{1}(1-t)^{k-1}D^{k}F(u+th)\{h,h,\ldots ,h\}dt$
* Conmutatividad de derivadas direccionales. Si $F$ es $C^{k},$ entonces :$D^{k}F(u)\left\{h_{1},\ldots ,h_{k}\right\}=D^{k}F(u)\left\{h_{\sigma (1)},\ldots ,h_{\sigma (k)}\right\}$ por cada permutación σ de $\{1,2,\ldots ,k\}.$
Las demostraciones de muchas de estas propiedades se basan fundamentalmente en el hecho de que es posible definir el Integral de Riemann de curvas continuas en un espacio de Fréchet.

# Diferenciación en espacios de Fréchet
## Mapeos suaves

Sorprendentemente, un mapeo entre un subconjunto abierto de espacios de Fréchet es suave (infinitamente diferenciable) si mapea curvas suaves a curvas suaves; ver Convenient analysis. Además, las curvas suaves en espacios de funciones suaves son simplemente funciones suaves de una variable más.

# Diferenciación en espacios de Fréchet
## Consecuencias en la geometría diferencial

La existencia de una regla de la cadena permite la definición de un manifold modelado en un espacio de Frèchet: un Fréchet manifold. Además, la linealidad de la derivada implica que existe un análogo de fibrado tangente para las variedades de Fréchet.

# Diferenciación en espacios de Fréchet
## Tame espacios de Fréchet

Con frecuencia los espacios de Fréchet que surgen en aplicaciones prácticas de la derivada disfrutan de una propiedad adicional: son mansos. En términos generales, un espacio de Fréchet manso es aquel que es casi un Espacio de Banach. En espacios domesticados, es posible definir una clase preferida de asignaciones, conocidas como mapas domesticados. En la categoría de espacios domesticados bajo mapas domesticados, la topología subyacente es lo suficientemente fuerte como para respaldar una teoría completa de topología diferencial. En este contexto, se mantienen muchas más técnicas del cálculo. En particular, existen versiones de los teoremas de la función inversa e implícita.