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.
Sea 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.[1]
Se continúa este proceso para definir los estratos Es decir, se utiliza la inducción para definir el estrato en términos del estrato
Una hebra es una secuencia de discos, donde el primer disco se selecciona del primer estrato, digamos , y el segundo se selecciona de la secuencia asociada con , y así sucesivamente. También se requiere que si se selecciona una secuencia de vectores de una cadena (donde pertenece al primer disco de la cadena, pertenece al segundo, etc.), entonces la serie converja.
Un espacio localmente convexo de Hausdorff en el que se puede definir un retículo se llama espacio reticulado.
|
Todos los siguientes espacios son reticulados:
|
|
|
|
|
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:
|