解析接続
解析学において、解析接続 (かいせきせつぞく、) とはリーマン球面 C 上の領域で定義された有理型関数に対して定義域の拡張を行う手法の一つ、あるいは、その拡張によって得られた関数の事である。
ここでは、有理型関数の解析接続を定義する。正則関数に限って定義することもあるが、有理型関数は、分母分子ともに正則関数である分数で表されるような関数なので、有理型関数の解析接続の定義は、正則関数の解析接続の定義も含んでいる。正則関数で定義する場合はローラン級数の代わりに、 テイラー級数を用いる。
リーマン球面 C の領域 "D" において定義された有理型関数 "f"("z") は任意の "w" ∈ "D" においてローラン展開が可能であり "k" を整数として
という級数と同一視できる。
"f"("z") を "w" を中心とする "f"("z") の関数要素("function element") という。 "w" = ∞ （無限遠点）の時は "y" = 1/"z" として、変数を "y" に取り替えて級数展開を行うものとする。
領域 "D" において定義された有理型関数 "f"("z"), "g"("z") があり、ある一点 "w" ∈ "D" において "f"("z") と "g"("z") の関数要素が一致するとき、一致の定理により領域 "D" 全体でこの二つの関数は一致する。
"f"("z") は、複素平面の領域 "D" を定義域とする有理型関数とする。
"D" ∩ "D" が空でないとし、その連結成分の一つ "P" を取る。 "f" と "f" の "w" ∈ "P" での関数要素が等しいとき、 連結成分 "P" 全体で "f"("z") ≡ "f"("z") となる。このとき "f"("z") を "f"("z") の 直接解析接続("direct analytic continuation") あるいは単に 直接接続("direct continuation") という。
有理型関数 "f"("z") に対し、 "f"("z") の直接接続 "f"("z") を取り、 "f"("z") の直接接続 "f"("z") を取り、 … と順に直接接続を取ってできる有理型関数の列
のことを解析接続("analytic continuation") といい、その集合
を 解析関数("analytic function") という。一般に直接接続の選び方によってできあがる解析接続は異なる。
複素数 "z" を変数とし、無限級数によって定義される関数
を考える。この関数は、収束半径が 1 であり
に収束する。すなわち |"z"| < 1 の時に "g"("z") に収束する。
しかしながら、 "g"("z") は "z"≠1 において定義され、 "f"("z") と定義域が異なることが分かる。
ここで、 "g"("z") を "f"("z") の収束円内の点 "z" = − 1/2 を中心にテイラー展開してみれば
であり、その収束半径は (3/2) であるので |"z" +(1/2) | < (3/2) において定義できることになる。つまり、 "f"("z") から "f"("z") に取り替えることによって定義域を拡げられることがわかる。さらに "z" = − 1, − 2, … でのテイラー展開を考えることにより定義域を拡げていくことができる。この操作により定義域を拡げていけば 実部 Re("z") が 1 より小さい任意の "z" に関して、適当な無限級数をとればその値を定義できることが分かる。
さらに "z" = (1 + "i")/2 における "g"("z") のテイラー展開
を考えると収束半径は 1/√2 である。 "O"("a","r") によって、 "a" を中心とする半径 "r" の開円板を表すことにすると "f" は "O"(0,1) において定義され、 "f" は "O"((1+"i")/2,1/√2) において定義されていることになる。この 2つの開円板の共通部分では "f"("z") = "f"("z") であり
という関数を定義できる。この "h"("z") は、共通部分では "f"("z") = "f"("z") の値を取り、それ以外では、定義されている方の関数の値を取る関数である。これは Re("z") = 1 という線を越えて、 "f" の定義域を拡げることができることを意味している。このように級数で表現でき、定義域が異なるが、共通部分では同じ値を取る関数を用いて定義域を拡げていく手法、あるいは、 "f"("z")に対して 上で与えたような "h"("z") のように定義域を拡げた関数のことを解析接続という。
リーマン球面 C 上の点 "a", "b" を結ぶ曲線、すなわち
という連続関数を考え、この曲線上の全ての点に関数要素を与える。与え方は無数にあるが、任意の "t" ∈ [0,1] 及び、ある正の実数 ε > 0 に対して |"t" − "t"| ≤ ε を満たす "t" ∈ [0,1] における関数要素が "t" を中心とする関数要素の直接接続となるように各点に関数要素を与える。
このような関数要素の族を与える事が可能なとき、"a" を中心とする関数要素はこの曲線に沿って解析接続可能("analytically continuable") であるという。曲線を定めると、その曲線に沿った解析接続は一意に決まる。
"a" を中心とする関数要素 "f"("z") が与えられたとき、 "a" を始点とするあらゆる連続曲線を考え、それらの曲線に沿った解析接続を行って得られる関数をワイエルシュトラスの解析関数という。
2つの曲線 φ("t") と φ("t") がホモトープであり、そのホモトピーが
を満たすとする。任意の ("s","t") ∈ [0,1] × [0,1] に対し、 関数要素 "F"("z") が定められ、この関数要素の集合は、ホモトピーで "s" を任意に固定して得られる曲線 
に沿った解析接続になっているとする。適当な "H"(0,0) の近傍で "F"("z") = "F"("z") ("s" ∈ [0,1]) であるならば、"H"(0,1) の適当な近傍を取ると "F" = "F" となり終点で値が一致する。
このようなホモトピーと関数要素の集合が取れない場合は、ワイエルシュトラスの解析関数は一般に多価関数となる。つまり、「関数の定義域」"S" に穴（特異点）があるとき一般には経路の連続変形の際にそこを無視できず、ホモトープでない曲線同士では、解析接続をしていっても同じ関数要素に辿り着くとは限らない。たとえば自然対数を
で定義するとき、"z" = 0 の部分は特異点となりこのような関数要素はとることができない。この積分は 1 から "t" へ到る曲線を与えることによってその値が定まる。 "z" = 0 を通らない "z" = 1 を始点とする曲線をいろいろ考えることによって得られる解析関数は多価関数となり、対数関数は複素数の範囲では多価関数になるという事実に対応している。
べき級数が収束半径 r を持ち、この円板内で解析函数 f を定義すると仮定する。いま収束円の上の点(円周上の点)を考えて、その点のある近傍に於いて f を解析接続できる場合はその点を正則(regular)、そうでない場合には特異と呼ぶ。円のすべての点が特異であればその円（円周）は自然な境界である。
より一般には、ｆ が解析的である任意の連結な開領域に対して定義を拡張し領域の境界上の点を正則と特異に分類する。領域の境界の点がすべて特異であればそれは自然な境界であり、そのような領域は正則領域である。