WIIS

関数

上極限と下極限を用いた関数の収束判定

目次

関連知識

Mailで保存
Xで共有

局所有界な関数は収束するとは限らない

実数空間\(\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\)の点が必ず存在します。

このような関数\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束すること、すなわち、\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:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が点\(a\in \mathbb{R} \)の周辺において局所有界であることは、\begin{equation*}\exists \varepsilon >0,\ \exists M\in \mathbb{R} ,\ \exists m\in \mathbb{R} ,\ \forall x\in N_{\varepsilon }\left( a\right) \cap X:m\leq f\left(
x\right) \leq M
\end{equation*}が成り立つこととして定義されます。

関数\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束する場合、その関数\(f\)は点\(a\)の周辺において局所有界になることが保証されます。一方、点\(a\)の周辺において局所有界な関数\(f\)は\(x\rightarrow a\)の場合に有限な実数へ収束するとは限りません

まずは、局所有界かつ有限な実数へ収束する関数の例を挙げます。

例(収束する局所有界関数)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x
\end{equation*}を定めるものとします。点\(a\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}\lim_{x\rightarrow a}f\left( x\right) &=&\lim_{x\rightarrow a}x\quad
\because f\text{の定義} \\
&=&a
\end{eqnarray*}となるため、\(x\rightarrow a\)の場合に\(f\)は有限な実数\(a\)へ収束します。その一方で、\(\varepsilon >0\)を任意に選んだとき、\begin{eqnarray*}f\left( N_{\varepsilon }\left( a\right) \cap \mathbb{R} \right) &=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in N_{\varepsilon }\left( a\right) \right\} \\
&=&\left\{ x\in \mathbb{R} \ |\ x\in \left( a-\varepsilon ,a+\varepsilon \right) \right\} \\
&=&\left( a-\varepsilon ,a+\varepsilon \right)
\end{eqnarray*}であるため、\begin{equation*}
\forall x\in N_{\varepsilon }\left( a\right) \cap \mathbb{R} :a-\varepsilon \leq f\left( x\right) \leq a+\varepsilon
\end{equation*}が成り立ちます。したがって\(f\)は点\(a\)の周辺において局所有界です。

続いて、局所有界である一方で有限な実数へ収束しない関数の例を挙げます。

例(収束しない局所有界関数)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
\lim_{x\rightarrow 0+}f\left( x\right) &=&1 \\
\lim_{x\rightarrow 0-}f\left( x\right) &=&0
\end{eqnarray*}となり両者は異なるため、\(x\rightarrow 0\)の場合に\(f\)は有限な実数へ収束しません。その一方で、\(\varepsilon >0\)を任意に選んだとき、\begin{eqnarray*}f\left( N_{\varepsilon }\left( 0\right) \cap \mathbb{R} \right) &=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in N_{\varepsilon }\left( 0\right) \right\} \\
&=&\left\{ f\left( x\right) \in \mathbb{R} \ |\ x\in \left( -\varepsilon ,\varepsilon \right) \right\} \\
&=&\left\{ 0,1\right\}
\end{eqnarray*}であるため、\begin{equation*}
\forall x\in N_{\varepsilon }\left( 0\right) \cap \mathbb{R} :0\leq f\left( x\right) \leq 1
\end{equation*}が成り立ちます。したがって\(f\)は点\(0\)の周辺において局所有界です。

 

上極限と下極限を用いた関数の収束判定

局所有界な関数の中には有限な実数へ収束するものと有限な実数へ収束しないものの双方が存在することが明らかになりました。では、局所有界な関数を対象とした場合、それが有限な実数へ収束することを判定する方法は存在するのでしょうか。

関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と定義域\(X\)の集積点\(a\in \mathbb{R} \)が与えられたとき、\(f\)が点\(a\)の周辺において局所有界である場合には、\(x\rightarrow a\)の場合の\(f\)の上極限と下極限\begin{eqnarray*}\lim_{x\rightarrow a}\sup f\left( x\right) &=&\lim_{\delta \rightarrow
0+}\sup f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right) \\
\lim_{x\rightarrow a}\inf f\left( x\right) &=&\lim_{\delta \rightarrow
0+}\inf f\left( N_{\delta }\left( a\right) \cap \left( X\backslash \left\{
a\right\} \right) \right)
\end{eqnarray*}がともに有限な実数として定まることが保証されますが、両者が一致することは、すなわち、\begin{equation*}
\lim_{x\rightarrow a}\sup f\left( x\right) =\lim_{x\rightarrow a}\inf
f\left( x\right)
\end{equation*}が成り立つことは、関数\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束するための必要十分条件です。しかも、以上の条件が成り立つ場合、関数\(f\)の極限は上極限や下極限と一致します。つまり、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =\lim_{x\rightarrow a}\sup f\left(
x\right) =\lim_{x\rightarrow a}\inf f\left( x\right)
\end{equation*}が成り立つということです。

命題(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と定義域\(X\)の集積点\(a\in \mathbb{R} \)が与えられているものとする。\(f\)が点\(a\in \mathbb{R} \)の周辺において局所有界である場合、\(x\rightarrow a\)の場合の\(f\)の上極限と下極限がともに有限な実数として定まる。さらに、\begin{equation*}\lim_{x\rightarrow a}\sup f\left( x\right) =\lim_{x\rightarrow a}\inf
f\left( x\right)
\end{equation*}が成り立つことは、\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束するための必要十分条件である。しかもこのとき、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =\lim_{x\rightarrow a}\sup f\left(
x\right) =\lim_{x\rightarrow a}\inf f\left( x\right)
\end{equation*}が成り立つ。

証明

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

関数\(f\)の\(x\rightarrow a\)の場合の上極限と下極限がともに有限な実数として定まることは、その関数が点\(a\)の周辺において局所有界であることと必要十分であるため、先の命題を以下のように表現できます。

命題(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と定義域\(X\)の集積点\(a\in \mathbb{R} \)が与えられているものとする。\(x\rightarrow a\)の場合の\(f\)の上極限と下極限がともに有限な実数として定まるとともに、\begin{equation*}\lim_{x\rightarrow a}\sup f\left( x\right) =\lim_{x\rightarrow a}\inf
f\left( x\right)
\end{equation*}が成り立つことは、\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束するための必要十分条件である。しかもこのとき、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =\lim_{x\rightarrow a}\sup f\left(
x\right) =\lim_{x\rightarrow a}\inf f\left( x\right)
\end{equation*}が成り立つ。

例(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x
\end{equation*}を定めるものとします。先に示したように、点\(a\in \mathbb{R} \)を任意に選んだとき、この関数は点\(a\)の周辺において局所有界であるとともに、\begin{equation*}\lim_{x\rightarrow a}f\left( x\right) =a
\end{equation*}が成り立ちますが、同じことを先の命題から導きます。具体的には、十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}S\left( \delta \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*}となります。また、十分小さい\(\delta >0\)を任意に選んだとき、\begin{eqnarray*}s\left( \delta \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{equation*}
\lim_{x\rightarrow a}\sup f\left( x\right) =\lim_{x\rightarrow a}\inf
f\left( x\right) =a
\end{equation*}であることが明らかになりました。したがって、先の命題より、\begin{equation*}
\lim_{x\rightarrow a}f\left( x\right) =a
\end{equation*}となりますが、これは先の結果と整合的です。

 

上極限と下極限を用いた関数の非収束判定

関数\(f\)が\(x\rightarrow a\)の場合に有限な実数へ収束する場合、その関数\(f\)は点\(a\)の周辺において局所有界であることが確定します。対偶より、関数\(f\)が点\(a\)の周辺において局所有界ではない場合、\(f\)は\(x\rightarrow a\)の場合に有限な実数へ収束しません。さて、関数が点\(a\)の周辺において局所有界であることと、その関数の\(x\rightarrow a\)の場合の上極限と下極限がともに有限な実数として定まることは必要十分です。したがって、\(x\rightarrow a\)の場合の上極限や下極限が存在しない場合や有限な実数として定まらない場合、その関数は点\(a\)の周辺において局所有界ではなく、したがって\(x\rightarrow a\)の場合に有限な実数へ収束しません。

例(収束しない関数)
関数\(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}
\end{equation*}を定めるものとします。点\(0\)に注目します。この関数\(f\)は点\(0\)の周辺で局所有界ではないため、\(x\rightarrow 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\{ \frac{1}{x}\in \mathbb{R} \ |\ x\in \left( -\delta ,0\right) \cup \left( 0,\delta \right) \right\} \\
&=&\sup \left( -\infty ,-\frac{1}{\delta }\right) \cup \left( \frac{1}{\delta },+\infty \right) \\
&=&+\infty \quad \because \left( -\infty ,-\frac{1}{\delta }\right) \cup
\left( \frac{1}{\delta },+\infty \right) \text{は上に有界ではない}
\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+}\left( +\infty \right) \\
&=&+\infty
\end{eqnarray*}となります。したがって、やはりこの関数\(f\)は\(x\rightarrow 0\)の場合に有限な実数へ収束しません。
例(収束しない関数)
関数\(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*}を定めるものとします。点\(0\)に注目します。この関数\(f\)は点\(0\)の周辺で局所有界ではないため、\(x\rightarrow 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) \\
&=&-\frac{1}{\delta ^{2}}
\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+}\left( -\frac{1}{\delta ^{2}}\right) \\
&=&-\infty
\end{eqnarray*}となります。したがって、やはりこの関数\(f\)は\(x\rightarrow 0\)の場合に有限な実数へ収束しません。

関数\(f\)の\(x\rightarrow a\)の場合の上極限と下極限がいずれも有限な実数として定まる場合でも、両者の値が異なる場合には、先の命題より、その関数は\(x\rightarrow a\)の場合に有限な実数へ収束しません。

例(収束しない関数)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left\{
\begin{array}{cc}
0 & \left( if\ x\leq 0\right) \\
1 & \left( if\ x>0\right)
\end{array}\right.
\end{equation*}を定めるものとします。先に示したように、この関数\(f\)は点\(0\)の周辺において局所有界である一方で、\(x\rightarrow 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\{ 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*}となります。また、十分小さい\(\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*}となります。以上より、\begin{equation*}
\lim_{x\rightarrow 0}\sup f\left( x\right) \not=\lim_{x\rightarrow 0}\inf
f\left( x\right)
\end{equation*}であることが明らかになりました。したがって、やはりこの関数\(f\)は\(x\rightarrow 0\)の場合に有限な実数へ収束しません。

 

演習問題

問題(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left\{
\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*}を定めるものとします。\(x\rightarrow 0\)の場合にこの関数は有限な実数へ収束するでしょうか。上極限と下極限を用いて議論してください。
解答を見る

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

問題(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left\vert x\right\vert
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合にこの関数は有限な実数へ収束するでしょうか。上極限と下極限を用いて議論してください。
解答を見る

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

問題(上極限と下極限を用いた関数の収束判定)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\sin \left( \frac{1}{x}\right)
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合にこの関数は有限な実数へ収束するでしょうか。上極限と下極限を用いて議論してください。
解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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