Espacio de Montel

En análisis funcional y áreas relacionadas de matemáticas, un espacio de Montel, que lleva el nombre de Paul Montel, es cualquier espacio vectorial topológico (EVT) en el que se mantiene un análogo del teorema de Montel. Específicamente, un espacio de Montel es un espacio vectorial topológico barrilado en el que cada subconjunto acotado y cerrado es compacto.

Definición

Se dice que un espacio vectorial topológico (EVT) posee la [[Teorema de Heine-Borel|Plantilla:Anclavis]]si cada subconjunto acotado y cerrado es compacto. Un Plantilla:Anclavises un espacio vectorial topológico barrilado con la propiedad de Heine-Borel. De manera equivalente, un espacio semi de Montel infrabarrilado, donde un espacio localmente convexo de Hausdorff se llama Plantilla:Anclaviso Plantilla:Anclavissi cada subconjunto acotado es relativamente compacto. Un subconjunto de un EVT es compacto si y solo si es completo y totalmente acotado. Un Plantilla:Anclavises un espacio de Fréchet que también es un espacio de Montel.

Caracterizaciones

Un espacio de Fréchet separable es un espacio de Montel si y solo si cada secuencia *débilmente convergente en su dual continuo es fuertemente convergente.Plantilla:Sfn

Un espacio de Fréchet $X$ es un espacio de Montel si y solo si cada función continua acotada $X\to c_0$ hace corresponder subconjuntos absolutamente convexos acotados cerrados de $X$ a subconjuntos relativamente compactos de $c_0.$ Además, si $C^b(X)$ denota el espacio vectorial de todas las funciones continuas acotadas en un espacio de Fréchet $X,$ entonces $X$ es de Montel si y solo si cada secuencia en $C^b(X)$ que converge a cero en topología compacto-abierta también converge uniformemente a cero en todos los subconjuntos absolutamente convexos acotados cerradosPlantilla:Sfn de $X.$

Condiciones suficientes

Espacios semi de Montel

Un subespacio vectorial cerrado de un espacio semi de Montel es nuevamente un espacio semi-Montel. La suma directa localmente convexa de cualquier familia de espacios semi de Montel es nuevamente un espacio semi de Montel. El límite inverso de un sistema inverso que consta de espacios semi de Montel es nuevamente un espacio semi de Montel. El producto cartesiano de cualquier familia de espacios semi de Montel (respectivamente, espacios de Montel) es nuevamente un espacio semi de Montel (respectivamente, un espacio de Montel).

Espacios de Montel'

El dual fuerte de un espacio de Montel es de Montel. Un espacio nuclear cuasi complete barrilado es un espacio de Montel.Plantilla:Sfn Todo producto y suma directa localmente convexos de una familia de espacios de Montel es un espacio de Montel.Plantilla:Sfn El límite directo estricto de una secuencia de espacios de Montel es un espacio de Montel.Plantilla:Sfn Por el contrario, los subespacios cerrados y los cocientes separados de espacios de Montel en general ni siquiera son espacios reflexivos.Plantilla:Sfn Cada espacio de Schwartz que sea de Fréchet es un espacio de Montel.Plantilla:Sfn

Propiedades

Los espacios de Montel son paracompactos y normales. Los espacios semi de Montel son cuasi completos y semirreflexivos, mientras que los espacios de Montel son reflexivos.

Ningún espacio de Banach de dimensión infinita es un espacio de Montel. Esto se debe a que un espacio de Banach no puede satisfacer la propiedad de Heine-Borel: la bola unitaria cerrada es cerrada y acotada, pero no es compacta. Los espacios de Fréchet Montel son separables, y tienen un dual fuerte bornológico. Un espacio de Montel metrizable es separable.Plantilla:Sfn

Los espacios de Fréchet-Montel son espacios distinguidos.

Ejemplos

En análisis complejo clásico, el teorema de Montel afirma que el espacio de una función holomorfa en un subconjunto abierto conexo de números complejos tiene esta propiedad.

Muchos espacios de Montel de interés contemporáneo surgen como espacios de funciones de prueba para un espacio de distribuciones. El espacio $C^{\mathrm{\infty }}(\mathrm{\Omega })$ de función infinitamente diferenciable en un conjunto abierto $\mathrm{\Omega }$ en ${ℝ}^n$ es un espacio de Montel equipado con la topología inducida por la familia de seminorma.

$\Vert f{\Vert }_{K,n}=\underset{|\alpha |\le n}{\sup }\underset{x\in K}{\sup }|{\partial }^{\alpha }f(x)|$

para $n=1,2,\dots$ y $K$ se extiende sobre subconjuntos compactos de $\mathrm{\Omega },$ y $\alpha$ es un notación multi-índice. De manera similar, se cumple para el espacio de funciones compactamente soportadas en un conjunto abierto con la topología final de la familia de inclusiones $C_0^{\mathrm{\infty }}(K)\subset C_0^{\mathrm{\infty }}(\mathrm{\Omega })$, ya que $K$ abarca todos los subconjuntos compactos de $\mathrm{\Omega }.$ El espacio de Schwartz también es un espacio de Montel.

Contraejemplos

Cada espacio vectorial normado de dimensión infinita es un espacio barrilado que Plantilla:Enf es un espacio de Montel.Plantilla:Sfn En particular, cada espacio de Banach de dimensión infinita no es un espacio de Montel.Plantilla:Sfn Existen espacios Montel que no son separables y existen espacios de Montel que no son completos.Plantilla:Sfn También existen espacios de Montel que tienen subespacios vectoriales cerrados que Plantilla:Enf son espacios de Montel.Plantilla:Sfn

Véase también

• Espacio barrilado
• Espacio bornológico
• Teorema de Heine-Borel
• Espacio LB
• Espacio LF
• Espacio nuclear

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite journal
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Springer