La operación se denomina norma F, aunque en general no es necesario que una norma F sea homogénea. Con invariancia a la traslación, la métrica se puede recuperar de la norma F. Por lo 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" está reservado para los 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 ser o no ser necesariamente parte de la estructura en un espacio F. Muchos autores solo requieren que dicho espacio sea metrizable, de manera que satisfaga las propiedades anteriores.
Ejemplos
editar
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 Lp se puede convertir en espacios F para todos los y para se pueden convertir en espacios localmente convexos y, por lo tanto, en espacios de Fréchet e incluso en espacios de Banach.
Ejemplo 1
editar
es un espacio F. No admite seminormas continuas ni funcionales lineales continuos; tiene espacio dual trivial.
Ejemplo 2
editar
Sea el espacio de todas las serie de Taylor con valores complejos
Sea una métrica cualquiera[nota 1] en un espacio vectorial tal que la topología inducida por en convierte a en un espacio vectorial topológico. Si es un espacio métrico completo, entonces es un espacio vectorial topológico completo.
↑Klee, V. L. (1952). «Invariant metrics in groups (solution of a problem of Banach)». Proc. Amer. Math. Soc.3 (3): 484-487. doi:10.1090/s0002-9939-1952-0047250-4.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN978-1-4612-7155-0. OCLC 840278135.