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