一致の定理(いっちのていり、: Identity theorem)は、複素解析において、通常は可算点列上で局所的に一致する2つの正則関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる。

この定理には名は冠されていないが、1844年頃、リウヴィル楕円関数に特殊な形で適用したのが最初であり、直後にコーシーが自分が開発した複素解析の中に取り入れて一般化したものである[1]

定理編集

次の2つの形式があり、どちらも一致の定理と呼ばれている (内容的にはほとんど言い換えに過ぎない)。

(1) 連結開領域   で正則な複素関数   の零点集合が  集積点を持てば、   で恒等的に 0 である。

(2) 連結開領域   で正則な複素関数   が、  で集積点を持つ   の部分集合上で一致すれば領域   全体で一致する。

証明編集

(1) の形式について証明する。(2) の形式については、(1) の形式を   に対して適用すれば即時に出る。

証明を次の2段階に分ける。

第1段階    の零点の集積点の1つとすれば、  を中心としたある正の半径   の開円板上で   は恒等的に 0 である。

第2段階 第1段階で証明した   の近傍における   という結論を   全体に拡張する。なお、通常は解析接続の一意性の証明には一致の定理を用いるので、本定理の証明の中で解析接続の一意性を援用することは好ましくない(循環論法になる恐れがある)。

第1段階の証明編集

   の零点の集積点の1つとする。    で正則であるから、  を中心として次のようにテイラー展開が可能であり、その収束半径は 0 ではない。収束半径より小さな正数   を適当に選んで、  を中心とした開円板    に包含されるようにすることができる。この開円板を   と置く。

 

もし、  が存在するなら、その中で最も添字の値が小さなものを  とし、

 

と置けば、

 

となる。上記の    を中心とした テイラー展開の収束半径は   と同じであり、    で正則で、  である。  であれば   であるから、   以外の   の零点は   の零点であり、   の零点の集積点である。    で連続であるから、  を十分に小さな正数とすれば、  であれば   であるが、   の零点の集積点であるから   を満たす   の零点   が存在するはずであるから矛盾である。

従って全ての整数   について   であり、開円板   上では   は恒等的に 0 である。

第2段階の証明編集

   の零点だけから成る の開集合の中で最大のものとする。定理の前提と第1段階の証明より、  は空ではない。

  と置けば、  における の境界である。

   の任意の点とすると、    の零点集合の集積点であり、証明の第1段階の結論からある正数   が存在して、   に含まれる開円板   内では   は恒等的に 0 である。従って、    に含まれる。 の任意性より   に含まれる。

ゆえに  において開かつ閉集合なので、 の連結性より   が成立し、   の零点集合である。つまり    は恒等的に 0 である。

脚注編集

  1. ^ 数学セミナー編 『数学100の定理』、日本評論社、1999年、pp162,163.