一致の定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

一致の定理(いっちのていり、: 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つは存在する ( は空ではない)。

に属する全ての開集合の合併集合を と置く。 開集合族の公理から当然開集合である。 ( 閉包補集合)と置けば、 も開集合である。当然 (空集合)である。

(境界点の全集合) であるから と置けば、 である。

が空でないと仮定する。すると も空ではない。なぜなら、 が空であれば、 であるから、 は交点を持たない2つの開集合に分割されてしまって連結ではなくなるからである。

をそれぞれ の任意の点とすれば、 は連結であるから を結ぶ 内に含まれる折線が存在する。これを と置く。

の交点が存在する。なぜなら、これが存在しないとすれば、 と置けば、 であり、 は交点を持たない開集合 にそれぞれ含まれる折線 に分割されることになり、 が連結でなくなるからである。

の交点の一つを と置く。 内点であり、また の境界点であるから の零点集合の集積点であり、証明の第1段階の結論からある正数 が存在して、 に含まれる開円板 内では は恒等的に 0 である。従って、 に含まれる の零点集合であり に含まれる。

の境界点でもあるから、 の点を含む。従って を真に包含し、 の全ての集合の合併集合であることに反する。従って は空でなければならない。

従って が成立し、 の零点集合である。つまり は恒等的に 0 である。

脚注[編集]

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