# Espacio semirreflexivo

En el área de las matemáticas conocida como análisis funcional, un espacio semirreflexivo es un espacio vectorial topológico (EVT) localmente convexo X tal que la aplicación de evaluación canónica de X a su bidual (que es el espacio dual fuerte del dual fuerte de X) es biyectiva. Si esta aplicación es también un isomorfismo del EVT, entonces se llama reflexiva.
Los espacios semirreflexivos juegan un papel importante en la teoría general de los EVTs localmente convexos. Dado que un EVT normable es semirreflexivo si y solo si es reflexivo, el concepto de semirreflexividad se utiliza principalmente con EVTs que no son normables.

## Definición y notación
### Definición breve

Supóngase que X es un espacio vectorial topológico (EVT) sobre el cuerpo $\mathbb {F}$ (que son los números reales o complejos) cuyo espacio dual, $X^{\prime }$, separa puntos en X (es decir, para cualquier $x\in X$, existe algún $x^{\prime }\in X^{\prime }$ tal que $x^{\prime }(x)\neq 0$). Sean $X_{b}^{\prime }$ y $X_{\beta }^{\prime }$, de forma que ambos denotan el espacio dual fuerte de X, que es el espacio vectorial $X^{\prime }$ de funcionales lineales continuos en X dotado con la topología de convergencia uniforme en subconjuntos acotados de X. Esta topología también se denomina topología dual fuerte y es la topología "predeterminada" sobre un espacio dual continuo (a menos que se especifique otra topología). Si X es un espacio normado, entonces el dual fuerte de X es el espacio dual continuo $X^{\prime }$ con su topología normal habitual. El bidual de X, denotado por $X^{\prime \prime }$, es el dual fuerte de $X_{b}^{\prime }$; es decir, es el espacio $\left(X_{b}^{\prime }\right)_{b}^{\prime }$.
Para cualquier $x\in X,$, defínase $J_{x}:X^{\prime }\to \mathbb {F}$ mediante $J_{x}\left(x^{\prime }\right)=x^{\prime }(x)$, donde $J_{x}$ se denomina aplicación de evaluación en x. Dado que $J_{x}:X_{b}^{\prime }\to \mathbb {F}$ es necesariamente continua, se deduce que $J_{x}\in \left(X_{b}^{\prime }\right)^{\prime }$. A su vez, $X^{\prime }$ separa puntos en X, la aplicación $J:X\to \left(X_{b}^{\prime }\right)^{\prime }$ definida por $J(x):=J_{x}$ es inyectiva, y esta aplicación se denomina aplicación de evaluación o aplicación canónica. Esta aplicación fue introducida por Hans Hahn en 1927.
X se denomina semireflexivo si $J:X\to \left(X_{b}^{\prime }\right)^{\prime }$ es biyectiva (o equivalentemente, sobreyectiva) y se dice que X es reflexivo si además $J:X\to X^{\prime \prime }=\left(X_{b}^{\prime }\right)_{b}^{\prime }$ es un isomorfismo del EVT. Si X es un espacio normado, entonces J es un embebido de un EVT y una isometría en su rango, entonces, según el teorema de Goldstine (probado en 1938), el rango de J es un subconjunto denso de $\left(X^{\prime \prime },\sigma \left(X^{\prime \prime },X^{\prime }\right)\right)$ bidual. Un espacio normado es reflexivo si y solo si es semirreflexivo. Un espacio de Banach es reflexivo si y solo si su bola unitaria cerrada es $\sigma \left(X^{\prime },X\right)$-compacta.

### Definición detallada

Sea X un espacio vectorial topológico sobre un cuerpo numérico $\mathbb {F}$ (el de los números reales $\mathbb {R}$ o el de los números complejos $\mathbb {C}$). Considérese su Espacio dual fuerte $X_{b}^{\prime }$, que consta de todos los funcionales lineales continuos $f:X\to \mathbb {F}$ y está equipado con la topología fuerte $b\left(X^{\prime },X\right)$, es decir, la topología de convergencia uniforme en subconjuntos acotados en X. El espacio $X_{b}^{\prime }$ es un espacio vectorial topológico (para ser más precisos, un espacio localmente convexo), por lo que se puede considerar su espacio dual fuerte $\left(X_{b}^{\prime }\right)_{b}^{\prime }$, que se denomina espacio bidual fuerte para X, se compone de todos funcionales lineales continuos $h:X_{b}^{\prime }\to {\mathbb {F} }$ y está equipado con la topología fuerte $b\left(\left(X_{b}^{\prime }\right)^{\prime },X_{b}^{\prime }\right)$. Cada vector $x\in X$ genera una aplicación $J(x):X_{b}^{\prime }\to \mathbb {F}$ mediante la siguiente fórmula:
    $J(x)(f)=f(x),\qquad f\in X'.$
Esta es una función lineal continua en $X_{b}^{\prime }$, es decir, $J(x)\in \left(X_{b}^{\prime }\right)_{b}^{\prime }$. Se obtiene un aplicación llamada aplicación de evaluación o inyección canónica:
    $J:X\to \left(X_{b}^{\prime }\right)_{b}^{\prime }$
que es un aplicación lineal. Si X es localmente convexo, del teorema de Hahn–Banach se deduce que J es inyectiva y abierta (es decir, para cada entorno de cero $U$ en X hay una entorno de cero V en $\left(X_{b}^{\prime }\right)_{b}^{\prime }$ tal que $J(U)\supseteq V\cap J(X)$). Pero puede ser no sobreyectivo y/o discontinuo.
Un espacio localmente convexo $X$ se llama semi-reflexivo si la aplicación de evaluación $J:X\to \left(X_{b}^{\prime }\right)_{b}^{\prime }$ es sobreyectiva (y por lo tanto, biyectiva); se llama reflexiva si la aplicación de evaluación $J:X\to \left(X_{b}^{\prime }\right)_{b}^{\prime }$ es sobreyectiva y continua, en cuyo caso J será un isomorfismo de EVTs).

## Caracterización de espacios semirreflexivos

Si X es un espacio localmente convexo de Hausdorff, entonces las siguientes expresiones son equivalentes:
* X es semireflexivo.
* La topología débil en X tiene la propiedad de Heine-Borel (es decir, para la topología débil $\sigma \left(X,X^{\prime }\right)$, cada subconjunto cerrado y acotado de $X_{\sigma }$ es débilmente compacto).
* Si la forma lineal en $X^{\prime }$ es continua cuando $X^{\prime }$ tiene la topología dual fuerte, entonces es continua cuando $X^{\prime }$ tiene la topología débil.
* $X_{\tau }^{\prime }$ es barrilado, donde $\tau$ indica la topología de Mackey en $X^{\prime }$.
* Con X débil, la topología débil $\sigma \left(X,X^{\prime }\right)$ es cuasi completa.
* Teorema
* Un espacio de Hausdorff localmente convexo $X$ es semirreflexivo si y solo si $X$ con la topología $\sigma \left(X,X^{\prime }\right)$ tiene la propiedad de Heine-Borel (es decir, los subconjuntos débilmente cerrados y acotados de $X$ son débilmente compactos).

## Condiciones suficientes

Cada espacio semi de Montel es semirreflexivo, y cada espacio de Montel es reflexivo.

## Propiedades

Si $X$ es un espacio localmente convexo de Hausdorff, entonces la inyección canónica de $X$ en su bidual es un embebido topológico si y solo si $X$ es infrabarrilado.
El dual fuerte de un espacio semireflexivo es barrilado. Todo espacio semirreflexivo es cuasi completo. Todo espacio normado semirreflexivo es un espacio de Banach reflexivo. El dual fuerte de un espacio semirreflexivo es barrilado.

## Espacios reflexivos

Si X es un espacio localmente convexo de Hausdorff, entonces los siguientes enunciados son equivalentes:
* X es reflexivo.
* X es semireflexivo y barrilado.
* X es barrilado y la topología débil en X tiene la propiedad de Heine-Borel (lo que significa que para la topología débil $\sigma \left(X,X^{\prime }\right)$, cada subconjunto cerrado y acotado de $X_{\sigma }$ es débilmente compacto).
* X es semireflexivo y cuasi barrilado.
Si X es un espacio vectorial normado, entonces las siguientes proposiciones son equivalentes:
* X es reflexivo.
* La bola cerrada unitaria es compacta cuando X tiene la topología débil $\sigma \left(X,X^{\prime }\right)$.
* X es un espacio de Banach y $X_{b}^{\prime }$ es reflexivo.

## Ejemplos

Cada espacio reflexivo de dimensión infinita que no es un espacio de Banach es un espacio distinguido que no es semirreflexivo. Si $X$ es un subespacio vectorial propio denso de un espacio de Banach reflexivo, entonces $X$ es un espacio normado que no es semirreflexivo, pero su espacio dual fuerte es un espacio de Banach reflexivo. Existe un espacio barrilado numerable semirreflexivo que no es barrilado.