一致の定理のソースを表示

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

この定理には名は冠されていないが、1844年頃、[[ジョゼフ・リウヴィル|リウヴィル]]が[[楕円関数]]に特殊な形で適用したのが最初であり、直後に[[オーギュスタン＝ルイ・コーシー|コーシー]]が自分が開発した[[複素解析]]の中に取り入れて一般化したものである<ref name="a1">数学セミナー編 『数学100の定理』、日本評論社、1999年、pp162,163.</ref>。

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

'''(1)''' 連結開領域 <math>D \subset \mathbb{C}</math> で正則な複素関数 <math>f(z)</math> の零点集合が <math>D</math> で[[集積点]]を持てば、<math>f(z)</math> は <math>D</math> で恒等的に 0 である。

'''(2)''' 連結開領域 <math>D \subset \mathbb{C}</math> で正則な複素関数 <math>f(z), g(z)</math> が、<math>D</math> で集積点を持つ <math>D</math> の部分集合U上で一致すれば領域 <math>D</math> 全体で一致する。ここでUとして例えば開集合を取ることができる。

== 証明 ==
'''(1)''' の形式について証明する。'''(2)''' の形式については、'''(1)''' の形式を <math>f(z)- g(z)</math> に対して適用すれば即時に出る。

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

'''第1段階'''
<math>z_0</math> を <math>f(z)</math> の零点の集積点の1つとすれば、<math>z_0</math> を中心としたある正の半径 <math>r</math> の開円板上で <math>f(z)</math> は恒等的に 0 である。

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

=== 第1段階の証明 ===

<math>z_0</math> を <math>f(z)</math> の零点の集積点の1つとする。 <math>f(z)</math> は <math>D</math> で正則であるから、<math>z_0</math> を中心として次のように[[テイラー展開]]が可能であり、その収束半径は 0 ではない。収束半径より小さな正数 <math>r</math> を適当に選んで、<math>z_0</math> を中心とした開円板 <math>|z-z_0| < r</math> が <math>D</math> に包含されるようにすることができる。この開円板を <math>U</math> と置く。

:<math>f(z)=\sum_{k=0}^{\infty}\frac{c_k}{k!}(z-z_0)^k</math>
もし、<math>c_k\not=0</math> が存在するなら、その中で最も添字の値が小さなものを<math>c_n</math> とし、
:<math>h(z)=\frac{c_n}{n!}+\sum_{k=1}^{\infty}\frac{c_{n+k}}{(n+k)!}(z-z_0)^k</math>
と置けば、
:<math>f(z)=(z-z_0)^n h(z)</math>
となる。上記の <math>h(z)</math> の <math>z_0</math> を中心とした テイラー展開の収束半径は <math>f(z)</math> と同じであり、 <math>h(z)</math> は <math>U</math> で正則で、<math>h(z_0) \ne 0</math> である。<math>z \ne z_0</math> であれば <math>(z-z_0)^n \ne 0</math> であるから、 <math>z_0</math> 以外の <math>f(z)</math> の零点は <math>h(z)</math> の零点であり、<math>z_0</math> は <math>h(z)</math> の零点の集積点である。 <math>h(z)</math> は <math>U</math> で連続であるから、<math>\delta</math> を十分に小さな正数とすれば、<math>|z-z_0| < \delta</math> であれば <math>h(z) \ne 0</math> であるが、<math>z_0</math> は <math>h(z)</math> の零点の集積点であるから <math>|z_1-z_0| < \delta</math> を満たす <math>h(z)</math> の零点 <math>z_1</math> が存在するはずであるから矛盾である。

従って全ての整数 <math>k</math> について <math>c_k=0</math> であり、開円板 <math>U</math> 上では <math>f(z)</math> は恒等的に 0 である。

=== 第2段階の証明 ===

<math>D</math> に包含される <math>f(z)</math> の零点だけから成る開集合は存在する(例えば上の証明の開円板 <math>U</math> はこの条件を満たす)。そのような開集合全ての合併集合を <math>D_1</math> と置く。当然、<math>D_1 \subset D</math> であり、<math>D_1</math> は[[位相空間#定義|開集合族の公理]]から開集合である。(つまり、 <math>D_1</math> は、<math>D</math> に包含される <math>f(z)</math> の零点だけから成る開集合の中で最大のものである)。

<math>D_1 = D</math>であることが証明できれば、<math>D</math> 上で<math>f(z)=0</math> が成立するので、定理が証明されたことになる。これを証明するために、<math>D_1 \ne D</math>と仮定し矛盾を導く。

<math>D_2 = D \cap {\overline{D_1 }}^c</math> ( <math>{\overline{D_1}}^c</math> は <math>D_1</math>の[[閉包 (位相空間論)|閉包]]の[[補集合]])と置けば、<math>D_2</math> も開集合である。当然 <math>D_1 \cap D_2 = \emptyset</math> ([[空集合]])である。

<math>\gamma = D \cap \partial D_1</math> と置けば、<math>\gamma</math> は<math>D</math>に含まれる<math>D_1</math>の[[境界 (位相空間論)|境界]]である。

<math>D = D_1 \cup \gamma \cup D_2</math>、<math>D_1 \cap \gamma = \emptyset</math>、<math>D_2 \cap \gamma = \emptyset</math> が成り立つ。<math>D_1 \ne D</math>が成り立つためには、<math>D_2 \ne \emptyset</math> または <math>\gamma \ne \emptyset</math> でなければならない。

<math>\gamma \ne \emptyset</math>と仮定する。<math>z_1</math> を <math>\gamma</math> の任意の点とすると、<math>z_1</math> は <math>f(z)</math> の零点集合の集積点であり、証明の第1段階の結論からある正数 <math>r</math> が存在して、 <math>D</math> に含まれる開円板 <math>V = \{ z |\ |z-z_1| < r \}</math> 内では <math>f(z)</math> は恒等的に 0 である。<math>z_1</math> は<math>D_1</math>の境界点であるので、<math>V</math> は <math>D_1</math>に内包されない(つまり、<math>V</math> は <math>D_1</math> 以外の点を含む)。従って、 <math>D_1 \cup V</math> は <math>f(z)</math> の零点集合のみから成る<math>D</math>に包含される開集合であり、<math>D_1</math>を真に包含しているので、<math>D_1</math>の最大性に反することになる。従って、<math>\gamma = \emptyset</math>でなければならない。

<math>\gamma = \emptyset</math>かつ<math>D_2 \ne \emptyset</math> と仮定すると、<math>D = D_1  \cup D_2</math> が成り立つことになるが、<math>D_1</math>、<math>D_2</math> は共に空集合ではない開集合であり、かつ <math>D_1 \cap D_2 = \emptyset</math> であるので、<math>D</math>は連結であるという仮定に反する。

以上から、<math>\gamma = \emptyset</math>かつ<math>D_2 = \emptyset</math> でなければならない。従って、<math>D_1 = D</math>が成立し、<math>D</math> で <math>f(z)</math> は恒等的に 0 である。

== 脚注 ==
{{Reflist}}

{{DEFAULTSORT:いつちのていり}}
[[Category:複素解析の定理]]
[[Category:数学に関する記事]]