関数の極限
数列に極限があるように, 関数に対しても極限というものがあります.
数列の極限はの場合のみを考えましたが, 関数の場合は以下の種類があります.
- , および の極限
- (は定数) の極限
- 右側, 左側極限 ()
それぞれについて詳しく説明していきます.
1. x →∞, x→-∞ の極限
の極限は, 数列の極限と同様に, を限りなく大きくしたとき, 関数のとる値がに近づくとき,\begin{align*}
\lim_{x\to\infty}f(x) = \alpha
\end{align*}
と書きます.
同じように考えて, を限りなく小さくしたときの値がに近づくとき
\begin{align*}
\lim_{x\to -\infty}f(x)=\alpha^\prime
\end{align*}
と書きます. (は負の無限大と読みます. )
負の無限大の極限は, 関数 (に含まれるをにしたもの)のの極限と考えると分かりやすくなります. つまり,
\begin{align*}
\lim_{x\to-\infty}f(x) = \lim_{x\to\infty} f(-x)
\end{align*}
が成り立ちます.
例.
(1)
(2)
2. x→a の極限
を (何らかの定数) に十分近づけるとき, の値が に近づくとき,
\begin{align*}
\lim_{x\to a} f(x) = \alpha
\end{align*}
と書きます.
基本的には,
\begin{align*}
\lim_{x\to a}f(x) = f(a)
\end{align*}
のようににを代入したものと考えてかまいませんが, 以下のような例外もあります.
例外.
(1) がで定義されていないとき例えば, は のとき 分母がゼロになるので, 定義域がです. つまり, という値は存在しません.
さて, の分子を因数分解するととなり, 分母と約分でき,
\begin{align*}
f(x) = x+3\,(x\neq 3)
\end{align*}
と表すことができます. 極限の考え方は, あくまでを3に近づけることなので,
\begin{align*}
\lim_{x\to 3}f(x) &= \lim_{x\to 3}(x+3) \\
&= 6
\end{align*}
となります.
(右の図はのグラフ. では定義されていないので◦になっていますが, に左右から近づくとの値は6に近づきます. )
(2) これは(1)に似ていますが, 先ほどのにおいて連続でなかったで6でない別の値をが取る場合があります.
\begin{align*}
f(x) = \left\{ \begin{array}{ll}
\dfrac{x^2-9}{x-3} & (x\neq 3)\\
0 & (x = 3)
\end{array}\right.
\end{align*}
という関数が与えられたとき, の極限は, (1) と同じ6になり, にはなりません.
右側, 左側極限(x→a±0)
の極限について, をに十分近づける, と説明しましたが, 近づけ方には二通りあります.- の方向から近づける
- [tex: x
からと近づけていく場合が1. にあたり,
からと近づけていく場合が2. にあたります.
下のように, でグラフが途切れている場合(この場合です), 1. の近づけ方と2. の近づけ方での極限が異なります.
そこで, 1. の場合を右側極限といい, と表し, 同様に
2. の場合を左側極限といい, と表します.
特に, のときはそれぞれ, と書きます.
右側, 左側極限が一致しているとき, その値をでの極限といい,
となります.
上のグラフの例では,
\begin{align*}
\lim_{x\to +0} f(x) &= 2\\
\lim_{x\to -0} f(x) &= 0
\end{align*}
で,
\begin{align*}
\lim_{x\to 0}f(x)
\end{align*}
は存在しません.
注.) 関数の極限の厳密な定義ε-δ論法については本記事では扱っていません.気が向けば記事を書きます.