Développement : Théorème de Montel

JBernis

201, 203, 205, 245.

A compléter éventuellement avec une application.

Énoncé : Soit $\Omega \subset \mathbb{C}$ un ouvert et $\mathcal{A}$ une partie de l'espace vectoriel $\mathcal{H}(\Omega)$ des fonctions holomorphes sur $\Omega$, muni de la topologie de la convergence uniforme sur tout compact de $\Omega$. Alors les propriétés suivantes sont équivalentes :
-- Pour tout $K\subset \Omega$ compact, il existe une constante $M_K \in \mathbb{C}_+^*$ telle que, pour tout $f \in \mathcal{A}$, $\|f\|_{\infty, K}\leq M_K$.
-- La partie $\mathcal{A}$ est relativement compacte.


Application : Il n'existe pas de norme sur l'espace vectoriel $\mathcal{H}(\Omega)$ qui définisse la même topologie que la topologie de la convergence uniforme sur tout compact de $\Omega$.

Référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses

Alexis

On montre la compacité avec précompact + complet dans cette version.