ここまでの知識を使って「一致の定理」と「解析接続の定義」を述べることが出来ます。Wikipediaによれば一致の定理には2つの形があると書いてあり、本当にその通りです。解析概論と名古屋大学の柳田さんの講義資料がそれぞれの形で書いてあります。 一致の定理(解析概論):領域$K$において関数$f(z), g(z)$が正則で、$K$内の小領域$K_0$( あるいは$K$に集積点を持つ$K$の部分集合$K_0$)で$f(z)=g(z)$であれば、$K$で常に$f(z)=g(z)$である。 一致の定理(柳田さん講義資料):$f$を領域$K$上の正則関数として、$K$に集積点を持つ相異なる点の列$\{ z…