Espacio DF

En el campo matemático del análisis funcional , los espacios DF , también escritos como ( DF )-espacios, son espacios vectoriales topológicos localmente convexos que tienen una propiedad compartida por los espacios vectoriales topológicos metrizables localmente convexos . Desempeñan un papel considerable en la teoría de productos tensoriales topológicos. ^[1]

Los espacios DF fueron definidos por primera vez por Alexander Grothendieck y estudiados en detalle por él en (Grothendieck 1954). Grothendieck fue llevado a introducir estos espacios por la siguiente propiedad de duales fuertes de espacios metrizables: Si es un espacio localmente convexo metrizable y es una secuencia de 0-vecindades convexas en tal que absorbe cada conjunto fuertemente acotado, entonces es una 0-vecindad en (donde es el espacio dual continuo de dotado de la topología dual fuerte). ^[2]${\estilo de visualización X}$${\displaystyle V_{1},V_{2},\ldots}$${\displaystyle X_{b}^{\prime}}$${\displaystyle V:=\cap _{i}V_{i}}$${\estilo de visualización V}$${\displaystyle X_{b}^{\prime}}$${\displaystyle X_{b}^{\prime}}$${\estilo de visualización X}$

Un espacio vectorial topológico localmente convexo (TVS) es un DF-espacio , también escrito ( DF )-espacio , si ^[1]${\estilo de visualización X}$

1. ${\estilo de visualización X}$es un espacio cuasi-barrilado contable (es decir, cada unión contable fuertemente acotada de subconjuntos equicontinuos de es equicontinua), y${\displaystyle X^{\prime}}$
2. ${\estilo de visualización X}$posee una secuencia fundamental de acotados (es decir, existe una secuencia contable de subconjuntos acotados tal que cada subconjunto acotado de está contenido en algún ^[3] ).${\displaystyle B_{1},B_{2},\ldots}$${\estilo de visualización X}$$Estilo de visualización B_{i}}$

• Sea un DF-espacio y sea un subconjunto convexo equilibrado de Entonces es un vecindario del origen si y solo si para cada subconjunto convexo, equilibrado y acotado es un vecindario del origen en ^[1] En consecuencia, una función lineal de un DF-espacio en un espacio localmente convexo es continua si su restricción a cada subconjunto acotado del dominio es continua. ^[1]${\estilo de visualización X}$${\estilo de visualización V}$${\estilo de visualización X.}$${\estilo de visualización V}$${\displaystyle B\subseteq X,}$ ${\displaystyle B\cap V}$${\estilo de visualización B.}$
• El espacio dual fuerte de un espacio DF es un espacio de Fréchet . ^[4]
• Todo espacio DF de Montel de dimensión infinita es un espacio secuencial pero no un espacio de Fréchet-Urysohn .
• Supongamos que es un espacio DF o un espacio LM . Si es un espacio secuencial , entonces es metrizable o un espacio DF de Montel .${\estilo de visualización X}$${\estilo de visualización X}$
• Todo espacio DF cuasicompleto es completo. ^[5]
• Si es un DF-espacio nuclear completo entonces es un espacio de Montel . ^[6]${\estilo de visualización X}$ ${\estilo de visualización X}$

El espacio dual fuerte de un espacio de Fréchet es un espacio DF. ^[7]${\displaystyle X_{b}^{\prime}}$${\estilo de visualización X}$

• El dual fuerte de un espacio localmente convexo metrizable es un DF-espacio ^[8] pero la recíproca no es cierta en general ^[8] (la recíproca es la afirmación de que todo DF-espacio es el dual fuerte de algún espacio localmente convexo metrizable). De esto se sigue:
  • Todo espacio normado es un espacio DF. ^[9]
  • Todo espacio de Banach es un espacio DF. ^[1]
  • Todo espacio infrabarrilado que posee una secuencia fundamental de conjuntos acotados es un espacio DF.
• Todo cociente de Hausdorff de un DF-espacio es un DF-espacio. ^[10]
• La finalización de un espacio DF es un espacio DF. ^[10]
• La suma localmente convexa de una secuencia de DF-espacios es un DF-espacio. ^[10]
• Un límite inductivo de una secuencia de DF-espacios es un DF-espacio. ^[10]
• Supóngase que y son espacios DF. Entonces el producto tensorial proyectivo , así como su completitud, de estos espacios es un espacio DF. ^[6]${\estilo de visualización X}$${\estilo de visualización Y}$

Sin embargo,

• Un producto infinito de espacios DF no triviales (es decir, todos los factores tienen dimensión distinta de cero) no es un espacio DF. ^[10]
• Un subespacio vectorial cerrado de un DF-espacio no es necesariamente un DF-espacio. ^[10]
• Existen espacios DF completos que no son TVS-isomorfos al dual fuerte de un TVS localmente convexo metrizable. ^[10]

Existen DF-espacios completos que no son TVS-isomorfos con el dual fuerte de un espacio localmente convexo metrizable. ^[10] Existen DF-espacios que tienen subespacios vectoriales cerrados que no son DF-espacios. ^[11]

• Espacio en barril  : tipo de espacio vectorial topológicoPáginas que muestran descripciones breves de los objetivos de redireccionamiento
• Espacio cuasi-barrilado contablemente
• Espacio F  : espacio vectorial topológico con una métrica completamente invariante a la traslación
• Espacio LB
• Espacio LF  – Espacio vectorial topológico
• Espacio nuclear  : una generalización de los espacios euclidianos de dimensión finita diferentes de los espacios de Hilbert
• Producto tensorial proyectivo  : producto tensorial definido en dos espacios vectoriales topológicosPáginas que muestran descripciones de wikidata como alternativa

• Grothendieck, Alexander (1954). "Sur les espaces (F) et (DF)". Summa Brasil. Math. (en francés). 3 : 57–123. MR  0075542.
• Grothendieck, Alexander (1955). "Productos tensoriales topológicos y espacios nucleares". Memorias de la serie American Mathematical Society (en francés). 16 . Providence: American Mathematical Society. ISBN 978-0-8218-1216-7. Sr.  0075539. OCLC  1315788.
• 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  .
• Pietsch, Albrecht (1979). Espacios nucleares localmente convexos . Ergebnisse der Mathematik und ihrer Grenzgebiete. vol. 66 (Segunda ed.). Berlín, Nueva York: Springer-Verlag. ISBN 978-0-387-05644-9.OCLC 539541  .
• Pietsch, Albrecht (1972). Espacios nucleares localmente convexos . Berlín, Nueva York: Springer-Verlag. ISBN 0-387-05644-0.OCLC 539541  .
• 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  .
• Wong, Yau-Chuen (1979). Espacios de Schwartz, espacios nucleares y productos tensoriales . Lecture Notes in Mathematics . Vol. 726. Berlín, Nueva York: Springer-Verlag . ISBN. 978-3-540-09513-2.OCLC 5126158  .

• Espacio DF en ncatlab