本記事の内容
本記事は多変数多項式関数は連続な関数だ、ということを説明する記事です。
本記事を読むにあたり、多変数関数の連続について知っている必要があるため、その際は以下の記事を参照してください。
また、1変数多項式関数の連続について知っているとよりすんなり理解できると思われますので、その際は以下の記事を参照してください。
まずは、多変数多項式関数とはどんなものか、ということについて説明します。
では行きましょう!
多変数多項式関数とは何かネ?
多変数多項式関数の説明の前に、1変数多項式関数とは何だったかをチャラく復習します。
1変数多項式関数のチャラい復習
1変数多項式関数はf(x)=x2+2x+2のような形の関数のことを指したのでした。
数学的には以下でした。
- 多項式 P(x)=n∑i=0aixi(ai∈R) の形の式を、xの実係数多項式(polynomial with real coefficients)という。
- 多項式関数 関数f:X→Yが任意のx∈Xでf(x)=P(x)を満たすとき、fは多項式関数という。 特に、P(x)が実係数多項式である場合、fを実係数多項式関数という。
多変数多項式関数は上記の多変数ver.です。
多変数の多項式
P(x,y)=x2+2xy+3y2+4x+5y+6のように、変数x,yと実数の定数から掛け算、足し算だけで作られる式を、変数xとyの実係数多項式と言います。
これは2変数の場合です。
2変数の場合を数学的に表すと、xとyの2変数実係数多項式は
P(x,y)=N∑i=0N∑j=0aijxiyj(N∈N, aij∈R)
です。
では、多変数の多項式について説明します。
とはいえ、先程はxとyが変数でしたが、その変数の部分がx1,x2,…,xnとなるだけです。
P(x1,x2,…,xn)=N∑i1=0N∑i2=0…N∑in=0ai1i2⋯inxi01xi22⋯xinn(N∈N, ai1i2⋯in∈R) を変数x1,x2,…,xnの多変数実係数多項式という。また、多変数実係数多項式の全体の集合を R[x1,x2,…,xn]={P(x1,x2,…,xn)|N∈N, ai1i2⋯in∈R (0≤i1,i2,…,in≤N)} で表す。
数式にすると少々複雑に見えるかもしれませんが、n=2の場合を考えてみると、P(x,y)と一致することがわかると思います。
余談(読み飛ばしてOK)
実は、R[x1,x2,…,xn]は環の構造が入るので、R[x1,x2,…,xn]は多項式環とも呼ばれます。
環というのは、サラッと言うと「加減乗ができる集合」のことです。
割り算はできません(0も多項式だからネ)。
多変数多項式関数
多変数多項式関数は、要するに、R[x1,x2,…,xn]の要素の形の関数のことです。
これを数学的に書くと次です。
fがn変数の(R上の)多項式関数であるとは、あるP(x1,x2,…,xn)∈R[x1,x2,…,xn]が存在して、 f:Rn→R,f(x1,x2,…,xn)=P(x1,x2,…,xn)((x1,x2,…,xn)⊤∈Rn) であることを言う。
要するに、f:Rn→Rが
f(x1,x2,…,xn)=N∑i1=0N∑i2=0…N∑in=0ai1i2⋯inxi01xi22⋯xinn(N∈N, ai1i2⋯in∈R)
というときに、fはx1,x2,…,xnを変数とするn変数(実係数)多項式関数という、というわけです。
若干複雑ですが、n変数多項式関数がどんなグラフかの例を挙げます。

n変数多項式関数はRnで連続である
n変数多項式関数はRnで連続な関数です。
実は、今まで証明した、
- (定理1.) 連続な多変数実数値関数の和、差も連続な関数。
- (定理2.) 連続な多変数実数値関数の積も連続な関数。
- (命題3.) fi(x1,x2,⋯xn)=xiは連続な関数。(後でちゃんと書きます。)
- (命題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は連続な関数。
- 多変数の定数関数は連続な関数。
という事実を繰り返し使うことで証明ができるということでした。
次回は多変数の有理関数の連続について解説します。
乞うご期待!質問、コメントなどお待ちしております!
コメントをする