複素関数の極限の直感的な定義
複素平面\(\mathbb{C} \)もしくはその部分集合\(Z\)を定義域とし、複素数を値としてとる複素関数\begin{equation*}f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が与えられているものとします。その上で、複素関数\(f\)の定義域\(Z\)の集積点\(a\in \mathbb{Z} \)を任意に選びます。集積点の定義より、\begin{equation*}\forall \delta >0:N_{\delta }\left( a\right) \cap \left( A\backslash \left\{
a\right\} \right) \not=\phi
\end{equation*}が成り立ちます。ただし、\(N_{\delta }\left( a\right) \)は中心が\(a\)であり半径が\(\delta \)であるような近傍であり、\begin{equation*}N_{\delta }\left( a\right) =\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\delta \right\}
\end{equation*}です。この場合、\(f\)は点\(a\)において定義されているとは限りませんが、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(A\)の点が必ず存在します。このような点を議論の対象とする理由については後述します。
複素関数\(f\)の変数\(z\)を点\(a\)とは異なる\(Z\)上の点をとりながら\(a\)へ限りなく近づける場合、\(z\)がどのような経路をたどって点\(a\)へ近づく場合においても、その際に\(f\left( z\right) \)の値が必ず複素数\(b\)へ限りなく近づくことが保証されるのであれば、\(z\)が\(a\)に限りなく近づくときに\(f\)は\(b\)へ収束する（converge）と言い、そのことを、\begin{equation*}\lim_{z\rightarrow a}f\left( z\right) =b
\end{equation*}もしくは、\begin{equation*}
z\rightarrow a\text{ のとき }f\left( z\right) \rightarrow b
\end{equation*}などで表記します。その上で、このような点\(b\)を\(z\rightarrow a\)のときの\(f\)の極限（limit）と呼びます。
複素関数の収束に関して厳密な議論を行うためには、イプシロン・デルタ論法を用いて「限りなく近づく」という曖昧な表現を厳密に定義する必要があります。
複素関数の極限の厳密な定義
複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と定義域\(Z\)の集積点\(a\in \mathbb{C} \)が与えられた状況を想定します。この場合、点\(b\in \mathbb{C} \)に対して、\begin{equation*}\lim_{z\rightarrow a}f\left( z\right) =b
\end{equation*}が成り立つこととは、\(f\)の変数\(z\)を点\(a\)とは異なる\(Z\)上の点をとりながら\(a\)へ限りなく近づける場合、\(z\)がどのような経路をたどって点\(a\)へ近づく場合においても、その際に\(f\left( z\right) \)の値が必ず複素数\(b\)へ限りなく近づくことを意味します。これをどのような形で厳密に定式化できるでしょうか。
まず、\(z\rightarrow a\)が成り立つこと、すなわち、\(z\)が\(a\)とは異なる\(Z\)上の点をとりながら\(a\)に限りなく近づいていく様子を表現するためには、\(z\)と\(a\)の近さを表す指標が必要です。そこで、\(z\)と\(a\)の間の距離を表す指標として正の実数\(\delta >0\)を導入します。その上で、\begin{equation*}0<\left\vert z-a\right\vert <\delta
\end{equation*}が成り立つのであれば、「\(z\)は\(a\)とは異なる点であるとともに、\(z\)と\(a\)の間の距離は\(\delta \)よりも小さい」と言えます。また、\(f\left(z\right) \rightarrow b\)が成り立つこと、すなわち点\(f\left( z\right) \)が点\(b\)へ限りなく近づいていく様子を表現するためには、\(f\left( z\right) \)と\(b\)の近さを表す指標も必要です。そこで、\(f\left( z\right) \)と\(b\)の間の距離を表す指標として正の実数\(\varepsilon >0\)を導入します。その上で、\begin{equation*}\left\vert f\left( z\right) -b\right\vert <\varepsilon
\end{equation*}が成り立つのであれば「\(f\left( z\right) \)と\(b\)の間の距離は\(\varepsilon \)よりも小さい」と言えます。\(z\rightarrow a\)のときに\(f\left( z\right) \rightarrow b\)であることは、以上のような2つの実数\(\varepsilon ,\delta \)の関係として表現することになります。
具体的には、まず、\(f\left( z\right) \)と\(b\)の間の距離を表す値\(\varepsilon \)を任意に選びます。今、\(z\rightarrow a\)の場合に\(f\left( z\right) \rightarrow b\)が成り立つのであれば、点\(a\)に十分近くなおかつ点\(a\)とは異なる任意の\(z\)について、\(f\left( z\right) \)と\(b\)の間の距離は\(\varepsilon \)よりも小さくなるはずです。つまり、点\(a\)との距離がある値\(\delta \)より小さい場所にある\(a\)以外の任意の点\(z\in Z\)について、\(f\left( z\right) \)と\(b\)の間の距離は\(\varepsilon \)より小さくなるはずです。これを定式化すると、\begin{equation*}\exists \delta >0,\ \forall z\in Z:\left( 0<\left\vert z-a\right\vert
<\delta \Rightarrow \left\vert f\left( z\right) -b\right\vert <\varepsilon
\right)
\end{equation*}となります。
さて、\(z\rightarrow a\)の場合に\(f\left( z\right) \rightarrow b\)となる場合には、最初に設定する\(\varepsilon \)をどれほど小さくしても同様の議論が成立するはずです。つまり、\(f\left( z\right) \)と\(b\)の間の距離\(\varepsilon \)としてどれほど小さい値を採用した場合でも、\(z\rightarrow a\)の場合に\(f\left( z\right)\rightarrow b\)が成り立つ限りにおいて、点\(a\)との距離がある値\(\delta \)より小さい場所にある\(a\)以外の任意の点\(z\in A\)について、\(f\left( z\right) \)と\(b\)の間の距離は\(\varepsilon \)より小さくなるはずです。これを定式化すると、\begin{equation*}\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。以上の論理式によって、\begin{equation*}
\lim_{z\rightarrow a}f\left( z\right) =b
\end{equation*}が成り立つことの定義とします。
結論をまとめます。複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と定義域\(Z\)の集積点\(a\in \mathbb{C} \)および点\(b\in \mathbb{C} \)に対して、\begin{equation*}\lim_{z\rightarrow a}f\left( z\right) =b
\end{equation*}が成り立つこととは、\(f\)の変数\(z\)を点\(a\)とは異なる\(Z\)上の点をとりながら\(a\)へ限りなく近づける場合、\(z\)がどのような経路をたどって点\(a\)へ近づく場合においても、その際に\(f\left( z\right) \)の値が必ず複素数\(b\)へ限りなく近づくことを意味しますが、そのことを厳密に定義すると、\begin{equation*}\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right)
\end{equation*}になるということです。
実際の運用では、変数\(z\)を近づける先の点\(a\)が与えられたとき、\(f\left( z\right) \)の極限の候補となる何らかの点\(b\)を具体的に設定した上で、それに対して先の論理式が成り立つことを示すことが目標になります。極限の候補\(b\)を特定する方法については後述します。
\end{equation*}を定めるものとします。\(z\rightarrow i\)の場合の極限について、\begin{equation*}\lim_{z\rightarrow i}f\left( z\right) =-2
\end{equation*}が成り立つことを証明します。これを厳密に表現すると、\begin{equation*}
\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in \mathbb{C} :\left( 0<\left\vert z-i\right\vert <\delta \Rightarrow \left\vert f\left(
z\right) -\left( -2\right) \right\vert <\varepsilon \right)
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in \mathbb{C} :\left( 0<\left\vert z-i\right\vert <\delta \Rightarrow \left\vert
2zi+2\right\vert <\varepsilon \right)
\end{equation*}となります。これを示すことが目標です。実際、\(\varepsilon >0\)を任意に選んだとき、それに対して、\begin{equation}\delta =\frac{\varepsilon }{2}>0 \quad \cdots (1)
\end{equation}を満たす正の実数\(\delta \)を選ぶことができます。すると、\begin{equation}0<\left\vert z-i\right\vert <\delta \quad \cdots (2)
\end{equation}を満たす任意の\(z\in \mathbb{C} \)に対して、\begin{eqnarray*}\left\vert 2zi+2\right\vert &=&\left\vert 2\left( zi+1\right) \right\vert
\\
&=&\left\vert 2\left( zi-i^{2}\right) \right\vert \\
&=&\left\vert 2i\left( z-i\right) \right\vert \\
&=&\left\vert 2i\right\vert \left\vert z-i\right\vert \\
&=&2\left\vert z-i\right\vert \\
&<&2\delta \quad \because \left( 2\right) \\
&=&2\cdot \frac{\varepsilon }{2}\quad \because \left( 1\right) \\
&=&\varepsilon
\end{eqnarray*}となるため証明が完了しました。
変数の近づき方に関する注意
複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と定義域\(Z\)の集積点\(a\in \mathbb{C} \)および点\(b\in \mathbb{C} \)が与えられた状況を想定します。\(z\rightarrow a\)の場合に\(f\left( z\right) \rightarrow b\)が成り立つこととは、\(f\)の変数\(z\)を点\(a\)とは異なる\(Z\)上の点をとりながら\(a\)に限りなく近づける場合、\(z\)がどのような経路をたどって点\(a\)へ近づいていく場合においても、それに応じて\(f\left( z\right) \)の値が必ず点\(b\)へ限りなく近づくことが保証されていることを意味し、これを厳密に表現すると、\begin{equation*}\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。点\(a\)は\(f\)の定義域\(Z\)の要素でもそうでなくてもどちらでも構いません。また、変数\(z\)が点\(a\)に近づいていく経路は問いませんが、\(z\)が点\(a\)へ近づいていく過程において任意の\(z\)は\(f\)の定義域\(Z\)に属していなければならず、なおかつ\(z\)は\(a\)とは異なる点でなければなりません。上の論理式中の\(0<\left\vert z-a\right\vert \)は\(z\)が\(a\)とは異なる点であることを踏まえた条件になっています。では、上の定義において\(0<\left\vert z-a\right\vert \)という条件を外すと何が起こるでしょうか。すなわち、\(z\rightarrow a\)のときに\(f\left( z\right)\rightarrow b\)が成り立つことの定義として、\begin{equation*}\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right)
\end{equation*}を採用すると何らかの問題が発生するのでしょうか。
\begin{array}{cc}
i & \left( if\ z\not=0\right) \\
-i & \left( if\ z=0\right)
\end{array}\right.
\end{equation*}を定めるものとします。点\(0\in \mathbb{C} \)に限りなく近い任意の点\(z\in \mathbb{C} \)において\(f\left( z\right) =i\)であるため、複素関数の極限の本来の定義\begin{equation}\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right) \quad \cdots (1)
\end{equation}にしたがうならば、\begin{equation*}
\lim_{z\rightarrow 0}f\left( z\right) =i
\end{equation*}となります。では、複素数の極限の定義として、\begin{equation}
\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right) \quad \cdots (2)
\end{equation}を採用した場合には何が起こるでしょうか。こちらの定義を採用する場合、\(z\)が\(0\)に近づく際に\(z=0\)となる可能性が排除されていません。すると、\begin{eqnarray*}\left\vert f\left( 0\right) -i\right\vert &=&\left\vert -i-i\right\vert
\quad \because f\text{の定義} \\
&=&\left\vert -2i\right\vert \\
&=&2 \\
&>&0
\end{eqnarray*}となるため、\begin{equation*}
\left\vert f\left( 0\right) -i\right\vert >\varepsilon >0
\end{equation*}を満たす正の実数\(\varepsilon>0\)が存在し、それに対して、\begin{equation*}\forall \delta >0,\ \exists 0\in \mathbb{C} :\left( \left\vert 0-0\right\vert <\delta \wedge \left\vert f\left( 0\right)
-i\right\vert >\varepsilon \right)
\end{equation*}が成り立ちます。したがって、複素関数の極限の定義として\(\left( 2\right) \)を採用した場合には、\begin{equation*}\lim_{z\rightarrow 0}f\left( z\right) =i
\end{equation*}が成り立たないという結論になってしまいます。このような例を踏まえると、複素関数の極限の定義において\(0<\left\vert z-a\right\vert \)という条件を外すことはできず、したがって定義として\(\left( 1\right) \)を採用する必要があります。
複素関数の極限を定義する際に集積点を採用する理由
複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と定義域\(Z\)の集積点\(a\in \mathbb{C} \)および点\(b\in \mathbb{C} \)に対して、\begin{equation*}\lim_{z\rightarrow a}f\left( z\right) =b
\end{equation*}が成り立つことは、以下の命題\begin{equation*}
\forall \varepsilon >0,\ \exists \delta >0,\ \forall z\in Z:\left(
0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \right)
\end{equation*}が成り立つこととして定義されますが、なぜ、変数\(z\)が近づく先の点\(a\)として複素関数\(f\)の定義域\(Z\)の集積点を採用するのでしょうか。
複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と点\(a\in \mathbb{C} \)および点\(b\in \mathbb{C} \)が与えられたとき、\(x\rightarrow a\)の場合に\(f\left( z\right) \)が点\(b\)へ収束することを検討するためには、そもそも\(f\)は点\(a\)の周辺の点において定義されている必要があります。なぜなら、\(f\left( z\right) \)が\(z\rightarrow a\)の場合に複素数\(b\)へ収束することとは、変数\(z\)を点\(a\)とは異なる\(Z\)上の点をとりながら\(a\)に限りなく近づける場合、\(z\)がどのような経路をたどって点\(a\)へ近づいていく場合においても、それに応じて\(f\left( z\right) \)の値が必ず複素数\(b\)へ限りなく近づくことを意味するのであり、仮に\(f\)が点\(a\)の周辺の点において定義されていない場合、\(z\)を点\(a\)へ限りなく近づけることができなくなってしまうからです。
点\(a\)が複素関数\(f\)の定義域\(Z\)の集積点である場合には、\begin{equation*}\forall \delta >0:N_{\delta }\left( a\right) \cap \left( Z\backslash \left\{
a\right\} \right) \not=\phi
\end{equation*}が成り立ちます。つまり、どれほど小さい\(\delta >0\)を選んだ場合でも\(N_{\delta }\left( a\right) \)と\(Z\backslash \left\{ a\right\} \)は交わるため、点\(a\)から限りなく近い場所に点\(a\)とは異なる\(Z\)の点が必ず存在します。ちなみに、複素関数\(f\)が点\(a\)において定義されていない場合、すなわち\(a\not\in Z\)である場合には\(X\backslash \left\{ a\right\} =X\)となるため、上の命題は、\begin{equation*}\forall \delta >0:N_{\delta }\left( a\right) \cap Z\not=\phi
\end{equation*}と必要十分になります。これは点\(a\)が\(Z\)の触点であることの定義に他なりません。この場合、複素関数\(f\)は点\(a\)において定義されているとともに、点\(a\)から限りなく近い場所に点\(a\)とは異なる\(Z\)の点が必ず存在します。
逆に、点\(a\)が\(f\)の定義域\(Z\)の集積点ではない場合には何が起こるでしょうか。そこで、点\(a\)が複素関数\(f\)の定義域\(Z\)の孤立点である状況を想定します。孤立点は集積点ではありません。さて、\(a\)が\(Z\)の孤立点である場合には、\begin{equation}\exists \delta >0:N_{\delta }\left( a\right) \cap Z=\left\{ a\right\}
\quad \cdots (1)
\end{equation}が成り立ちます。つまり、十分小さい\(\delta >0\)を選んだ場合には\(N_{\delta}\left( a\right) \)と\(Z\)の交わりには点\(a\)だけしか存在しないため、点\(a\)から限りなく近い場所において複素関数\(f\)は定義されていないことになります。このような場合、\(z\)をそもそも\(a\)へ限りなく近づけることができません。さらに言うと、\(\varepsilon >0\)を任意に選んだ上で、それに対して\(\left( 1\right) \)中の\(\delta >0\)に注目すると、そもそも\(0<\left\vert z-a\right\vert <\delta \)を満たす\(Z\)の点\(z\)は存在しないため、以下の命題\begin{equation}0<\left\vert z-a\right\vert <\delta \Rightarrow \left\vert f\left( z\right)
-b\right\vert <\varepsilon \quad \cdots (2)
\end{equation}の前提\(0<\left\vert z-a\right\vert <\delta \)は常に偽になり、したがって\(\left( 2\right) \)全体は真になってしまいます。これは\(b\)としてどのような複素数を選んだ場合にも同様です。つまり、イプシロン・デルタ論法による複素関数の極限を踏まえたとき、\(a\)が\(Z\)の孤立点である場合には、\(z\rightarrow a\)の場合に\(f\left( z\right) \)は任意の複素数に限りなく近づくことになってしまいます。これでは複素関数の極限の定義として破綻しています。したがって、\(z\rightarrow a\)の場合に\(f\)が何らかの複素数へ収束するか検討する際には、\(a\)が\(f\)の定義域の孤立点である状況をあらかじめ排除しておく必要があります。
点の近傍を用いた複素関数の極限の表現
複素平面上の点\(a\in \mathbb{C} \)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだとき、点\(a\)を中心とする半径\(\varepsilon \)の近傍は、\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}と定義される\(\mathbb{C} \)の部分集合です。
点の近傍を用いると複素関数の極限を以下のように表現できます。
\end{equation*}が成り立つことと、\begin{equation*}
\forall \varepsilon >0,\ \exists \delta >0:f\left( Z\cap N_{\delta }\left(
a\right) \backslash \left\{ a\right\} \right) \subset N_{\varepsilon }\left(
b\right)
\end{equation*}が成り立つことは必要十分である。ただし、\begin{eqnarray*}
N_{\delta }\left( a\right) &=&\left\{ z\in \mathbb{R} \ |\ \left\vert z-a\right\vert <\delta \right\} \\
N_{\varepsilon }\left( b\right) &=&\left\{ w\in \mathbb{R} \ |\ \left\vert w-b\right\vert <\varepsilon \right\}
\end{eqnarray*}である。
\end{equation*}が成り立つことと、\begin{equation*}
\forall \varepsilon >0,\ \exists \delta >0:f\left( N_{\delta }\left(
a\right) \backslash \left\{ a\right\} \right) \subset N_{\varepsilon }\left(
b\right)
\end{equation*}が成り立つことは必要十分です。
複素関数の極限の一意性
複素関数が複素数へ収束する場合、その極限は必ず1つの複素数として定まります。
演習問題
\end{equation*}を定めるものとします。\(z\rightarrow 3\)の場合の極限について、\begin{equation*}\lim_{z\rightarrow 3}f\left( z\right) =-\frac{1}{2}+\frac{3}{2}i
\end{equation*}が成り立つことをイプシロン・デルタ論法を用いて証明してください。
\end{equation*}を定めるものとします。\(z\rightarrow 1+i\)の場合の極限について、\begin{equation*}\lim_{z\rightarrow 1+i}f\left( z\right) =1+3i
\end{equation*}が成り立つことをイプシロン・デルタ論法を用いて証明してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】