Développement : Théorème de Montel

Détails/Enoncé :

É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.

Recasages pour l'année 2020 :

Versions :

  • Auteur :
  • Remarque :
    La preuve du théorème de Montel (à la Rudin) est belle mais trop courte pour constituer à elle seule un développement; j'ai rajouté la construction d'une suite exhaustive de compacts (cf. le Queffélec-Queffélec pour ça). On pourrait aussi rajouter le théorème d'Ascoli mais là on manquerait peut-être de temps au contraire. On peut aussi faire la preuve du théorème de Montel dans le Queffélec-Queffélec, mais je l'aime moins que celle du Rudin personnellement, c'est une question de goût.
  • Références :