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 Plantilla:Enf es una colección estratificada de discos que satisfacen los siguientes requisitos de absorbencia y convergencia.Plantilla:Sfn

1. Estrato 1: El primer estrato debe consistir en una secuencia $D_1,D_2,D_3,\dots$ 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},\dots$ de discos en $X$ tal que para cada $D_i$ $D_{ij}\subseteq \left(\frac{1}{2}\right)D_i\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},\dots$ 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(\frac{1}{2}\right)D_{ij}\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,\dots .$ Es decir, se utiliza la inducción para definir el estrato $n+1$ en términos del estrato $n.$

Una Plantilla:Enf 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}^{\mathrm{\infty }}{x}_n$ converja.

Un espacio localmente convexo de Hausdorff en el que se puede definir un retículo se llama Plantilla:Enf.

Ejemplos y condiciones suficientes

Todos los siguientes espacios son reticulados:

• Espacio de Fréchet.Plantilla:Sfn
• Límite inverso y límite directo de secuencias de espacios reticulados.
• Un subespacio vectorial secuencialmente cerrado de un espacio reticulado.Plantilla:Sfn
• Un producto numerable de espacios reticulados.Plantilla:Sfn
• Un cociente de Hausdorff de un espacio reticulado.Plantilla:Sfn
• La imagen de un espacio reticulado bajo una aplicación lineal secuencialmente continua si esa imagen es de Hausdorff.Plantilla:Sfn
• 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.Plantilla:Sfn
• 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.Plantilla:Sfn
  • Entonces, en particular, los duales fuertes de los espacios metrizables localmente convexos son reticulados.Plantilla:Sfn
• 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.Plantilla:Sfn

Teoremas

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:

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

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro