Espacio reticulado
# Espacio reticulado

En matemáticas, particularmente en análisis funcional, un espacio reticulado es un espacio vectorial topológico diseñado con el objetivo de permitir que los resultados del teorema de la aplicación abierta y del teorema del grafo cerrado se mantengan para una clase más amplia de aplicaciones lineales cuyos codominios son espacios reticulados. Un espacio se llama reticulado si existe una colección de conjuntos, llamada red, que satisface ciertas propiedades. Las redes fueron investigadas por primera vez por De Wilde.

# Espacio reticulado
## Retículo

Sea $X$ un espacio vectorial topológico localmente convexo de Hausdorff. Una red es una colección estratificada de discos que satisfacen los siguientes requisitos de absorbencia y convergencia.
* Estrato 1: El primer estrato debe consistir en una secuencia $D_{1},D_{2},D_{3},\ldots$ de discos en $X$ tal que su unión $\bigcup _{i\in \mathbb {N} }D_{i}$ absorbe a $X.$
* Estrato 2: Para cada disco $D_{i}$ en el primer estrato, debe existir una secuencia $D_{i1},D_{i2},D_{i3},\ldots$ de discos en $X$ tal que para cada $D_{i}$:
    $D_{ij}\subseteq \left({\tfrac {1}{2}}\right)D_{i}\quad {\text{ para cada }}j$ y $\cup _{j\in \mathbb {N} }D_{ij}$
absorbe $D_{i}.$ Los conjuntos $\left(D_{ij}\right)_{i,j\in \mathbb {N} }$ formarán el segundo estrato.
* Estrato 3: A cada disco $D_{ij}$ en el segundo estrato, se le asigna otra secuencia $D_{ij1},D_{ij2},D_{ij3},\ldots$ de discos en $X$ que satisfagan propiedades definidas de manera análoga. Explícitamente, esto significa que para cada $D_{i,j}$:
    $D_{ijk}\subseteq \left({\tfrac {1}{2}}\right)D_{ij}\quad {\text{ para cada }}k$ y $\cup _{k\in \mathbb {N} }D_{ijk}$ absorbe $D_{ij}.$ Los conjuntos $\left(D_{ijk}\right)_{i,j,k\in \mathbb {N} }$ forman el tercer estrato.
Se continúa este proceso para definir los estratos $4,5,\ldots .$ Es decir, se utiliza la inducción para definir el estrato $n+1$ en términos del estrato $n.$
Una hebra es una secuencia de discos, donde el primer disco se selecciona del primer estrato, digamos $D_{i},$, y el segundo se selecciona de la secuencia asociada con $D_{i},$, y así sucesivamente. También se requiere que si se selecciona una secuencia de vectores $(x_{n})$ de una cadena (donde $x_{1}$ pertenece al primer disco de la cadena, $x_{2}$ pertenece al segundo, etc.), entonces la serie $\sum _{n=1}^{\infty }x_{n}$ converja.
Un espacio localmente convexo de Hausdorff en el que se puede definir un retículo se llama espacio reticulado.

# Espacio reticulado
## Ejemplos y condiciones suficientes

* Teorema
* Un espacio vectorial topológico $X$ es un espacio de Fréchet si y sólo si es a la vez un espacio reticulado y un espacio de Baire.
Todos los siguientes espacios son reticulados:
* Espacio de Fréchet.
* Límite inverso y límite directo de secuencias de espacios reticulados.
* Un subespacio vectorial secuencialmente cerrado de un espacio reticulado.
* Un producto numerable de espacios reticulados.
* Un cociente de Hausdorff de un espacio reticulado.
* La imagen de un espacio reticulado bajo una aplicación lineal secuencialmente continua si esa imagen es de Hausdorff.
* La bornologificación de un espacio reticulado.
* El espacio dual continuo de un espacio metrizable localmente convexo dotado de topología dual fuerte es reticulado.
* Si $X$ es el límite inductivo estricto de una familia numerable de espacios metrizables localmente convexos, entonces el espacio dual de $X$ con la topología fuerte es reticulado.
** Entonces, en particular, los duales fuertes de los espacios metrizables localmente convexos son reticulados.
* Si $X$ es un espacio reticulado, entonces cualquier topología localmente convexa de Hausdorff más débil que esta topología (reticulada) también es reticulada.

# Espacio reticulado
## Teoremas

* Teorema del grafo cerrado
* Sea $A:X\to Y$ una aplicación lineal entre EVTs que es secuencialmente cerrada (lo que significa que su grafo es un subconjunto secuencialmente cerrado de $X\times Y$).
* Si $Y$ es un espacio reticulado y $X$ es un espacio ultrabornológico (como un espacio de Fréchet o un límite inductivo de espacios de Fréchet), entonces $A$ es continuo.
* Teorema del grafo cerrado
* Cualquier aplicación lineal cerrada desde el límite inductivo de espacios localmente convexos de Baire hacia un espacio reticulado localmente convexo es continua.
* Teorema de la aplicación abierta
* Cualquier aplicación lineal sobreyectiva continua desde un espacio localmente convexo reticulado sobre un límite directo de espacios localmente convexos de Baire es abierto.
* Teorema de la aplicación abierta
* Cualquier aplicación lineal sobreyectiva continua desde un espacio reticulado localmente convexo hacia un espacio ultrabornológico es abierta.
* Teorema de la aplicación abierta
* Si la imagen de un operador lineal cerrado $A:X\to Y$ desde el espacio reticulado localmente convexo $X$ al espacio localmente convexo de Hausdorff $Y$ no es exiguo en $Y$, entonces $A:X\to Y$ es una aplicación abierta sobreyectiva.
Si los espacios no son localmente convexos, entonces existe una noción de retículo en la que el requisito de ser un disco se reemplaza por el requisito de ser equilibrado. Para tal noción de retículo se tienen los siguientes resultados:
* Teorema del grafo cerrado
* Cualquier aplicación lineal cerrada desde el límite inductivo de los espacios vectoriales topológicos de Baire hasta un espacio vectorial topológico reticulado es continuo.