WIIS

多変数関数

点列を用いた多変数関数の一様連続性の判定

目次

関連知識

Mailで保存
Xで共有

多変数関数の一様連続性と点列の極限の関係

多変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が定義域\(X\)上で一様連続であることとは、\begin{equation*}\forall \varepsilon >0,\ \exists \delta >0,\ \forall a\in X,\ \forall x\in X:
\left[ d\left( x,a\right) <\delta \Rightarrow \left\vert f\left( x\right)
-f\left( a\right) \right\vert <\varepsilon \right] \end{equation*}が成り立つことを意味します。ただし、\(d:\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \)はユークリッド距離関数であり、2つの点\(x,a\in \mathbb{R} ^{n}\)の間の距離は、\begin{eqnarray*}d\left( x,a\right) &=&\sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}\quad \because \text{ユークリッド距離の定義} \\
&=&\left\Vert x-a\right\Vert \quad \because \text{ノルムの定義}
\end{eqnarray*}と定義されます。多変数関数の一様連続性は点列を用いて表現することもでき、そちらの定義を利用した方が関数が一様連続であることを容易に示すことができる場合もあります。順番に解説します。

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、\(X\)の点を項とするとともに、\begin{equation*}\lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right) =0
\end{equation*}を満たす\(\mathbb{R} ^{n}\)上の2つの点列\(\left\{ x_{v}\right\},\left\{ y_{v}\right\} \)を任意に選んだ上で、そこから\(\mathbb{R} \)上の数列\(\left\{ f\left( x_{v}\right) \right\},\left\{ f\left( y_{v}\right) \right\} \)をつくります。このように定義された任意の数列\(\left\{ f\left( x_{v}\right) \right\} ,\left\{ f\left( y_{v}\right) \right\} \)について、\begin{equation*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] =0
\end{equation*}が成り立つことは、関数\(f\)が\(X\)上で一様連続であるための必要十分条件です。

命題(関数の一様連続性と収束数列)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、その定義域\(X\)の点を項とするとともに、\begin{equation*}\lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right) =0
\end{equation*}を満たす2つの点列\(\left\{x_{v}\right\} ,\left\{ y_{v}\right\} \)を任意に選んだ上で、そこから数列\(\left\{ f\left( x_{v}\right) \right\} ,\left\{f\left( y_{v}\right) \right\} \)をつくる。このように定義された任意の数列\(\left\{ f\left(x_{v}\right) \right\} ,\left\{ f\left( y_{v}\right) \right\} \)について、\begin{equation*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] =0
\end{equation*}が成り立つことは、関数\(f\)が\(X\)上で一様連続であるための必要十分条件である。
証明

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

この命題が要求していることは、\(X\)の点を項とするとともに差がゼロベクトル\(0\)へ収束する「任意の」点列\(\left\{ x_{v}\right\} ,\left\{ y_{v}\right\} \)に対して、そこから構成される数列\(\left\{ f\left( x_{v}\right)\right\} ,\left\{ f\left( y_{v}\right) \right\} \)の差がゼロ\(0\)へ収束しなければならないということです。したがって、このような性質を満たす点列\(\left\{ x_{v}\right\} ,\left\{y_{v}\right\} \)が「存在する」ことを示しただけでは、関数\(f\)が\(X\)上で一様連続であることを示したことにはなりません。

以上の命題より、多変数関数の一様連続性に関する議論を点列の収束に関する議論に置き換えられることが明らかになりました。

例(関数の一様連続性と収束点列)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、定数\(c\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =c
\end{equation*}と表されるものとします。つまり、\(f\)は定数関数です。この関数が\(X\)上で一様連続であることを示します。具体的には、まず、\begin{equation*}\lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right) =0
\end{equation*}を満たす\(X\)上の点列\(\left\{x_{v}\right\} ,\left\{ y_{v}\right\} \)を任意に選びます。このとき、数列\(\left\{ f\left( x_{v}\right) \right\} ,\left\{f\left( x_{v}\right) \right\} \)の差の極限について、\begin{eqnarray*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] &=&\lim_{v\rightarrow \infty }\left( c-c\right) \quad \because f\text{の定義} \\
&=&\lim_{v\rightarrow \infty }0 \\
&=&0\quad \because \text{定数数列の極限}
\end{eqnarray*}が成り立つため、先の命題より、\(f\)は\(X\)上で一様連続です。
例(関数の一様連続性と収束点列)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x+y
\end{equation*}を定めるものとします。この関数が\(\mathbb{R} ^{2}\)上で一様連続であることを示します。この関数が\(\mathbb{R} ^{2}\)上で一様連続であることを点列を用いて示します。具体的には、まず、\begin{eqnarray*}&&\left( a\right) \ \forall v\in \mathbb{N} :x_{v}=\left( x_{v}^{\left( 1\right) },x_{v}^{\left( 2\right) }\right) \in \mathbb{R} ^{2} \\
&&\left( b\right) \ \forall v\in \mathbb{N} :y_{v}=\left( y_{v}^{\left( 1\right) },y_{v}^{\left( 2\right) }\right) \in \mathbb{R} ^{2} \\
&&\left( c\right) \ \lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right)
=\left( \lim_{v\rightarrow \infty }\left( x_{v}^{\left( 1\right)
}-y_{v}^{\left( 1\right) }\right) ,\lim_{v\rightarrow \infty }\left(
x_{v}^{\left( 2\right) }-y_{v}^{\left( 2\right) }\right) \right) =\left(
0,0\right)
\end{eqnarray*}を満たす点列\(\left\{ x_{v}\right\},\left\{ y_{v}\right\} \)を任意に選びます。このとき、数列\(\left\{ f\left( x_{v}\right) \right\} ,\left\{ f\left( x_{v}\right)\right\} \)の差の極限について、\begin{eqnarray*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] &=&\lim_{v\rightarrow \infty }\left[ \left( x_{v}^{\left( 1\right)
}+x_{v}^{\left( 2\right) }\right) -\left( y_{v}^{\left( 1\right)
}+y_{v}^{\left( 2\right) }\right) \right] \quad \because f\text{の定義} \\
&=&\lim_{v\rightarrow \infty }\left[ \left( x_{v}^{\left( 1\right)
}-y_{v}^{\left( 1\right) }\right) +\left( x_{v}^{\left( 1\right)
}-y_{v}^{\left( 2\right) }\right) \right] \\
&=&\lim_{v\rightarrow \infty }\left( x_{v}^{\left( 1\right) }-y_{v}^{\left(
1\right) }\right) +\lim_{v\rightarrow \infty }\left( x_{v}^{\left( 1\right)
}-y_{v}^{\left( 2\right) }\right) \quad \because \text{収束する数列の和の極限} \\
&=&0+0\quad \because \left( c\right) \\
&=&0
\end{eqnarray*}が成り立つため、先の命題より、\(f\)は\(\mathbb{R} ^{2}\)上で一様連続です。

 

多変数関数が一様連続でないことの証明

先の命題は、多変数関数が一様連続でないことを示す際にも有用です。具体的には、関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、その定義域\(X\)の点を項とするとともに、\begin{equation*}\lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right) =0
\end{equation*}を満たす何らかの点列\(\left\{ x_{v}\right\} ,\left\{ y_{v}\right\} \)を具体的に選んだ上で、それに対して数列\(\left\{f\left( x_{v}\right) \right\} ,\left\{ f\left( y_{v}\right) \right\} \)が、\begin{equation*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] =0
\end{equation*}を満たさないことを示せば、関数\(f\)が\(X\)上で一様連続ではないことを示したことになります。なぜなら、先の命題より、そのような点列\(\left\{ x_{v}\right\},\left\{ y_{v}\right\} \)が存在することは、\(f\)が\(X\)上で一様連続であることと矛盾するからです。

例(関数が一様連続ではないことの証明)
関数\(f:\mathbb{R} _{++}^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} _{++}^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{2}+y^{2}
\end{equation*}を定めるものとします。この関数が\(\mathbb{R} _{++}^{2}\)上では一様連続ではないことを点列を用いて示します。具体的には、一般項が、\begin{eqnarray*}x_{v} &=&\left( x_{v}^{\left( 1\right) },x_{v}^{\left( 2\right) }\right)
=\left( v,v\right) \\
y_{v} &=&\left( y_{v}^{\left( 1\right) },y_{v}^{\left( 2\right) }\right)
=\left( v+\frac{1}{v},v+\frac{1}{v}\right)
\end{eqnarray*}で与えられる\(\mathbb{R} _{++}^{2}\)上の点列\(\left\{ x_{v}\right\} ,\left\{y_{v}\right\} \)に注目します。差の極限について、\begin{eqnarray*}\lim_{v\rightarrow \infty }\left( x_{v}-y_{v}\right) &=&\lim_{v\rightarrow
\infty }\left( v-\left( v+\frac{1}{v}\right) ,v-\left( v+\frac{1}{v}\right)
\right) \\
&=&\lim_{v\rightarrow \infty }\left( -\frac{1}{v},-\frac{1}{v}\right) \\
&=&\left( 0,0\right)
\end{eqnarray*}が成り立つ一方で、数列\(\left\{ f\left( x_{v}\right) \right\} ,\left\{ f\left(y_{v}\right) \right\} \)の差の極限は、\begin{eqnarray*}\lim_{v\rightarrow \infty }\left[ f\left( x_{v}\right) -f\left( y_{v}\right) \right] &=&\lim_{v\rightarrow \infty }\left[ \left( v^{2}+v^{2}\right)
-\left( \left( v+\frac{1}{v}\right) ^{2}+\left( v+\frac{1}{v}\right)
^{2}\right) \right] \\
&=&\lim_{v\rightarrow \infty }2\left( v^{2}-\left( v+\frac{1}{v}\right)
^{2}\right) \\
&=&2\lim_{v\rightarrow \infty }\left( v^{2}-\left( v+\frac{1}{v}\right)
^{2}\right) \\
&=&2\lim_{v\rightarrow \infty }\left( -2-\frac{1}{v^{2}}\right) \\
&=&2\left( -2-0\right) \\
&=&-4
\end{eqnarray*}であり、これは\(0\)ではないため、先の命題より\(f\)は\(\mathbb{R} _{++}^{2}\)上で一様連続ではありません。

 

演習問題

問題(一様連続な関数)
関数\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} ^{n}\)に対して、\begin{equation*}f\left( x\right) =\left\Vert x\right\Vert
\end{equation*}を定めるものとします。この関数\(f\)は\(\mathbb{R} ^{n}\)上で一様連続であることを点列を用いて示してください。
解答を見る

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

問題(一様連続ではない関数)
関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\frac{1}{x+y}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left( 0,1\right) \times \left( 0,1\right)
\end{equation*}です。この関数\(f\)は\(X\)上で一様連続ではないことを点列を用いて示してください。
解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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