有理型関数
リーマン面のある領域で定義され、その中で極以外の特異点を持たない解析関数
複素解析において、有理型関数(ゆうりけいかんすう、ゆうりがたかんすう、英: meromorphic function)あるいは、関数が有理型(ゆうりけい、meromorphic)であるとは、(複素数平面あるいは連結)リーマン面のある領域で定義され、その中で極(仮性特異点)以外の特異点を持たない解析関数(特異点以外では正則な関数)であって極全体の集合が離散集合であるような複素関数のことを指す。
![](http://up.wiki.x.io/wikipedia/commons/thumb/3/33/Gamma_abs_3D.png/320px-Gamma_abs_3D.png)
有理型関数は正則関数の商として表すことができ、その分母となる正則関数の零点が元の有理型関数の極となる(分母は定数関数 0 ではない)。
例
編集多項式関数は正則であるから、例えば のような有理関数は全て C 上有理型である。また、関数 や も C 上有理型で、ガンマ関数やリーマンのゼータ関数も同様である。
性質
編集言い換え
編集リーマン面の言葉で言えば、有理型関数というのは、「リーマン球面への正則関数であって、常に の値をとる定数関数ではないもの」ということと同じである。このとき有理型関数の極とはリーマン球面の無限遠点 へ移される複素数のことである。