モンテルの定理

数学の一分野である複素解析学において、モンテルの定理 (Montel's theorem) と呼ばれる、正則関数の族についての2つの定理がある。これらはテンプレート:仮リンクにちなんで名づけられていて、正則関数の族が正規族となる十分条件を与える。

一様有界な族は正規である

定理の第一の（第二よりも単純な）バージョンは、複素平面の開集合上定義された正則関数の一様有界な族は正規族であるというものである。

この定理は形式的には強い次の系を持つ。 $ℱ$ を開集合 D 上の有理型関数の族とする。z₀ ∈ D が $ℱ$ が z₀ において正規でないようなもので、U ⊂ D が z₀ の近傍であれば、 $⋃_{f \in ℱ} f (U)$ は複素平面において稠密である。

モンテルの定理のより強いバージョン（テンプレート:仮リンクと呼ばれることもある）は、正則関数の族は、ある2つの値 a, b ∈ C が存在して、族のどの元も値として a, b を取らないならば、正規族であるというものである。

上記の定理の条件は正規性にとって十分であるが、必要ではない。実際、族 ${z \mapsto z}$ は正規であるが、取らない複素数値はない。

モンテルの定理の第一のバージョンはテンプレート:仮リンク（族が正規であることとspherical derivativeが局所有界であることは同値）とコーシーの積分公式の直接の結果である^[1]。

この定理は、トーマス・ヨアネス・スティルチェス (Thomas Joannes Stieltjes) とテンプレート:仮リンク (William Fogg Osgood) にちなんで、スティルチェス・オズグッドの定理とも呼ばれている^[2]。

上に述べた系は以下のように導かれる。 $ℱ$ のすべての関数はある一点 z₁ の近傍を値域に持たないとする。写像 $z \mapsto \frac{1}{z - z_{1}}$ を前から合成して、一様有界な族を得、これは定理の第一のバージョンによって正規である。

モンテルの定理の第二のバージョンは、単位円板から $ℂ ∖ {a, b}$ への正則普遍被覆が存在するという事実を用いて、第一のバージョンから導ける。（そのような被覆は楕円モジュラー関数によって与えられる。）

モンテルの定理のこのバージョンは、テンプレート:仮リンクを用いて、ピカールの定理から導くこともできる。

テンプレート:仮リンクと呼ばれるヒューリスティックな原理（Zalcman の補題によって正確なものとなる）は、整関数が定数であることを意味する性質は、正則関数の族が正規であることを保証する性質と対応する、と述べている。

例えば、モンテルの定理の第一のバージョンは、リュービルの定理の類似であり、第二のバージョンは、ピカールの定理に対応する。