WIIS

関数

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

目次

関連知識

Mailで保存
Xで共有

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

実数空間\(\mathbb{R} \)もしくはその部分集合\(X\)を定義域とし、実数値をとる1変数関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、この関数\(f\)は限りなく大きい任意の点において定義されているものとします。つまり、\begin{equation*}\exists a\in \mathbb{R} :\left( a,+\infty \right) \subset X
\end{equation*}が成り立つということです。

関数\(f\)の変数\(x\)を\(X\)上の点をとりながら限りなく大きくした場合に\(f\left( x\right) \)の値がある有限な実数\(b\)へ限りなく近づくことが保証されているのであれば、\(x\)が限りなく大きくなるときに\(f\)は\(b\)に収束する(converge)と言い、そのことを、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}もしくは、\begin{equation*}
x\rightarrow +\infty \ \text{のとき}\ f\left( x\right)
\rightarrow b
\end{equation*}などで表します。その上で、このような\(b\)を\(x\rightarrow +\infty \)のときの\(f\)の極限(limit)と呼びます。では、これをどのような形で厳密に定式化できるでしょうか。

まず、\(f\left( x\right) \)が\(b\)に限りなく近いと言うためには、\(f\left( x\right) \)と\(b\)の近さを表す指標が必要です。そこで、\(f\left(x\right) \)と\(b\)の間の距離を表す指標として正の実数\(\varepsilon >0\)を導入したとき、\begin{equation*}\left\vert f\left( x\right) -b\right\vert <\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\in \mathbb{R} \)が存在して、\(x>M\)を満たす任意の\(x\)について\(\left\vert f\left( x\right) -b\right\vert <\varepsilon \)が成り立つということです。これを定式化すると、\begin{equation*}\exists M\in \mathbb{R} ,\ \forall x\in X:\left( x>M\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。上の命題が成り立つのであれば、「\(x\)が大きくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなる」と言えます。

最後に問題になるのは「限りなく近づく」という表現の定式化です。\(x\rightarrow +\infty \)のときに\(f\left( x\right) \)が\(b\)に収束することとは、\(x\)が大きくなるにつれて\(f\left(x\right) \)が\(b\)に限りなく近づくことを意味しますが、この場合、\(f\left( x\right) \)と\(b\)の間の距離\(\varepsilon \)としてどれほど小さい値を採用した場合でも、\(x\)が大きくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなるはずです。これを定式化すると、\begin{equation*}\forall \varepsilon >0,\ \exists M\in \mathbb{R} ,\ \forall x\in X:\left( x>M\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。以上の命題によって、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =b
\end{equation*}が成り立つことの定義とします。

結論をまとめましょう。関数\(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*}が成り立つこととは、\(f\)の変数\(x\)を\(X\)上の点をとりながら限りなく大きくする場合、\(f\left( x\right) \)の値が有限な実数\(b\)へ限りなく近づくことが保証されていることを意味しますが、そのことを厳密に定義すると、\begin{equation*}\forall \varepsilon >0,\ \exists M\in \mathbb{R} ,\ \forall x\in X:\left( x>M\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\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*}と必要十分です。つまり、\(x\)が満たすべき条件を規定する実数\(M\)として正の実数だけを議論の対象としても一般性は失われません。

命題(正の無限大における関数の極限の代替的な表現)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)は限りなく大きい任意の点において定義されているものとする。有限な実数\(b\in \mathbb{R} \)について、\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*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists M\in \mathbb{R} ,\ \forall x\in X:\left( x>M\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\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}
\end{equation*}を定めるものと定義されているとき、\(x\rightarrow +\infty \)の場合の極限について、\begin{equation*}\lim_{x\rightarrow +\infty }\left( \frac{1}{x}\right) =0
\end{equation*}が成り立つことを証明します。これを厳密に表現すると、\begin{equation*}
\forall \varepsilon >0,\ \exists M>0,\ \forall x\in \mathbb{R} \backslash \{0\}:\left( x>M\Rightarrow \left\vert \frac{1}{x}-0\right\vert
<\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 \frac{1}{x}<\varepsilon
\right)
\end{equation*}となります。この論理式が真であることを示すことが目標です。実際、\(\varepsilon >0\)を任意に選んだとき、それに対して、\begin{equation}M=\frac{1}{\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*}\frac{1}{x} &<&\frac{1}{M}\quad \because \left( 1\right) ,\left( 2\right) \\
&=&\frac{1}{\frac{1}{\varepsilon }}\quad \because \left( 1\right) \\
&=&\varepsilon
\end{eqnarray*}となるため証明が完了しました。

 

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

実数空間\(\mathbb{R} \)もしくはその部分集合\(X\)を定義域とし、実数値をとる1変数関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。加えて、この関数\(f\)は限りなく小さい任意の点において定義されているものとします。つまり、\begin{equation*}\exists a\in \mathbb{R} :\left( -\infty ,a\right) \subset X
\end{equation*}が成り立つということです。

関数\(f\)の変数\(x\)を\(X\)上の点をとりながら限りなく小さくした場合に\(f\left( x\right) \)の値がある有限な実数\(b\)へ限りなく近づくことが保証されているのであれば、\(x\)が限りなく小さくなるときに\(f\)は\(b\)に収束する(converge)と言い、そのことを、\begin{equation*}\lim_{x\rightarrow -\infty }f\left( x\right) =b
\end{equation*}もしくは、\begin{equation*}
x\rightarrow -\infty \ \text{のとき}\ f\left( x\right)
\rightarrow b
\end{equation*}などで表します。その上で、このような\(b\)を\(x\rightarrow -\infty \)のときの\(f\)の極限(limit)と呼びます。では、これをどのような形で厳密に定式化できるでしょうか。

まず、\(f\left( x\right) \)が\(b\)に限りなく近いと言うためには、\(f\left( x\right) \)と\(b\)の近さを表す指標が必要です。そこで、\(f\left(x\right) \)と\(b\)の間の距離を表す指標として正の実数\(\varepsilon >0\)を導入したとき、\begin{equation*}\left\vert f\left( x\right) -b\right\vert <\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\in \mathbb{R} \)が存在して、\(x<m\)を満たす任意の\(x\)について\(\left\vert f\left( x\right) -b\right\vert <\varepsilon \)が成り立つということです。これを定式化すると、\begin{equation*}\exists m\in \mathbb{R} ,\ \forall x\in X:\left( x<m\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。上の命題が成り立つのであれば、「\(x\)が小さくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなる」と言えます。

最後に問題になるのは「限りなく近づく」という表現の定式化です。\(x\rightarrow -\infty \)のときに\(f\left( x\right) \)が\(b\)に収束することとは、\(x\)が小さくなるにつれて\(f\left(x\right) \)が\(b\)に限りなく近づくことを意味しますが、この場合、\(f\left( x\right) \)と\(b\)の間の距離\(\varepsilon \)としてどれほど小さい値を採用した場合でも、\(x\)が小さくなるにつれて\(f\left( x\right) \)と\(b\)の間の距離が\(\varepsilon \)よりも小さくなるはずです。これを定式化すると、\begin{equation*}\forall \varepsilon >0,\ \exists m\in \mathbb{R} ,\ \forall x\in X:\left( x<m\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\end{equation*}となります。以上の命題によって、\begin{equation*}
\lim_{x\rightarrow -\infty }f\left( x\right) =b
\end{equation*}が成り立つことの定義とします。

結論をまとめましょう。関数\(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*}が成り立つこととは、\(f\)の変数\(x\)を\(X\)上の点をとりながら限りなく小さくする場合、\(f\left( x\right) \)の値が有限な実数\(b\)へ限りなく近づくことが保証されていることを意味しますが、そのことを厳密に定義すると、\begin{equation*}\forall \varepsilon >0,\ \exists m\in \mathbb{R} ,\ \forall x\in X:\left( x<m\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\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*}と必要十分です。つまり、\(x\)が満たすべき条件を規定する実数\(m\)として負の実数だけを議論の対象としても一般性は失われません。

命題(負の無限大における関数の極限の代替的な表現)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)は限りなく大きい任意の点において定義されているものとする。有限な実数\(b\in \mathbb{R} \)について、\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*}が成り立つことは、\begin{equation*}
\forall \varepsilon >0,\ \exists m\in \mathbb{R} ,\ \forall x\in X:\left( x<m\Rightarrow \left\vert f\left( x\right)
-b\right\vert <\varepsilon \right)
\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}
\end{equation*}を定めるものと定義されているとき、\(x\rightarrow -\infty \)の場合の極限について、\begin{equation*}\lim_{x\rightarrow -\infty }\left( \frac{1}{x}\right) =0
\end{equation*}が成り立つことを証明します。これを厳密に表現すると、\begin{equation*}
\forall \varepsilon >0,\ \exists m<0,\ \forall x\in \mathbb{R} \backslash \{0\}:\left( x<m\Rightarrow \left\vert \frac{1}{x}-0\right\vert
<\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 -\frac{1}{x}<\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 \frac{1}{x}>-\varepsilon
\right)
\end{equation*}となります。この論理式が真であることを示すことが目標です。実際、\(\varepsilon >0\)を任意に選んだとき、それに対して、\begin{equation}m=\frac{1}{-\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*}\frac{1}{x} &>&\frac{1}{m}\quad \because \left( 1\right) ,\left( 2\right) \\
&=&\frac{1}{\frac{1}{-\varepsilon }}\quad \because \left( 1\right) \\
&=&-\varepsilon
\end{eqnarray*}となるため証明が完了しました。

 

無限大における関数の極限の一意性

関数が正の無限大において有限な実数へ収束する場合、その極限は1つの実数として定まります。同様に、関数が負の無限大において有限な実数へ収束する場合、その極限は1つの実数として定まります。

命題(無限大における関数の極限の一意性)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)に関して極限\(\lim\limits_{x\rightarrow+\infty }f\left( x\right) \in \mathbb{R} \)が存在する場合、それは一意的である。極限\(\lim\limits_{x\rightarrow -\infty }f\left( x\right) \in \mathbb{R} \)が存在する場合、それは一意的である。
証明

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

 

演習問題

問題(無限大における関数の極限)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =7-\frac{1}{x}
\end{equation*}を定めるものとします。このとき、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =7
\end{equation*}が成り立つことを証明してください。

解答を見る

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

問題(無限大における関数の極限)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{1}{x^{2}}
\end{equation*}を定めるものとします。このとき、\begin{equation*}
\lim_{x\rightarrow -\infty }f\left( x\right) =0
\end{equation*}が成り立つことを証明してください。

解答を見る

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

問題(無限大における関数の極限)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{8}{x^{3}}
\end{equation*}を定めるものとします。このとき、\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right) =0
\end{equation*}が成り立つことを証明してください。

解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

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