「連続な多変数ベクトル値関数と連続な実数値関数の積も連続な関数」「連続な多変数ベクトル値関数の内積も連続な関数」【解析学の基礎シリーズ】多変数関数編その10

本記事の内容
多変数ベクトル値関数の連続のチャラい復習
連続な多変数ベクトル値関数と実数値関数の積もまた連続な関数
連続な多変数ベクトル値関数の内積も連続な関数
本当に成り立つのかネ？
結

本記事の内容

本記事は

連続な多変数ベクトル値関数と連続な実数値関数の積も連続な関数
連続な多変数ベクトル値関数の内積も連続な関数

ということを説明する記事です。

本記事を読むにあたり、多変数ベクトル値関数の連続について知っている必要があるため、その際は以下の記事を参照してください。

多変数ベクトル値関数の連続のチャラい復習

多変数ベクトル値関数の連続をチャラく復習します。
イメージとしては

サラッとですが、イメージを復習しておきます。

実数値関数の場合
- 曲面の場合、定義域(領域)内のとある点において、穴が無い。もしくは、定義域(領域)内のどの点でも穴が無い。
- 曲線の場合、定義域(領域)内のとある点において、途切れていない。もしくは、定義域(領域)内のどの点でも途切れていない。
ベクトル値関数の場合
矢印が連続的に変化する。

でした。

一方これを数学で表現すると、

多変数ベクトル値関数の連続

$\Omega$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omegaと\to\mathbb{R}^m$ とする。

$\boldsymbol{a}\in\Omega$ とする。 $\boldsymbol{f}$ が $\boldsymbol{a}\in\Omega$ で連続(continuous at $\boldsymbol{a}$ )であるとは、 $\lim_{\boldsymbol{x}\to\boldsymbol{a}}\boldsymbol{f}(\boldsymbol{x})=\boldsymbol{f}(\boldsymbol{a})$ が成り立つことをいう。

$(\forall \epsilon>0)(\exists \delta>0)\ {\rm s.t.}\ (\forall\boldsymbol{x}\in\Omega;\ 0<|\boldsymbol{x}-\boldsymbol{a}|<\delta\Rightarrow |\boldsymbol{f}(\boldsymbol{x})-\boldsymbol{f}(\boldsymbol{a})|<\epsilon)$

$\boldsymbol{f}$ が $\Omega$ で連続である(continuous on $\Omega$ )とは、任意の $\boldsymbol{a}\in \Omega$ に対して、 $\boldsymbol{f}$ が $\boldsymbol{a}$ で連続であることをいう。

$(\forall \boldsymbol{a}\in\Omega)(\forall \epsilon>0)(\exists \delta>0)\ {\rm s.t.}\ (\forall \boldsymbol{x}\in\Omega:\ 0<|\boldsymbol{x}-\boldsymbol{a}|<\delta\Rightarrow |\boldsymbol{f}(\boldsymbol{x})-\boldsymbol{f}(\boldsymbol{a})|<\epsilon)$

でした。
さらに、

多変数ベクトル値関数の連続と同値な命題

$\Omega$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omegaと\to\mathbb{R}^m$ とする。

$\boldsymbol{f}$ が $\boldsymbol{a}\in\Omega$ で連続であることは $f_i\ (i=1,2,\dots,m)$ が $\boldsymbol{a}\in\Omega$ で連続であることが必要十分条件である。
$\boldsymbol{f}$ が $\Omega$ で連続であることは $f_i\ (i=1,2,\dots,m)$ が $\Omega$ で連続であることが必要十分条件である。

から多変数ベクトル値関数が連続かどうかは成分ごとに考えれば良い、ということでした。
詳しくは、【解析学の基礎シリーズ】多変数関数編その8を御覧ください。

連続な多変数ベクトル値関数と実数値関数の積もまた連続な関数

定義域と終域が一致している連続な多変数ベクトル値関数と実数値関数は積をとってもまた連続な関数です。
まずは、主張を明示してしまいましょう。

定理1.

$\Omega$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omega\to\mathbb{R}^m$ 、

$g:\Omega\to\mathbb{R}$ とする。

$\boldsymbol{a}\in\Omega$ とし、 $\boldsymbol{f}$ と $g$ は $\boldsymbol{a}$ で連続とするとき、 $g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})$ は $\boldsymbol{a}$ で連続である。すなわち、 $\displaystyle \lim_{\boldsymbol{x}\to\boldsymbol{a}}g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})=g(\boldsymbol{a})\boldsymbol{f}(\boldsymbol{a})$ が成り立つ。
$\boldsymbol{f}$ と $g$ は $\Omega$ で連続とするとき、 $g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})$ は $\Omega$ で連続である。すなわち、 $(\forall \boldsymbol{a}\in\Omega)\quad\displaystyle \lim_{\boldsymbol{x}\to\boldsymbol{a}}g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})=g(\boldsymbol{a})\boldsymbol{f}(\boldsymbol{a})$ が成り立つ。

さて、実はこれの証明は既に行っているようなものです。
というのも、次を既に証明しているからです。

定理2.(多変数ベクトル値関数と実数値関数の積の極限)

$\Omega\subset\mathbb{R}^n$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omega\to\mathbb{R}^m$ および

$g:\Omega\to\mathbb{R}$ を写像(関数)、

$\boldsymbol{a}\in\bar{\Omega}$ 、

$\boldsymbol{A}\in\mathbb{R}^m$ 、

$B\in\mathbb{R}$ とする。

$\boldsymbol{x}\to\boldsymbol{a}$ のとき

$\boldsymbol{f}(\boldsymbol{x})$ が

$\boldsymbol{A}$ に、

$g(\boldsymbol{x})$ が

$B$ に収束するとする。このとき、

$\displaystyle\lim_{\boldsymbol{x}\to\boldsymbol{a}}g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})=\left(\lim_{\boldsymbol{x}\to\boldsymbol{a}}g(\boldsymbol{x})\right)\cdot\left(\lim_{\boldsymbol{x}\to\boldsymbol{a}}\boldsymbol{f}(\boldsymbol{x})\right)=B\boldsymbol{A}$ が成り立つ。

この事実(定理2.)の証明は【解析学の基礎シリーズ】多変数関数編その4を御覧ください。

定理1.は定理2.において、 $\boldsymbol{A}=\boldsymbol{f}(\boldsymbol{a})$ 、 $B=g(\boldsymbol{a})$ とすれば良いからです。

そういう意味で定理1.の証明は既に終わっているようなもの、ということです。

連続な多変数ベクトル値関数の内積も連続な関数

定義域と終域が一致している連続な多変数ベクトル値関数同士は内積をとってもまた連続な関数です。
主張を明示してしまいましょう。

定理3.

$\Omega$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omega\to\mathbb{R}^m$ 、

$\boldsymbol{g}:\Omega\to\mathbb{R}^m$ とする。

$\boldsymbol{a}\in\Omega$ とし、 $\boldsymbol{f}$ と $\boldsymbol{g}$ は $\boldsymbol{a}$ で連続とするとき、 $\left(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x})\right)$ は $\boldsymbol{a}$ で連続である。すなわち、 $\displaystyle \lim_{\boldsymbol{x}\to\boldsymbol{a}}\left(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x})\right)=\left(\boldsymbol{f}(\boldsymbol{a}),\boldsymbol{g}(\boldsymbol{a})\right)$ が成り立つ。
$\boldsymbol{f}$ と $g$ は $\Omega$ で連続とするとき、 $\left(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x})\right)$ は $\Omega$ で連続である。すなわち、 $(\forall \boldsymbol{a}\in\Omega)\quad\displaystyle \lim_{\boldsymbol{x}\to\boldsymbol{a}}\left(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x})\right)=\left(\boldsymbol{f}(\boldsymbol{a}),\boldsymbol{g}(\boldsymbol{a})\right)$ が成り立つ。

実はこれの証明も既に行っているようなものです。
というのも、次を既に証明しているからです。

定理4.(多変数ベクトル値関数の内積の極限)

$\Omega\subset\mathbb{R}^n$ を

$\mathbb{R}^n$ の領域、

$\boldsymbol{f}:\Omega\to\mathbb{R}^m$ および

$\boldsymbol{g}:\Omega\to\mathbb{R}^m$ を写像(関数)、

$\boldsymbol{a}\in\bar{\Omega}$ 、

$\boldsymbol{A}\in\mathbb{R}^m$ 、

$\boldsymbol{B}\in\mathbb{R}^m$ とする。

$\boldsymbol{x}\to\boldsymbol{a}$ のとき

$\boldsymbol{f}(\boldsymbol{x})$ が

$\boldsymbol{A}$ に、

$\boldsymbol{g}(\boldsymbol{x})$ が

$\boldsymbol{B}$ に収束するとする。このとき、

$\lim_{\boldsymbol{x}\to\boldsymbol{a}}(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x}))=\left(\lim_{\boldsymbol{x}\to\boldsymbol{a}}f(\boldsymbol{x}),\lim_{\boldsymbol{x}\to\boldsymbol{a}}g(\boldsymbol{x}) \right)$ が成り立つ。

この事実(定理2.)の証明は【解析学の基礎シリーズ】多変数関数編その4を御覧ください。

定理1.は定理2.において、 $\boldsymbol{A}=\boldsymbol{f}(\boldsymbol{a})$ 、 $\boldsymbol{B}=\boldsymbol{g}(\boldsymbol{a})$ とすれば良いからです。

そういう意味で定理1.の証明は既に終わっているようなもの、ということです。

本当に成り立つのかネ？

いつもの通り、例を挙げます。

例1. $\boldsymbol{f}:\mathbb{R}^2\to\mathbb{R}^2$ と $g:\mathbb{R}^2\to\mathbb{R}$ が
$\boldsymbol{f}(\boldsymbol{x})=\left( \begin{array}{c} x \\ y\\ \end{array}\right),\quad g(\boldsymbol{x})=x+y$
で定められているとします。
このとき、 $\displaystyle\lim_{\boldsymbol{x}\to(1,1)}\left(\begin{array}{c}x^2+xy\\ y^2+xy\end{array}\right)=\left(\begin{array}{c}2\\ 2\end{array}\right)$ ですので、確かに $g(\boldsymbol{x})\boldsymbol{f}(\boldsymbol{x})$ は $(1,1)$ で連続です。

この極限の証明は【解析学の基礎シリーズ】多変数関数編その4を御覧ください。

例2. $\boldsymbol{f}:\mathbb{R}^2\to\mathbb{R}^2$ と $\boldsymbol{g}:\mathbb{R}^2\to\mathbb{R}^2$ が
$\boldsymbol{f}(\boldsymbol{x})=\left( \begin{array}{c} x \\ y\\ \end{array}\right),\quad \boldsymbol{g}(\boldsymbol{x})=\left( \begin{array}{c} y \\ x\\ \end{array}\right)$
で定められているとします。
このとき、

このとき、

$\displaystyle\lim_{\boldsymbol{x}\to(a,b)}\left(\boldsymbol{f}(\boldsymbol{x}),\boldsymbol{g}(\boldsymbol{x}))\right)=\lim_{\boldsymbol{x}\to(a,b)}2xy=2ab$ ,
$\displaystyle\left( \lim_{\boldsymbol{x}\to(a,b)}\boldsymbol{f}(\boldsymbol{x}),\lim_{\boldsymbol{x}\to(a,b)}\boldsymbol{g}(\boldsymbol{x})\right)=\left( \left(\begin{array}{c}a\\ b\\\end{array}\right),\left(\begin{array}{c}b\\ a\\\end{array}\right)\right)=2ab$

結

今回は

連続な多変数ベクトル値関数と連続な実数値関数の積も連続な関数
連続な多変数ベクトル値関数の内積も連続な関数

ということを説明しました。
結局の所、多変数ベクトル値関数と実数値関数の積の極限、多変数ベクトル値関数の内積の極限から直ちに分かるということでした。

次回は連続な多変数ベクトル値関数と連続な実数値関数の商もまた連続な関数(条件が必要です)である、ということを説明します。

乞うご期待！質問、コメントなどお待ちしております！

コメントをする

Warning: Undefined variable $req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 32

Warning: Undefined variable $commenter in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Trying to access array offset on value of type null in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Undefined variable $aria_req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34