Espace (DF)

Un espace localement convexe est dit du type (DF) s'il est semi-tonnelé et si sa bornologie canonique admet une base dénombrable[1] - [2].

Un espace vectoriel normé est un espace de type (DF).

L'espace des distributions à support compact ${\displaystyle {\mathcal {E}}^{\prime }(\Omega )}$ sur un ouvert ${\displaystyle \Omega }$ de ${\displaystyle \mathbb {R} ^{n}}$, ou plus généralement sur une variété différentielle de dimension finie paracompacte, est un exemple typique d'espace (DF) non normable (l'espace ${\displaystyle {\mathcal {E}}(\Omega )}$ des fonctions indéfiniment dérivables sur ${\displaystyle \Omega }$, dont ${\displaystyle {\mathcal {E}}^{\prime }(\Omega )}$ est le dual, étant un espace de Fréchet, d'ailleurs réflexif). Il en va de même de l'espace des distributions tempérées ${\displaystyle {\mathcal {S}}^{\prime }(\mathbb {R} ^{n})}$, dual de l'espace de Schwartz des fonctions déclinantes ${\displaystyle {\mathcal {S}}(\mathbb {R} ^{n})}$.

Un espace (DF) dont les parties bornées sont métrisables est infratonnelé.

Un espace limite inductive stricte d'une suite d'espaces (DF) est un espace (DF).

Soit E un espace (DF), F un espace localement convexe séparé complet. Alors l'espace ${\displaystyle {\mathcal {L}}(E,F)}$ des applications linéaires continues de E dans F, muni de la topologie de la convergence uniforme sur les parties bornées, est complet.

Le complété d'un espace (DF) séparé est un espace (DF). Un espace (DF) quasi complet ou semi-réflexif est complet.

Un quotient d'un espace (DF) par un sous-espace fermé est un espace (DF) (en revanche, un sous-espace fermé d'un espace (DF) n'est pas nécessairement un espace (DF)).

Soit E un espace localement convexe. Alors E est quasi-normable si, pour toute partie équicontinue A de ${\displaystyle E^{\prime }}$, il existe un voisinage V de 0 dans E tel que la topologie induite sur A par la topologie forte de ${\displaystyle E^{\prime }}$ soit identique à la topologie de la convergence uniforme sur V[1].

Un espace vectoriel normé est quasi-normable.

Un quotient d'un espace quasi-normable est quasi-normable, et la limite inductive d'une suite d'espaces quasi-normables est quasi-normable. En revanche, un sous-espace vectoriel d'un espace quasi-normable n'est pas nécessairement quasi-normable, mais un sous-espace d'un espace de Schwartz est quasi-normable.

Un espace localement convexe métrisable et quasi-normable est distingué.

• (en) N. Bourbaki, Espaces vectoriels topologiques, Masson, 1981, 370 p.
• (en) Alexandre Grothendieck, « Sur les espaces (F) et (DF) », Summa Brasiliensis Mathematicae, vol. 3, n^o 6,‎ 1954, p. 57-123