WIIS

教材一覧
教材一覧
教材検索
FUNCTION

関数の無限極限

目次

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

正の無限大へ発散する関数

関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)は点\(a\in \mathbb{R} \)の周辺の任意の点において定義されているものとします。変数\(x\)が点\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくにつれて\(f\left( x\right) \)の値が限りなく大きくなる場合、\(x\)が\(a\)に限りなく近づくときに\(f\)は正の無限大\(+\infty \)へ発散する(diverge to positive infinity)と言い、このことを、\begin{equation*}\lim\limits_{x\rightarrow a}f(x)=+\infty
\end{equation*}もしくは、\begin{equation*}
x\rightarrow a\ \text{のとき }f\left( x\right) \rightarrow
+\infty
\end{equation*}などで表記します。その上で、このような\(+\infty \)を正の無限極限(positive infinite limit)と呼びます。

繰り返しになりますが、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)について、\(x\rightarrow a\)のときに\(f\)が正の無限大へ発散すること、すなわち、\begin{equation*}\lim\limits_{x\rightarrow a}f(x)=+\infty
\end{equation*}が成り立つこととは、変数\(x\)が\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくにつれて\(f\left( x\right) \)の値が限りなく大きくなることを意味しますが、これはどのような形で厳密に表現できるでしょうか。まず、\(x\rightarrow a\)が成り立つこと、すなわち、\(x\)が\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくと言うためには、\(x\)と\(a\)の近さを表す指標が必要です。そこで、\(x\)と\(a\)の間の距離を表す指標として正の実数\(\delta >0\)を導入したとき、\begin{equation*}0<\left\vert x-a\right\vert <\delta
\end{equation*}が成り立つならば、「\(x\)は\(a\)とは異なる点であるともに、\(x\)と\(a\)の間の距離は\(\delta \)よりも小さい」と言えます。また、\(f\left( x\right) \rightarrow+\infty \)が成り立つこと、すなわち、\(f\left( x\right) \)の値が限りなく大きいと言うためには、\(f\left( x\right) \)の大きさを表す指標も必要です。そこで、\(f\left( x\right) \)の大きさを表す指標として正の実数\(M>0\)を導入したとき、\begin{equation*}f\left( x\right) >M
\end{equation*}が成り立つならば、「\(f\left( x\right) \)は\(M\)よりも大きい」と言えます。\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow+\infty \)であることは、以上のような2つの実数\(M,\delta \)の関係として表現することになります。

具体的には、まず、\(f\left( x\right) \)の大きさを表す値\(M\)を任意に選びます。今、\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow +\infty \)が成り立つのであれば、\(a\)に十分近くなおかつ\(a\)とは異なる任意の\(x\)について\(f\left( x\right) \)は\(M\)よりも大きくなるはずです。つまり、\(x\)と\(a\)の距離を表すある値\(\delta \)が存在して、\(a\)との距離が\(\delta \)以下の場所にある\(a\)以外の任意の\(X\)の点\(x\)について、\(f\left( x\right) \)は\(M\)よりも大きくなるはずです。これを定式化すると、\begin{equation*}\exists \delta >0,\ \forall x\in X:\left( 0<|x-a|<\delta \Rightarrow f\left(
x\right) >M\right)
\end{equation*}となります。\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow +\infty \)となる場合には、最初に設定する\(M\)をどれほど大きくしても同様の議論が成立するはずです。つまり、\(f\left(x\right) \)の大きさを表す値\(M\)としてどれほど大きい値を採用した場合でも、\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow +\infty \)が成り立つ限りにおいて、それに対して\(x\)と\(a\)の距離を表すある値\(\delta \)が存在して、\(a\)との距離が\(\delta \)以下の場所にある\(a\)以外の任意の点\(x\)について、\(f\left( x\right) \)は\(M\)よりも大きくなるはずです。これを定式化すると、\begin{equation*}\forall M>0,\ \exists \delta >0,\ \forall x\in X:\left( 0<|x-a|<\delta
\Rightarrow f\left( x\right) >M\right)
\end{equation*}となります。そこで、上の論理式によって\(x\rightarrow a\)のときに\(f\left( x\right)\rightarrow +\infty \)が成り立つことの定義とします。つまり、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と実数\(a\in \mathbb{R} \)に対して\begin{equation*}\lim\limits_{x\rightarrow a}f(x)=+\infty
\end{equation*}が成り立つことの意味をイプシロン・デルタ論法にもとづいて定義したものが上の論理式です。

例(正の無限大に発散する関数)
関数\(f:\mathbb{R} \backslash \{0\}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \{0\}\)に対して、\begin{equation*}f\left( x\right) =\frac{1}{x^{2}}
\end{equation*}を定めるものとします。このとき、\begin{equation*}
\lim_{x\rightarrow 0}\left( \frac{1}{x^{2}}\right) =+\infty
\end{equation*}が成り立つことを示します。これを厳密に表現すると、\begin{equation*}
\forall M>0,\ \exists \delta >0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( 0<\left\vert x-0\right\vert <\delta
\Rightarrow \frac{1}{x^{2}}>M\right)
\end{equation*}すなわち、\begin{equation*}
\forall M>0,\ \exists \delta >0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( 0<\left\vert x\right\vert <\delta
\Rightarrow \frac{1}{x^{2}}>M\right)
\end{equation*}となります。この論理式が真であることを示すことが目標です。実際、\(M>0\)を任意に選んだとき、それに対して、\begin{equation}\delta =\frac{1}{\sqrt{M}}>0 \quad \cdots (1)
\end{equation}をとることができ、\(0<\left\vert x\right\vert <\delta \)を満たす任意の\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{eqnarray*}\frac{1}{x^{2}} &=&\frac{1}{\left\vert x\right\vert ^{2}} \\
&>&\frac{1}{\delta ^{2}}\quad \because 0<\left\vert x\right\vert <\delta \\
&=&\frac{1}{\left( \frac{1}{\sqrt{M}}\right) ^{2}}\quad \because \left(
1\right) \\
&=&\frac{1}{\frac{1}{M}} \\
&=&M
\end{eqnarray*}となるため証明が完了しました。

 

負の無限大へ発散する関数

関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)は点\(a\in \mathbb{R} \)の周辺において定義されているものとします。変数\(x\)が点\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくにつれて\(f\left( x\right) \)の値が限りなく小さくなる場合、\(x\)が\(a\)に限りなく近づくときに\(f\)は負の無限大\(-\infty \)へ発散する(diverge tonegative infinity)と言い、このことを、\begin{equation*}
\lim\limits_{x\rightarrow a}f(x)=-\infty
\end{equation*}もしくは、\begin{equation*}
x\rightarrow a\ \text{のとき }f\left( x\right) \rightarrow
-\infty
\end{equation*}などで表記します。その上で、このような\(-\infty \)を負の無限極限(negative infinite limit)と呼びます。

繰り返しになりますが、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)について、\(x\rightarrow a\)のときに\(f\)が負の無限大へ発散すること、すなわち、\begin{equation*}\lim\limits_{x\rightarrow a}f(x)=-\infty
\end{equation*}が成り立つこととは、変数\(x\)が\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくにつれて\(f\left( x\right) \)の値が限りなく小さくなることを意味しますが、これはどのような形で厳密に表現できるでしょうか。まず、\(x\rightarrow a\)が成り立つこと、すなわち、\(x\)が\(a\)とは異なる\(X\)上の点をとりながら\(a\)に限りなく近づくと言うためには、\(x\)と\(a\)の近さを表す指標が必要です。そこで、\(x\)と\(a\)の間の距離を表す指標として正の実数\(\delta >0\)を導入したとき、\begin{equation*}0<\left\vert x-a\right\vert <\delta
\end{equation*}が成り立つならば、「\(x\)は\(a\)とは異なる点であるともに、\(x\)と\(a\)の間の距離は\(\delta \)よりも小さい」と言えます。また、\(f\left( x\right) \rightarrow-\infty \)が成り立つこと、すなわち、\(f\left( x\right) \)の値が限りなく小さいと言うためには、\(f\left( x\right) \)の大きさを表す指標も必要です。そこで、\(f\left( x\right) \)の大きさを表す指標として負の実数\(L<0\)を導入したとき、\begin{equation*}f\left( x\right) <L
\end{equation*}が成り立つならば、「\(f\left( x\right) \)は\(L\)よりも小さい」と言えます。\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow-\infty \)であることは、以上のような2つの実数\(L,\delta \)の関係として表現することになります。

具体的には、まず、\(f\left( x\right) \)の大きさを表す値\(L\)を任意に選びます。今、\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow -\infty \)が成り立つのであれば、\(a\)に十分近くなおかつ\(a\)とは異なる任意の\(x\)について、\(f\left( x\right) \)は\(L\)よりも小さくなるはずです。つまり、\(x\)と\(a\)の距離を表すある値\(\delta \)が存在して、\(a\)との距離が\(\delta \)以下の場所にある\(a\)以外の任意の\(X\)の点\(x\)について\(f\left( x\right) \)は\(L\)よりも小さくなるはずです。これを定式化すると、\begin{equation*}\exists \delta >0,\ \forall x\in X:\left( 0<|x-a|<\delta \Rightarrow f\left(
x\right) <L\right)
\end{equation*}となります。\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow -\infty \)となる場合には、最初に設定する\(L\)をどれほど小さくしても同様の議論が成立するはずです。つまり、\(f\left(x\right) \)の大きさを表す値\(L\)としてどれほど小さい値を採用した場合でも、\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow -\infty \)が成り立つ限りにおいて、それに対して\(x\)と\(a\)の距離を表すある値\(\delta \)が存在して、\(a\)との距離が\(\delta \)以下の場所にある\(a\)以外の任意の点\(x\)について、\(f\left( x\right) \)は\(L\)よりも小さくなるはずです。これを定式化すると、\begin{equation*}\forall L<0,\ \exists \delta >0,\ \forall x\in X:\left( 0<|x-a|<\delta
\Rightarrow f\left( x\right) <L\right)
\end{equation*}となります。そこで、これまでの考察を逆手に取る形で、上の論理式によって、\(x\rightarrow a\)のときに\(f\left( x\right) \rightarrow-\infty \)が成り立つことの定義とします。つまり、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と実数\(a\in \mathbb{R} \)に対して\(\lim\limits_{x\rightarrow a}f(x)=-\infty \)が成り立つことの意味をイプシロン・デルタ論法にもとづいて定義したものが上の論理式です。

例(負の無限大に発散する関数)
関数\(f:\mathbb{R} \backslash \{0\}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \{0\}\)に対して、\begin{equation*}f\left( x\right) =-\frac{1}{x^{4}}
\end{equation*}を定めるものとします。このとき、\begin{equation*}
\lim_{x\rightarrow 0}\left( -\frac{1}{x^{4}}\right) =-\infty
\end{equation*}が成り立つことを示します。これを厳密に表現すると、\begin{equation*}
\forall L<0,\ \exists \delta >0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( 0<\left\vert x-0\right\vert <\delta
\Rightarrow -\frac{1}{x^{4}}<L\right)
\end{equation*}すなわち、\begin{equation*}
\forall L<0,\ \exists \delta >0,\ \forall x\in \mathbb{R} \backslash \left\{ 0\right\} :\left( 0<\left\vert x\right\vert <\delta
\Rightarrow -\frac{1}{x^{4}}<L\right)
\end{equation*}となります。この論理式が真であることを示すことが目標です。実際、\(L<0\)を任意に選んだとき、それに対して、\begin{equation}\delta =\frac{1}{\sqrt[4]{-L}}>0 \quad \cdots (1)
\end{equation}をとることができ、\(0<\left\vert x\right\vert <\delta \)を満たす任意の\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{eqnarray*}-\frac{1}{x^{4}} &=&-\frac{1}{\left\vert x\right\vert ^{4}} \\
&<&-\frac{1}{\delta ^{4}}\quad \because 0<\left\vert x\right\vert <\delta \\
&=&-\frac{1}{\left( \frac{1}{\sqrt[4]{-L}}\right) ^{4}}\quad \because \left(
1\right) \\
&=&-\frac{1}{\frac{1}{-L}} \\
&=&L
\end{eqnarray*}となるため証明が完了しました。

 

演習問題

問題(正の無限大へ発散する関数は収束しない)
正の無限大へ発散する関数は有限な実数へ収束しないこと、すなわち、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)について、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =+\infty
\end{equation*}が成り立つ場合には、\begin{equation*}
\lim_{x\rightarrow a}f\left( x\right) =b
\end{equation*}を満たす有限な実数\(b\in \mathbb{R} \)は存在しないことを証明してください。
解答を見る

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

問題(負の無限大へ発散する関数は収束しない)
負の無限大へ発散する関数は有限な実数へ収束しないこと、すなわち、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)について、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =-\infty
\end{equation*}が成り立つ場合には、\begin{equation*}
\lim_{x\rightarrow a}f\left( x\right) =b
\end{equation*}を満たす有限な実数\(b\in \mathbb{R} \)は存在しないことを証明してください。
解答を見る

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

次回は関数の片側極限について解説します。

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

関連知識

関数の無限極限
関数の片側無限極限

関数の変数がある点に右側もしくは左側から近づくときに、変数の値が無限大や無限小へ発散する場合には、それらの極限を片側無限極限と呼びます。

無限大における関数の極限
無限大における関数の無限極限

関数の変数が限りなく大きくなる(限りなく小さくなる)ときに、関数の値が限りなく大きくなる(限りなく小さくなる)状況について考えます。

DISCUSSION

質問とコメント

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

関数