Espacio de Smith
# Espacio de Smith

En análisis funcional y áreas relacionadas de las matemáticas, un espacio de Smith es un espacio localmente convexo completo $X$ generado de forma compacta que posee un conjunto compacto universal, es decir, un conjunto compacto $K$ que absorbe a todos los demás conjuntos compactos $T\subseteq X$ (es decir, $T\subseteq \lambda \cdot K$ para algunos $\lambda >0$).

Los espacios de Smith llevan el nombre de Marianne Ruth Freundlich Smith, quien los presentó como duales de un espacio de Banach en algunas versiones de la teoría de la dualidad para espacios vectoriales topológicos. Todos los espacios de Smith son estereotipos, y forman parte de las relaciones de dualidad estereotipadas con los espacios de Banach:

   * Para cualquier espacio de Banach $X$, su estereotipo de espacio dual $X^{\star }$ es un espacio de Smith.

   * Y viceversa, para cualquier espacio de Smith $X$ su espacio dual estereotipado $X^{\star }$ es un espacio de Banach.

Los espacios de Smith son casos especiales de los espacios de Brauner.

## Ejemplos

* Como se desprende de los teoremas de dualidad, para cualquier espacio de Banach $X$ su espacio dual estereotipado $X^{\star }$ es un espacio de Smith. El polar $K=B^{\circ }$ de la bola unitaria $B$ en $X$ es el conjunto compacto universal en $X^{\star }$. Si $X^{*}$ denota el espacio normado dual para $X$, y $X'$ es el espacio $X^{*}$ dotado con la topología débil de $X$, entonces la topología de $X^{\star }$ se encuentra entre la topología de $X^{*}$ y la topología de $X'$, por lo que existen las biyecciones naturales (lineales continuas)

       $X^{*}\to X^{\star }\to X'.$
    Si $X$ es de dimensión infinita, entonces no coinciden dos de estas topologías. Al mismo tiempo, para $X$ de dimensión infinita, el espacio $X^{\star }$ no es barrilado (e incluso no es un espacio de Mackey si $X$ es reflexivo como un Espacio de Banach).
* Si $K$ es un conjunto equilibrado compacto convexo en un espacio localmente convexo $Y$, entonces su sistema generador ${\mathbb {C} }K=\operatorname {span} (K)$ posee una estructura única de un espacio de Smith con $K$ como conjunto compacto universal (y con la misma topología en $K$).
* Si $M$ es un espacio compacto (de Hausdorff), y ${\mathcal {C}}(M)$ es el espacio de Banach de funciones continuas en $M$ (con la norma del supremo habitual), entonces el estereotipo de espacio dual ${\mathcal {C}}^{\star }(M)$ (de medida de Radon en $M$ con la topología de convergencia uniforme en conjuntos compactos en ${\mathcal {C}}(M)$), es un espacio de Smith. En el caso especial en el que $M=G$ está dotado de una estructura de grupo topológico, el espacio ${\mathcal {C}}^{\star }(G)$ se convierte en un ejemplo natural de álgebra de grupos de estereotipos.
* Un espacio de Banach $X$ es un espacio de Smith si y solo si $X$ es de dimensión finita.
