## [Espacio Montel](/es/node/62513) Definición Un espacio vectorial topológico localmente convexo en el que todo subconjunto cerrado y acotado es compacto; equivalentemente, un espacio donde toda sucesión acotada tiene una subsecuencia convergente y los conjuntos acotados son relativamente compactos. ## Principio Principio Combinar convexidad local con una fuerte compacidad de los conjuntos acotados garantiza que las propiedades de compacidad secuencial reflejen la intuición de dimensión finita, permitiendo argumentos de familias normales y análisis basado en compacidad. ## Demostración Demostración El espacio O(U) de funciones holomorfas en un abierto U con la topología de convergencia uniforme en compactos es Montel por teoremas clásicos de familias normales: las sucesiones acotadas en compactos admiten subsecuencias que convergen uniformemente en compactos. ## Aplicación incorrecta Aplicación incorrecta Suponer que Montel implica dimensionalidad finita o reflexividad en todos los casos; existen ejemplos infinitamente dimensionales de espacios Montel, y la reflexividad es una propiedad independiente. ## Consecuencia Consecuencia Consecuencias poderosas de compacidad: toda sucesión acotada tiene subsecuencias convergentes, los duales fuertes poseen propiedades útiles y muchos resultados operatorios y de aproximación se simplifican porque la precompactitud sustituye a la mera acotación. ## Inversión Inversión Espacios cuyos conjuntos acotados no son compactos (espacios de Banach típicos como l^p para p≥1) no son Montel; en ellos la acotación no implica relativa compacidad y las sucesiones pueden carecer de subsecuencias convergentes. ## Límite Límite Montel es una condición topológica fuerte, a menudo implicada por nuclearidad y barrelledness en ejemplos clásicos, pero excluye la mayoría de los espacios de Banach y depende de la topología elegida; verificar que un espacio sea Montel normalmente requiere probar sucesiones o la compacidad de conjuntos acotados. ## Tensión semántica Tensión semántica El término evoca el teorema de Montel sobre familias normales en análisis complejo y la propiedad abstracta de Montel en análisis funcional; la tensión aparece al trasladar intuición de espacios de funciones holomorfas a espacios localmente convexos generales. ## Síntesis Síntesis Un espacio Montel es un marco localmente convexo donde la acotación y la compacidad coinciden para conjuntos cerrados, haciendo que la compacidad secuencial sea ubicua y simplificando argumentos funcionales que dependen de subsecuencias convergentes y de la compacidad.