3 Espaces de Fréchet et limites inductives
Exercice 3.1: Les espaces Cp(Ω)
Soit Ω un ouvert de Rnet p∈N∪ {∞}. On considère Cp(Ω), l’ensemble des fonctions continûment
différentiables pfois. Pour α= (α1,...,αn)∈Nd, on note |α|=α1+···+αnet Dαl’opérateur différentiel
∂α1
x1...∂αn
xn. Naturellement, dès lors que |α| ≤ p, Dαenvoie Cp(Ω) dans C0(Ω). Pour Kun compact de Ω
on notera la semi-norme de C0(Ω), kfkK:= supx∈K|f(x)|et pour m∈J1, pK, la semi-norme sur Cp(Ω) :
kfkm,K := X
|α|≤m
kDαfkK.
1. Vérifier qu’il existe une suite dite exhaustive de compacts de Ω, i.e. une suite croissante de compacte
dont la réunion est égale à Ω tout entier.
Indication : Considérer les boules fermées de rayon rationnel, centrées en des points à coordonnées
rationnelles.
2. On note Pla famille des kfkm,K où met Kparcourent respectivement J1, pKet les compacts de
Ω. Montrer que Cp(Ω) muni de la P-topologie (que l’on notera T) est bien un espace de Fréchet.
On considère par la suite la distance d ((Kn)n∈Nest bien sûr la suite exhaustive de compacts) :
d(f, g) := X
n∈N
1
2nmin{1,kf−gkmin(n,p),Kn}.
3. Montrer que les compacts de C∞(Ω) sont précisément les fermés bornés (raisonner en dimension 1
pour simplifier). On parle d’espace de Montel. En déduire que C∞(Ω) n’est pas normable (toujours
pour la topologie T).
Remarque : Pour p < ∞,(Cp(Ω),T)n’est pas un espace de Montel et n’est pas normable non plus
(mais pour une autre raison).
4. Pour Kun compact de Ω, on note Cp
K(Ω) le sous-espace de Cp(Ω) constitué des fonctions à support
inclus dans K. Vérifier que pour tout p,Cp
K(Ω) muni de la topologie trace de Test un espace de
Fréchet et que (uniquement) dans le cas p < ∞, c’est même un espace de Banach.
5. On considère maintenant le sous-espace de Cp(Ω) formé des fonctions à support compact dans Ω,
on le note Cp
c(Ω). Montrer que la topologie trace de Tsur Cp
c(Ω) en fait un espace métrisable mais
non complet.
Remarque : En remarquant que
Cp
c(Ω) = [
n∈N
Cp
Kn(Ω),
on peut par contre invoquer la topologie limite inductive sur Cp
c(Ω). On obtient alors un espace complet
au sens des EVT et pour lequel la notion de convergence dans Cp
c(Ω) s’exprime ainsi : (ϕn)n∈Nconverge
vers ϕsi et seulement si
•tous les termes de la suite ainsi que ϕappartiennent à un même espace Cp
K(Ω), où Kest un certain
compact de Ω,
•ϕn−→
n→∞ ϕdans Cp
K(Ω) au sens de la topologie trace T.
Par contre la topologie en question n’est plus métrisable. Le cas de C∞
c(Ω) est fondamental. Il s’agit de
l’espace des fonctions tests, aussi noté D(Ω), qui sert de socle à toute la théorie des distributions.
3