無理関数の極限
無理関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)がそれぞれの\(x\in X\)に対して定める値が、自然数\(n\in \mathbb{N} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{1}{n}}
\end{equation*}と表されるということです。なお、\(f\)の定義域は、\begin{equation*}X=\left\{
\begin{array}{cc}\mathbb{R} & \left( if\ n\text{は奇数}\right) \\ \mathbb{R} _{+} & \left( if\ n\text{は偶数}\right)
\end{array}\right.
\end{equation*}です。
定義域上の点\(a\in X\)を任意に選んだとき、\(x\rightarrow a\)の場合に\(f\)は有限な実数へ収束するとともに、その極限は、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =a^{\frac{1}{n}}
\end{equation*}となります。
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、自然数\(n\in \mathbb{N} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{1}{n}}
\end{equation*}と表されるものとする。ただし、\begin{equation*}
X=\left\{
\begin{array}{cc}\mathbb{R} & \left( if\ n\text{は奇数}\right) \\ \mathbb{R} _{+} & \left( if\ n\text{は偶数}\right)
\end{array}\right.
\end{equation*}である。点\(a\in X\)を任意に選んだとき、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =a^{\frac{1}{n}}
\end{equation*}が成り立つ。
x^{\frac{1}{2}}:\mathbb{R} _{+}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。点\(a\in \mathbb{R} _{+}\)を任意に選んだとき、先の命題より、\begin{equation*}\lim_{x\rightarrow a}x^{\frac{1}{2}}=a^{\frac{1}{2}}
\end{equation*}が成り立ちます。
x^{\frac{1}{3}}:\mathbb{R} \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。点\(a\in \mathbb{R} \)を任意に選んだとき、先の命題より、\begin{equation*}\lim_{x\rightarrow a}x^{\frac{1}{3}}=a^{\frac{1}{3}}
\end{equation*}が成り立ちます。
\end{equation*}を定めるものとします。\(f\)は多項式関数\(x^{2}-3x+1\)と無理関数\(x^{\frac{1}{3}}\)の合成関数であることに注意してください。点\(a\in \mathbb{R} \)を任意に選んだとき、多項式関数の極限より、\begin{equation}\lim_{x\rightarrow a}\left( x^{2}-3x+1\right) =a^{2}-3a+1 \quad \cdots (1)
\end{equation}が成り立ちます。\(x^{\frac{1}{3}}\)の定義域は\(\mathbb{R} \)であり、したがって\(x^{\frac{1}{3}}\)は点\(a^{2}-3a+1\)において定義されているため、無理関数の極限より、\begin{equation}\lim_{x\rightarrow a^{2}-3a+1}x^{\frac{1}{3}}=\left( a^{2}-3a+1\right) ^{\frac{1}{3}} \quad \cdots (2)
\end{equation}が成り立ちます（関数\(x^{\frac{1}{3}}\)は点\(a^{2}-3a+1\)において連続）。以上を踏まえると、\begin{eqnarray*}\lim_{x\rightarrow a}f\left( x\right) &=&\lim_{x\rightarrow a}\left(
x^{2}-3x+1\right) ^{\frac{1}{3}}\quad \because f\text{の定義} \\
&=&\left( a^{2}-3a+1\right) ^{\frac{1}{3}}\quad \because \left( 1\right)
,\left( 2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。\(f\)は多項式関数\(3x-4\)と無理関数\(x^{\frac{1}{2}}\)の合成関数であることに注意してください。点\(a\in \left( \frac{4}{3},+\infty \right) \)を任意に選んだとき、多項式関数の極限より、\begin{equation}\lim_{x\rightarrow a}\left( 3x-4\right) =3a-4 \quad \cdots (1)
\end{equation}が成り立ちます。\(x^{\frac{1}{2}}\)の定義域は\(\mathbb{R} _{+}\)であり、したがって\(x^{\frac{1}{2}}\)は点\(3a-4\)において定義されているため、無理関数の極限より、\begin{equation}\lim_{x\rightarrow 3a-4}x^{\frac{1}{2}}=\left( 3a-4\right) ^{\frac{1}{2}}
\quad \cdots (2)
\end{equation}が成り立ちます（関数\(x^{\frac{1}{2}}\)は点\(3a-4\)において連続）。以上を踏まえると、\begin{eqnarray*}\lim_{x\rightarrow a}f\left( x\right) &=&\lim_{x\rightarrow a}\left(
3x-4\right) ^{\frac{1}{2}}\quad \because f\text{の定義} \\
&=&\left( 3a-4\right) ^{\frac{1}{2}}\quad \because \left( 1\right) ,\left(
2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。\(f\)は有理関数\(\frac{x+1}{\left( 1-x\right) ^{3}}\)と無理関数\(x^{\frac{1}{3}}\)の合成関数であることに注意してください。点\(a\in \mathbb{R} \backslash \left\{ 1,-1\right\} \)を任意に選んだとき、有理関数の極限より、\begin{equation}\lim_{x\rightarrow a}\left( \frac{x+1}{\left( 1-x\right) ^{3}}\right) =\frac{a+1}{\left( 1-a\right) ^{3}} \quad \cdots (1)
\end{equation}が成り立ちます。\(x^{\frac{1}{3}}\)の定義域は\(\mathbb{R} \)であり、したがって\(x^{\frac{1}{3}}\)は点\(\frac{a+1}{\left( 1-a\right) ^{3}}\)において定義されているため、無理関数の極限より、\begin{equation}\lim_{x\rightarrow \frac{a+1}{\left( 1-a\right) ^{3}}}x^{\frac{1}{3}}=\left[
\frac{a+1}{\left( 1-a\right) ^{3}}\right] ^{\frac{1}{3}} \quad \cdots (2)
\end{equation}が成り立ちます（関数\(x^{\frac{1}{3}}\)は点\(\frac{a+1}{\left( 1-a\right) ^{3}}\)において連続）。以上を踏まえると、\begin{eqnarray*}\lim_{x\rightarrow a}f\left( x\right) &=&\lim_{x\rightarrow a}\left[ \frac{x+1}{\left( 1-x\right) ^{3}}\right] ^{\frac{1}{3}}\quad \because f\text{の定義} \\
&=&\left[ \frac{a+1}{\left( 1-a\right) ^{3}}\right] ^{\frac{1}{3}}\quad
\because \left( 1\right) ,\left( 2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。\(f\)は有理関数\(\frac{4}{x+3}\)と無理関数\(x^{\frac{1}{2}}\)の合成関数であることに注意してください。点\(a\in \left( -3,+\infty \right) \)を任意に選んだとき、有理関数の極限より、\begin{equation}\lim_{x\rightarrow a}\left( \frac{4}{x+3}\right) =\frac{4}{a+3} \quad \cdots (1)
\end{equation}が成り立ちます。関数\(x^{\frac{1}{2}}\)の定義域は\(\mathbb{R} _{+}\)であり、したがって\(x^{\frac{1}{2}}\)は点\(\frac{4}{a+3}\)において定義されているため、無理関数の極限より、\begin{equation}\lim_{x\rightarrow \frac{4}{a+3}}x^{\frac{1}{2}}=\left( \frac{4}{a+3}\right)
^{\frac{1}{2}} \quad \cdots (2)
\end{equation}が成り立ちます（関数\(x^{\frac{1}{2}}\)は点\(\frac{4}{a+3}\)において連続）。以上を踏まえると、\begin{eqnarray*}\lim_{x\rightarrow a}f\left( x\right) &=&\lim_{x\rightarrow a}\left( \frac{4}{x+3}\right) ^{\frac{1}{2}}\quad \because f\text{の定義}
\\
&=&\left( \frac{4}{a+3}\right) ^{\frac{1}{2}}\quad \because \left( 1\right)
,\left( 2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。
無理関数の片側極限
片側極限に関しても同様の主張が成り立ちます。
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、自然数\(n\in \mathbb{N} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{1}{n}}
\end{equation*}と表されるものとする。ただし、\begin{equation*}
X=\left\{
\begin{array}{cc}\mathbb{R} & \left( if\ n\text{は奇数}\right) \\ \mathbb{R} _{+} & \left( if\ n\text{は偶数}\right)
\end{array}\right.
\end{equation*}である。点\(a\in X\)を任意に選んだとき、\begin{equation*}\lim_{x\rightarrow a+}f\left( x\right) =a^{\frac{1}{n}}
\end{equation*}が成り立つ。また、点\(a\in X\backslash \left\{ 0\right\} \)を任意に選んだとき、\begin{equation*}\lim_{x\rightarrow a-}f\left( x\right) =a^{\frac{1}{n}}
\end{equation*}が成り立つ。さらに、\(n\)が奇数の場合には、\begin{equation*}\lim_{x\rightarrow 0-}f\left( x\right) =0
\end{equation*}が成り立つ。
\(n\)が偶数の場合には無理関数\(x^{\frac{1}{n}}\)の定義域は\(\mathbb{R} _{+}\)であるため、この場合には\(x\rightarrow 0-\)の場合の左側極限は定義不可能であることに注意してください。
\end{equation*}を定めるものとします。\(f\)は有理関数\(\frac{4}{x+3}\)と無理関数\(x^{\frac{1}{2}}\)の合成関数であることに注意してください。\(x\)が限りなく大きくなる場合に\(\frac{4}{x+3}\)は単調減少するとともに、\begin{eqnarray*}\lim_{x\rightarrow +\infty }\left( \frac{4}{x+3}\right)
&=&\lim_{x\rightarrow +\infty }\left( \frac{\frac{1}{x}}{1+\frac{1}{x}}\right) \\
&=&\frac{0}{1+0} \\
&=&0
\end{eqnarray*}すなわち、\begin{equation}
\lim_{x\rightarrow +\infty }\left( \frac{4}{x+3}\right) =0 \quad \cdots (1)
\end{equation}が成り立ちます。関数\(x^{\frac{1}{2}}\)の定義域は\(\mathbb{R} _{+}\)であり、したがって\(x^{\frac{1}{2}}\)は点\(0\)以上の任意の点において定義されているため、無理関数の片側極限より、\begin{equation}\lim_{x\rightarrow 0+}x^{\frac{1}{2}}=0^{\frac{1}{2}}=0 \quad \cdots (2)
\end{equation}が成り立ちます（関数\(x^{\frac{1}{2}}\)は点\(0\)において右側連続）。以上を踏まえると、\begin{eqnarray*}\lim_{x\rightarrow +\infty }f\left( x\right) &=&\lim_{x\rightarrow +\infty
}\left( \frac{4}{x+3}\right) ^{\frac{1}{2}}\quad \because f\text{の定義} \\
&=&0\quad \because \left( 1\right) ,\left( 2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。
無理関数の無限大における極限
\(n\)が奇数である場合、無理関数\(x^{\frac{1}{n}}\)は\(\mathbb{R} \)上に定義された狭義単調増加関数であり、\(n\)が偶数である場合、\(x^{\frac{1}{n}}\)は\(\mathbb{R} _{+}\)上に定義された狭義単調増加関数であることを踏まえると、以下が成り立つことが示されます。
\end{equation*}と表されるものとする。ただし、\begin{equation*}
X=\left\{
\begin{array}{cc}\mathbb{R} & \left( if\ n\text{は奇数}\right) \\ \mathbb{R} _{+} & \left( if\ n\text{は偶数}\right)
\end{array}\right.
\end{equation*}である。このとき、\begin{equation*}
\lim_{x\rightarrow +\infty }x^{\frac{1}{n}}=+\infty
\end{equation*}が成り立つ。また、\(n\)が奇数である場合には、\begin{equation*}\lim_{x\rightarrow -\infty }x^{\frac{1}{n}}=-\infty
\end{equation*}が成り立つ。
\(n\)が偶数の場合には無理関数\(x^{\frac{1}{n}}\)の定義域は\(\mathbb{R} _{+}\)であるため、この場合には\(x\rightarrow -\infty \)の場合の極限は定義不可能であることに注意してください。
\end{equation*}を定めるものとします。\(f\)は多項式関数\(x^{2}-3x+1\)と無理関数\(x^{\frac{1}{3}}\)の合成関数であることに注意してください。多項式関数の無限大における極限について、\begin{eqnarray*}\lim_{x\rightarrow +\infty }\left( x^{2}-3x+1\right) &=&\lim_{x\rightarrow
+\infty }\left[ x^{2}\left( 1-\frac{3}{x}+\frac{1}{x^{2}}\right) \right] \\
&=&\lim_{x\rightarrow +\infty }x^{2}\cdot \lim_{x\rightarrow +\infty }\left(
1-\frac{3}{x}+\frac{1}{x^{2}}\right) \\
&=&\left( +\infty \right) \cdot 1 \\
&=&+\infty
\end{eqnarray*}すなわち、\begin{equation}
\lim_{x\rightarrow +\infty }\left( x^{2}-3x+1\right) =+\infty \quad \cdots (1)
\end{equation}が成り立ちます。関数\(x^{\frac{1}{3}}\)の定義域は\(\mathbb{R} \)であり、したがって\(x^{\frac{1}{3}}\)は限りなく大きい任意の点において定義されているため、無理関数の無限大における極限より、\begin{equation}\lim_{x\rightarrow +\infty }x^{\frac{1}{3}}=+\infty \quad \cdots (2)
\end{equation}が成り立ちます。以上を踏まえると、\begin{eqnarray*}
\lim_{x\rightarrow +\infty }f\left( x\right) &=&\lim_{x\rightarrow +\infty
}\left( x^{2}-3x+1\right) ^{\frac{1}{3}}\quad \because f\text{の定義} \\
&=&+\infty \quad \because \left( 1\right) ,\left( 2\right) \text{および合成関数の極限}
\end{eqnarray*}となります。同様にして、\begin{equation*}
\lim_{x\rightarrow -\infty }f\left( x\right) =+\infty
\end{equation*}であることもまた示されます。
演習問題
\end{equation*}を定めるものとします。それぞれの点\(a\in \left[1,+\infty \right) \)について、\(x\)が\(a\)に限りなく近づく場合の\(f\)の極限を求めてください。また、\(x\)が限りなく大きくなる場合や、\(x\)が限りなく小さくなる場合の\(f\)の極限を求めてください。また、極限が存在しない場合にはその理由を述べてください。
\lim_{x\rightarrow 9}\left( \frac{4x^{2}}{1+x^{\frac{1}{2}}}\right)
\end{equation*}
\lim_{x\rightarrow 4}\left[ \frac{\left( 1+6x\right) ^{\frac{1}{2}}-5}{x^{\frac{1}{2}}-2}\right] \end{equation*}
プレミアム会員専用コンテンツです
【ログイン】【会員登録】