正則関数の解析性

この記事では正則関数の解析性（）について述べる。複素解析において、複素変数  の複素数値関数  が
点  において正則であるとは、 を中心とするある開円板内のすべての点において微分可能であることをいい、
 において解析的であるとは、 を中心とするある開円板において収束冪級数

として展開できることをいう（これは収束半径が正であることを意味する）。
複素解析の最も重要な定理の1つは、正則関数は解析的であることである。この定理の系として以下のようなものがある。
 2つの正則関数が、それらの定義域の共通部分に含まれる集積点をもつ無限集合  のすべての点で一致するならば、集合  を含む定義域の任意の連結開部分集合のすべての点で一致するという一致の定理。
 冪級数は無限回微分可能であるから正則関数もまた無限回微分可能である（実微分可能な関数の場合とは対照的である）。
 収束半径は中心  から最も近い特異点までの距離であり、特異点が無いとき（すなわち  が整関数であるとき）は収束半径は無限大である。厳密には、これは定理の系ではなく、証明の副産物である。
 複素平面上の（恒等的に  でない）隆起関数は整関数ではない。とくに、複素平面の任意の連結開集合に対し、その集合上定義された正則な隆起関数は存在しない。そのため、1の分割が使えないから複素多様体の研究に重要な影響がある。対照的に、1の分割は任意の実多様体上に用いることのできる道具である。

証明 
コーシーが最初に与えた議論はコーシーの積分公式と
 
の冪級数展開を用いる。 を  を中心とする開円板とし、 は  の閉包を含むある開近傍のいたるところで微分可能であるとする。 を  の境界である正の向き（すなわち反時計回り）の円とし、 を  内の点とする。コーシーの積分公式から、次が成り立つ：
 
積分と無限和の交換は以下のように正当化される。 は  上正数  によっておさえられ、一方、 内の任意の  に対しても、ある正数  に対し
 
が成り立つ。したがって  上
 
が成り立ち、ワイエルシュトラスのM判定法によって級数は  上一様収束するので、 和と積分は交換できる。

因子  は積分の変数  に依らないから、くくりだすことができ、次の式を得る：
 
これは  についての冪級数の求める形
 
であり、係数は
 
である。

注意 
 冪級数は項別微分できるから、上の議論を逆向きに適用し、

の冪級数表現を考えると、

を得る。これは導関数に対するコーシーの積分公式である。したがって上で得られた冪級数は  のテイラー級数である。
  が  の任意の特異点よりも中心  に近い任意の点である場合、この議論は成り立つ。よって、テイラー級数の収束半径は  から最も近い特異点への距離よりも小さくはなれない（また大きくもなれない、なぜならば冪級数は収束円の内側に特異点を持たないからである）。
 一致の定理の特別な場合は前述の注意から従う。2つの正則関数が（かなり小さくてもよい） の開近傍  上一致するならば、それらは開円板  上一致する、ただし  は  から最も近い特異点までの距離である。

外部リンク 
 

解析関数
複素解析の定理
証明を含む記事
数学に関する記事