一致の定理

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

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

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

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

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

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

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

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

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

第1段階の証明 

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

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

と置けば、

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

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

第2段階の証明 

 に包含される  の零点だけから成る開集合は存在する(例えば上の証明の開円板  はこの条件を満たす)。そのような開集合全ての合併集合を  と置く。当然、 であり、 は開集合族の公理から開集合である。(つまり、  は、 に包含される  の零点だけから成る開集合の中で最大のものである)。

であることが証明できれば、 上で が成立するので、定理が証明されたことになる。これを証明するために、と仮定し矛盾を導く。

 (  は の閉包の補集合)と置けば、 も開集合である。当然  (空集合)である。

 と置けば、 はに含まれるの境界である。

、、 が成り立つ。が成り立つためには、 または  でなければならない。

と仮定する。 を  の任意の点とすると、 は  の零点集合の集積点であり、証明の第1段階の結論からある正数  が存在して、  に含まれる開円板  内では  は恒等的に 0 である。 はの境界点であるので、 は に内包されない(つまり、 は  以外の点を含む)。従って、  は  の零点集合のみから成るに包含される開集合であり、を真に包含しているので、の最大性に反することになる。従って、でなければならない。

かつ と仮定すると、 が成り立つことになるが、、 は共に空集合ではない開集合であり、かつ  であるので、は連結であるという仮定に反する。

以上から、かつ でなければならない。従って、が成立し、 で  は恒等的に 0 である。

脚注 

複素解析の定理
数学に関する記事