極 (複素解析)

数学の一分野の複素解析において、有理型函数の極 () は、 の における特異点のような振る舞いをする特異点の一種である。点 が函数 の極であるとき、 が任意の方向から に近づくと函数は無限遠点へ近づく。
定義.
正式な定義は、以下のようになる。"U" を複素平面 C の開部分集合、"a" を "U" の元とし、formula_1 をその定義域で正則である函数とする。正則函数 formula_2 と正の整数 "n" が存在して、formula_3 の全ての点 "z" に対し、
が成立するとき、"a" を "f" の極という。そのような最小の "n" を極の位数という。位数が 1 の極を単純極 （たんじゅんきょく、"simple pole"）ともいう。
極の位数が 0 でもよいとする著者も少数おり、このとき位数 0 の極は正則点かもしくは除去可能特異点である。しかし、極の位数は正の整数とするほうが一般的であり、「0 位の極」を含めて高々極と呼ぶ。
上記からいくつかの等価な特徴付けが導かれる。
"n" を極 "a" の位数とすれば、必然的に上の表現での函数 "g" に対し、"g"("a") ≠ 0 となる。従って、"a" の開近傍上で正則で "a" において位数 "n" の零点を持つ "h" が存在し、
が成り立つ。インフォーマルには、極は正則函数の零点の逆数として発生するとも言うことができる。
また、"g" の正則性により、"f" は
と表すことができる。
これは有限の主要部をもつローラン級数である。"U" 上の正則函数 formula_7 は "f" の正則部分と呼ばれる。従って、点 "a" が "f" の位数 "n" の極であることと、"f" の "a" の回りでのローラン展開の次数 −"n" より下の全ての項が 0 であり、かつ、次数 −"n" の項が 0 でないこととは同値である。
無限遠点での極.
複素函数は無限遠点で極を持つとして定義することができる。この場合は、 は、例えば閉円板の外側のような形の無限遠点の近傍である必要がある。前の定義を使うには、函数 が で正則であることの意味付けが必要である。代わりに、適切な写像により無限遠点を有限の点へ写すことにより、有限の点での定義から始めることで、極を定義することもできる。写像 formula_8 がそのような写像である。すると、定義により、無限遠点の近傍で正則な函数 "f" は、函数 formula_9（ の近傍で正則である）が で極を持つならば、無限遠点で極を持つ。また、 での の極の位数を の無限遠点での極の位数と見なす。
複素多様体上の函数の極.
一般に、複素多様体 で点 の近傍 のにおいて正則な函数 formula_10 があるとき、 が で 位の極を持つとは、 formula_11 があるとき、函数 formula_12 が formula_13 で 位の極を持つことである（適当なチャートを取ると、 とすることができる）。
無限遠点での極は、この定義の最も単純な非自明な例であり、 をリーマン球面とし、座標変換は formula_14 としたものである。
用語と一般化.
函数 "f" の一次導函数が "a" で位数 1 の極を持つとき、"a" は "f" の分岐点である。（逆は正しくはない。）
極や分岐点ではない除去可能でない特異点を、真性特異点と言う。
孤立した特異点以外で正則であり、特異点が極のみの複素函数は有理型と呼ばれる。