Un espacio vectorial topológico localmente convexo que también es un espacio métrico completo
En el análisis funcional y áreas relacionadas de las matemáticas , los espacios de Fréchet , llamados así en honor a Maurice Fréchet , son espacios vectoriales topológicos especiales . Son generalizaciones de los espacios de Banach ( espacios vectoriales normados que son completos respecto de la métrica inducida por la norma ). Todos los espacios de Banach y 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 no suelen ser espacios de Banach.
Un espacio de Fréchet se define como un espacio vectorial topológico metrizable (TVS) localmente convexo que es completo como TVS , lo que significa que cada secuencia de Cauchy converge en algún punto (ver nota al pie para más detalles). [nota 1]
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Nota importante : no todos los autores exigen que un espacio de Fréchet sea localmente convexo (se analiza a continuación).
La topología de cada espacio de Fréchet está inducida por alguna métrica completa invariante a la traducción . Por el contrario, si la topología de un espacio localmente convexo es inducida por una métrica completa invariante a la traducción, entonces es un espacio de Fréchet. ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Fréchet fue el primero en utilizar el término " espacio de Banach " y Banach , a su vez, acuñó el término "espacio de Fréchet" para referirse a un espacio vectorial topológico metrizable completo , sin el requisito de convexidad local (hoy en día, dicho espacio a menudo se denomina " F- espacio ").
El requisito de convexidad local fue añadido más tarde por Nicolas Bourbaki .
Es importante señalar que un número considerable de autores (por ejemplo, Schaefer) utilizan "espacio F" 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 utilizan " espacio F " y "espacio de Fréchet" indistintamente. Al leer literatura matemática, se recomienda que el lector siempre compruebe si la definición del libro o artículo de " espacio F " y "espacio de Fréchet" requiere convexidad local.
Definiciones
Los espacios de Fréchet se pueden definir de dos formas equivalentes: la primera emplea una métrica invariante a la traducción , la segunda una familia contable de seminormas .
Definición de métrica invariante
Un espacio vectorial topológico es un espacio de Fréchet si y sólo si satisface las tres propiedades siguientes:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Es localmente convexo . [nota 2]
- Su topología puede ser inducida por una métrica invariante de traducción, es decir, una métrica tal que para todos. Esto significa que un subconjunto de es abierto si y sólo si para cada existe un tal que sea un subconjunto de
![{\displaystyle d:X\times X\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(x,y)=d(x+z,y+z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x,y,z\en X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u\en U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{v:d(v,u)<r\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Alguna (o equivalentemente, cada) métrica invariante de traducción para inducir la topología de está completa .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Suponiendo que se cumplan las otras dos condiciones, esta condición equivale a ser un espacio vectorial topológico completo , es decir, que es un espacio uniforme completo cuando está dotado de su uniformidad canónica (esta uniformidad canónica es independiente de cualquier métrica y está definida enteramente). en términos de resta de vectores y vecindades del origen; además, la uniformidad inducida por cualquier métrica invariante de traducción (que define la topología) es idéntica a esta uniformidad canónica).
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que no existe una noción natural de distancia entre dos puntos de un espacio de Fréchet: muchas métricas diferentes invariantes de traducción 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 es un espacio de Fréchet si y sólo si satisface las tres propiedades siguientes:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Es un espacio Hausdorff ,
- Su topología puede ser inducida por una familia contable de seminormas. Esto significa que un subconjunto es abierto si y sólo si para cada existe un subconjunto de
![{\displaystyle k=0,1,2,\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u\en U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{v\in X:\|vu\|_{k}<r{\text{ para todos }}k\leq K\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- está completo con respecto a la familia de seminormas.
Una familia de seminormas produce una topología de Hausdorff si y sólo si [2]![{\displaystyle {\mathcal {P}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \bigcap _{\|\,\cdot \,\|\in {\mathcal {P}}}\{x\in X:\|x\|=0\}=\{0\}. }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una secuencia en converge en el espacio de Fréchet definido por una familia de seminormas si y sólo si converge con respecto a cada una de las seminormas dadas.![{\displaystyle x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como espacios palmeados de Baire
Comparación con los espacios de Banach
A diferencia de los espacios de Banach , la métrica invariante de traducción completa no tiene por qué surgir de una norma. Sin embargo, la topología de un espacio de Fréchet surge tanto de una paranorma total como de una norma F (la F significa Fréchet).
Aunque la estructura topológica de los espacios de Fréchet es más complicada que la de los espacios de Banach debido a la posible falta de una norma, muchos resultados importantes en el análisis funcional, como el teorema de mapeo abierto , el teorema del grafo cerrado y el teorema de Banach-Steinhaus , Todavía aguanto.
Construyendo espacios de Fréchet
Recuerde que una seminorma es una función desde un espacio vectorial hasta los números reales que satisfacen tres propiedades. Para todos y todos los escalares![{\displaystyle \|\cdot \|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x,y\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|x\|\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|x+y\|\leq \|x\|+\|y\|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|c\cdot x\|=|c|\|x\|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si , entonces es de hecho una norma. Sin embargo, las seminormas son útiles porque nos permiten construir espacios de Fréchet de la siguiente manera:![{\displaystyle \|x\|=0\iff x=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\cdot \|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para construir un espacio de Fréchet, normalmente se comienza con un espacio vectorial y se define una familia contable de seminormas con las dos propiedades siguientes:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\cdot \|_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- si y para todos entonces ;
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|x\|_{k}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\geq 0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- si es una secuencia en la que es Cauchy con respecto a cada seminorma entonces existe tal que converge con respecto a cada seminorma
![{\displaystyle x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\cdot \|_{k},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\cdot \|_{k}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces la topología inducida por estas seminormas (como se explicó anteriormente) se convierte en un espacio de Fréchet; la primera propiedad asegura que sea Hausdorff y la segunda propiedad asegura que esté completa. Una métrica completa invariante en la traducción que induce la misma topología puede definirse mediante![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(x,y)=\sum _{k=0}^{\infty }2^{-k}{\frac {\|xy\|_{k}}{1+\|xy\ |_{k}}}\qquad x,y\in X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La función se asigna monótonamente y, por lo tanto, la definición anterior garantiza que sea "pequeña" si y sólo si existe algo "grande" que sea "pequeño" para![{\displaystyle u\mapsto {\frac {u}{1+u}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [0,\infty)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [0,1),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|xy\|_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k=0,\ldots ,K.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
Del 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 de todas las secuencias con valores reales
(también denominado ) se convierte en un espacio de Fréchet si definimos la -ésima seminorma de una secuencia como el valor absoluto del -ésimo elemento de la secuencia. La convergencia en este espacio de Fréchet es equivalente a la convergencia de elementos.![{\displaystyle \mathbb {R} ^{\mathbb {N} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De colectores lisos
- El espacio vectorial de todas las funciones infinitamente diferenciables se convierte en un espacio de Fréchet con las seminormas
para cada entero no negativo. Aquí, denota la -ésima derivada de y En este espacio de Fréchet, una secuencia de funciones converge hacia el elemento si y solo si para cada no -entero negativo la secuencia converge uniformemente .
![{\displaystyle C^{\infty }([0,1])}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:[0,1]\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|f\|_{k}=\sup\{|f^{(k)}(x)|:x\in [0,1]\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{(k)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{(0)}=f.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(f_{n}\right)\to f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\in C^{\infty }([0,1])}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\geq 0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El espacio vectorial de todas las funciones infinitamente diferenciables se convierte en un espacio de Fréchet con las seminormas
para todos los números enteros. Entonces, una secuencia de funciones converge si y sólo si para cada las secuencias convergen de forma compacta .
![{\displaystyle C^{\infty }(\mathbb {R} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:\mathbb {R} \to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|f\|_{k,n}=\sup\{|f^{(k)}(x)|:x\in [-n,n]\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k,n\geq 0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(f_{n}\right)\to f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k,n\geq 0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El espacio vectorial de funciones continuamente diferenciables de todos los tiempos se convierte en un espacio de Fréchet con las seminormas
para todos los números enteros y
![{\displaystyle C^{m}(\mathbb {R} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:\mathbb {R} \to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|f\|_{k,n}=\sup\{|f^{(k)}(x)|:x\in [-n,n]\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k=0,\ldots,m.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una variedad compacta y es un espacio de Banach , entonces el conjunto de todas las funciones infinitamente diferenciables se puede convertir en un espacio de Fréchet utilizando como seminormas la suprema de las normas de todas las derivadas parciales. Si es una variedad (no necesariamente compacta) que admite una secuencia contable de subconjuntos compactos, de modo que cada subconjunto compacto de esté contenido en al menos uno, entonces los espacios y también son espacios de Fréchet de manera natural. Como caso especial, cada variedad completa suave de dimensión finita se puede convertir en una unión anidada de subconjuntos compactos: equípela con una métrica de Riemann que induzca a elegir una métrica y
sea una variedad compacta y un paquete vectorial sobre Let denote el espacio de secciones suaves de Elija métricas y conexiones de Riemann, cuya existencia está garantizada, en los paquetes y Si es una sección, denota su j -ésima derivada covariante por Entonces
(donde está la norma inducida por la métrica de Riemann) es una familia de seminormas convirtiéndose en un espacio Fréchet.
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(M,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:M\a B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K^{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{m}(M,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(x,y),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en M,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K_{n}=\{y\in M:d(x,y)\leq n\}\ .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(X,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle TX}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D^{j}s.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|s\|_{n}=\sum _ {j=0}^{n}\sup _ {x\in M}|D^{j}s|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\,\cdot \,\|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(M,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De la holomorfidad
- Sea el espacio de funciones completas (en todas partes holomorfas ) en el plano complejo. Entonces la familia de seminormas
se convierte en un espacio Fréchet.
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|f\right|_{n}=\sup\{\left|f(z)\right|:|z|\leq n\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sea el espacio de funciones enteras (en todas partes holomorfas) de tipo exponencial. Entonces la familia de seminormas
se convierte en un espacio de Fréchet.
![{\displaystyle \tau.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|f\right|_{n}=\sup _{z\in \mathbb {C} }\exp \left[-\left(\tau +{\frac {1}{n}} \right)|z|\right]\left|f(z)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
No todos los espacios vectoriales con métricas invariantes de traducción completas son espacios de Fréchet. Un ejemplo es el espacio
con
Aunque este espacio no es localmente convexo, es un espacio F.![{\displaystyle p<1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades y nociones adicionales.
Si un espacio de Fréchet admite una norma continua entonces todas las seminormas utilizadas para definirlo pueden ser reemplazadas por normas agregando esta norma continua a cada una de ellas. Un espacio de Banach, compacto , y donde todos admiten normas, mientras que y no.
![{\displaystyle C^{\infty }(X,V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{\omega }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C(\mathbb {R} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 innumerables espacios de Fréchet vuelve a ser siempre un espacio de Fréchet. Sin embargo, un producto arbitrario de espacios de Fréchet será un espacio de Fréchet si y sólo si todos, excepto muchos de ellos, como mucho, son triviales (es decir, tienen dimensión 0). En consecuencia, un producto de incontables espacios de Fréchet no triviales no puede ser un espacio de Fréchet (de hecho, tal producto ni siquiera es metrizable porque su origen no puede tener una base de vecindad contable). Entonces, por ejemplo, si es cualquier conjunto y es un espacio de Fréchet no trivial (como, por ejemplo), entonces el producto es un espacio de Fréchet si y solo si es un conjunto contable. ![{\displaystyle I\neq \varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X=\mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X^{I}=\prod _{i\in I}X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Varias herramientas importantes de análisis funcional que se basan en el teorema de la categoría de Baire siguen siendo válidas en los espacios de Fréchet; ejemplos son el teorema del grafo cerrado y el teorema de mapeo abierto . El teorema de mapeo abierto implica que si hay topologías que convierten a ambos en TVS metrizables completos (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 ). ![{\displaystyle \tau {\text{ y }}\tau _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\tau)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau \subseteq \tau _{2}{\text{ o }}\tau _{2}\subseteq \tau {\text{ entonces }}\tau =\tau _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todo operador lineal acotado desde un espacio de Fréchet a otro espacio vectorial topológico (TVS) es continuo.
Existe un espacio de Fréchet que tiene un subconjunto acotado y también un subespacio vectorial denso tal que no está contenido en la clausura (en ) de ningún subconjunto acotado de ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todos los espacios de Fréchet son espacios estereotipados . En la teoría de los espacios estereotipados, los espacios de Fréchet son objetos duales de los espacios de Brauner . Todos los espacios Montel metrizables son separables . Un espacio de Fréchet separable es un espacio de Montel si y sólo si cada secuencia convergente débil-* en sus convergencias duales continuas es fuertemente convergente .
El espacio dual fuerte de un espacio de Fréchet (y más generalmente, de cualquier espacio localmente convexo metrizable ) es un espacio DF . [9]
El dual fuerte de un espacio DF es un espacio de Fréchet.
El dual fuerte de un espacio reflexivo de Fréchet 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 localmente convexo metrizable es un espacio de Fréchet. ![{\displaystyle X_{b}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Normas y normalidad
Si es un espacio localmente convexo entonces la topología de puede estar definida por una familia de normas continuas en (una norma es una seminorma definida positiva ) si y sólo si existe al menos una norma continua en
Incluso si un Fréchet el espacio tiene una topología que está definida por una familia (contable) de normas (todas las normas son también seminormas), entonces, aún así, puede no ser un espacio normal (lo que significa que su topología no puede definirse por una sola norma). El espacio de todas las secuencias (con la topología del producto) es un espacio de Fréchet. No existe ninguna topología localmente convexa de Hausdorff que sea estrictamente más burda que esta topología de producto.
El espacio no es normable , lo que significa que su topología no puede ser definida por ninguna norma . Además, no existe ninguna norma continua . De hecho, como muestra el siguiente teorema, siempre que hay un espacio de Fréchet en el que no existe ninguna norma continua, entonces esto se debe enteramente a la presencia de un subespacio. ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} ^{\mathbb {N} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} ^{\mathbb {N} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} ^{\mathbb {N} }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} ^{\mathbb {N} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es un espacio de Fréchet no normable en el que existe una norma continua, entonces contiene un subespacio vectorial cerrado que no tiene complemento topológico . ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un espacio localmente convexo metrizable es normal si y sólo si su espacio dual fuerte es un espacio localmente convexo de Fréchet-Urysohn . [9] En particular, si un espacio metrizable localmente convexo (como un espacio de Fréchet) no es normable (lo que sólo puede suceder si es de dimensión infinita), entonces su espacio dual fuerte no es un espacio de Fréchet-Urysohn y, en consecuencia, este espacio completo de Hausdorff El espacio localmente convexo tampoco es metrizable ni normable.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{b}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{b}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El espacio dual fuerte de un espacio de Fréchet (y, más generalmente, de espacios bornológicos como los TVS metrizables) es siempre un TVS completo y, por lo tanto, como cualquier TVS completo, es normal si y sólo si su topología puede ser inducida por una norma completa ( es decir, si y sólo si se puede convertir en un espacio de Banach que tenga la misma topología). Si es un espacio de Fréchet, entonces es normal si (y sólo si) existe una norma completa en su espacio dual continuo tal que la topología inducida por la norma sea más fina que la topología débil-*. [15]
En consecuencia, si un espacio de Fréchet no es normable (lo que sólo puede suceder si es de dimensión infinita) entonces tampoco lo es su espacio dual fuerte. ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema de Anderson-Kadec
Tenga en cuenta que el homeomorfismo descrito en el teorema de Anderson-Kadec no es necesariamente lineal.
Teorema de Eidelheit : un espacio de Fréchet es isomorfo a un espacio de Banach o tiene un espacio cociente isomorfo a![{\displaystyle \mathbb {R} ^{\mathbb {N} }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Diferenciación de funciones
Si y son espacios de Fréchet, entonces el espacio que consta de todos los mapas lineales continuos desde a no es un espacio de Fréchet de ninguna manera natural. Ésta es una diferencia importante entre la teoría de los espacios de Banach y la de los espacios de Fréchet y requiere una definición diferente de la diferenciabilidad continua de funciones definidas en los espacios de Fréchet, la derivada de Gateaux :![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Supongamos que es un subconjunto abierto de un espacio de Fréchet, es una función valorada en un espacio de Fréchet y el mapa es diferenciable en la dirección si el límite
existe. Se dice que el mapa es continuamente diferenciable si el mapa
es continuo. Dado que el producto de los espacios de Fréchet es nuevamente un espacio de Fréchet, podemos intentar diferenciar y definir las derivadas superiores de de esta manera. ![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P:U\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h\en X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D(P)(x)(h)=\lim _{t\to 0}\,{\frac {1}{t}}\left(P(x+th)-P(x)\ bien)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D(P):U\times X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D(P)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El operador derivada definido por es en sí mismo infinitamente diferenciable. La primera derivada está dada por
para dos elementos cualesquiera.
Esta es una gran ventaja del espacio de Fréchet sobre el espacio de Banach para finitos.![{\displaystyle P:C^{\infty }([0,1])\to C^{\infty }([0,1])}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P(f)=f'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D(P)(f)(h)=h'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f,h\in C^{\infty }([0,1]).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }([0,1])}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{k}([0,1])}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es una función continuamente diferenciable, entonces la ecuación diferencial
no necesita tener soluciones, e incluso si las tuviera, las soluciones no necesitan ser únicas. Esto contrasta marcadamente con la situación en los espacios de Banach. ![{\displaystyle P:U\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x'(t)=P(x(t)),\quad x(0)=x_{0}\en U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 las variedades de Fréchet como espacios que "localmente se parecen" a los espacios de Fréchet (al igual que las variedades ordinarias se definen como espacios que localmente se parecen al espacio euclidiano ), y luego se puede extender el concepto de grupo de Lie a estas variedades. Esto es útil porque para una variedad compacta (ordinaria) dada , el conjunto de todos los difeomorfismos forma un grupo de Lie generalizado en este sentido, y este grupo de Lie captura las simetrías de
Algunas de las relaciones entre álgebras de Lie y grupos de Lie siguen siendo válidas en este entorno.![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:M\a M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otro ejemplo importante de un grupo de Fréchet Lie es el grupo de bucle de un grupo de Lie compacto, las asignaciones suaves ( ) multiplicadas puntualmente por [16] [17]![{\displaystyle G,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma:S^{1}\a G,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(\gamma _{1}\gamma _{2}\right)(t)=\gamma _{1}(t)\gamma _{2}(t)..}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Generalizaciones
Si eliminamos el requisito de que el espacio sea localmente convexo, obtenemos espacios F : espacios vectoriales con métricas invariantes de traslación completas.
Los espacios LF son límites inductivos contables de los espacios de Fréchet.
Ver también
Notas
- ^ Aquí "Cauchy" significa Cauchy con respecto a la uniformidad canónica que poseen todos los TVS . Es decir, una secuencia en un TVS es Cauchy si y sólo si para todas las vecindades del origen en siempre y son suficientemente grandes. Tenga en cuenta que esta definición de secuencia de Cauchy no depende de ninguna métrica en particular y ni siquiera requiere que sea metrizable.
![{\displaystyle x_{\bullet }=\left(x_{m}\right)_{m=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{m}-x_{n}\en U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Algunos autores no incluyen la convexidad local como parte de la definición de espacio de Fréchet.
Citas
- ^ Conway 1990, Capítulo 4.
- ^ ab Gabriyelyan, SS "Sobre espacios topológicos y grupos topológicos con ciertas redes locales contables (2014)
- ^ "El dual de un espacio Fréchet". 24 de febrero de 2012 . Consultado el 26 de abril de 2021 .
- ^ Sergeev 2010
- ^ Pressley y Segal 1986
Referencias
- "Espacio Fréchet", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Berberiano, Sterling K. (1974). Conferencias sobre Análisis Funcional y Teoría del Operador . Textos de Posgrado en Matemáticas. vol. 15. Nueva York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Conway, Juan (1990). Un curso de análisis funcional . Textos de Posgrado en Matemáticas . vol. 96 (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908.
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138.
- Grothendieck, Alejandro (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon y Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Khaleelulla, SM (1982). Contraejemplos en espacios vectoriales topológicos . Apuntes de conferencias de matemáticas . vol. 936. Berlín, Heidelberg, Nueva York: Springer-Verlag . ISBN 978-3-540-11565-6. OCLC 8588370.
- Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. SEÑOR 0248498. OCLC 840293704.
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Pressley, Andrés; Segal, Graeme (1986). Grupos de bucle. Monografías de matemáticas de Oxford. Publicaciones científicas de Oxford. Nueva York: Oxford University Press . ISBN 0-19-853535-X. SEÑOR 0900587.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Tratados de Cambridge en Matemáticas. vol. 53. Cambridge Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250.
- Rudin, Walter (1991). Análisis funcional. Serie Internacional en Matemática Pura y Aplicada. vol. 8 (Segunda ed.). Nueva York, NY: McGraw-Hill Ciencias/Ingeniería/Matemáticas . ISBN 978-0-07-054236-5. OCLC 21163277.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Sergeev, Armen (2010). Geometría de Kähler de espacios de bucle. Memorias de la Sociedad Matemática de Japón. vol. 23. Publicaciones científicas mundiales . doi :10.1142/e023. ISBN 978-4-931469-60-0.
- Adasch, Norberto; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de conferencias de matemáticas. vol. 639. Berlín Nueva York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003.
- Swartz, Charles (1992). Una introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.