Un espace vectoriel topologique présenté comme une limite inductive stricte dénombrable d'espaces de Fréchet : il porte la topologie localement convexe la plus fine rendant continues toutes les applications d'inclusion des étapes de Fréchet, et la limite est stricte lorsque chaque inclusion est un plongement topologique (injections dont l'image porte la topologie de sous-espace).

Principe

La construction en limite inductive assemble un grand espace à partir d'une suite croissante de sous-espaces de Fréchet bien comportés, échangeant la métrisabilité contre une plus grande souplesse ; la stricte garantit le contrôle de la continuité et des ensembles bornés en les ramenant à une étape de Fréchet.

Démonstration

L'espace D(Ω) des fonctions test C_c^∞ à support compact sur un ouvert Ω est un espace LF : c'est la limite inductive stricte des espaces de Fréchet C_c^∞(K_n) des fonctions supportées dans une exhaustion de Ω par compacts K_n, et il hérite d'une topologie localement convexe typiquement non métrisable.

Mauvaise application

Traiter les espaces LF comme des espaces de Fréchet ou comme métrisables sans vérifier la stricte et la dénombrabilité, ou supposer que des propriétés comme la complétude ou Montel-ness tiennent automatiquement ; beaucoup d'espaces LF ne sont pas métrisables et exigent une analyse séparée des ensembles bornés et des filets convergents.

Conséquence

Les structures LF modélisent de nombreux espaces de fonctions test et permettent la construction d'espaces de distributions comme duaux forts ; les limites inductives strictes préservent souvent la bornologicité et la complétude sous des hypothèses supplémentaires, permettant des techniques de limites directes en analyse.

Inversion

Une limite inductive non stricte ou non dénombrable peut cesser d'être localement convexe de la manière souhaitée ou perdre le contrôle des ensembles bornés ; inversement un espace de Fréchet unique est une limite inductive stabilisée en un pas et conserve la métrisabilité et les propriétés de Fréchet.

Limite

La définition exige dénombrabilité et stricte ; elle exclut les limites inductives générales qui ne sont pas strictes ou qui sont non dénombrables, et se distingue des limites projectives et des sommes directes ; de nombreux espaces fonctionnels d'intérêt sont LF mais la vérification de propriétés (barrelé, bornologique) doit se faire au cas par cas.

Tension sémantique

L'appellation LF (limite de Fréchet) peut induire en erreur : certains auteurs emploient 'LF' de façon lâche pour des limites inductives d'espaces localement convexes, et la tension porte sur l'hypothèse de stricte, de dénombrabilité ou de préservation des propriétés des étapes de Fréchet telles que la complétude et le barrelé.

Synthèse

Un espace LF est un espace localement convexe construit avec soin comme limite inductive stricte dénombrable d'espaces de Fréchet, conçu pour capturer de grands espaces de fonctions en les plongeant étape par étape dans une topologie plus fine qui conserve la continuité des inclusions tout en sacrifiant souvent la métrisabilité.