可除特異点

複素解析学における可除特異点（かじょとくいてん、）、除去可能な特異点、あるいは見かけの特異点（"cosmetic singularity"）とは、その点において定義されない正則函数に対してその点での値を適当に定めれば、延長された函数がその点の近傍において正則となるようにすることができるような点をいう。
例えば函数 
は "z" = 0 に特異点を持つが、"z" を 0 に近づける極限で 1 に近づくから、"f"(0) := 1 と定めればこの特異性は除くことができて、得られた函数は "z" = 0 でも正則になる。この場合、問題は "f" が不定形になることによって生じているのである。この函数を冪級数展開すると
となって、見かけ上も特異点は生じなくなる。
定義.
ガウス平面 C 上の開集合 "U" と "U" の一点 "a" に対して、"f": "U" ∖ {"a"} → C が正則函数であるとき、点 "a" が "f" の可除特異点であるとは、正則函数 "g": "U" → C が存在して、その値が "U" ∖ {"a"} 上で "f" と一致するようにすることができることを言う。またそのような "g" が存在するとき、"f" は "U" 上へ正則に延長できると言う。
リーマンの可除特異点定理.
ベルンハルト・リーマンによる可除特異点定理は、特異点が除去可能である条件を述べたものである。
主張の強さが 1 ⇒ 2 ⇒ 3 ⇒ 4 となることは明らか。4 ⇒ 1 を示すのに、まずは点 "a" における正則性が "a" における解析性（冪級数表現を持つこと）と同値であったことを想起しよう。函数
を考えれば明らかに "h" は "D" ∖ {"a"} で正則で、条件 4 から
が存在するから "h" は "D" で正則、従って "a" の周りでのテイラー展開
ができる。ここで "a"0 = "h"("a") = 0 および "a"1 = "h"′("a") = 0 であるから
が "f" の "a" への正則な延長となり主張が完成する。
その他の特異性.
実変数函数の場合と異なり、正則函数というのは十分に厳格なもので、その孤立特異点は完全な分類が知られている。
正則函数の特異点は本質的には特異点でない可除特異点を除けば、以下の二種類の何れかである。