WIIS

拡大実数系

拡大実数値関数の片側極限(右側極限・左側極限)

目次

Twitter
Mailで保存

拡大実数関数の右側極限

実数を値としてとり得る実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a+\)の場合に\(f\)が有限な実数へ右側収束することとは、すなわち、\begin{equation*}\exists b\in \mathbb{R} :\lim_{x\rightarrow a+}f\left( x\right) =b
\end{equation*}が成り立つこととは、\(x\)が\(a\)より大きい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)が有限な実数\(b\)へ限りなく近づくことを意味します。以上のことを厳密に表現すると、\begin{equation*}\exists b\in \mathbb{R} ,\ \forall \varepsilon >0,\ \exists \delta >0,\ \forall x\in X:\left(
0<x-a<\delta \Rightarrow \left\vert f\left( x\right) -b\right\vert
<\varepsilon \right)
\end{equation*}となります。

一方、実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a+\)の場合に\(f\)が正の無限大へ発散することとは、すなわち、\begin{equation*}\lim_{x\rightarrow a+}f\left( x\right) =+\infty
\end{equation*}が成り立つこととは、\(x\)が\(a\)より大きい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)がいくらでも大きくなることを意味します。以上のことを厳密に表現すると、\begin{equation*}\forall \lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( 0<x-a<\delta \Rightarrow
\lambda <f\left( x\right) \right)
\end{equation*}となります。

また、実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a+\)の場合に\(f\)が負の無限大へ発散することとは、すなわち、\begin{equation*}\lim_{x\rightarrow a+}f\left( x\right) =-\infty
\end{equation*}が成り立つこととは、\(x\)が\(a\)より大きい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)がいくらでも小さくなることを意味します。以上のことを厳密に表現すると、\begin{equation*}\forall \Lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( 0<x-a<\delta \Rightarrow
f\left( x\right) <\Lambda \right)
\end{equation*}となります。

では、拡大実数系もしくはその部分集合上に定義され、拡大実数を値としてとり得る関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)と点\(a\in \overline{\mathbb{R} }\)が与えられたとき、\(x\rightarrow a+\)の場合に\(f\)が右側収束することをどのように定義すればよいでしょうか。\(x\rightarrow a+\)の場合に関数の値\(f\left(x\right) \)が有限な実数へ収束する場合には、すなわち、\begin{equation*}\exists b\in \mathbb{R} :\lim_{x\rightarrow a+}f\left( x\right) =b
\end{equation*}が成り立つ場合には、やはり、\(f\)は\(x\rightarrow a+\)の場合に収束するものと考えます。一方、拡大実数系\begin{equation*}\overline{\mathbb{R} }=\mathbb{R} \cup \left\{ +\infty ,-\infty \right\}
\end{equation*}では正負の無限大\(\pm \infty \)が体系の中に含まれているため、\(x\rightarrow a+\)の場合に関数の値\(f\left( x\right) \)が限りなく大きくなる場合には、すなわち、\begin{equation*}\lim_{x\rightarrow a+}f\left( x\right) =+\infty
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a+\)の場合に正の無限大へ発散するものとみなさず、\(x\rightarrow a+\)の場合に正の無限大へ収束するものとみなします。同様に、\(x\rightarrow a+\)の場合に関数の値\(f\left( x\right) \)が限りなく小さくなる場合には、すなわち、\begin{equation*}\lim_{x\rightarrow a+}f\left( x\right) =-\infty
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a+\)の場合に負の無限大へ発散するものとみなさず、\(x\rightarrow a\)の場合に負の無限大へ収束するものとみなします。以上を踏まえた上で、拡大実数値関数の収束可能性を以下のように定義します。

拡大実数関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)が点\(a\in \overline{\mathbb{R} }\)において以下の3つの条件の中のどれかを満たす場合、\(f\)は\(x\rightarrow a+\)の場合に右側収束する(converge as \(x\) approaches \(a\) from the right)と言います。

1つ目のケースは、以下の条件\begin{equation*}
\exists b\in \mathbb{R} :\lim_{x\rightarrow a+}f\left( x\right) =b
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\exists b\in \mathbb{R} ,\ \forall \varepsilon >0,\ \exists \delta >0,\ \forall x\in X:\left(
0<x-a<\delta \Rightarrow \left\vert f\left( x\right) -b\right\vert
<\varepsilon \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a+\)の場合に有限な実数\(b\)へ右側収束すると言います。

2つ目のケースは、以下の条件\begin{equation*}
\lim_{x\rightarrow a+}f\left( x\right) =+\infty
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\forall \lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( 0<x-a<\delta \Rightarrow
\lambda <f\left( x\right) \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a+\)の場合に正の無限大\(+\infty \)へ右側収束すると言います。

3つ目のケースは、以下の条件\begin{equation*}
\lim_{x\rightarrow a+}f\left( x\right) =-\infty
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\forall \Lambda >0,\ \exists \delta >0,\ \forall x\in X:\left( 0<x-a<\delta
\Rightarrow f\left( x\right) <\Lambda \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a+\)の場合に負の無限大\(-\infty \)へ右側収束すると言います。

以上を踏まえた上で、拡大実数値関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)が点\(a\in \overline{\mathbb{R} }\)において以下の条件\begin{equation*}\exists b\in \overline{\mathbb{R} }:\lim_{x\rightarrow a+}f\left( x\right) =b
\end{equation*}を満たす場合、以上の条件を満たす拡大実数\(b\)を\(x\rightarrow a+\)の場合の\(f\)の右側極限(right-hand limit)と呼びます。

特に、\(f\)が負の無限大\(-\infty \)において定義されている場合、\(x\rightarrow \left( -\infty\right) +\)の場合の右側極限を、\begin{equation*}\lim_{x\rightarrow -\infty }f\left( x\right) =\lim_{x\rightarrow \left(
-\infty \right) +}f\left( x\right)
\end{equation*}と表記できるものと定めます。ちなみに、\(f\)が正の無限大\(+\infty \)において定義されている場合、\(+\infty \)より大きい拡大実数は存在しないため、\(x\rightarrow \left( +\infty \right)+\)の場合の右側極限を考えることはできません。

以上の定義では、拡大実数値関数の収束先が有限な実数である場合と無限大である場合とでは要求されている条件が異なるため、ケースに応じて条件を使い分ける必要があります。そのような作業は煩雑であるため、以上の3通りのパターンを1つの条件として包括的に表現できれば望ましいと言えます。詳細は後述します。

例(拡大実数値関数の右側極限)
拡大実数値関数\(f:\overline{\mathbb{R} }\rightarrow \overline{\mathbb{R} }\)はそれぞれの\(x\in \overline{\mathbb{R} }\)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cl}
\frac{1}{x} & \left( if\ x\not=0\right) \\
+\infty & \left( if\ x=0\right) \\
0 & \left( if\ x=\pm \infty \right)
\end{array}\right.
\end{equation*}を定めるものとします。\(a\not=0\)を満たす点\(a\in \mathbb{R} \)を任意に選んだとき、\(f\)は\(x\rightarrow a+\)の場合に右側収束することを示します。点\(a\)より大きい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow a+}f\left( x\right) &=&\lim_{x\rightarrow a+}\frac{1}{x}
\\
&=&\frac{1}{a}
\end{eqnarray*}となります。続いて、\(f\)は\(x\rightarrow 0+\)の場合に右側収束することを示します。点\(0\)より大きい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow 0+}f\left( x\right) &=&\lim_{x\rightarrow 0+}\frac{1}{x}
\\
&=&+\infty
\end{eqnarray*}となります。最後に\(f\)は\(x\rightarrow -\infty \)の場合に右側収束することを示します。\(-\infty \)より大きい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow -\infty }f\left( x\right) &=&\lim_{x\rightarrow -\infty }\frac{1}{x} \\
&=&0
\end{eqnarray*}となります。

 

拡大実数関数の左側極限

実数を値としてとり得る実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a-\)の場合に\(f\)が有限な実数へ左側収束することとは、すなわち、\begin{equation*}\exists b\in \mathbb{R} :\lim_{x\rightarrow a-}f\left( x\right) =b
\end{equation*}が成り立つこととは、\(x\)が\(a\)より小さい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)が有限な実数\(b\)へ限りなく近づくことを意味します。以上のことを厳密に表現すると、\begin{equation*}\exists b\in \mathbb{R} ,\ \forall \varepsilon >0,\ \exists \delta >0,\ \forall x\in X:\left(
-\delta <x-a<0\Rightarrow \left\vert f\left( x\right) -b\right\vert
<\varepsilon \right)
\end{equation*}となります。

一方、実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a-\)の場合に\(f\)が正の無限大へ発散することとは、すなわち、\begin{equation*}\lim_{x\rightarrow a-}f\left( x\right) =+\infty
\end{equation*}が成り立つこととは、\(x\)が\(a\)より小さい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)がいくらでも小さくなることを意味します。以上のことを厳密に表現すると、\begin{equation*}\forall \lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( -\delta <x-a<0\Rightarrow
\lambda <f\left( x\right) \right)
\end{equation*}となります。

また、実数値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と点\(a\in \mathbb{R} \)が与えられたとき、\(x\rightarrow a-\)の場合に\(f\)が負の無限大へ発散することとは、すなわち、\begin{equation*}\lim_{x\rightarrow a-}f\left( x\right) =-\infty
\end{equation*}が成り立つこととは、\(x\)が\(a\)より小さい値をとりながら\(a\)へ限りなく近づくにつれて関数の値\(f\left( x\right) \)がいくらでも小さくなることを意味します。以上のことを厳密に表現すると、\begin{equation*}\forall \Lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( -\delta <x-a<0\Rightarrow
f\left( x\right) <\Lambda \right)
\end{equation*}となります。

では、拡大実数系もしくはその部分集合上に定義され、拡大実数を値としてとり得る関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)と点\(a\in \overline{\mathbb{R} }\)が与えられたとき、\(x\rightarrow a-\)の場合に\(f\)が左側収束することをどのように定義すればよいでしょうか。\(x\rightarrow a-\)の場合に関数の値\(f\left(x\right) \)が有限な実数へ収束する場合には、すなわち、\begin{equation*}\exists b\in \mathbb{R} :\lim_{x\rightarrow a-}f\left( x\right) =b
\end{equation*}が成り立つ場合には、やはり、\(f\)は\(x\rightarrow a-\)の場合に収束するものと考えます。一方、拡大実数系\begin{equation*}\overline{\mathbb{R} }=\mathbb{R} \cup \left\{ +\infty ,-\infty \right\}
\end{equation*}では正負の無限大\(\pm \infty \)が体系の中に含まれているため、\(x\rightarrow a-\)の場合に関数の値\(f\left( x\right) \)が限りなく大きくなる場合には、すなわち、\begin{equation*}\lim_{x\rightarrow a-}f\left( x\right) =+\infty
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a-\)の場合に正の無限大へ発散するものとみなさず、\(x\rightarrow a-\)の場合に正の無限大へ収束するものとみなします。同様に、\(x\rightarrow a-\)の場合に関数の値\(f\left( x\right) \)が限りなく小さくなる場合には、すなわち、\begin{equation*}\lim_{x\rightarrow a-}f\left( x\right) =-\infty
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a-\)の場合に負の無限大へ発散するものとみなさず、\(x\rightarrow a\)の場合に負の無限大へ収束するものとみなします。以上を踏まえた上で、拡大実数関数の収束可能性を以下のように定義します。

拡大実数関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)が点\(a\in \overline{\mathbb{R} }\)において以下の3つの条件の中のどれかを満たす場合、\(f\)は\(x\rightarrow a-\)の場合に右側収束する(converge as \(x\) approaches \(a\) from the left)と言います。

1つ目のケースは、以下の条件\begin{equation*}
\exists b\in \mathbb{R} :\lim_{x\rightarrow a-}f\left( x\right) =b
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\exists b\in \mathbb{R} ,\ \forall \varepsilon >0,\ \exists \delta >0,\ \forall x\in X:\left(
-\delta <x-a<0\Rightarrow \left\vert f\left( x\right) -b\right\vert
<\varepsilon \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a-\)の場合に有限な実数\(b\)へ左側収束すると言います。

2つ目のケースは、以下の条件\begin{equation*}
\lim_{x\rightarrow a-}f\left( x\right) =+\infty
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\forall \lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left( -\delta <x-a<0\Rightarrow
\lambda <f\left( x\right) \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a-\)の場合に正の無限大\(+\infty \)へ左側収束すると言います。

3つ目のケースは、以下の条件\begin{equation*}
\lim_{x\rightarrow a-}f\left( x\right) =-\infty
\end{equation*}が成り立つ場合です。すなわち、\begin{equation*}
\forall \Lambda >0,\ \exists \delta >0,\ \forall x\in X:\left( -\delta
<x-a<0\Rightarrow f\left( x\right) <\Lambda \right)
\end{equation*}が成り立つ場合には、\(f\)は\(x\rightarrow a\)の場合に負の無限大\(-\infty \)へ左側収束すると言います。

以上を踏まえた上で、拡大実数値関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)が点\(a\in \overline{\mathbb{R} }\)において以下の条件\begin{equation*}\exists b\in \overline{\mathbb{R} }:\lim_{x\rightarrow a-}f\left( x\right) =b
\end{equation*}を満たす場合、以上の条件を満たす拡大実数\(b\)を\(x\rightarrow a-\)の場合の\(f\)の左側極限(left-hand limit)と呼びます。

特に、\(f\)が正の無限大\(+\infty \)において定義されている場合、\(x\rightarrow \left( +\infty\right) -\)の場合の左側極限を、\begin{equation*}\lim_{x\rightarrow +\infty }f\left( x\right) =\lim_{x\rightarrow \left(
+\infty \right) -}f\left( x\right)
\end{equation*}と表記できるものと定めます。ちなみに、\(f\)が負の無限大\(-\infty \)において定義されている場合、\(-\infty \)より小さい拡大実数は存在しないため、\(x\rightarrow \left( -\infty \right)-\)の場合の左側極限を考えることはできません。

以上の定義では、拡大実数値関数の収束先が有限な実数である場合と無限大である場合とでは要求されている条件が異なるため、ケースに応じて条件を使い分ける必要があります。そのような作業は煩雑であるため、以上の3通りのパターンを1つの条件として包括的に表現できれば望ましいと言えます。詳細は後述します。

例(拡大実数値関数の左側極限)
拡大実数値関数\(f:\overline{\mathbb{R} }\rightarrow \overline{\mathbb{R} }\)はそれぞれの\(x\in \overline{\mathbb{R} }\)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cl}
\frac{1}{x} & \left( if\ x\not=0\right) \\
+\infty & \left( if\ x=0\right) \\
0 & \left( if\ x=\pm \infty \right)
\end{array}\right.
\end{equation*}を定めるものとします。\(a\not=0\)を満たす点\(a\in \mathbb{R} \)を任意に選んだとき、\(f\)は\(x\rightarrow a-\)の場合に右側収束することを示します。点\(a\)より小さい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow a-}f\left( x\right) &=&\lim_{x\rightarrow a-}\frac{1}{x}
\\
&=&\frac{1}{a}
\end{eqnarray*}となります。続いて、\(f\)は\(x\rightarrow 0-\)の場合に左側収束することを示します。点\(0\)より小さい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow 0-}f\left( x\right) &=&\lim_{x\rightarrow 0-}\frac{1}{x}
\\
&=&-\infty
\end{eqnarray*}となります。最後に\(f\)は\(x\rightarrow +\infty \)の場合に左側収束することを示します。\(+\infty \)より小さい周辺の任意の点\(x\)において\(f\left( x\right) =\frac{1}{x}\)であることから、\begin{eqnarray*}\lim_{x\rightarrow -\infty }f\left( x\right) &=&\lim_{x\rightarrow -\infty }\frac{1}{x} \\
&=&0
\end{eqnarray*}となります。

 

拡大実数値関数の右側極限と左側極限は一致するとは限らない

拡大実数値関数の右側極限と左側極限は一致するとは限りません。以下の例より明らかです。

例(右側極限と左側極限が異なる拡大実数値関数)
拡大実数値関数\(f:\overline{\mathbb{R} }\rightarrow \overline{\mathbb{R} }\)はそれぞれの\(x\in \overline{\mathbb{R} }\)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cl}
\frac{1}{x} & \left( if\ x\not=0\right) \\
+\infty & \left( if\ x=0\right) \\
0 & \left( if\ x=\pm \infty \right)
\end{array}\right.
\end{equation*}を定めるものとします。先に示したように、\begin{eqnarray*}
\lim_{x\rightarrow 0+}f\left( x\right) &=&\lim_{x\rightarrow 0+}\frac{1}{x}=+\infty \\
\lim_{x\rightarrow 0-}f\left( x\right) &=&\lim_{x\rightarrow 0-}\frac{1}{x}=-\infty
\end{eqnarray*}であるため、\begin{equation*}
\lim_{x\rightarrow 0-}f\left( x\right) <\lim_{x\rightarrow 0+}f\left(
x\right)
\end{equation*}が成り立ちます。

 

拡大実数値関数の片側収束可能性の包括的な表現

拡大実数値関数が右側収束するために満たすべき条件は、収束先が有限な実数である場合と無限大である場合とでは異なるため、ケースに応じて条件を使い分ける必要があります。ただ、拡大実数値関数が右側収束することを以下のように統一的な形で表現することもできます。

命題(拡大実数値関数の右側収束可能性)
拡大実数値関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)と点\(a\in \overline{\mathbb{R} }\)について、以下の条件\begin{equation*}\exists b\in \overline{\mathbb{R} },\ \forall \lambda ,\Lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left[ \left( \lambda <b<\Lambda
\wedge 0<x-a<\delta \right) \Rightarrow \lambda <f\left( x\right) <\Lambda \right] \end{equation*}が成り立つことは、\(x\rightarrow a+\)の場合に\(f\)が右側収束するための必要十分条件である。
証明

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

左側収束可能性についても同様の命題が成り立ちます。

命題(拡大実数値関数の左側収束可能性)
拡大実数値関数\(f:\overline{\mathbb{R} }\supset X\rightarrow \overline{\mathbb{R} }\)と点\(a\in \overline{\mathbb{R} }\)について、以下の条件\begin{equation*}\exists b\in \overline{\mathbb{R} },\ \forall \lambda ,\Lambda \in \mathbb{R} ,\ \exists \delta >0,\ \forall x\in X:\left[ \left( \lambda <b<\Lambda
\wedge \delta <x-a<0\right) \Rightarrow \lambda <f\left( x\right) <\Lambda \right] \end{equation*}が成り立つことは、\(x\rightarrow a-\)の場合に\(f\)が左側収束するための必要十分条件である。
証明

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

 

演習問題

問題(拡大実数値関数の片側極限)
拡大実数値関数\(f:\mathbb{R} \rightarrow \overline{\mathbb{R} }\)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cc}
\frac{1}{x^{4}} & \left( if\ x\not=0\right) \\
-\infty & \left( if\ x=0\right)
\end{array}\right.
\end{equation*}を定めるものとします。それぞれの点\(a\in \mathbb{R} \)における右側極限と左側極限\begin{eqnarray*}&&\lim_{x\rightarrow a+}f\left( x\right) \\
&&\lim_{x\rightarrow a-}f\left( x\right)
\end{eqnarray*}をそれぞれ求めてください。

解答を見る

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

問題(拡大実数値関数の片側極限)
拡大実数値関数\(f:\mathbb{R} \supset \left[ 0,\pi \right] \rightarrow \overline{\mathbb{R} }\)はそれぞれの\(x\in \left[ 0,\pi \right] \)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cc}
\tan \left( x\right) & \left( if\ x\not=\frac{\pi }{2}\right) \\
+\infty & \left( if\ x=\frac{\pi }{2}\right)
\end{array}\right.
\end{equation*}を定めるものとします。それぞれの点\(a\in \left[0,\pi \right] \)における右側極限と左側極限\begin{eqnarray*}&&\lim_{x\rightarrow a+}f\left( x\right) \\
&&\lim_{x\rightarrow a-}f\left( x\right)
\end{eqnarray*}をそれぞれ求めてください。

解答を見る

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

Twitter
Mailで保存

質問とコメント

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

関連知識

1変数の拡大実数値関数

1変数関数が有限な実数に加えて正負の無限大を値としてとり得ることを認める場合、そのような関数を拡大実数値関数と呼びます。

拡大実数値ルベーグ可測関数の定義

ルベーグ集合上に定義された拡大実数値関数によるボレル集合の逆像がルベーグ可測であることが保証される場合、そのような関数はルベーグ可測であると言います。

関数の片側微分(半微分・右側微分・左側微分)

関数の点における微分係数は極限を用いて定義されますが、その点が区間の境界点である場合などには通常の意味での極限が定義不可能であるため、片側極限を用いて微分可能性を定義します。このようにして定義された微分係数を片側微分係数と呼びます。

拡大実数値ボレル可測関数の定義

ボレル集合上に定義された拡大実数値関数によるボレル集合の逆像がボレル可測であることが保証される場合、そのような関数はボレル可測であると言います。

片側微分を用いた微分可能性の判定

関数が点において右側微分可能かつ左側微分可能であるとともに左右の片側微分係数が一致することは、その関数がその点において微分可能であることと必要十分であるとともに、その場合、微分係数は片側微分係数と一致します。

関数の片側極限(右側極限・左側極限)

関数が点において収束することの定義において、変数がその点に近づいていく際の経路に関して特に制約は設けられていません。一方、変数が点に近づいていく際の経路を指定する形で関数の極限を定義することも可能であり、その場合の極限を片側極限と呼びます。

数列を用いた関数の片側収束判定

関数が片側から収束することを示すためにイプシロン・デルタ論法を用いるのは面倒です。数列を用いて片側収束可能性を判定する方法について解説します。

関数の片側無限極限

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

拡大実数値関数の連続性

拡大実数系においては正の無限大と負の無限大が体系の中に含まれているため、拡大実数値関数の値が正の無限大や負の無限大であるような点においても、その関数が連続であるか検討できます。

拡大実数値関数の上半連続性・下半連続性

任意の上方位集合が閉集合であるような拡大実数値関数を上半連続関数と呼び、任意の下方位集合が閉集合であるような拡大実数値関数を下半連続関数と呼びます。上半連続かつ下半連続であることと連続であることは必要十分です。

関数の片側連続性

関数が定義域上の点において右側極限を持つとともに、それがその点における関数の値と一致する場合、その関数はその点において右側連続であると言います。また、関数が定義域上の点において左側極限を持つとともに、それがその点における関数の値と一致する場合、その関数はその点において左側連続であると言います。