Espacio F

En análisis funcional, un espacio F (también escrito en ocasiones F-espacio) es un espacio vectorial $X$ sobre los números reales o complejos junto con una métrica $d:X\times X\to ℝ$ tal que:

1. La multiplicación escalar en $X$ es continua con respecto a $d$ y la métrica estándar en $ℝ$ o $ℂ.$
2. La suma en $X$ es continua con respecto a $d.$
3. La métrica es invariante a la traslación; es decir, $d(x+a,y+a)=d(x,y)$ para todos los $x,y,a\in X.$
4. El espacio métrico $(X,d)$ es completo.

La operación $x\mapsto \Vert x\Vert :=d(0,x)$ 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 Plantilla:Enf en lugar de Plantilla:Enf, 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

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 $d(ax,0)=|a|d(x,0).$

Los espacios L^p se puede convertir en espacios F para todos los $p\ge 0$ y para $p\ge 1$ se pueden convertir en espacios localmente convexos y, por lo tanto, en espacios de Fréchet e incluso en espacios de Banach.

Ejemplo 1

$L^{\frac{1}{2}}[0,1]$ es un espacio F. No admite seminormas continuas ni funcionales lineales continuos; tiene espacio dual trivial.

Ejemplo 2

Sea $W_p(𝔻)$ el espacio de todas las serie de Taylor con valores complejos

$f(z)=\sum _{n\ge 0}{a}_n{z}^n$

en el disco unitario $𝔻$, de modo que

$\sum _n{\left|a_n\right|}^p<\mathrm{\infty }$

entonces, para $0<p<1,$, $W_p(𝔻)$ son espacios F bajo espacios Lp:

$\Vert f{\Vert }_p=\sum _n{\left|a_n\right|}^p(0<p<1).$

De hecho, $W_p$ es un álgebra casi de Banach. Además, para cualquier $\zeta$ con $|\zeta |\le 1$, la aplicación $f\mapsto f(\zeta )$ es lineal acotada (funcional multiplicativo) en $W_p(𝔻).$

Propiedades relacionadas

El teorema de la función abierta implica que si $\tau \text{and }{\tau }_2$ son topologías en $X$ que convierten a $(X,\tau )$ y $(X,{\tau }_2)$ en espacios vectoriales topológicos metrizables completos (por ejemplo, de Banach o 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{or }{\tau }_2\subseteq \tau \text{then }\tau ={\tau }_2$).Plantilla:Sfn

• Una aplicación lineal casi continua en un espacio F cuyo gráfico es cerrado es continua.Plantilla:Sfn
• Una aplicación lineal casi abierta en un espacio F cuyo gráfico es cerrado es necesariamente una aplicación abierta.Plantilla:Sfn
• Una aplicación lineal casi abierta continua de un espacio F es necesariamente una aplicación abierta.Plantilla:Sfn
• Una aplicación lineal continua casi abierta de un espacio F cuya imagen es exigua en el codominio es necesariamente una aplicación abierta sobreyectiva.Plantilla:Sfn

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro