可除特異点のソースを表示

{{脚注の不足|date=2024年5月}}
[[File:Graph of x squared undefined at x equals 2.svg|thumb|right|200px|図の[[放物線]]は ''x'' = 2 に可除特異点を持つ]]
[[複素解析学]]における'''可除特異点'''（かじょとくいてん、{{lang-en-short|''removable singularity''}}）、'''除去可能な特異点'''、あるいは'''見かけの特異点'''（''cosmetic singularity''）とは、その点において定義されない[[正則函数]]に対してその点での値を適当に定めれば、延長された函数がその点の近傍において正則となるようにすることができるような点をいう。

例えば[[Sinc関数|sinc函数]] 
:<math> f(z) = \frac{\sin z}{z} </math>
は ''z'' = 0 に特異点を持つが、''z'' を 0 に近づける極限で 1 に近づくから、''f''(0) := 1 と定めればこの特異性は除くことができて、得られた函数は ''z'' = 0 でも正則になる。この場合、問題は ''f'' が[[不定形]]になることによって生じているのである。この函数を冪級数展開すると
:<math> f(z) = \frac{1}{z}\left(\sum_{k=0}^{\infty} \frac{(-1)^kz^{2k+1}}{(2k+1)!} \right) = \sum_{k=0}^{\infty} \frac{(-1)^kz^{2k}}{(2k+1)!} = 1 - \frac{z^2}{3!} + \frac{z^4}{5!} - \frac{z^6}{7!} + \cdots</math>
となって、見かけ上も特異点は生じなくなる。

== 定義 ==
[[ガウス平面]] '''C''' 上の[[開集合]] ''U'' と ''U'' の一点 ''a'' に対して、''f'': ''U'' &#x2216; {''a''} → '''C''' が[[正則函数]]であるとき、点 ''a'' が ''f'' の'''可除特異点'''であるとは、正則函数 ''g'': ''U'' → '''C''' が存在して、その値が ''U'' &#x2216; {''a''} 上で ''f'' と一致するようにすることができることを言う。またそのような ''g'' が存在するとき、''f'' は ''U'' 上へ正則に延長できると言う。

== リーマンの可除特異点定理 ==
[[ベルンハルト・リーマン]]による可除特異点定理は、特異点が除去可能である条件を述べたものである。

; 定理 (Riemann): ガウス平面上の開集合 ''D'' と ''D'' の一点 ''a'' および ''D'' &#x2216; {''a''} 上で定義される正則函数について、以下の条件は互いに同値である：
:# ''f'' は ''a'' に正則に延長できる。
:# ''f'' は ''a'' に連続的に延長できる。
:# ''a'' の適当な[[近傍 (位相空間論)|近傍]]において ''f'' は[[有界]]。
:# <math>\lim_{z\to a}(z - a) f(z) = 0</math>.

主張の強さが 1 ⇒ 2  ⇒ 3  ⇒ 4 となることは明らか。4 ⇒ 1 を示すのに、まずは点 ''a'' における正則性が ''a'' における解析性（冪級数表現を持つこと）と同値であったことを想起しよう。函数
:<math>h(z) =\begin{cases}
 (z - a)^2 f(z) &  z \ne a ,\\
 0              &  z = a .
\end{cases}</math>
を考えれば明らかに ''h'' は ''D'' &#x2216; {''a''} で正則で、条件 4 から
:<math>h'(a)=\lim_{z\to a}\frac{(z - a)^2f(z)-0}{z-a}=\lim_{z\to a}(z - a) f(z)=0</math>
が存在するから ''h'' は ''D'' で正則、従って ''a'' の周りでのテイラー展開
:<math>h(z) = a_0 + a_1(z-a) + a_2 (z - a)^2 + a_3 (z - a)^3 + \cdots</math>
ができる。ここで ''a''<sub>0</sub> = ''h''(''a'') = 0 および ''a''<sub>1</sub> = ''h''&prime;(''a'') = 0 であるから
:<math>g(z) = a_2 + a_3 (z - a) + a_4 (z - a)^2 + \cdots</math>
が ''f'' の ''a'' への正則な延長となり主張が完成する。

== その他の特異性 ==
実変数函数の場合と異なり、正則函数というのは十分に厳格なもので、その孤立特異点は完全な分類が知られている。
正則函数の特異点は本質的には特異点でない可除特異点を除けば、以下の二種類の何れかである。

# 可除特異点定理を踏まえて、除去可能でない特異点が与えられたとき、lim<sub>''z''→''a''</sub>(''z'' − ''a'')<sup>''m''+1</sup>''f''(''z'') = 0 となるような正整数 ''m'' が存在するか否かを問題にすることができる。そのような ''m'' が存在するとき、点 ''a'' は ''f'' の'''[[極 (複素解析)|極]]'''であるといい、そのような ''m'' のうちで最小のものを、極 ''a'' の'''位数''' (''order'') と呼ぶ。この用語を流用すれば、可除特異点はちょうど 0-位の極にあたる。正則函数はその極の近くで一様に増加 (brow up) する。
# ''f'' の孤立特異点 ''a'' が除去可能でも極でもないとき、'''[[真性特異点]]'''であるという。このとき ''f'' は任意の穴あき近傍 ''U'' &#x2216; {''a''} を高々一点の例外を除いてガウス平面の全域へ写すことが示せる（[[ピカールの定理|ピカールの大定理]]）。

== 関連項目 ==
* [[解析的容量]]
* [[可除不連続点]]

== 外部リンク ==
* {{MathWorld|title=Removable singularity|urlname=RemovableSingularity}}
* {{PlanetMath|title=removable singularity|urlname=RemovableSingularity}}

{{DEFAULTSORT:かしよとくいてん}}
[[Category:複素解析]]
[[Category:ベルンハルト・リーマン]]
[[Category:数学に関する記事]]