本記事の内容
本記事は多変数の場合の中間値の定理を証明する記事です。
本記事を読むにあたり、多変数の場合の中間値の定理のイメージと１変数実数値関数の場合の中間値定理を知っている必要があるため、その際は以下の記事を参照してください。
まずは、多変数の場合の中間値の定理のイメージをチャラく復習します。
多変数の場合の中間値の定理のイメージのチャラい復習
多変数の場合の中間値の定理のイメージは、
必ず\(z=D\)という平面と1回は交わる、ということ。
です。
図で直感的に表せば、
こんな感じです。
多変数の場合の中間値の定理の明示
主張を明確にしましょう。
形式的には１変数実数値関数の場合と遜色ありません。
では次にこれを証明するための発想を説明します。
多変数の場合の中間値の定理の証明の発想
発想は人それぞれですので、「こういう発想をしろ！」なんて言いません。
ここでは筆者の発想を書きます。
筆者の発想としては、
が結論です。
というのも、「本質的な主張は１変数だろうが多変数だろうが変わんなくね？」と思ったからです。
結局中間値の定理の証明で行いたいことは\(f(\boldsymbol{c})=k\)を満たすような\(\boldsymbol{c}\in\Omega\)を見つけたいということです。
確かに１変数の場合は「数直線上の実数\(c\)を見つけたい」という話で、多変数の場合は「平面上の点\(\boldsymbol{c}\)を見つけたい」という話で次元が異なります。
しかし、条件の式に目を向けてみましょう。
すると、１変数の場合は「\(f(c)=k\)」であり、多変数の場合は「\(f(\boldsymbol{c})=k\)」です。
これはいずれも実数です(つまり\(f(c),\ f(\boldsymbol{c})\in\mathbb{R}\))。
故に条件の式の次元が１変数でも多変数でも一致しているので「１変数の場合を多変数の証明に使えるのではないかな？」と思ったわけです。
さらに言えば、多変数の場合に現れる条件「定義域が弧状連結である」という条件を思い出してみます。
多変数の場合中間値の定理の仮定から、\(\Omega\)は弧状連結ですので、
$$
(\forall x\in\Omega)\ (\forall y\in\Omega)\ (\exists\phi:[0,1]\to\Omega 連続)\ \phi(0)=x\land\phi(1)=y
$$
です。
ここで、「お！」となるわけです。
「何が”お！”なのか説明し給えヨ」と局長に言われるまでもなく、勿論説明します。
何が「お！」なのか、というと
ということです。
これはつまり、\(\phi\)と\(f\)の合成関数を考えることができるということを指しています。
つまり\(f\circ\phi:[0,1]\to\mathbb{R}\)を考えることができるというわけです。
この瞬間「\(f\circ\phi:[0,1]\to\mathbb{R}\)は実数値関数じゃん！てことは以前証明した中間値の定理を使えるじゃん！」と思えるわけです。
するともう殆ど証明が終わったようなものです。
仮定から、\(f:\Omega\to\mathbb{R}\)は連続で、かつ\(\phi:[0,1]\to\Omega\)も連続です。
ここで、連続な多変数実数値関数の合成関数もまた連続ですので、\(f\circ\phi:[0,1]\to\mathbb{R}\)も連続な関数です。
従って、１変数実数値関数の場合の中間値の定理が使えます。
故に、ある\(c\in[0,1]\)が存在して、\((f\circ\phi)(c)=k\)です。
ここで、\((f\circ\phi)(c)=f\left(\phi(c)\right)\)ですから、\(f\left(\phi(c)\right)=k\)ですので、\(\boldsymbol{c}=\phi(c)\)とすれば、見つけたい\(\boldsymbol{c}\)を見つけることができます。
もうほぼ証明ですが、こういう発想です。
この発想を証明の体裁に整えればおしまいです。
余談(読まなくてOK)
多変数バージョンの中間値の定理の証明の発想として、さも頭をこねくり回して考えたかのように書いていますが、正直なところ「折角１変数実数値関数の場合を区間縮小法でせっせと証明したんだから、これを使いたいし、同じことを多変数の場合でやるのは面倒くさいな」と思った、というのが理由の半分を占めているのは内緒です。
多変数の場合の中間値の定理の証明
もうほどんど上記で証明してしまったようなものですが、ちゃんと書き直します。
証明
示したいことは、
$$
(\forall \boldsymbol{a}\in\Omega)\ (\forall \boldsymbol{b}\in\Omega)\ \left(\forall k\in\mathbb{R}:f(\boldsymbol{a})<k<f(\boldsymbol{b})\Rightarrow (\exists \boldsymbol{c}\in\Omega)\ {\rm s.t.}\ f(\boldsymbol{c})=k\right)
$$
です。
つまり、上記を満たすような\(\boldsymbol{c}\)を見つけてきたいわけです。
まず、仮定から\(\Omega\)が弧状連結ですので、\(\boldsymbol{a}\)と\(\boldsymbol{b}\)を結ぶ\(\Omega\)内の曲線\(\phi\)が存在します。
つまり
$$
(\forall x\in\Omega)\ (\forall y\in\Omega)\ (\exists\phi:[0,1]\to\Omega 連続)\ \phi(0)=\boldsymbol{a}\land\phi(1)=\boldsymbol{b}
$$
です。
このとき、\(phi:[0,1]\to\Omega\)の定義域\(f:\Omega\to\mathbb{R}\)の終域が一致しており、かつ\(\phi\)と\(f\)は共に定義域で連続な関数なので、\(f\circ\phi:[0,1]\to\mathbb{R}\)も連続な関数です(証明は【解析学の基礎シリーズ】多変数関数編 その14を御覧ください)。
従って、\(f\circ\phi\)は１変数実数値関数の場合の中間値の定理の仮定を満たします。
１変数実数値関数の場合の中間値の定理は以下でした。
故に、
$$
(\exists \gamma\in[0,1])\ {\rm s.t.}\ \left(f\circ\phi\right)(\gamma)=k
$$
です。
ここで、\(\phi(0)=\boldsymbol{a}\)かつ\(\phi(1)=\boldsymbol{b}\)ですので、
$$
\left(f\circ\phi\right)(0)=f\left(\phi(0)\right)=f(\boldsymbol{a})<k=\left(f\circ\phi\right)(\gamma)<f(\boldsymbol{b})=f\left(\phi(1)\right)=\left(f\circ\phi\right)(1)
$$
です。
従って、\(\boldsymbol{c}\)として\(\phi(\gamma)\)を採用すれば良いことが分かり、証明完了です。
証明終わり
結
今回は、多変数の場合の中間値の定理を証明しました。
多変数の場合は
- 1変数実数値関数の場合の中間値の定理
- 定義域で連続な多変数実数値関数の合成関数も定義域で連続である。
- 弧状連結
の３つから簡単にわかる、ということがオチです。
次回はワイエルシュトラスの最大値定理の多次元バージョンのイメージを解説します。
乞うご期待！質問、コメントなどお待ちしております！
コメントをする