関数の上極限
実数空間\(\mathbb{R} \)もしくはその部分集合\(X\)を定義域とし、実数値をとる1変数関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。その上で、\(f\)の定義域\(X\)の集積点\(a\in \mathbb{R} \)を任意に選びます。つまり、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立つということです。ただし、\(N_{\varepsilon }\left( a\right) \)は中心が\(a\)であり半径が\(\varepsilon \)であるような近傍であり、\begin{equation*}N_{\varepsilon }\left( a\right) =\left( a-\varepsilon ,a+\varepsilon \right)
\end{equation*}です。この場合、\(f\)は点\(a\)において定義されているとは限りませんが、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(X\)の点が必ず存在します。\(X\)の内点や\(X\)の要素ではない境界点などはいずれも\(X\)の集積点です。
加えて、この関数\(f\)は点\(a\)の周辺において局所有界であるものとします。つまり、以下の集合\begin{eqnarray*}f\left( N_{\varepsilon }\left( a\right) \cap X\right) &=&\left\{ f\left(
x\right) \in \mathbb{R} \ |\ x\in N_{\varepsilon }\left( a\right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\varepsilon ,a+\varepsilon \right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \wedge x\in X\right\}
\end{eqnarray*}が有界になるような正の実数\(\varepsilon >0\)が存在するということです。
点\(a\)は関数\(f\)の定義域\(X\)の集積点であるため、\(0<\delta <\varepsilon \)を満たすほど十分小さい正の実数\(\delta >0\)を任意に選んだとき、以下の集合\begin{eqnarray*}f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{ a\right\}
\right) \right) &=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ 0<\left\vert x-a\right\vert <\delta \wedge x\in X\right\}
\end{eqnarray*}が非空になることが保証されます。この集合は先の有界集合\(f\left( N_{\varepsilon }\left( a\right) \cap X\right) \)の部分集合であるため有界であり、したがってその上限\begin{equation*}S\left( \delta \right) =\sup f\left( N_{\delta }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \right)
\end{equation*}が1つの実数として定まることが保証されます。
\(0<\delta <\varepsilon \)を満たすそれぞれの\(\delta \)に対して先の上限\(S\left( \delta \right) \)を特定することにより、それぞれの\(\delta \in \left( 0,\varepsilon \right) \)に対して、\begin{equation*}S\left( \delta \right) =\sup f\left( N_{\delta }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \right)
\end{equation*}を値として定める関数\begin{equation*}
S:\mathbb{R} \supset \left( 0,\varepsilon \right) \rightarrow \mathbb{R} \end{equation*}が得られます。\(\delta \)を\(0\)へ近づけるほど集合\(N_{\delta }\left( a\right) \cap \left( X\backslash \left\{ a\right\} \right) \)は小さくなるため集合\(f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{a\right\} \right) \right) \)も小さくなっていき、それに応じて\(\sup f\left( N_{\delta }\left( a\right) \cap \left( X\backslash\left\{ a\right\} \right) \right) \)すなわち\(S\left(\delta \right) \)の値もまた小さくなっていきます。そこで、この関数\(S\)の\(\delta \rightarrow 0+\)の場合の右側極限\begin{equation*}\lim_{\delta \rightarrow 0+}S\left( \delta \right) =\lim_{\delta \rightarrow
0+}\sup f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right)
\end{equation*}をとり、これをもとの関数\(f\)の\(x\rightarrow a\)の場合の上極限(limit superior)と呼び、\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup f\left( N_{\delta }\left( a\right) \cap
\left( X\backslash \left\{ a\right\} \right) \right)
\end{eqnarray*}で表記します。
\end{equation*}が1つの実数として定まる。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。\(a\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(a\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}S\left( \delta \right) &=&\sup f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ a\right\} \right) \right) \\
&=&\sup f\left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \\
&=&\sup \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\sup \left\{ 1\in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\sup \left\{ 1\right\} \\
&=&1
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow a}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}1 \\
&=&1
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。\(a\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(a\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}S\left( \delta \right) &=&\sup f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ a\right\} \right) \right) \\
&=&\sup f\left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \\
&=&\sup \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\sup \left\{ x\in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\sup \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \\
&=&a+\delta
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow a}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\left( a+\delta \right) \\
&=&a
\end{eqnarray*}となります。
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。点\(0\)に注目します。\(0\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(0\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}S\left( \delta \right) &=&\sup f\left( N_{\delta }\left( 0\right) \cap
\left( \mathbb{R} \backslash \left\{ 0\right\} \right) \right) \\
&=&\sup f\left( \left( -\delta ,0\right) \cup \left( 0,\delta \right)
\right) \\
&=&\sup \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\sup \left\{ 0,1\right\} \\
&=&1
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow 0}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}1 \\
&=&1
\end{eqnarray*}となります。
関数の下極限
実数空間\(\mathbb{R} \)もしくはその部分集合\(X\)を定義域とし、実数値をとる1変数関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。その上で、\(f\)の定義域\(X\)の集積点\(a\in \mathbb{R} \)を任意に選びます。つまり、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \not=\phi
\end{equation*}が成り立つということです。ただし、\(N_{\varepsilon }\left( a\right) \)は中心が\(a\)であり半径が\(\varepsilon \)であるような近傍であり、\begin{equation*}N_{\varepsilon }\left( a\right) =\left( a-\varepsilon ,a+\varepsilon \right)
\end{equation*}です。この場合、\(f\)は点\(a\)において定義されているとは限りませんが、点\(a\)からいくらでも近い場所に\(a\)とは異なる\(X\)の点が必ず存在します。\(X\)の内点や\(X\)の要素ではない境界点などはいずれも\(X\)の集積点です。
加えて、この関数\(f\)は点\(a\)の周辺において局所有界であるものとします。つまり、以下の集合\begin{eqnarray*}f\left( N_{\varepsilon }\left( a\right) \cap X\right) &=&\left\{ f\left(
x\right) \in \mathbb{R} \ |\ x\in N_{\varepsilon }\left( a\right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\varepsilon ,a+\varepsilon \right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \wedge x\in X\right\}
\end{eqnarray*}が有界になるような正の実数\(\varepsilon >0\)が存在するということです。
点\(a\)は関数\(f\)の定義域\(X\)の集積点であるため、\(0<\delta <\varepsilon \)を満たすほど十分小さい正の実数\(\delta >0\)を任意に選んだとき、以下の集合\begin{eqnarray*}f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{ a\right\}
\right) \right) &=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \cap X\right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ 0<\left\vert x-a\right\vert <\delta \wedge x\in X\right\}
\end{eqnarray*}が非空になることが保証されます。この集合は先の有界集合\(f\left( N_{\varepsilon }\left( a\right) \cap X\right) \)の部分集合であるため有界であり、したがってその下限\begin{equation*}s\left( \delta \right) =\inf f\left( N_{\delta }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \right)
\end{equation*}が1つの実数として定まることが保証されます。
\(0<\delta <\varepsilon \)を満たすそれぞれの\(\delta \)に対して先の下限\(s\left( \delta \right) \)を特定することにより、それぞれの\(\delta \in \left( 0,\varepsilon \right) \)に対して、\begin{equation*}s\left( \delta \right) =\inf f\left( N_{\delta }\left( a\right) \cap \left(
X\backslash \left\{ a\right\} \right) \right)
\end{equation*}を値として定める関数\begin{equation*}
s:\mathbb{R} \supset \left( 0,\varepsilon \right) \rightarrow \mathbb{R} \end{equation*}が得られます。\(\delta \)を\(0\)へ近づけるほど集合\(N_{\delta }\left( a\right) \cap \left( X\backslash \left\{ a\right\} \right) \)は小さくなるため集合\(f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{a\right\} \right) \right) \)も小さくなっていき、それに応じて\(\inf f\left( N_{\delta }\left( a\right) \cap \left( X\backslash\left\{ a\right\} \right) \right) \)すなわち\(s\left(\delta \right) \)の値は大きくなっていきます。そこで、この関数\(s\)の\(\delta\rightarrow 0+\)の場合の右側極限\begin{equation*}\lim_{\delta \rightarrow 0+}s\left( \delta \right) =\lim_{\delta \rightarrow
0+}\inf f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right)
\end{equation*}をとり、これをもとの関数\(f\)の\(x\rightarrow a\)の場合の下極限(limit inferior)と呼び、\begin{eqnarray*}\lim_{x\rightarrow a}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf f\left( N_{\delta }\left( a\right) \cap
\left( X\backslash \left\{ a\right\} \right) \right)
\end{eqnarray*}で表記します。
\end{equation*}が1つの実数として定まる。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。\(a\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(a\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}s\left( \delta \right) &=&\inf f\left( N_{\delta }\left( a\right) \cap
\left( X\backslash \left\{ a\right\} \right) \right) \\
&=&\inf f\left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \\
&=&\inf \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\inf \left\{ 1\in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\inf \left\{ 1\right\} \\
&=&1
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow a}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}1 \\
&=&1
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。\(a\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(a\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}s\left( \delta \right) &=&\inf f\left( N_{\delta }\left( a\right) \cap
\left( X\backslash \left\{ a\right\} \right) \right) \\
&=&\inf f\left( \left( a-\delta ,a\right) \cup \left( a,a+\delta \right)
\right) \\
&=&\inf \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\inf \left\{ x\in \mathbb{R} \ |\ x\in \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \right\}
\\
&=&\inf \left( a-\delta ,a\right) \cup \left( a,a+\delta \right) \\
&=&a-\delta
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow a}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\left( a-\delta \right) \\
&=&a
\end{eqnarray*}となります。
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。点\(0\)に注目します。\(0\)は\(\mathbb{R} \)の集積点であるとともに、\(f\)は点\(0\)の周辺で局所有界です。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}s\left( \delta \right) &=&\inf f\left( \left( -\delta ,0\right) \cup \left(
0,\delta \right) \right) \\
&=&\inf \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\inf \left\{ 0,1\right\} \\
&=&0
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow 0}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}0 \\
&=&0
\end{eqnarray*}となります。
関数の上極限や下極限は有限な実数として定まるとは限らない
関数の上極限や下極限は有限な実数として定まるとは限りません。以下の例より明らかです。
\end{equation*}を定めるものとします。点\(0\)に注目します。\(0\)は\(\mathbb{R} \backslash \left\{ 0\right\} \)の集積点ですが、この関数\(f\)は点\(0\)の周辺において局所有界ではありません。このとき、\begin{eqnarray*}\lim_{x\rightarrow 0}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ 0\right\} \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup f\left( \left( -\delta ,0\right) \cup
\left( 0,\delta \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup \left\{ \frac{1}{x}\in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\lim_{\delta \rightarrow 0+}\sup \left( -\infty ,-\frac{1}{\delta }\right) \cup \left( \frac{1}{\delta },+\infty \right) \\
&=&\lim_{\delta \rightarrow 0+}\left( +\infty \right) \quad \because \left(
-\infty ,-\frac{1}{\delta }\right) \cup \left( \frac{1}{\delta },+\infty
\right) \text{は上に有界ではない} \\
&=&+\infty
\end{eqnarray*}となるため、\(x\rightarrow 0\)の場合の\(f\)の上極限は有限な実数として定まりません。また、\begin{eqnarray*}\lim_{x\rightarrow 0}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ 0\right\} \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf f\left( \left( -\delta ,0\right) \cup
\left( 0,\delta \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf \left\{ \frac{1}{x}\in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\lim_{\delta \rightarrow 0+}\inf \left( -\infty ,-\frac{1}{\delta }\right) \cup \left( \frac{1}{\delta },+\infty \right) \\
&=&\lim_{\delta \rightarrow 0+}\left( -\infty \right) \quad \because \left(
-\infty ,-\frac{1}{\delta }\right) \cup \left( \frac{1}{\delta },+\infty
\right) \text{は下に有界ではない} \\
&=&-\infty
\end{eqnarray*}となるため、\(x\rightarrow 0\)の場合の\(f\)の下極限は有限な実数として定まりません。
\end{equation*}を定めるものとします。点\(0\)に注目します。\(0\)は\(\mathbb{R} \backslash \left\{ 0\right\} \)の集積点ですが、この関数\(f\)は点\(0\)の周辺において上に局所有界ではありません。このとき、\begin{eqnarray*}\lim_{x\rightarrow 0}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ 0\right\} \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup f\left( \left( -\delta ,0\right) \cup
\left( 0,\delta \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\sup \left\{ \frac{1}{x^{2}}\in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\lim_{\delta \rightarrow 0+}\sup \left( \frac{1}{\delta ^{2}},+\infty
\right) \\
&=&\lim_{\delta \rightarrow 0+}\left( +\infty \right) \\
&=&+\infty
\end{eqnarray*}となるため、\(x\rightarrow 0\)の場合の\(f\)の上極限は有限な実数として定まりません。また、\begin{eqnarray*}\lim_{x\rightarrow 0}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf f\left( N_{\delta }\left( a\right) \cap
\left( \mathbb{R} \backslash \left\{ 0\right\} \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf f\left( \left( -\delta ,0\right) \cup
\left( 0,\delta \right) \right) \\
&=&\lim_{\delta \rightarrow 0+}\inf \left\{ \frac{1}{x^{2}}\in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\lim_{\delta \rightarrow 0+}\inf \left( \frac{1}{\delta ^{2}},+\infty
\right) \\
&=&\lim_{\delta \rightarrow 0+}\frac{1}{\delta ^{2}} \\
&=&+\infty
\end{eqnarray*}となるため、\(x\rightarrow 0\)の場合の\(f\)の下極限は有限な実数として定まりません。
上極限が有限であるための必要十分条件
関数が局所有界である場合、その関数の上極限は有限な実数として定まることが明らかになりました。では逆に、関数の上極限が有限な実数である場合、その関数が局所有界であることを保証できるのでしょうか。
関数の上極限が有限な実数として定まる場合、その関数は上に局所有界であることが保証されます。
有限な上極限を持つ関数は上に局所有界であることが明らかになりましたが、その一方で、そのような関数は下に局所有界であるとは限りません。以下の例より明らかです。
\begin{array}{cl}
1 & \left( if\ x\in \mathbb{Q} \right) \\
-\frac{1}{x^{2}} & \left( if\ x\in \mathbb{R} \backslash \mathbb{Q} \right)
\end{array}\right.
\end{equation*}を定めるものとします。この関数は点\(0\)の周辺において上に局所有界ですが下に局所有界ではありません。十分小さい\(\delta >0\)について、\begin{eqnarray*}S\left( \delta \right) &=&\sup f\left( \left( -\delta ,0\right) \cup \left(
0,\delta \right) \right) \\
&=&\sup \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\sup \left( -\infty ,-\frac{1}{\delta ^{2}}\right) \cup \left\{ 1\right\}
\\
&=&1
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow 0}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}S\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}1 \\
&=&1
\end{eqnarray*}となります。
有限な上極限を持つ関数は上に局所有界である一方で下に局所有界であるとは限らないことが明らかになりました。ただ、そのような関数の極限が負の無限大ではないことは保証されます。逆の議論も成立するため以下の命題を得ます。
&&\left( b\right) \ \lim_{x\rightarrow a}f\left( x\right) \not=-\infty
\end{eqnarray*}をともに成り立つことと、上極限\(\lim\limits_{x\rightarrow a}\sup f\left( x\right) \)が有限な実数として定まることは必要十分である。
下極限が有限であるための必要十分条件
関数が局所有界である場合、その関数の下極限は有限な実数として定まることが明らかになりました。では逆に、関数の下極限が有限な実数である場合、その関数が局所有界であることを保証できるのでしょうか。
関数の下極限が有限な実数として定まる場合、その関数は下に局所有界であることが保証されます。
有限な下極限を持つ関数は下に局所有界であることが明らかになりましたが、その一方で、そのような関数は上に局所有界であるとは限りません。以下の例より明らかです。
\begin{array}{cl}
-1 & \left( if\ x\in \mathbb{Q} \right) \\
\frac{1}{x^{2}} & \left( if\ x\in \mathbb{R} \backslash \mathbb{Q} \right)
\end{array}\right.
\end{equation*}を定めるものとします。この関数は点\(0\)の周辺において下に局所有界ですが上に局所有界ではありません。十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}s\left( \delta \right) &=&\inf f\left( \left( -\delta ,0\right) \cup \left(
0,\delta \right) \right) \\
&=&\inf \left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\inf \left( \frac{1}{\delta ^{2}},+\infty \right) \cup \left\{ -1\right\}
\\
&=&-1
\end{eqnarray*}となるため、\begin{eqnarray*}
\lim_{x\rightarrow 0}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}s\left( \delta \right) \\
&=&\lim_{\delta \rightarrow 0+}\left( -1\right) \\
&=&-1
\end{eqnarray*}となります。
有限な下極限を持つ関数は下に局所有界である一方で上に局所有界であるとは限らないことが明らかになりました。ただ、そのような関数の極限が正の無限大ではないことは保証されます。逆の議論も成立するため以下の命題を得ます。
&&\left( b\right) \ \lim_{x\rightarrow a}f\left( x\right) \not=+\infty
\end{eqnarray*}がともに成り立つことと、下極限\(\lim\limits_{x\rightarrow a}\inf f\left( x\right) \)が有限な実数として定まることは必要十分である。
局所有界関数の特徴づけ
これまで示した諸命題を踏まえると以下を得ます。
上極限と下極限の特徴づけ
関数の上極限を以下のように表現できます。
\end{equation*}が成り立つことと、以下の2つの条件\begin{eqnarray*}
&&\left( b\right) \ \forall \lambda >0,\ \exists \delta >0,\ \forall x\in \mathbb{R} :\left[ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \Rightarrow f\left( x\right) <L+\lambda \right] \\
&&\left( c\right) \ \forall \lambda >0,\ \forall \delta >0,\ \exists x\in \mathbb{R} :\left[ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \wedge L-\lambda <f\left( x\right) \right] \end{eqnarray*}が成り立つことは必要十分である。
下極限についても同様の主張が成り立ちます。
\end{equation*}が成り立つことと、以下の2つの条件\begin{eqnarray*}
&&\left( b\right) \ \forall \lambda >0,\ \exists \delta >0,\ \forall x\in \mathbb{R} :\left[ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \Rightarrow L-\lambda <f\left( x\right) \right] \\
&&\left( c\right) \ \forall \lambda >0,\ \forall \delta >0,\ \exists x\in \mathbb{R} :\left[ x\in N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \wedge f\left( x\right) <L+\lambda \right] \end{eqnarray*}が成り立つことは必要十分である。
関数の上極限と下極限は一致するとは限らない
関数の上極限と下極限が存在する場合、それらはそれぞれ有限な実数として定まりますが、両者が一致するケースと異なるケースの両方が起こり得ます。
まずは、上極限と下極限が一致する関数の例を挙げます。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&1 \\
\lim_{x\rightarrow a}\inf f\left( x\right) &=&1
\end{eqnarray*}であるため、この関数\(f\)の\(x\rightarrow a\)の場合の上極限と下極限は一致します。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&a \\
\lim_{x\rightarrow a}\inf f\left( x\right) &=&a
\end{eqnarray*}であるため、この関数\(f\)の\(x\rightarrow a\)の場合の上極限と下極限は一致します。
続いて、上極限と下極限が異なる関数の例です。
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。点\(0\)に注目します。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow 0}\sup f\left( x\right) &=&1 \\
\lim_{x\rightarrow 0}\inf f\left( x\right) &=&0
\end{eqnarray*}であるため、この関数\(f\)の\(x\rightarrow 0\)の場合の上極限と下極限は異なります。
関数の上極限は下極限以上
局所有界な関数の上極限と下極限はそれぞれ有限な実数として定まりますが、両者が一致するケースと異なるケースの両方が起こり得ることが明らかになりました。ただ、上極限は必ず下極限以上になります。
f\left( x\right)
\end{equation*}が成り立つ。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&1 \\
\lim_{x\rightarrow a}\inf f\left( x\right) &=&1
\end{eqnarray*}であるため、\begin{equation*}
\lim_{x\rightarrow a}\inf f\left( x\right) \leq \lim_{x\rightarrow a}\sup
f\left( x\right)
\end{equation*}が成立しています。この結果は先の命題の主張と整合的です。
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選びます。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&a \\
\lim_{x\rightarrow a}\inf f\left( x\right) &=&a
\end{eqnarray*}であるため、\begin{equation*}
\lim_{x\rightarrow a}\inf f\left( x\right) \leq \lim_{x\rightarrow a}\sup
f\left( x\right)
\end{equation*}が成立しています。この結果は先の命題の主張と整合的です。
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。点\(0\)に注目します。\(f\)は点\(0\)の周辺で局所有界です。先に示したように、\begin{eqnarray*}\lim_{x\rightarrow 0}\sup f\left( x\right) &=&1 \\
\lim_{x\rightarrow 0}\inf f\left( x\right) &=&0
\end{eqnarray*}であるため、\begin{equation*}
\lim_{x\rightarrow 0}\inf f\left( x\right) \leq \lim_{x\rightarrow 0}\sup
f\left( x\right)
\end{equation*}が成立しています。この結果は先の命題の主張と整合的です。
演習問題
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合の\(f\)の上極限と下極限をそれぞれ求めてください。
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合の\(f\)の上極限と下極限をそれぞれ求めてください。
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合の\(f\)の上極限と下極限をそれぞれ求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】