Espacio palmeado

En matemáticas , particularmente en análisis funcional , un espacio en red es un espacio vectorial topológico diseñado con el objetivo de permitir que los resultados del teorema de aplicación abierta y del teorema de grafo cerrado se cumplan para una clase más amplia de aplicaciones lineales cuyos codominios son espacios en red. Un espacio se denomina en red 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 .${\estilo de visualización X}$ La red es una colección estratificada dediscosque satisfacen los siguientes requisitos de absorbencia y convergencia.^[1]

1. Estrato 1 : El primer estrato debe estar constituido por una secuencia de discos de tal manera que su unión absorba${\displaystyle D_{1},D_{2},D_{3},\ldots}$${\estilo de visualización X}$${\displaystyle \bigcup _{i\in \mathbb {N} }D_{i}}$ ${\estilo de visualización X.}$
2. Estrato 2 : Para cada disco del primer estrato, debe existir una secuencia de discos en tal que para cada : y absorbe Los conjuntos formarán el segundo estrato.${\displaystyle D_{i}}$${\displaystyle D_{i1},D_{i2},D_{i3},\ldots }$${\displaystyle X}$${\displaystyle D_{i}}$$${\displaystyle D_{ij}\subseteq \left({\tfrac {1}{2}}\right)D_{i}\quad {\text{ for every }}j}$$${\displaystyle \cup _{j\in \mathbb {N} }D_{ij}}$ ${\displaystyle D_{i}.}$${\displaystyle \left(D_{ij}\right)_{i,j\in \mathbb {N} }}$
3. Estrato 3 : A cada disco del segundo estrato, se le asigna otra secuencia de discos que satisfacen propiedades definidas análogamente; explícitamente, esto significa que para cada : y absorbe Los conjuntos forman el tercer estrato.${\displaystyle D_{ij}}$${\displaystyle D_{ij1},D_{ij2},D_{ij3},\ldots }$${\displaystyle X}$${\displaystyle D_{i,j}}$$${\displaystyle D_{ijk}\subseteq \left({\tfrac {1}{2}}\right)D_{ij}\quad {\text{ for every }}k}$$${\displaystyle \cup _{k\in \mathbb {N} }D_{ijk}}$ ${\displaystyle D_{ij}.}$${\displaystyle \left(D_{ijk}\right)_{i,j,k\in \mathbb {N} }}$

Continúe este proceso para definir estratos. Es decir, utilice la inducción para definir estrato en términos de estrato.${\displaystyle 4,5,\ldots .}$${\displaystyle n+1}$${\displaystyle n.}$

ALa hebra es una secuencia de discos, en la que el primer disco se selecciona del primer estrato, por ejemplo, y el segundo se selecciona de la secuencia que se asoció con,y así sucesivamente. También requerimos que sise selecciona una secuencia de vectores de una hebra (quepertenece al primer disco de la hebra,pertenece al segundo, y así sucesivamente), entonces la serieconverge. ${\displaystyle D_{i},}$${\displaystyle D_{i},}$${\displaystyle (x_{n})}$${\displaystyle x_{1}}$${\displaystyle x_{2}}$${\displaystyle \sum _{n=1}^{\infty }x_{n}}$

Un espacio vectorial topológico localmente convexo de Hausdorff en el que se puede definir una red se denominaespacio palmeado

Todos los espacios siguientes están cubiertos por una red:

• Espacios de Fréchet . ^[2]
• Límites proyectivos y límites inductivos de sucesiones de espacios reticulados.
• Un subespacio vectorial cerrado secuencialmente de un espacio reticulado. ^[3]
• Productos contables de espacios interconectados. ^[3]
• Un cociente de Hausdorff de un espacio en red. ^[3]
• La imagen de un espacio palmeado bajo un mapa lineal secuencialmente continuo si esa imagen es de Hausdorff . ^[3]
• La bornologificación de un espacio en red.
• El espacio dual continuo de un espacio localmente convexo metrizable dotado de la topología dual fuerte está reticulado. ^[2]
• Si es el límite inductivo estricto de una familia numerable de espacios metrizables localmente convexos, entonces el espacio dual continuo de con la topología fuerte está en red. ^[4]${\displaystyle X}$${\displaystyle X}$
  • Así, en particular, los duales fuertes de espacios metrizables localmente convexos están entrelazados. ^[5]
• Si es un espacio en membrana, entonces cualquier topología localmente convexa de Hausdorff más débil que esta topología (en membrana) también es en membrana. ^[3]${\displaystyle X}$

Si los espacios no son localmente convexos, entonces existe una noción de red donde el requisito de ser un disco se reemplaza por el requisito de ser equilibrado . Para tal noción de red tenemos los siguientes resultados:

• Mapa lineal casi abierto  – Mapa que satisface una condición similar a la de ser un mapa abierto.Pages displaying short descriptions of redirect targets
• Espacio en barril  : tipo de espacio vectorial topológico
• Grafo cerrado  – Gráfica de un mapa cerrado en el espacio del productoPages displaying short descriptions of redirect targets
• Teorema de grafos cerrados (análisis funcional)  : teoremas que conectan la continuidad con el cierre de grafos
• Operador lineal cerrado
• Mapa lineal discontinuo
• Espacio F  : espacio vectorial topológico con una métrica completamente invariante a la traslación
• Espacio de Fréchet  : un espacio vectorial topológico localmente convexo que también es un espacio métrico completo
• Teorema del punto fijo de Kakutani  : Teorema del punto fijo para funciones con valores conjuntos
• Espacio vectorial topológico metrizable  : un espacio vectorial topológico cuya topología se puede definir mediante una métrica
• Teorema de aplicación abierta (análisis funcional)  : condición para que un operador lineal sea abierto
• Teorema de Ursescu  : generalización del grafo cerrado, aplicación abierta y teorema de acotación uniforme

• De Wilde, Marc (1978). Teoremas de grafos cerrados y espacios en red . Londres: Pitman.
• Khaleelulla, SM (1982). Contraejemplos en espacios vectoriales topológicos . Lecture Notes in Mathematics . Vol. 936. Berlín, Heidelberg, Nueva York: Springer-Verlag . ISBN. 978-3-540-11565-6.OCLC 8588370  .
• Kriegl, Andreas; Michor, Peter W. (1997). El marco conveniente del análisis global (PDF) . Encuestas y monografías matemáticas. Vol. 53. Providence, RI: American Mathematical Society . ISBN 978-0-8218-0780-4.OCLC 37141279  .
• Kriegl, Andreas; Michor, Peter W. (1997). El contexto conveniente del análisis global . Encuestas y monografías matemáticas. American Mathematical Society . pp. 557–578. ISBN 9780821807804.
• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .