# Espacio de Fréchet

En análisis funcional y áreas relacionadas de matemáticas, los espacios Fréchet, que llevan el nombre de Maurice Fréchet, son espacios vectoriales topológicos especiales. Son generalizaciones de espacios de Banach (espacio vectorial normado que es completo con respecto a la métrica inducida por la norma). Todos los espacios de Banach y de Hilbert son espacios de Fréchet.
Los espacios de funciones infinitamente diferenciables son ejemplos típicos de espacios de Fréchet, muchos de los cuales son típicamente espacios que no son de Banach.
Un espacio de Fréchet $X$ se define como un espacio vectorial topológico (EVT) localmente convexo y metrizable que es completo como EVT, lo que significa que cada sucesión de Cauchy en $X$ converge en algún punto en $X$ (consúltese la nota al pie para obtener más detalles).
    Nota importante: No todos los autores requieren que un espacio de Fréchet sea localmente convexo (discutido más abajo).
La topología de todo espacio de Fréchet es inducida por algún simetría traslacional métrico completo. Por el contrario, si la topología de un espacio localmente convexo $X$ es inducida por una métrica completa invariante en la traslación, entonces $X$ es un espacio de Fréchet.
Fréchet fue el primero en usar el término "espacio de Banach" y Banach, a su vez, acuñó el término "espacio de Fréchet" para referirse a espacios vectoriales topológicos metrizables completos, sin el requisito de convexidad local (dicho espacio hoy en día a menudo se llama F-espacio).
La condición de localmente convexo fue añadida posteriormente por Nicolas Bourbaki. Es importante tener en cuenta que un número considerable de autores (por ejemplo, Schaefer) usan el término F-espacio para referirse a un espacio de Fréchet (localmente convexo), mientras que otros no requieren que un espacio de Fréchet sea localmente convexo. Además, algunos autores incluso usan "F-espacio" y "espacio de Fréchet" indistintamente.
Al consultar literatura matemática, se recomienda que el lector verifique siempre si la definición del libro o artículo de "F-espacio" y de "espacio de Fréchet" requiere o no convexidad local.

## Definiciones

Los espacios de Fréchet se pueden definir de dos formas equivalentes: el primero emplea una métrica de invariante a la traslación, y el segundo una familia de seminormas numerable.

### Definición métrica invariante

Un espacio vectorial topológico $X$ es un espacio de Fréchet si y solo si satisface las siguientes tres propiedades:
* Es un espacio localmente convexo.
* Su topología puede ser inducida por una métrica invariante a la traslación, es decir, una métrica $d:X\times X\to \mathbb {R}$ tal que $d(x,y)=d(x+z,y+z)$ para todo $x,y,z\in X.$ Esto significa que un subconjunto $U$ de $X$ es abierto si y solo si para cada $u\in U$ existe un $r>0$ tal que $\{v:d(v,u)<r\}$ es un subconjunto de $U.$
* Algunas (o de manera equivalente, todas) las métricas invariantes a la traslación en $X$ que inducen la topología de $X$ son completas.
   * Suponiendo que se cumplan las otras dos condiciones, esta condición es equivalente a que $X$ sea un espacio vectorial topológico completo, lo que significa que $X$ es un espacio uniforme completo cuando está dotado de su uniformidad canónica (esta uniformidad canónica es independiente de cualquier métrica en $X$ y se define completamente en términos de sustracción de vectores y entornos del origen de $X$; además, la uniformidad inducida por cualquier métrica invariante a la traslación (que define la topología) en $X$ es idéntica a esta uniformidad canónica).
Debe tenerse en cuenta que no existe una noción natural de distancia entre dos puntos de un espacio de Fréchet: muchas métricas invariantes a la traslación diferentes pueden inducir la misma topología.

### Definición de familia contable de seminormas

La definición alternativa y algo más práctica es la siguiente: un espacio vectorial topológico $X$ es un espacio de Fréchet si y solo si satisface las siguientes tres propiedades:
* Es un espacio de Hausdorff
* Su topología puede ser inducida por una familia contable de seminormas $||\cdot ||_{k}$ $k=0,1,2,\ldots$. Esto significa que un subconjunto $U\subseteq X$ es abierto si y solo si para cada $u\in U$ existe $K\geq 0$ y $r>0$ tal que $\{v\in X:\|v-u\|_{k}<r{\text{ para todo }}k\geq K\}$ es un subconjunto de $U,$
* Es completo con respecto a la familia de seminormas.
   * Suponiendo que se cumplan las otras dos condiciones, esta condición es equivalente a que $X$ sea un espacio vectorial topológico completo, lo que significa que $X$ es un espacio uniforme completo cuando está dotado de su uniformidad canónica (esta uniformidad canónica es independiente de cualquier métrica en $X$ y se define completamente en términos de la resta de vectores y los entornos del origen de $X$; además, la uniformidad inducida por cualquier métrica invariante a la traslación (que define la topología) en $X$ es idéntica a esta uniformidad canónica).
Debe tenerse en cuenta que no existe una noción natural de distancia entre dos puntos de un espacio de Fréchet: muchas métricas invariantes a la traslación diferentes pueden inducir la misma topología.

### Como espacios de Baire tejidos

* Teorema:
* Un espacio vectorial topológico $X$ es un espacio de Fréchet si y solo si es a la vez un espacio tejido y un espacio de Baire.
* (de Wilde, 1978)

### Comparación con los espacios de Banach

A diferencia de los espacios de Banach, la métrica completa invariante a la traslación no necesita surgir de una norma. Sin embargo, la topología de un espacio de Fréchet surge tanto de una paranorma total como de una F-norma (la "F" significa de Fréchet).
Aunque el espacio topológico de los espacios de Fréchet es más complicado que el de los espacios de Banach debido a la posible falta de una norma, aún se mantienen muchos resultados importantes en el análisis funcional, como el teorema de la función abierta, el teorema de la gráfica cerrada y el teorema de Banach-Steinhaus.

## Construcción de espacios de Fréchet

Recuerde que una seminorma $\|\cdot \|$ es una función de un espacio vectorial $X$ a los números reales que satisfacen tres propiedades. Para todos los $x,y\in X$ y todos los escalares $c,$ $\|x\|\geq 0$ $\|x+y\|\leq \|x\|+\|y\|$ $\|c\cdot x\|=|c|\|x\|$
Si $\|x\|=0\iff x=0$, entonces $\|\cdot \|$ es de hecho una norma. Sin embargo, las seminormas son útiles porque nos permiten construir espacios de Fréchet, como sigue:
Para construir un espacio de Fréchet, normalmente se comienza con un espacio vectorial $X$ y se define una familia contable de seminormas $\|\cdot \|_{k}$ en $X$ con las siguientes dos propiedades:
* si $x\in X$ y $\|x\|_{k}=0$ para todos los $k\geq 0,$ entonces $x=0$;
* si $x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }$ es una secuencia en $X$ que es Cauchy con respecto a cada seminorma $\|\cdot \|_{k},$ entonces existe $x\in X$ tal que $x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }$ converge a $x$ con respecto a cada seminorma $\|\cdot \|_{k}.$
Luego, la topología inducida por estas seminormas (como se explicó anteriormente) convierte a $X$ en un espacio de Fréchet; la primera propiedad asegura que es Hausdorff y la segunda propiedad asegura que está completa. Una métrica completa invariante en la traducción que induce la misma topología en $X$ se puede definir mediante $d(x,y)=\sum _{k=0}^{\infty }2^{-k}{\frac {\|x-y\|_{k}}{1+\|x-y\|_{k}}}\qquad x,y\in X.$
La función $u\mapsto {\frac {u}{1+u}}$ asigna $[0,\infty )$ monótonamente a $[0,1),$ y, por lo tanto, la definición anterior garantiza que $d(x,y)$ es "pequeño" si y solo si existe $K$ "grande", de modo que $\|x-y\|_{k}$ es "pequeño" para $k=0,\ldots ,K.$.

## Ejemplos
### En análisis funcional puro

* Todo espacio de Banach es un espacio de Fréchet, ya que la norma induce una métrica invariante a la traducción y el espacio es completo con respecto a esta métrica.
* El espacio $\mathbb {R} ^{\omega }$ de todas las secuencias de valor real se convierte en un espacio de Fréchet si se define la seminorma $k$-ésima de una secuencia como el valor absoluto del elemento $k$-ésimo de la secuencia. La convergencia en este espacio de Fréchet es equivalente a la convergencia de elementos.

### En variedades suaves

* El espacio vectorial $C^{\infty }([0,1])$ de todas las funciones infinitamente diferenciables $f:[0,1]\to \mathbb {R}$ se convierte en un espacio de Fréchet con las seminormas
$\|f\|_{k}=\sup\{|f^{(k)}(x)|:x\in [0,1]\}$
    para cada entero no negativo $k.$ Aquí, $f^{(k)}$ denota la $k$-ésima derivada de $f,$ y $f^{(0)}=f.$ En este espacio de Fréchet, una secuencia $\left(f_{n}\right)\to f$ de funciones converge hacia el elemento $f\in C^{\infty }([0,1])$ si y solo si para cada entero no negativo $k\geq 0,$ la secuencia $\left(f_{n}^{(k)}\right)\to f^{(k)}$ converge uniformemente .
* El espacio vectorial $C^{\infty }(\mathbb {R} )$ de todas las funciones infinitamente diferenciables $f:\mathbb {R} \to \mathbb {R}$ se convierte en un espacio de Fréchet con las seminormas
$\|f\|_{k,n}=\sup\{|f^{(k)}(x)|:x\in [-n,n]\}$
    para todos los enteros $k,n\geq 0.$ Entonces, una sucesión de funciones $\left(f_{n}\right)\to f$ converge si y solo si para todo $k,n\geq 0,$ las sucesiones $\left(f_{n}^{(k)}\right)\to f^{(k)}$ convergen compactamente.
* El espacio vectorial $C^{m}(\mathbb {R} )$ de todas las funciones continuamente diferenciables $m$-tiempos $f:\mathbb {R} \to \mathbb {R}$ se convierte en un espacio de Fréchet con las seminormas
$\|f\|_{k,n}=\sup\{|f^{(k)}(x)|:x\in [-n,n]\}$
    para todos los enteros $n\geq 0$ y $k=0,\ldots ,m.$
* Si $M$ es una variedad $C^{\infty }$ compacta y $B$ es un espacio de Banach, entonces el conjunto $C^{\infty }(M,B)$ de todas las funciones infinitamente diferenciables $f:M\to B$ se puede convertir en un espacio de Fréchet usando como seminormas la suprema de las normas de todas las derivadas parciales. Si $M$ es una variedad $C^{\infty }$ (no necesariamente compacta) que admite una secuencia numerable $K^{n}$ de subconjuntos compactos, de modo que cada subconjunto compacto de $M$ está contenido en al menos un $K^{n},$, entonces los espacios $C^{m}(M,B)$ y $C^{\infty }(M,B)$ también son espacios de Fréchet de manera natural.
    Como caso especial, cada variedad completa suave de dimensión finita $M$ se puede convertir en una unión anidada de subconjuntos compactos: equípese con una variedad de Riemann $g$ que induce una métrica $d(x,y),$, elíjase $x\in M,$; y entonces $K_{n}=\{y\in M:d(x,y)\leq n\}\ .$
    Sea $X$ una $C^{\infty }$-variedad compacta y $V$ un fibrado vectorial sobre $X.$ Sea $C^{\infty }(X,V)$ el espacio de secciones uniformes de $V$ sobre $X.$ Elíjanse métricas y conexiones riemannianas, cuya existencia está garantizada, en los haces $TX$ y $V.$ Si $s$ es una sección, denótese su derivada covariante j$^{th}$ por $D^{j}s.$ Entonces
$\|s\|_{n}=\sum _{j=0}^{n}\sup _{x\in M}|D^{j}s|$
    (donde $\|\,\cdot \,\|$ es la norma inducida por la métrica de Riemann) es una familia de seminormas que convierten a $C^{\infty }(M,V)$ en un espacio de Fréchet.

### En espacios de funciones holomorfas

* Sea $H$ el espacio de funciones enteras (en todas partes holomorfas) en el plano complejo. Entonces la familia de seminormas
$\|f\|_{n}=\sup\{|f(z)|:|z|\leq n\}$
    convierte $H$ en un espacio Fréchet.
* Sea $H$ el espacio de funciones enteras (holomorfas en todas partes) de tipo exponencial $\tau .$ Entonces, la familia de seminormas
$\|f\|_{n}=\sup _{z\in \mathbb {C} }\exp \left[-\left(\tau +{\frac {1}{n}}\right)|z|\right]|f(z)|$
    convierte $H$ en un espacio de Fréchet.
    No todos los espacios vectoriales con métricas invariantes de traducción completas son espacios de Fréchet. Un ejemplo es el espacio $L^{p}([0,1])$ con $p<1.$
    Aunque este espacio no es localmente convexo, es un F-espacio.

## Propiedades y otras nociones

Si un espacio de Fréchet admite una norma continua, entonces todas las seminormas utilizadas para definirlo pueden ser reemplazadas por normas añadiendo esta norma continua a cada una de ellas.
Un espacio de Banach, $C^{\infty }([a,b]),$ $C^{\infty }(X,V)$ con $X$ compacto, y $H$ todos admiten normas, mientras que $\mathbb {R} ^{\omega }$ y $C(\mathbb {R} )$ no lo hacen.
Un subespacio cerrado de un espacio de Fréchet es un espacio de Fréchet. Un cociente de un espacio de Fréchet por un subespacio cerrado es un espacio de Fréchet. La suma directa de un número finito de espacios de Fréchet es un espacio de Fréchet.
Un producto de numerosos espacios de Fréchet contables vuelve a ser siempre un espacio Fréchet. Sin embargo, un producto arbitrario de espacios de Fréchet será un espacio de Fréchet si y solo si todos "excepto algunos" de ellos son triviales (es decir, tienen dimensión 0). En consecuencia, un producto de innumerables espacios de Fréchet no triviales no puede ser un espacio de Fréchet (de hecho, dicho producto ni siquiera es metrizable porque su origen no puede tener una base de entorno contable). Entonces, por ejemplo, si $I\neq \varnothing$ es cualquier conjunto y $X$ es cualquier espacio de Fréchet no trivial (como $X=\mathbb {R}$, por ejemplo), entonces el producto $X^{I}=\prod _{i\in I}X$ es un espacio de Fréchet si y solo si $I$ es un conjunto contable.
Varias herramientas importantes de análisis funcional que se basan en el teorema de categorías de Baire siguen siendo válidas en los espacios de Fréchet; ejemplos son el teorema de la gráfica cerrada y el teorema de la función abierta. Precisamente, el teorema de la función abierta implica que si $\tau {\text{and }}\tau _{2}$ son topologías en $X$ que convierten tanto $(X,\tau )$ como $\left(X,\tau _{2}\right)$ en espacios vectoriales topológicos completos metrizables (como los espacios de Fréchet) y si una topología es más fina o más gruesa que la otra, entonces deben ser iguales (es decir, si $\tau \subseteq \tau _{2}{\text{ o }}\tau _{2}\subseteq \tau {\text{ entonces }}\tau =\tau _{2}$).
Todo operador lineal acotado de un espacio de Fréchet a otro espacio vectorial topológico es continuo.
Existe un espacio de Fréchet $X$ que tiene un subconjunto acotado $B$ y también un subespacio vectorial denso $M$ tal que $B$ no está contenido en el cierre (en $X$) de ningún subconjunto acotado de $M$.
Todos los espacios de Fréchet son reflexivos. En la teoría de los espacios estereotipados, los espacios de Fréchet son objetos duales de los espacios de Brauner.
Todos los espacios de Montel metrizables son separables. Un espacio de Fréchet separable es un espacio de Montel si y solo si cada secuencia convergente débil-* en su dual continuo es fuertemente convergente.
El espacio dual fuerte $X_{b}^{\prime }$ de un espacio de Fréchet (y más generalmente, de cualquier espacio metrizable localmente convexo) $X$ es un DF-espacio. El dual fuerte de un espacio DF es un espacio de Fréchet. El dual fuerte de un espacio de Fréchet reflexivo es un espacio bornológico y un espacio de Ptak. Todo espacio de Fréchet es un espacio de Ptak. El bidual fuerte (es decir, el espacio dual fuerte del espacio dual fuerte) de un espacio metrizable localmente convexo es un espacio de Fréchet.

### Normas y normabilidad

Si $X$ es un espacio localmente convexo, entonces la topología de $X$ puede ser definida por una familia de normas continuas en $X$ (una norma es una seminorma definida positiva) si y solo si existe al menos una norma continua en $X.$
Incluso si un espacio de Fréchet tiene una topología que está definida por una familia (contable) de normas (todas las normas también son seminormas), es posible que aún no sea un espacio vectorial normado (lo que significa que su topología no puede ser definida por ninguna norma única).
El espacio de todas las secuencias $\mathbb {K} ^{\mathbb {N} }$ (con la topología del producto) es un espacio de Fréchet. No existe ninguna topología de Hausdorff localmente convexa en $\mathbb {K} ^{\mathbb {N} }$ que sea estrictamente más gruesa que esta topología del producto.
El espacio $\mathbb {K} ^{\mathbb {N} }$ no es normable, lo que significa que su topología no puede ser definida por ninguna norma. Además, no existe ninguna norma continua sobre $\mathbb {K} ^{\mathbb {N} }$. De hecho, como muestra el siguiente teorema, siempre que $X$ es un espacio de Fréchet en el que no existe ninguna norma continua, esto se debe enteramente a la presencia de $\mathbb {K} ^{\mathbb {N} }$ como subespacio.
* Teorema: Sea $X$ un espacio de Fréchet sobre el cuerpo $\mathbb {K} .$
* Entonces, las siguientes proposiciones son equivalentes:
* $X$ no admite una norma continua (es decir, cualquier seminorma en $X$ puede no ser una norma).
* $X$ contiene un subespacio vectorial que es un espacio vectorial topológico isomorfo a $\mathbb {K} ^{\mathbb {N} }.$
* $X$ contiene un subespacio vectorial complementado que es un espacio vectorial topológico isomorfo a $\mathbb {K} ^{\mathbb {N} }.$
Si $X$ es un espacio de Fréchet no normable en el que existe una norma continua, entonces $X$ contiene un subespacio vectorial cerrado que no tiene complemento topológico.
Un espacio espacio localmente convexo metrizable es normable si y solo si su espacio dual fuerte es un espacio de Fréchet–Urysohn localmente convexo. En particular, si un espacio metrizable localmente convexo $X$ (como un espacio de Fréchet) es no normable (lo que solo puede suceder si $X$ es de dimensión infinita), entonces su espacio dual fuerte $X_{b}^{\prime }$ no es un espacio de Fréchet-Urysohn y, en consecuencia, este espacio de Hausdorff completo localmente convexo $X_{b}^{\prime }$ tampoco es metrizable ni normable.
El espacio dual fuerte de un espacio de Fréchet (y más generalmente de los espacios bornológicos como los espacios vectoriales topológicos metrizables) es siempre un espacio vectorial topológico completo y, por lo tanto, como cualquier espacio vectorial topológico completo, es normable si y solo si su topología puede ser inducida por un espacio de Banach (es decir, si y solo si se puede convertir en un espacio de Banach que tenga la misma topología). Si $X$ es un espacio de Fréchet, entonces $X$ es normable si (y solo si) existe una norma completa en su espacio dual continuo $X'$ tal que la topología inducida por la norma en $X'$ es más fina que la topología débil-*.
En consecuencia, si un espacio de Fréchet es no normal (lo que solo puede suceder si es de dimensión infinita), entonces tampoco lo es su espacio dual fuerte.

### Teorema de Anderson-Kadec

* Teorema de Anderson–Kadec: Todo espacio de Fréchet real separable de dimensión infinita es homeomorfo a $\mathbb {R} ^{\mathbb {N} },$ el producto cartesiano de numerosas copias numerables de la recta real $\mathbb {R} .$
Debe tenerse en cuenta que el homeomorfismo descrito en el teorema de Anderson-Kadec es no necesariamente lineal.
* Teorema de Eidelheit: Un espacio de Fréchet es isomorfo a un espacio de Banach o tiene un espacio cociente isomorfo a $\mathbb {R} ^{\mathbb {N} }.$

## Diferenciación de funciones

Si $X$ y $Y$ son espacios Fréchet, entonces el espacio $L(X,Y)$ que consta de todas las aplicaciones lineales continuas desde $X$ hasta $Y$ no es un espacio de Fréchet de cualquier manera natural. Esta es una gran diferencia entre la teoría de los espacios de Banach y la de los espacios de Fréchet y requiere una definición diferente para la diferenciabilidad continua de las funciones definidas en los espacios de Fréchet, la derivada de Gateaux:
Supóngase que $U$ es un subconjunto abierto de un espacio de Fréchet $X,$ $P:U\to Y$ es una función valorada en un espacio de Fréchet $Y,$ $x\in U$ y $h\in X.$ La aplicación $P$ es diferenciable en $x$ en la dirección $h$ si existe el límite
    $D(P)(x)(h)=\lim _{t\to 0}\,{\frac {1}{t}}\left(P(x+th)-P(x)\right)$
Se dice que la aplicación $P$ es continuamente diferenciable en $U$ si la siguiente aplicación $D(P):U\times X\to Y$ es continua. Dado que el producto de los espacios de Fréchet es nuevamente un espacio de Fréchet, se puede intentar diferenciar $D(P)$ y definir las derivadas superiores de $P$ de esta manera.
El operador derivada $P:C^{\infty }([0,1])\to C^{\infty }([0,1])$ definido por $P(f)=f'$ es en sí mismo infinitamente diferenciable. La primera derivada está dada por
    $D(P)(f)(h)=h'$
para dos elementos cualesquiera $f,h\in C^{\infty }([0,1]).$ Esta es una gran ventaja del espacio de Fréchet $C^{\infty }([0,1])$ sobre el espacio de Banach $C^{k}([0,1])$ para $k$ finito.
Si $P:U\to Y$ es una función continuamente diferenciable, entonces la ecuación diferencial
    $x'(t)=P(x(t)),\quad x(0)=x_{0}\in U$
no necesita tener ninguna solución, e incluso si la tiene, las soluciones no necesitan ser únicas. Este hecho está en marcado contraste con la situación en los espacios de Banach. En general, el teorema de la función inversa no es cierto en los espacios de Fréchet, aunque un sustituto parcial es el teorema de Nash-Moser.

## Variedades de Fréchet y grupos de Lie

Se pueden definir variedades de Fréchet como espacios que "se parecen localmente" a espacios de Fréchet (al igual que las variedades ordinarias se definen como espacios que se parecen localmente a un espacio euclídeo $\mathbb {R} ^{n}$), y luego se puede extender el concepto de grupo de Lie a estas variedades.
Esto es útil porque para una variedad $C^{\infty }$ compacta (ordinaria) dada $M$, el conjunto de todos los $C^{\infty }$ difeomorfismos $f:M\to M$ forma un grupo de Lie generalizado en este sentido, y este grupo de Lie captura las simetrías de $M$.
Algunas de las relaciones entre las álgebras de Lie y los grupos de Lie siguen siendo válidas en este contexto.
Otro ejemplo importante de un grupo de Fréchet-Lie es el grupo de bucle de un grupo de Lie compacto $G$, las aplicaciones suaves ($C^{\infty }$) $\gamma :S^{1}\to G,$ multiplicadas puntualmente por $\left(\gamma _{1}\gamma _{2}\right)(t)=\gamma _{1}(t)\gamma _{2}(t)..$

## Generalizaciones

Si se elimina el requisito de que el espacio sea localmente convexo, se obtiene los F-espacios: espacios vectoriales con métricas completas invariantes respecto a la traslación.
Los LF-espacios son límites inductivos contables de los espacios de Fréchet.