「多変数多項式関数は連続な関数」【解析学の基礎シリーズ】多変数関数編 その12

本記事の内容

本記事は多変数多項式関数は連続な関数だ、ということを説明する記事です。

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

「多変数ベクトル値関数の連続って数学的に何？」「実際に証明してみよう！」【解析学の基礎シリーズ】多変数関数編 その8

本記事の内容本記事は多変数ベクトル値関数の連続を数学的に明示し、具体例を証明する記事です。本記事を読むにあたり、多変数ベクトル値関数の極限について知っている必要があるため、その際は以下の記事を参照してください。多変数ベクトル値関数の連続のイ

for-spring.com

また、１変数多項式関数の連続について知っているとよりすんなり理解できると思われますので、その際は以下の記事を参照してください。

「多項式関数と有理関数は連続な関数」【解析学の基礎シリーズ】関数の極限編 その8

...

for-spring.com

2022.04.08

まずは、多変数多項式関数とはどんなものか、ということについて説明します。
では行きましょう！

多変数多項式関数とは何かネ？

多変数多項式関数の説明の前に、１変数多項式関数とは何だったかをチャラく復習します。

１変数多項式関数のチャラい復習

1変数多項式関数は$f(x)=x^2+2x+2$のような形の関数のことを指したのでした。
数学的には以下でした。

多変数多項式関数は上記の多変数ver.です。

多変数の多項式

$P(x,y)=x^2+2xy+3y^2+4x+5y+6$のように、変数$x,y$と実数の定数から掛け算、足し算だけで作られる式を、変数$x$と$y$の実係数多項式と言います。
これは2変数の場合です。
2変数の場合を数学的に表すと、$x$と$y$の２変数実係数多項式は
$$P(x,y)=\sum_{i=0}^N\sum_{j=0}^Na_{ij}x^iy^j\quad (N\in\mathbb{N},\ a_{ij}\in\mathbb{R})$$
です。

では、多変数の多項式について説明します。
とはいえ、先程は$x$と$y$が変数でしたが、その変数の部分が$x_1,x_2,\dots, x_n$となるだけです。

数式にすると少々複雑に見えるかもしれませんが、$n=2$の場合を考えてみると、$P(x,y)$と一致することがわかると思います。

余談(読み飛ばしてOK)

実は、$\mathbb{R}[x_1,x_2,\dots,x_n]$は環の構造が入るので、$\mathbb{R}[x_1,x_2,\dots,x_n]$は多項式環とも呼ばれます。
環というのは、サラッと言うと「加減乗ができる集合」のことです。
割り算はできません($0$も多項式だからネ)。

多変数多項式関数

多変数多項式関数は、要するに、$\mathbb{R}[x_1,x_2,\dots,x_n]$の要素の形の関数のことです。
これを数学的に書くと次です。

要するに、$f:\mathbb{R}^n\to\mathbb{R}$が
$$f(x_1,x_2,\dots,x_n)=\sum_{i_1=0}^N\sum_{i_2=0}^N\dots\sum_{i_n=0}^Na_{i_1i_2\cdots i_n}x_1^{i_0}x_2^{i_2}\cdots x_n^{i_n}\quad (N\in\mathbb{N},\ a_{i_1i_2\cdots i_n}\in\mathbb{R})$$
というときに、$f$は$x_1,x_2,\dots,x_n$を変数とする$n$変数(実係数)多項式関数という、というわけです。

若干複雑ですが、$n$変数多項式関数がどんなグラフかの例を挙げます。

$n$変数多項式関数は$\mathbb{R}^n$で連続である

$n$変数多項式関数は$\mathbb{R}^n$で連続な関数です。
実は、今まで証明した、

• (定理1.) 連続な多変数実数値関数の和、差も連続な関数。
• (定理2.) 連続な多変数実数値関数の積も連続な関数。
• (命題3.) $f_i(x_1,x_2,\cdots x_n)=x_i$は連続な関数。(後でちゃんと書きます。)
• (命題4.) 多変数の定数関数は連続な関数。

という事実を繰り返し使うことで直ちに証明できます。
(※1変数のときと同じだネ)

すなわち、

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

(この定理の証明は【解析学の基礎シリーズ】多変数関数編 その4を御覧ください)と命題3.(後述)と命題4.(後述)を繰り返し使うことで分かります。

では、定理を明示します。

では、証明に入りましょう！

定理5.の証明

示したいことは$f:\mathbb{R}^n\to\mathbb{R}$が
$$f(x_1,x_2,\dots,x_n)=\sum_{i_1=0}^N\sum_{i_2=0}^N\dots\sum_{i_n=0}^Na_{i_1i_2\cdots i_n}x_1^{i_0}x_2^{i_2}\cdots x_n^{i_n}\quad (N\in\mathbb{N},\ a_{i_1i_2\cdots i_n}\in\mathbb{R})$$
としたときに、$f$が$\mathbb{R}^n$で連続なことです。

まずは、次を示します。

命題4.の証明

示したいことは、$\boldsymbol{x}=(x_1,x_2,\dots,x_n)$、$\boldsymbol{a}=(a_1,a_2,\dots,a_n)$としたとき、

$$(\forall i\in\mathbb{N}:1\leq i\leq n)(\forall \epsilon_i>0)(\exists \delta_i>0)\ {\rm s.t.}\ (\forall\boldsymbol{x}\in\Omega;\ 0<|\boldsymbol{x}-\boldsymbol{a}|<\delta_i\Rightarrow |x_i-a_i|<\epsilon_i)$$

です。
これは簡単です。
もし仮に、上記のような$\delta_i>0$があったとすると、
$$|\boldsymbol{x}-\boldsymbol{a}|<\delta_i\Leftrightarrow \sqrt{(x_1-a_1)^2+(x_2-a_2)^2+\cdots+(x_n-a_n)^2}<\delta_i$$
です。
任意の$1\leq j\leq n$を満たす$j\in\mathbb{N}$に対して、$(x_j-a_j)^2\geq 0$ですので、任意の$1\leq j\leq n$を満たす$j\in\mathbb{N}$に対して$|x_j-a_j|<\delta_i$です。
従って、$\delta_i=\epsilon_i$とすると、任意の$1\leq j\leq n$を満たす$j\in\mathbb{N}$に対して、
$$|\boldsymbol{x}-\boldsymbol{a}|<\delta_i\Rightarrow |x_j-a_j|<\epsilon_i$$
となりますので、証明完了です。

命題4.の証明終わり

次に、多変数の定数関数も$\mathbb{R}^n$で連続であることを示します。

命題4.の証明

示したいことは、
$$(\forall \epsilon>0)(\exists \delta>0)\ {\rm s.t.}\ (\forall\boldsymbol{x}\in\Omega;\ 0<|c-c|<\delta_i\Rightarrow |c-c|<\epsilon)$$
ですが、これは$\delta=\epsilon$とすることで、
$$0<|c-c|<\delta_i\Rightarrow |c-c|=0<\epsilon_i$$
です。
故に証明は終わりです。

命題4.の証明終わり

さて、定理5.の証明に戻ります。

命題4.から$g:\mathbb{R}^n\to\mathbb{R}$が$g(\boldsymbol{x})=c$で定められている(すなわち、$g$は定数関数)とき、$g$は$\mathbb{R}^2$で連続です。
また、命題3.から$h:\mathbb{R}^n\to\mathbb{R}$が$h(x_1.x_2,\cdots,x_n)=x_i$で定められているとします。
このとき$h$は$\mathbb{R}^2$で連続です。
ここで、定理2.から$g(\boldsymbol{x})h(\boldsymbol{x}=cx_i)$も$\mathbb{R}^n$で連続です。

ここで、更に定理2.を繰り返し使うことで、任意の$0\leq i_1,i_2,\cdots ,i_n\leq N\ (N\in\mathbb{N})$を満たす$i_1,i_2,\cdots ,i_n\in\mathbb{Z}$に対して、
$$a_{i_1i_2\cdots i_n}x_1^{i_0}x_2^{i_2}\cdots x_n^{i_n}\quad (a_{i_1i_2\cdots i_n}\in\mathbb{R})$$
は$\mathbb{R}^n$で連続です。

加えて、ここで定理1.により、$0\leq i_1,i_2,\cdots ,i_n\leq N$の$i_1,i_2,\cdots ,i_n$を$i_j\ (1\leq j\leq n)$それぞれに対して$0$から$N$までの和を取っても$\mathbb{R}^n$で連続です。

以上のことから、
$$\sum_{i_1=0}^N\sum_{i_2=0}^N\dots\sum_{i_n=0}^Na_{i_1i_2\cdots i_n}x_1^{i_0}x_2^{i_2}\cdots x_n^{i_n}\quad (N\in\mathbb{N},\ a_{i_1i_2\cdots i_n}\in\mathbb{R})$$
は$\mathbb{R}^n$で連続です。

本当に成り立つのかネ？

成り立ちます。
簡単ですが、例を挙げましょう。

例1. $f:\mathbb{R}^2\to\mathbb{R}$が$f(x,y)=x^2+2xy+y^2$で定められているとします。
このとき$f$は$\mathbb{R}^2$で連続です。

証明

示したいことは、$\boldsymbol{a}=(a,b)$と書いたとき、
$$(\forall \epsilon>0)(\exists \delta>0)\ {\rm s.t.}\ (\forall\boldsymbol{x}\in\Omega;\ 0<|(x,y)-(a,b)|<\delta\Rightarrow \left|(x^2+2xy+y^2)-(a^2+2ab+b^2)\right|<\epsilon)$$
です。

$\delta>0$を見つけるために式変形してみましょう。
$$\begin{eqnarray} \left|(x^2+2xy+y^2)-(a^2+2ab+b^2)\right|&=&\left| x^2-2ax+a^2+y^2-2by+b^2+2ax-2a^2+2by-2b^2 \right|\\ &=&\left| (x-a)^2+(y-b)^2+2a(x-a)+2b(y-b) \right|\\ &\leq&|x-a|^2+|y-b|^2+2|a|\cdot|x-a|+2|b|\cdot|y-b| \end{eqnarray}$$
です。
仮に、上記を満たす$\delta$があったとすると、$0<|(x,y)-(a,b)|<\delta\Leftrightarrow \sqrt{(x-a)^2+(y-b)^2}<\delta$であり、$(x-a)^2\geq0$かつ$(y-b)^2\geq0$ですので、$|x-a|<\delta$かつ$|y-b|<\delta$です。
故に、
$$\begin{eqnarray} |x-a|^2+|y-b|^2+2|a|\cdot|x-a|+2|b|\cdot|y-b|&<&\delta^2+\delta^2+2(|a|+|b|)\delta \end{eqnarray}$$
です。
従って、$\delta^2+\delta^2+2(|a|+|b|)\delta=\epsilon$を満たす$\delta>0$を見つけてくれば良いことになります。
故に、これを解くと、
$$\delta=\frac{-(|a|+|b|)\pm\sqrt{(|a|+|b|)^2+2\epsilon}}{2}$$
です。
従って、
$$\delta=\frac{-(|a|+|b|)+\sqrt{(|a|+|b|)^2+2\epsilon}}{2}$$
とすれば、$\delta>0$です。
$\displaystyle\delta=\frac{-(|a|+|b|)+\sqrt{(|a|+|b|)^2+2\epsilon}}{2}$とすると、
$$\begin{eqnarray} \left|(x^2+2xy+y^2)-(a^2+2ab+b^2)\right|&<&2\delta^2+2(|a|+|b|)\delta\\ &=&2\cdot \left( \frac{-(|a|+|b|)+\sqrt{(|a|+|b|)^2+2\epsilon}}{2}\right)^2\\ &\quad&+2(|a|+|b|)\cdot\frac{-(|a|+|b|)+\sqrt{(|a|+|b|)^2+2\epsilon}}{2}\\ &=&\frac{1}{2}\cdot \left( (|a|+|b|)^2-2(|a|+|b|)\sqrt{(|a|+|b|)^2+2\epsilon}\\ +(|a|+|b|)^2+2\epsilon\right)-(|a|+|b|)^2+\sqrt{(|a|+|b|)^2+2\epsilon}\\ &=&\epsilon \end{eqnarray}$$
です。
従って、
$$(\forall \epsilon>0)(\exists \delta>0)\ {\rm s.t.}\ (\forall\boldsymbol{x}\in\Omega;\ 0<|(x,y)-(a,b)|<\delta\Rightarrow \left|(x^2+2xy+y^2)-(a^2+2ab+b^2)\right|<\epsilon)$$
です。

証明終わり

結

今回は多変数の多項式関数が連続であることを説明しました。
結局の所、

• 連続な多変数実数値関数の和、差も連続な関数。
• 連続な多変数実数値関数の積も連続な関数。
• $f_i(x_1,x_2,\cdots x_n)=x_i$は連続な関数。
• 多変数の定数関数は連続な関数。

という事実を繰り返し使うことで証明ができるということでした。

次回は多変数の有理関数の連続について解説します。

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