This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Montel's theorem | |
|---|---|
| Name | Montel's theorem |
| Field | Complex analysis |
| Introduced | 1911 |
| Mathematician | Paul Montel |
Montel's theorem Montel's theorem is a foundational result in complex analysis concerning normal families of holomorphic functions and their compactness properties, connecting via compactness criteria to limits, subsequences, and value-distribution phenomena. It plays a central role in the work of Paul Montel, influences developments related to Riemann surface, Julia set, Fatou set, Picard theorem and informs techniques used by researchers associated with Émile Picard, Gaston Julia, Pierre Fatou, Bernhard Riemann and Henri Poincaré.
Montel's theorem states that a family of holomorphic functions on a domain in the complex plane that omits two fixed distinct complex values is a normal family, i.e., every sequence has a subsequence that converges uniformly on compact subsets to a holomorphic or identically infinite limit. This formulation links to classical results by Émile Picard, to compactness concepts used by André Weil and Laurent Schwartz, and to sequential compactness themes found in work of Stefan Banach, Felix Hausdorff, and Maurice Fréchet.
Canonical examples include families of bounded entire functions derived from exponential maps studied by Sofia Kovalevskaya and families omitting 0 and 1 such as scalings of sine and cosine related to investigations by Niels Henrik Abel, Carl Friedrich Gauss, Augustin-Louis Cauchy, and Bernhard Riemann. Counterexamples show sharpness: families omitting only one value need not be normal, as illustrated by the sequence z ↦ n·z on domains considered by Karl Weierstrass and by classical constructions that echo methods of Georg Cantor, Henri Lebesgue, and Otto Blumenthal.
Standard proofs deploy Montel’s original compactness argument augmented with normality criteria, using versions of the Arzelà–Ascoli theorem associated with Giuseppe Ascoli and Cesare Arzelà, together with Cauchy estimates traceable to Augustin-Louis Cauchy and convergence principles developed by Émile Borel and Jacques Hadamard. Alternative proofs invoke Picard's theorem whose provenance ties to Émile Picard and methods connected to the study of entire functions by John Edensor Littlewood, Rolf Nevanlinna, and Lars Ahlfors.
Montel's theorem is instrumental in the proof strategies for foundational results in complex dynamics associated with Gaston Julia and Pierre Fatou, underpins modern proofs of Picard theorem variants and value-distribution results by Rolf Nevanlinna, and is used extensively in the theory of normal families applied in problems studied by Paul Erdős, André Weil, Jean-Pierre Serre, and Alexander Grothendieck. It also appears in the study of iteration of rational maps linked to Adrien Douady, John H. Hubbard, and in compactness arguments in Teichmüller theory related to Oswald Teichmüller and Lars Ahlfors.
Generalizations include Marty’s criterion linking spherical derivatives to normality originating from François Marty, Zalcman’s lemma developed by Lawrence Zalcman, and Bloch’s theorem with origins in work associated to André Bloch and later refinements by Marcel Riesz and Lars Ahlfors. Related theorems and frameworks include Nevanlinna theory pioneered by Rolf Nevanlinna, the Ahlfors theory contributions of Lars Ahlfors, extensions in several complex variables investigated by Kiyoshi Oka, Henri Cartan, and Hermann Weyl, and connections to functional-analytic compactness concepts stemming from Stefan Banach and John von Neumann.
Montel introduced the theorem in the early 20th century as part of a broader program in complex function theory, interacting with contemporaries such as Émile Picard, Gaston Julia, Pierre Fatou, Henri Poincaré, and affecting subsequent developments by Rolf Nevanlinna, Lars Ahlfors, and Oswald Teichmüller. The result influenced the evolution of normal families, value-distribution theory, and complex dynamics and found echoes in the research agendas of mathematicians associated with institutions like the École Normale Supérieure, University of Paris, University of Göttingen, and Institute for Advanced Study.