ピカールの定理

ピカールの定理（）は、複素解析における定理。大定理と小定理があり、エミール・ピカールによって1878年に小定理が、1886年に大定理が証明された。

ピカールの定理 
ピカールの大定理（）は、孤立した真性特異点の近傍の像が高々唯一の点を除き複素平面全体を覆うことを主張する複素解析の定理である。具体的には、がで正則であり、が有界となる有限な自然数が存在しないときに

であることを主張する。

ピカールの小定理（）は、大定理の系であり、定数以外の整関数の値域が高々唯一の点を除く複素平面全体に広がることを主張する。言い換えれば、複素平面から二点以上を欠く値域を持つ整関数は定数に限ることを主張する。ピカールの定理はカゾラーティ・ワイエルシュトラスの定理やリウヴィルの定理を強化したものである。

具体例 
真性特異点を持つ関数の例として

を挙げる。任意のについて

とすればでとなることが確かめられる。ピカールの大定理は、真性特異点を持つ他の関数も同様に振る舞うことを主張する。

大定理の証明 
背理法による。でであればで

である。

とする。が真性特異点であれば、カゾラーティ・ワイエルシュトラスの定理により

が存在するので

とする。
であるからはで正則である。であるからは正則であり、である。であるからは正則であり、である。故には正則であり

である。従って、任意のについて、が根を持たないが存在する。を固定して

とする。はで正則であり、が根を持たないが存在する。であるから

は空でない。の中で絶対値が最大のものをとして

とする。
はで正則であり、が根を持たないが存在する。
これを微分すると

となる。である。 の最大値は、最大値の原理により

である。
であるから、シュワルツの補題により  であり、積分すると

となる。任意の  について

とすれば の上でであるから、ルーシェの定理によりとはの中に同数の根を持つが、 が根を持つからも根を持たなければならない。そのためには

でなければならない。とすればとなり、によりであるから

となり

となるが

であり

であるから、最大値の原理により

でなければならない。故に逆の仮定は矛盾を孕む。

小定理の証明 
小定理は大定理の系である。が整関数であればは以外に特異点を持たない。が真性特異点であれば、大定理によりは高々唯一の例外を除く全ての複素数値を取る。が極(若しくは除去可能な特異点)であれば、その主要部を除去したものは他に特異点を持たず有界であるからリウヴィルの定理により定数である。従って、はの多項式であり、それが定数でないかぎり、代数学の基本定理により全ての複素数値を取る。何れにせよ、は、それ定数でないかぎり、高々唯一の例外を除く全ての複素数値を取ることになる。

参考文献 
 - オンデマンド出版。

関連項目 
ピカルの定理 - 本定理をもじったタイトルのフジテレビの番組

外部リンク 

数学に関する記事
複素解析の定理
数学のエポニム