WIIS

教材一覧
教材一覧
教材検索
VECTOR VALUED FUNCTION

無限大におけるベクトル値関数の極限

目次

Share on twitter
Twitterで共有
Share on email
メールで共有

正の無限大におけるベクトル値関数の極限

これまではベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)について、その変数\(x\)がある点\(a\in \mathbb{R} \)とは異なる定義域\(X\)上の点をとりながら\(a\)に限りなく近づく際の\(f\)の極限について考えましたが、\(f\)が限りなく大きい任意の実数において定義されている場合、変数\(x\)が限りなく大きくなる場合の\(f\)の極限を考えることもできます。

具体的には、ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)の定義域\(X\)が限りなく大きい任意の実数を要素として持つとき、変数\(x\)が\(X\)上の点をとりながら限りなく大きくなるにつれて\(f\left( x\right) \)の値が\(\mathbb{R} ^{m}\)上のある点\(b\)に限りなく近づくならば、\(x\)が限りなく大きくなるときに\(f\)は\(b\)に収束する(converge)と言い、このことを、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}で表記します。繰り返しになりますが、\(x\)が限りなく大きくなる場合の\(f\)の収束可能性について議論する際には、\(f\)は限りなく大きい任意の実数において定義されている必要があります。具体例を挙げると、関数\(f\)の定義域\(X\)が全区間\(\mathbb{R} \)や無限区間\([s,+\infty ),(s,+\infty )\)などであれば問題ありません。一方、関数\(f\)の定義域\(X\)が有界な区間\(\left[ s,t\right] ,\left( s,t\right) \)である場合などには、\(f\)は限りなく大きい任意の実数において定義されていないため、\(x\rightarrow +\infty \)の場合の\(f\left( x\right) \)の値の挙動を調べることができず、したがって\(x\)が限りなく大きくなるときに\(f\)が収束するかどうかを検討することさえできません。

繰り返しになりますが、ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が\(x\rightarrow +\infty \)のときに点\(b\in \mathbb{R} ^{m}\)へ収束すること、すなわち、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}が成り立つこととは、\(x\)が\(X\)上の点をとりながら限りなく大きくなるにつれて\(f\left( x\right) \)の値が\(b\)に限りなく近づくことを意味しますが、これはどのような形で厳密に表現できるでしょうか。まず、\(f\left( x\right) \)が\(b\)に限りなく近いと言うためには、\(f\left( x\right) \)と\(b\)の近さを表す指標が必要です。そこで、\(f\left(x\right) \)と\(b\)の間の距離を表す指標として正の実数\(\varepsilon >0\)を導入したとき、\begin{equation*}d\left( f\left( x\right) ,b\right) <\varepsilon
\end{equation*}すなわち、\begin{equation*}
\sqrt{\sum_{i=1}^{m}\left[ f_{i}\left( x\right) -b_{i}\right] ^{2}}<\varepsilon
\end{equation*}が成り立つのであれば、「\(f\left( x\right) \)と\(b\)の間の距離は\(\varepsilon \)よりも小さい」と言えます。

次に問題になるのは「\(x\)が大きくなるにつれて」という表現の定式化です。\(x\)が大きくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなることとは、ある値以上の任意の\(x\)について、\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなることとして言い換え可能です。つまり、ある正の実数\(M>0\)が存在して、\(x>M\)を満たす任意の\(x\)について\(d\left( f\left( x\right),b\right) <\varepsilon \)が成り立つということです。これを定式化すると、\begin{equation}\exists M>0,\ \forall x\in X:\left[ x>M\Rightarrow d\left( f\left( x\right)
,b\right) <\varepsilon \right] \quad \cdots (1)
\end{equation}となります。上の論理式が成り立つならば、「\(x\)が大きくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなる」と言えます。

最後に問題になるのは「限りなく近づく」という表現の定式化です。\(x\rightarrow +\infty \)のときに\(f\left( x\right) \)が\(b\)に収束することとは、\(x\)が大きくなるにつれて\(f\left(x\right) \)が\(b\)に限りなく近づくことを意味しますが、この場合、限りなく小さい実数\(\varepsilon \)を選んだ場合においても、\(x\)が大きくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなるはずです。\(\left( 1\right) \)を踏まえるとこれは、\begin{equation*}\forall \varepsilon >0,\ \exists M>0,\ \forall x\in X:\left[ x>M\Rightarrow
d\left( f\left( x\right) ,b\right) <\varepsilon \right] \end{equation*}すなわち、\begin{equation}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in X:\left( x>M\Rightarrow
\sqrt{\sum_{i=1}^{m}\left[ f_{i}\left( x\right) -b_{i}\right] ^{2}}<\varepsilon \right) \quad \cdots (2)
\end{equation}と表現できます。そこで、関数\(f\)が点\(b\)に対して\(\left( 2\right) \)を満たす場合、\(f\)は\(x\rightarrow +\infty \)のときに\(b\)へ収束すると言い、このことを、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}と表記します。以上がベクトル値関数が正の無限大において収束することの定義です。

例(正の無限大におけるベクトル値関数の極限)
\(m=2\)の場合のベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{2}\)と点\(\left( b_{1},b_{2}\right) \in \mathbb{R} ^{2}\)について、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =\left( b_{1},b_{2}\right)
\end{equation*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in X:\left( x>M\Rightarrow
\sqrt{\left[ f_{1}\left( x\right) -b_{1}\right] ^{2}+\left[ f_{2}\left(
x\right) -b_{2}\right] ^{2}}<\varepsilon \right)
\end{equation*}が成り立つこととして定義されます。ただし、\(f_{i}:\mathbb{R} \supset X\rightarrow \mathbb{R} \ \left( i=1,2\right) \)は\(f\)の成分関数です。関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( \frac{1}{x},\frac{1}{x}\right)
\end{equation*}を定めるものとします。以上を踏まえた上で、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =\left( 0,0\right)
\end{equation*}が成り立つことを証明します。これを厳密に表現すると、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( x>M\Rightarrow \sqrt{\left( \frac{1}{x}-0\right) ^{2}+\left( \frac{1}{x}-0\right) ^{2}}<\varepsilon \right)
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( x>M\Rightarrow \sqrt{\frac{2}{x^{2}}}<\varepsilon \right)
\end{equation*}となります。これを示すことが目標です。実際、\(\varepsilon >0\)を任意に選んだとき、それに対して、\begin{equation}M=\frac{\sqrt{2}}{\varepsilon }>0 \quad \cdots (1)
\end{equation}を選べば、\begin{equation}
x>M \quad \cdots (2)
\end{equation}を満たす任意の\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{eqnarray*}\sqrt{\frac{2}{x^{2}}} &<&\sqrt{\frac{2}{M^{2}}}\quad \because \left(
2\right) \\
&=&\sqrt{\frac{2}{\frac{2}{\varepsilon ^{2}}}}\quad \because \left( 1\right)
\\
&=&\sqrt{\varepsilon ^{2}} \\
&=&\varepsilon \quad \because \varepsilon >0
\end{eqnarray*}となるため証明が完了しました。

例(正の無限大におけるベクトル値関数の極限)
\(m=1\)の場合のベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(b\in \mathbb{R} \)について、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in X:\left( x>M\Rightarrow
\sqrt{\left[ f\left( x\right) -b\right] ^{2}}<\varepsilon \right)
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in X:\left( x>M\Rightarrow
\left\vert f\left( x\right) -b\right\vert <\varepsilon \right)
\end{equation*}が成り立つこととして定義されますが、これは正の無限大における1変数関数の極限の定義に他なりません。つまり、ベクトル値関数の正の無限大における極限は1変数関数の正の無限大における極限の一般化です。

ベクトル値関数が正の無限大において収束することをイプシロン・デルタ論法を用いて証明するのは面倒です。また、証明を行う際に極限の候補が必要になるという問題もあります。ただ、こうした問題はいずれも解決可能です。詳細は後ほど解説します。

 

負の無限大におけるベクトル値関数の極限

ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が与えられたとき、変数\(x\)が定義域\(X\)上の点をとりながら限りなく大きくなる場合の極限について考えましたが、\(f\)が限りなく小さい任意の実数において定義されている場合には、変数\(x\)が限りなく小さくなる場合のベクトル値関数\(f\)の極限を考えることもできます。

具体的には、ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)の定義域\(X\)が限りなく小さい任意の実数を要素として持つとき、変数\(x\)が定義域\(X\)上の点をとりながら限りなく小さくなるにつれて\(f\left( x\right) \)の値が\(\mathbb{R} ^{m}\)上のある点\(b\)に限りなく近づくならば、\(x\)が限りなく小さくなるときに\(f\)は\(b\)に収束する(converge)と言い、このことを、\begin{equation*}\lim_{x\rightarrow -\infty }f\left( x\right) =b
\end{equation*}で表記します。繰り返しになりますが、\(x\)が限りなく小さくなる場合の\(f\)の収束可能性について議論する際には、当然ながら、\(f\)は限りなく小さい任意の実数において定義されている必要があります。具体例を挙げると、関数\(f\)の定義域\(X\)が全区間\(\mathbb{R} \)や無限区間\((-\infty ,t],(-\infty ,t)\)などであれば問題ありません。一方、関数\(f\)の定義域\(X\)が有界な区間\(\left[ s,t\right] ,\left( s,t\right) \)である場合などには、\(f\)は限りなく小さい任意の実数において定義されていないため、\(x\rightarrow -\infty \)の場合の\(f\left( x\right) \)の値の挙動を調べることができず、したがって\(x\)が限りなく小さくなるときに\(f\)が収束するかどうかを検討することさえできません。

繰り返しになりますが、ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が\(x\rightarrow -\infty \)のときに点\(b\in \mathbb{R} ^{m}\)へ収束すること、すなわち、\begin{equation*}\lim_{x\rightarrow -\infty }f\left( x\right) =b
\end{equation*}が成り立つこととは、\(x\)が\(X\)上の点をとりながら限りなく小さくなるにつれて\(f\left( x\right) \)の値が\(b\)に限りなく近づくことを意味しますが、これはどのような形で厳密に表現できるでしょうか。まず、\(f\left( x\right) \)が\(b\)に限りなく近いと言うためには、\(f\left( x\right) \)と\(b\)の近さを表す指標が必要です。そこで、\(f\left(x\right) \)と\(b\)の間の距離を表す指標として正の実数\(\varepsilon >0\)を導入したとき、\begin{equation*}d\left( f\left( x\right) ,b\right) <\varepsilon
\end{equation*}すなわち、\begin{equation*}
\sqrt{\sum_{i=1}^{m}\left[ f_{i}\left( x\right) -b_{i}\right] ^{2}}<\varepsilon
\end{equation*}が成り立つならば、「\(f\left( x\right) \)と\(b\)の間の距離は\(\varepsilon \)よりも小さい」と言えます。

次に問題になるのは「\(x\)が小さくなるにつれて」という表現の定式化です。\(x\)が小さくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなることとは、ある値以下の任意の\(x\)について、\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなることとして言い換え可能です。つまり、ある負の実数\(L<0\)が存在して、\(x<L\)を満たす任意の\(x\)について\(d\left( f\left( x\right),b\right) <\varepsilon \)が成り立つということです。これを定式化すると、\begin{equation}\exists L<0,\ \forall x\in X:\left[ x<L\Rightarrow d\left( f\left( x\right)
,b\right) <\varepsilon \right] \quad \cdots (1)
\end{equation}となります。上の論理式が成り立つならば、「\(x\)が小さくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなる」と言えます。

最後に問題になるのは「限りなく近づく」という表現の定式化です。\(x\rightarrow -\infty \)のときに\(f\left( x\right) \)が\(b\)に収束することとは、\(x\)が小さくなるにつれて\(f\left(x\right) \)が\(b\)に限りなく近づくことを意味しますが、この場合、限りなく小さい実数\(\varepsilon \)を選んだ場合においても、\(x\)が小さくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなるはずです。\(\left( 1\right) \)を踏まえるとこれは、\begin{equation*}\forall \varepsilon >0,\ \exists L<0,\ \forall x\in X:\left[ x<L\Rightarrow
d\left( f\left( x\right) ,b\right) <\varepsilon \right] \end{equation*}すなわち、\begin{equation}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in X:\left( x<L\Rightarrow
\sqrt{\sum_{i=1}^{m}\left[ f_{i}\left( x\right) -b_{i}\right] ^{2}}<\varepsilon \right) \quad \cdots (2)
\end{equation}と表現できます。そこで、関数\(f\)が点\(b\)に対して\(\left( 2\right) \)を満たす場合、\(f\)は\(x\rightarrow -\infty \)のときに\(b\)へ収束すると言い、このことを、\begin{equation*}\lim_{x\rightarrow -\infty }f\left( x\right) =b
\end{equation*}と表記します。以上がベクトル値関数が負の無限大において収束することの定義です。

例(負の無限大におけるベクトル値関数の極限)
\(m=2\)の場合のベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{2}\)と点\(\left( b_{1},b_{2}\right) \in \mathbb{R} ^{2}\)について、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =\left( b_{1},b_{2}\right)
\end{equation*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in X:\left( x<L\Rightarrow
\sqrt{\left[ f_{1}\left( x\right) -b_{1}\right] ^{2}+\left[ f_{2}\left(
x\right) -b_{2}\right] ^{2}}<\varepsilon \right)
\end{equation*}が成り立つこととして定義されます。ただし、\(f_{i}:\mathbb{R} \supset X\rightarrow \mathbb{R} \ \left( i=1,2\right) \)は\(f\)の成分関数です。関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( \frac{1}{x},\frac{1}{x}\right)
\end{equation*}を定めるものとします。以上を踏まえた上で、\begin{equation*}
\lim_{x\rightarrow -\infty }f\left( x\right) =\left( 0,0\right)
\end{equation*}が成り立つことを証明します。これを厳密に表現すると、\begin{equation*}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( x<L\Rightarrow \sqrt{\left( \frac{1}{x}-0\right) ^{2}+\left( \frac{1}{x}-0\right) ^{2}}<\varepsilon \right)
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( x<L\Rightarrow \sqrt{\frac{2}{x^{2}}}<\varepsilon \right)
\end{equation*}となります。これを示すことが目標です。実際、\(\varepsilon >0\)を任意に選んだとき、それに対して、\begin{equation}L=-\frac{\sqrt{2}}{\varepsilon }<0 \quad \cdots (1)
\end{equation}を選べば、\begin{equation}
x<L \quad \cdots (2)
\end{equation}を満たす任意の\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{eqnarray*}\sqrt{\frac{2}{x^{2}}} &<&\sqrt{\frac{2}{L^{2}}}\quad \because \left(
2\right) \\
&=&\sqrt{\frac{2}{\frac{2}{\varepsilon ^{2}}}}\quad \because \left( 1\right)
\\
&=&\sqrt{\varepsilon ^{2}} \\
&=&\varepsilon \quad \because \varepsilon >0
\end{eqnarray*}となるため証明が完了しました。

例(負の無限大におけるベクトル値関数の極限)
\(m=1\)の場合のベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(b\in \mathbb{R} \)について、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in X:\left( x<L\Rightarrow
\sqrt{\left[ f\left( x\right) -b\right] ^{2}}<\varepsilon \right)
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0,\ \exists L<0,\ \forall x\in X:\left( x<L\Rightarrow
\left\vert f\left( x\right) -b\right\vert <\varepsilon \right)
\end{equation*}が成り立つこととして定義されますが、これは正の無限大における1変数関数の極限の定義に他なりません。つまり、ベクトル値関数の負の無限大における極限は1変数関数の負の無限大における極限の一般化です。

 

無限大におけるベクトル値関数の極限の一意性

ベクトル値関数が正の無限大においてユークリッド空間上の点へ収束するとき、その極限は1つの点として定まります。同様に、ベクトル値関数が負の無限大においてユークリッド空間上の点へ収束するとき、その極限は1つの点として定まります。

命題(無限大におけるベクトル値関数の極限の一意性)
ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が正の無限大\(+\infty \)に関して極限\(\lim\limits_{x\rightarrow +\infty}f(x)\in \mathbb{R} ^{m}\)を持つ場合、それは一意的である。また、\(f\)が負の無限大\(-\infty \)に関して極限\(\lim\limits_{x\rightarrow -\infty}f(x)\in \mathbb{R} ^{m}\)を持つ場合、それは一意的である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

演習問題

問題(無限大におけるベクトル値関数の極限)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1-\frac{1}{x},2-\frac{1}{x}\right)
\end{equation*}を定めるものとします。以上を踏まえた上で、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =\left( 1,2\right)
\end{equation*}が成り立つことをイプシロン・デルタ論法を用いて証明してください。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(無限大におけるベクトル値関数の極限)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( \frac{1}{x^{2}},\frac{1}{x^{2}}\right)
\end{equation*}を定めるものとします。以上を踏まえた上で、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =\left( 0,0\right)
\end{equation*}が成り立つことをイプシロン・デルタ論法を用いて証明してください。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

Share on twitter
Twitterで共有
Share on email
メールで共有
RELATED KNOWLEDGE

関連知識

ベクトル値関数
ベクトル値関数(曲線)の定義

実数空間もしくはその部分集合を定義域とし、値としてユークリッド空間の点をとる写像をベクトル値関数や曲線などと呼びます。

グラフ
ベクトル値関数のグラフ

ベクトル値関数 f が与えられたとき、y=f(x) を満たすベクトル (x,y) からなる集合を f のグラフと呼びます。

ベクトル値関数
ベクトル値関数による逆像と定義域

ベクトル値関数による点の逆像、集合の逆像、定義域などの概念を定義します。また、ベクトル値関数の定義域を求める方法を解説します。

ベクトル値関数
ベクトル値関数の極限

1変数のベクトル値関数(曲線)が収束することの意味を解説した上で、さらにイプシロン・デルタ論法を用いて厳密に定義します。

ベクトル値関数
成分関数を用いたベクトル値関数の収束判定

ベクトル値関数(曲線)が収束することと、そのすべての成分関数が収束することは必要十分です。したがって、ベクトル値関数の収束可能性に関する議論は、1変数関数である成分関数の収束可能性に関する議論に帰着させられます。

ベクトル値関数
点列を用いたベクトル値関数の収束判定

ベクトル値関数(曲線)の収束可能性に関する議論は点列の収束可能性に関する議論に置き換えられます。さらに、点列の収束可能性に関する議論は座標数列の収束可能性に関する議論に置き換えることができるため、結局、ベクトル値関数の収束可能性に関する議論を数列の収束可能性に関する議論に帰着させることができます。

ベクトル値関数
ベクトル値関数の片側極限

1変数のベクトル値関数(曲線)の変数が点に限りなく近づいていく際の経路を指定する形で定義される極限概念を片側極限と呼びます。

DISCUSSION

質問とコメント

プレミアム会員専用コンテンツです
ログイン】【会員登録

ベクトル値関数