Théorème de Montel

En analyse complexe, il existe deux théorèmes portant le nom de Paul Montel, donnant tous deux des conditions pour qu'une famille de fonctions holomorphes soit normale.

Caractérisation des familles normales

Soit $U$ un ouvert du plan complexe. On note $H(U)$ l'ensemble des fonctions holomorphes de $U$ dans le plan complexe. Paul Montel a démontré le résultat suivant :

Une partie de $H(U)$ est normale si et seulement si elle est bornée sur tout compact de $U$.

Autrement dit, les compacts de $H(U)$ sont les fermés bornés ; on dit aussi que $H(U)$ est un espace de Montel.

Ce théorème se démontre à l'aide du théorème d'Arzela-Ascoli.

Famille évitant deux valeurs

Une version plus forte du théorème de Montel, appelée parfois le test fondamental de normalité (en) est l'énoncé suivant :

Soit ${\mathcal {F}}\subset H(U)$ une famille de fonctions holomorphes. Si ${\mathcal {F}}$ évite deux valeurs, c'est-à-dire qu'il existe $a,b\in \mathbb {C}$ distincts tels que pour tout $f\in {\mathcal {F}}$, on a $a,b\notin f(U)$, alors ${\mathcal {F}}$ est une famille normale de $H(U)$.

Ce théorème a joué un rôle crucial dans le développement de la dynamique holomorphe par Pierre Fatou et Gaston Julia.

Il permet également de démontrer les théorèmes de Picard.