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.

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.​

1. 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.$
2. 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 a $D_{i}.$ Los conjuntos $\left(D_{ij}\right)_{i,j\in \mathbb {N} }$ formarán el segundo estrato.
3. 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 a $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.

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.​

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.

Véase también

• Aplicación lineal casi abierta
• Espacio barrilado
• Propiedad del grafo cerrado
• Teorema del grafo cerrado (análisis funcional)
• Propiedad del grafo cerrado
• Operador lineal discontinuo
• Espacio F
• Espacio de Fréchet
• Teorema del punto fijo de Kakutani
• Espacio vectorial topológico metrizable
• Teorema de la función abierta
• Teorema de Ursescu

Bibliografía

• De Wilde, Marc (1978). Closed graph theorems and webbed spaces. London: Pitman. 
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370. 
• Kriegl, Andreas; Michor, Peter W. (1997). The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs 53. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-0780-4. OCLC 37141279. 
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 

• Datos: Q1317594