Definición
Un espacio vectorial topológico presentado como un límite inductivo estricto y contable de espacios de Fréchet: lleva la topología localmente convexa más fina que hace continuas todas las inclusiones desde la sucesión de etapas de Fréchet, y el límite es estricto cuando cada inclusión es un incrustación topológica (inyectiva con la imagen llevando la topología de subespacio).
Principio
Principio
La construcción por límite inductivo ensambla un espacio grande a partir de una sucesión creciente de subespacios de Fréchet bien comportados, cambiando metrizabilidad por mayor flexibilidad; la estrictitud asegura el control sobre la continuidad y los conjuntos acotados trazándolos a una de las etapas de Fréchet.
Demostración
Demostración
El espacio D(Ω) de funciones test C_c^∞ de soporte compacto en un abierto Ω es un espacio LF: es el límite inductivo estricto de los espacios de Fréchet C_c^∞(K_n) de funciones con soporte en una exhaustión por compactos K_n de Ω, y hereda una topología localmente convexa que suele ser no metrizable.
Aplicación incorrecta
Aplicación incorrecta
Tratar los espacios LF como Fréchet o como metrizables sin comprobar la estrictitud y la contabilidad, o asumir que propiedades como completitud o ser Montel se cumplen automáticamente; muchos LF son no metrizables y requieren un análisis separado de conjuntos acotados y redes convergentes.
Consecuencia
Consecuencia
Las estructuras LF modelan muchos espacios de funciones test y permiten la construcción de espacios de distribuciones como duales fuertes; los límites inductivos estrictos suelen preservar bornologicidad y completitud bajo hipótesis adicionales, posibilitando técnicas de límite directo en análisis.
Inversión
Inversión
Un límite inductivo no estricto o no contable puede fallar en ser localmente convexo de la manera pretendida o perder el control sobre los conjuntos acotados; por el contrario, un único espacio de Fréchet es un límite inductivo estabilizado en un paso y conserva la metrizabilidad y las propiedades de Fréchet.
Límite
Límite
La definición requiere contabilidad y estrictitud; excluye límites inductivos generales que no sean estrictos o que sean no contables, y difiere de límites proyectivos y sumas directas; muchos espacios funcionales de interés son LF pero la verificación de propiedades (barrelled, bornológico) debe hacerse caso por caso.
Tensión semántica
Tensión semántica
La etiqueta LF (límite de Fréchet) puede inducir a error: algunos autores usan 'LF' de forma laxa para límites inductivos de espacios localmente convexos, y la tensión concierne a si se supone estrictitud, contabilidad o la preservación de propiedades de las etapas de Fréchet como completitud y barrelledness.
Síntesis
Síntesis
Un espacio LF es un espacio localmente convexo formado cuidadosamente como límite inductivo estricto y contable de espacios de Fréchet, diseñado para capturar grandes espacios de funciones incrustándolos paso a paso en una topología más fina que mantiene la continuidad de las inclusiones mientras con frecuencia sacrifica la metrizabilidad.