1. Montrer que la topologie définie par la famille de semi-normes ||.||K,p (Kvariant dans
l’ensemble des compacts de Ω, et pvariant dans N), ainsi que la topologie définie par la
famille de semi-normes ||.||K,0(Kvariant dans l’ensemble des compacts de Ω) sont des
topologies métrisables. Comment se caractérise la convergence de suites relativement à
chacune de ces deux topologies ?
Indication : on pourra montrer d’abord que si Eest un C-espace vectoriel muni d’une
famille de semi-normes (Nk)k∈Ndénombrable et séparante (i.e. pour tout x∈E\{0}, il
existe k∈N,Nk(x)6= 0), alors la topologie définie par la famille de semi-normes est
métrisable.
2. Montrer que ces deux topologies coïncident.
Remarque : ainsi, pour les suites de fonctions holomorphes sur Ω, la convergence uniforme
des fonctions sur tout compact est équivalente à la convergence uniforme des fonctions
ainsi que de toutes leurs dérivées sur tout compact.
3. Montrer que l’on peut métriser cette topologie de façon à faire de H(Ω) un espace
complet.
4. Montrer que de toute suite (fn)de H(Ω) telle que pour tout Kcompact de Ω,||fn||K,0
est bornée, on peut extraire une sous suite qui converge uniformément sur tout compact.
Ce résultat est connu sous le nom de théorème de Montel.
4 Norme et topologie de la convergence uniforme sur tout com-
pact
Soit Uun ouvert connexe de C. Montrer que l’on ne peut pas normer la topologie de la
convergence uniforme sur tout compact sur l’espace H(U).
5 Théorème de Mac Lane
Nous allons montrer qu’il existe une fonction ϕ∈ H(C)telle que la suite (ϕ(n))n≥0de ses
dérivées successives est dense dans H(C).
1. On note T:H(C)→ H(C)l’opérateur de dérivation et S:H(C)→ H(C)l’application
qui à un élément de H(C)associe son unique primitive sur Cqui s’annule en 0. Montrer
les assertions suivantes :
(a) TnSnf=fpour toute f∈ H(C)et tout n≥n.
(b) Il existe une partie dense A ⊂ H(C)telle que Tnfet Snftendent vers 0dans H(C)
pour toute f∈ A.
2. (a) Montrer que si u∈ A et si v∈ H(C), alors Tn(Snv+u)tend vers vdans H(C).
(b) En déduire que si Vest un ouvert non vide de H(C), alors l’ensemble
{ϕ∈ H(C),∃n≥0Tnϕ∈ V}
est un ouvert dense de H(C).
(c) Conclure à l’aide du théorème de Baire.
2