Espace de Fréchet - Définition

Introduction

L'espace de Fréchet au sens de la topologie générale est décrit à l'article Espace T1.

Un espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme. Cette dénomination fait référence à Maurice Fréchet, mathématicien français ayant participé notamment à la fondation de la topologie et à ses applications en analyse fonctionnelle. C'est dans ce dernier domaine que la structure des espaces de Fréchet se révèle particulièrement utile, notamment en fournissant une topologie naturelle aux espaces de fonctions infiniment dérivables.

Définition

Un espace espace vectoriel topologique réel est appelé espace de Fréchet s'il est à la fois

• localement convexe,
• métrisable, et
• complet au sens des espaces uniformes,

ou plus simplement : s'il est localement convexe et complètement métrisable (métrisable par une distance complète).

Pour un espace de Fréchet non nul, il existe plusieurs distances induisant la topologie, et elles sont toutes complètes. Certaines sont de plus invariantes par translation.

En analyse fonctionnelle, on utilise directement la définition équivalente suivante :

Un espace de Fréchet est un e.v.t. réel complet (au sens uniforme) dont la topologie est induite par une famille dénombrable et séparante de semi-normes.

De même, il n'y a pas de choix canonique d'une telle famille de semi-normes. Il n'y a pas non plus de bijection naturelle entre les distances compatibles, ou les distances compatibles et invariantes, et ces familles de semi-normes.

Propriétés

L'hypothèse de complétude permet d'appliquer aux espaces de Fréchet le théorème de Baire et ses conséquences, entre autres :

• le théorème de Banach-Steinhaus : toute famille simplement bornée d'applications d'un espace de Fréchet dans un espace vectoriel topologique est équicontinue ;
• le théorème de l'application ouverte : toute application continue surjective entre deux espaces de Fréchet est ouverte ;
• son corollaire : toute application continue bijective entre deux espaces de Fréchet est un homéomorphisme ;
• le théorème du graphe fermé : toute application de graphe fermé entre deux espaces de Fréchet est continue.

La convexité locale assure aussi les propriétés suivantes :

• les points d'un espace de Fréchet sont séparés par son dual topologique (cf Théorème de Hahn-Banach).
• tout convexe compact d'un espace de Fréchet est l'adhérence de l'enveloppe convexe de ses points extrémaux (cf Théorème de Krein-Milman).

Le théorème d'inversion locale ne s'applique pas en général aux espaces de Fréchet, mais une version faible a été trouvée sous le nom de théorème de Nash-Moser.

Exemples

Tout espace de Banach est un espace de Fréchet mais la réciproque n'est pas toujours vraie. En particulier, certains espaces de Fréchet ne sont pas normables.

C'est le cas de l'espace C^∞([0;1]) des fonctions infiniment différentiables sur l'intervalle [0;1], qui peut être muni des semi-normes pour tout entier k ≥ 0 :

où f ⁽⁰⁾ = f et pour tout k > 0, f ^(k) désigne la dérivée k-ième de f.
Dans cet espace, une suite (f_n) de fonctions converge vers la fonction si et seulement si pour tout k≥0, la suite (f_n^(k)) converge uniformément vers f ^(k).

Plus généralement, si M est une variété compacte lisse et B un espace de Banach alors l'espace des fonctions infiniment différentiables de M vers B peut être muni d'une structure d'espace de Fréchet grâce aux semi-normes définies par les normes sup des dérivées partielles.

L'espace des suites réelles ou complexes peut également être muni d'une structure d'espace de Fréchet par les semi-normes qui associent à chaque suite la valeur absolue d'un terme fixé de la suite. La convergence d'une suite de suites revient alors la convergence terme à terme.

Plus généralement, l'ensemble des fonctions continues d'un espace topologique σ-compact X vers un espace de Banach peut être muni des semi-normes définies par les normes sup sur des compacts recouvrant l'espace X. La topologie obtenue s'identifie alors avec la topologie compact-ouvert des espaces de fonctions. Ainsi, l'espace des applications continues de ℝ dans ℝ est un espace de Fréchet.