Espacio vectorial topológico con una métrica invariante de traducción completa
En análisis funcional , un espacio F es un espacio vectorial sobre números reales o complejos junto con una métrica tal que
- La multiplicación escalar en es continua con respecto a y la métrica estándar en o
- La adición es continua con respecto a
- La métrica es invariante a la traducción ; es decir, para todos
- El espacio métrico está completo .
La operación se denomina norma F , aunque en general no es necesario que una norma F sea homogénea. Por invariancia de traducción , la métrica se puede recuperar de la norma F. Por tanto, un espacio F real o complejo es equivalente a un espacio vectorial real o complejo equipado con una norma F completa.
Algunos autores utilizan el término espacio de Fréchet en lugar de espacio F , pero normalmente el término "espacio de Fréchet" se reserva para espacios F localmente convexos . Algunos otros autores utilizan el término "espacio F" como sinónimo de "espacio de Fréchet", con lo que se refieren a un espacio vectorial topológico metrizable completo localmente convexo . La métrica puede o no necesariamente ser parte de la estructura en un espacio F; muchos autores sólo exigen que dicho espacio sea metrizable de manera que satisfaga las propiedades anteriores.
Ejemplos
Todos los espacios de Banach y los espacios de Fréchet son espacios F. En particular, un espacio de Banach es un espacio F con un requisito adicional de que [1]
Los espacios L p se pueden convertir en espacios F para todos y se pueden convertir en espacios localmente convexos y, por lo tanto, en espacios de Fréchet e incluso en espacios de Banach.
Ejemplo 1
es un espacio F. No admite seminormas continuas ni funcionales lineales continuos: tiene un espacio dual trivial .
Ejemplo 2
Sea el espacio de todas las series de Taylor con valores complejos.
norma pDe hecho, es un álgebra cuasi-Banach . Además, para cualquiera con el mapa es un lineal acotado (funcional multiplicativo) en
Condiciones suficientes
Propiedades relacionadas
El teorema de mapeo abierto implica que si hay topologías que convierten a ambos en espacios vectoriales topológicos metrizables completos (por ejemplo, espacios de Banach o 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 ).
Ver también
Referencias
- ^ Dunford N., Schwartz JT (1958). Operadores lineales. Parte I: teoría general. Interscience Publishers, Inc., Nueva York. pag. 59
- ^ Klee, VL (1952). «Métricas invariantes en grupos (solución de un problema de Banach)» (PDF) . Proc. América. Matemáticas. Soc . 3 (3): 484–487. doi : 10.1090/s0002-9939-1952-0047250-4 .
Notas
- ^ No se supone que sea invariante en la traducción.
Fuentes
- Husain, Taqdir; Khaleelulla, SM (1978). "Barrelness" en espacios vectoriales topológicos y ordenados . Apuntes de conferencias de matemáticas . vol. 692. Berlín, Nueva York, Heidelberg: Springer-Verlag . ISBN 978-3-540-09096-0. OCLC 4493665.
- 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.
- 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.
- Rudin, Walter (1966). Análisis real y complejo . McGraw-Hill. ISBN 0-07-054234-1.
- 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.
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Prensa académica. ISBN 978-0-12-622760-4. OCLC 175294365.
- 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.