カゾラーティ・ワイエルシュトラスの定理
カゾラーティ・ワイエルシュトラスの定理（英: Casorati–Weierstrass theorem）は、解析関数の孤立した真性特異点の近傍の像が稠密であることを主張する定理である。具体的には、[math]\mathbb{U}_\delta:=\{z\in\mathbb{C}:\;0\lt |z-z_0|\lt \delta\}[/math] において [math]f(z)[/math] が正則であって [math](z-z_0)^{n}f(z)[/math] が有界となる自然数 [math]n[/math] が存在しないとき（すなわち [math]z_0[/math] が [math]f[/math] の真性特異点であるとき）に
- [math]\forall{\varepsilon\gt 0},\forall{v\in\mathbb{C}},\exists{z\in\mathbb{U}_\delta},\left|f(z)-v\right|\lt \varepsilon[/math]
であることを主張する。
具体例
真性特異点を持つ関数の例として
- [math]f(z)=e^{1/z}[/math]
を挙げる。任意の [math]v\in\mathbb{C}\setminus\{0\}[/math] について
- [math]z=\frac{1}{\log v+2{\pi}in},\quad{n\ge\frac{1}{2\pi\delta}+1}[/math]
とすれば、[math]\left|z\right|\lt \delta[/math] で [math]f(z)=v[/math] となることが確かめられる。カゾラーティの定理は、真性特異点を持つ他の関数も同様に振る舞うことを主張する。但し、カゾラーティの定理は全ての値について「それに限りなく近い値」を取るとしか主張していない。ピカールの定理は、「それに限りなく近い値」しか取らないという値が高々唯一の例外であることを主張する。
証明
背理法を用いる。
- [math]\exists{\epsilon\gt 0},\exists{v\in\mathbb{C}},\forall{z\in\mathbb{U}_\delta},\left|f(z)-v\right|\ge\epsilon[/math]
であると仮定し、
- [math]F(z)=\frac{1}{f(z)-v}[/math]
と置けば、
- [math]\left|F(z)\right|=\frac{1}{\left|f(z)-v\right|}\le\frac{1}{\epsilon}\qquad\left(z\in\mathbb{U}_\delta\right)[/math]
となるので、 [math]F[/math] は [math]\mathbb{U}_\delta[/math] で正則である。一方、 [math]z_0[/math] は [math]f[/math] の真性特異点であるから、[math]z\to z_0[/math] の接近経路により [math]\lim_{z\to z_0}f(z)[/math] はいろいろな値を取り得る。しかし、もし、ある [math]z\to z_0[/math] の経路上で [math]\lim_{z\to z_0}f(z) = v[/math] となると仮定すると、 その経路上で [math]\forall{\epsilon\gt 0},\exists{z\in\mathbb{U}_\delta},\left|f(z)-v\right|\lt \epsilon[/math] が成り立ち、仮定に反する。従って、[math]\lim_{z\to z_0}\left|F(z)\right|[/math] の値は接近経路に依存するが、無限大となることはない。このため
- [math]\lim_{z\to z_0}(z - z_0) F(z) = 0[/math]
は成立し、リーマンの定理により [math]z_0[/math] は [math]F[/math] の除去可能な特異点であることになる。従って、 [math]\forall{z\in\mathbb{U}_\delta},F(z) = G(z)[/math] を満たし、 [math]z_0[/math] で正則な関数 [math]G[/math] が存在する。 [math]G[/math] は [math]z_0[/math] でテイラー展開可能であり、
- [math]f(z)=\frac{1}{G(z)}+v\qquad\left(z\in\mathbb{U}_\delta\right)[/math]
となるが、これは [math]f[/math] が [math]\mathbb{U}_\delta[/math] で有理型となることを意味する。すなわち、 [math]\forall{z\in\mathbb{U}_\delta}[/math] で[math](z-z_0)^{n}f(z)[/math] が有界となる自然数 n が存在することになり、定理の仮定に反する。