「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその証明」「多次元版ワイエルシュトラスの最大値定理の証明」【解析学の基礎シリーズ】多変数関数編その18

本記事の内容
多次元版ワイエルシュトラスの最大値定理のイメージのチャラい復習
多次元版ワイエルシュトラスの最大値定理の明示
多次元版ワイエルシュトラスの最大値定理の証明の発想
点列の場合のボルツァーノ-ワイエルシュトラスの定理
多次元の有界な集合
多次元版ワイエルシュトラスの最大値定理の証明の準備
1. 結局何がしたかったのかネ？
いざ、多次元版ワイエルシュトラスの最大値定理の証明
結

本記事の内容

本記事は、多次元版ワイエルシュトラスの最大値定理と、そのために必要な点列の場合のボルツァーノ-ワイエルシュトラスの定理を証明する記事です。

本記事を読むにあたり、1変数実数値関数の場合のボルツァーノ-ワイエルシュトラスの証明、およびワイエルシュトラスの最大値定理の証明を知っている必要があるため、その際は以下の記事を参照してください。

多次元版ワイエルシュトラスの最大値定理のイメージのチャラい復習

多次元版ワイエルシュトラスの最大値定理のイメージを一言で述べれば、

多変数実数値関数の定義域が閉集合で、かつ定義域で連続であれば、必ず最大値と最小値の両方が存在する。

ということでした。
例えば、次のような場合です。

例. $\Omega=\{\boldsymbol{x}\in\mathbb{R}^n\mid |\boldsymbol{x}|\leq1\}$ とし、 $f:\Omega\to\mathbb{R}$ が $f(x,y)=x^2+y^2$ で定められているとします。

この $f$ のグラフは次です。

このとき、 $f$ は $x^2+y^2=1$ を満たす $(x,y)$ で最大値 $1$ を取ります。
つまり、 $(a,b)\in\{(x,y)\in\mathbb{R}^2\mid x^2+y^2=1\}$ に対して、 $f(a,b)=1$ です。
一方、 $(x,y)=(0,0)$ で最小値 $0$ を取ります。

このように、定義域が閉集合で、かつ定義域で連続な多変数実数値関数は必ず最大値と最小値があります。

多次元版ワイエルシュトラスの最大値定理の明示

では、主張を明示しましょう。

定理1.(多次元版ワイエルシュトラスの最大値定理)

$K$ は

$\mathbb{R}^n$ の空でない有界な閉集合であり、

$f:K\to\mathbb{R}$ は

$K$ で連続であるとする。このとき、

$f$ は最大値を持つ。すなわち、

$(\exists \boldsymbol{c}\in K)\ (\forall \boldsymbol{x}\in K)\ f(\boldsymbol{c})\geq f(\boldsymbol{x})$ が成り立つ。最小値についても同様である。

形式的には１次元(１変数)の場合と何ら変わりません。

多次元版ワイエルシュトラスの最大値定理の証明の発想

証明のための発想は１通りではありませんので、ここでは筆者の発想について書くことにします。

結論から述べてしまえば、「１変数実数値関数のときと同じように証明できるんじゃないか？」と思ったわけです。
というもの、１変数実数値関数のときと本質的に主張は変わっていません。
単に定義域が区間から領域になっただけです。
勿論、定義域が区間から領域になることで何か問題が起こり、１変数実数値関数と同じように証明できない可能性もあります。
ただ、それは実際に証明してみないとわかりません。

つまり、「１変数の場合と本質的な主張は変わっていないのだから、多変数の場合も同様に証明ができるのではないか？もしできなかったら、そのときに別の方法を考えてみよう。」とういことです。

１変数の場合の証明の流れを参考にすれば、多次元版ワイエルシュトラスの最大値定理は次の流れで証明できそうです。

(ステップ1)： $f(\boldsymbol{x})$ が有界であることを示す。
1変数のときは、これを示すためにボルツァーノ-ワイエルシュトラスの定理を使った。
(ステップ2)： $f(\boldsymbol{x})$ が有界なのだから、上限が存在するため、その上限が $f(K)$ の要素であることを示す。
上限が $f(K)$ の要素であれば、その上限が最大値である。

ということです。

では、まずは点列の場合のボルツァーノ-ワイエルシュトラスの定理を証明してみましょう。

点列の場合のボルツァーノ-ワイエルシュトラスの定理

まずは、点列における有界について明示します。

点列の有界

$\mathbb{R}^N$ の点列

$\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ が有界であるとは、

$(\exists R\in\mathbb{R})\ (\forall n\in\mathbb{N})\ |\boldsymbol{a}_n|\leq R$ が成り立つことをいう。

数列と同じ感じですね。
では点列の場合のボルツァーノ-ワイエルシュトラスの定理の主張を明示しましょう。

定理2.(点列の場合のボルツァーノ-ワイエルシュトラスの定理)

$\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ が

$\mathbb{R}^m$ の有界な点列であるとする。このとき、

$\mathbb{R}^m$ で収束するような

$\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ の部分列が存在する。

定理2.の証明

任意の $n\in\mathbb{N}$ に対して、
$\boldsymbol{a}_n= \left( \begin{array}{c} a_{n,1}\\ a_{n,2}\\ \vdots \\ a_{n,m} \end{array}\right)$
と書いたとします。
このとき、各数列 $\{a_{n,1}\}_{n\in\mathbb{N}},\ \{a_{n,2}\}_{n\in\mathbb{N}},\dots ,\{a_{n,m}\}_{n\in\mathbb{N}}$ は有界な数列です。

実際、 $\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ が有界な点列ですので、
$(\exists R\in\mathbb{R})\ (\forall n\in\mathbb{N})\ |\boldsymbol{a}_n|\leq R$
が成り立っています。
従って、ある $R\in\mathbb{R}$ が存在して、任意の $n\in\mathbb{N}$ に対して
$\sqrt{\left(a_{n,1}\right)^2+\left(a_{n,m}\right)^2+\cdots+\left(a_{n,m}\right)^2}\leq R$
です。
$1\leq i\leq m$ を満たす任意の $i\in\mathbb{N}$ に対して、 $\left(a_{n,i}\right)^2\geq 0$ ですから、 $a_{n,i}\leq R$ でなければなりません。
従って、各数列 $\{a_{n,1}\}_{n\in\mathbb{N}},\ \{a_{n,2}\}_{n\in\mathbb{N}},\dots ,\{a_{n,m}\}_{n\in\mathbb{N}}$ は有界な数列です。
従って、１次元のボルツァーノ-ワイエルシュトラスの定理が使えます。

定理3.(数列の場合のボルツァーノ-ワイエルシュトラスの定理) 数列

$\{a_n\}_{n\in\mathbb{N}}$ が有界な数列ならば、その数列に対する収束する部分列が存在する。

この定理の証明は「ボルツァーノ-ワイエルシュトラスの定理を証明しよう！」【解析学の基礎シリーズ】を参照してください。

さて、定理3.から各数列 $\{a_{n,1}\}_{n\in\mathbb{N}},\ \{a_{n,2}\}_{n\in\mathbb{N}},\dots ,\{a_{n,m}\}_{n\in\mathbb{N}}$ には収束する部分列が存在します。
つまり、 $\{a_{n_{k(1)},1}\}_{k(1)\in\mathbb{N}},\ \{a_{n_{k(2)},2}\}_{k(2)\in\mathbb{N}},\dots ,\{a_{n_{k(m)},m}\}_{k(m)\in\mathbb{N}}$ が存在して、これらは全て収束します。
このとき、これらがそれぞれ $a_1,\ a_2,\dots,a_m\in\mathbb{R}$ に収束するとしましょう。
すなわち、
$(\forall i\in\mathbb{N}:1\leq i\leq m)\quad \lim_{k(i)\to\infty}a_{n_k(i),i}=a_i$
としましょう。
ここで注意なのが、 $\{a_{n_{k(1)},1}\}_{k(1)\in\mathbb{N}},\ \{a_{n_{k(2)},2}\}_{k(2)\in\mathbb{N}},\dots ,\{a_{n_{k(m)},m}\}_{k(m)\in\mathbb{N}}$ の添字の狭義単調増加自然数列 $\{n_k\}_{k\in\mathbb{N}}$ は $1\leq i\leq m$ を満たす任意の $i\in\mathbb{N}$ に対して、必ずしも一致しないということです。

さて、点列 $\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ の部分列 $\{\boldsymbol{a}_{n_{k_l}}\}_{l\in\mathbb{N}}$ を考えます。
このとき、 $\{\boldsymbol{a}_{n_{k_l}}\}_{l\in\mathbb{N}}$ の各成分 $\{a_{n_{k_l},1}\}_{l\in\mathbb{N}},\ \{a_{n_{k_l},2}\}_{l\in\mathbb{N}},\dots ,\{a_{n_{k_l},m}\}_{l\in\mathbb{N}}$ は収束する数列 $\{a_{n_k,1}\}_{k\in\mathbb{N}},\ \{a_{n_k,2}\}_{k\in\mathbb{N}},\dots ,\{a_{n_k,m}\}_{k\in\mathbb{N}}$ の部分列ですので $a_1,\ a_2,\dots,a_m$ に収束します(この事実の証明は【解析学の基礎シリーズ】関数の極限編その16を御覧ください)。
しかも $1\leq i\leq m$ を満たす任意の $i\in\mathbb{N}$ に対して添字の数列 $\{n_{k_l}\}_{l\in\mathbb{N}}$ は全て一致しています。

従って、
$\lim_{l\to\infty}\boldsymbol{a}_{n_{k_l}}=\lim_{l\to\infty} \left(\begin{array}{c} a_{n_{k_l},1}\\ a_{n_{k_l},2}\\ \vdots \\ a_{n_{k_l},m} \end{array}\right)= \left(\begin{array}{c}a_1\\ a_2\\ \vdots \\ a_m\end{array}\right)$
$\{\boldsymbol{a}_{n_{k_l}}\}_{l\in\mathbb{N}}$ は $\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ の部分列であり、かつ収束することが証明できたので、定理2.が成り立ちます。

定理2.の証明おわり

多次元の有界な集合

簡単にではありますが、多次元における有界な集合を説明します。
といっても、「有界な集合とはこれです。」というだけに留めます。

多次元における有界な集合

$K\subset\mathbb{R}^n$ が有界であるとは、次が成り立つことをいう。

$(\exists M\in\mathbb{R}:M>0)\ (\exists \boldsymbol{a}\in K)\ {\rm s.t.}\ (\forall \boldsymbol{x}\in K\Rightarrow |\boldsymbol{x}-\boldsymbol{a}|\leq M)$

多次元版ワイエルシュトラスの最大値定理の証明の準備

多次元版ワイエルシュトラスの最大値定理の証明の流れを再掲すると、

(ステップ1)： $f(\boldsymbol{x})$ が有界であることを示す。
これを示すためにボルツァーノ-ワイエルシュトラスの定理を使う。
(ステップ2)： $f(\boldsymbol{x})$ が有界なのだから、上限が存在するため、その上限が $f(K)$ の要素であることを示す。
上限が $f(K)$ の要素であれば、その上限が最大値である。

でした。

この節では(ステップ1)で必要になる事実を証明します。

補題4.

$K$ は

$\mathbb{R}^N$ の有界な閉集合、関数

$\boldsymbol{f}:K\to\mathbb{R}^m$ が

$K$ で連続とする。このとき、

$\boldsymbol{f}(K)$ は

$\mathbb{R}^m$ の有界閉集合である。

これを示すために次の2つを示します。

命題5.

$\Omega\subset\mathbb{R}^N$ 、

$\boldsymbol{a}\in \Omega$ で

$\boldsymbol{f}:\Omega\to\mathbb{R}^m$ とするとき、次は同値である。

$\boldsymbol{f}$ は $\boldsymbol{a}$ で連続である。
$\boldsymbol{a}$ に収束する $\Omega$ 内の任意の点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ に対して、 $\displaystyle\lim_{n\to\infty}\boldsymbol{f}(\boldsymbol{x}_n)=\boldsymbol{f}(\boldsymbol{a})$ である。

命題5.の証明

1. $\Rightarrow$ 2.については、【解析学の基礎シリーズ】関数の極限編その14の補題の証明に、「点列の極限はその成分の数列の極限を並べたベクトルと等しい」という事実を使えば証明できます。

2. $\Rightarrow$ 1.について示します。
背理法で示します。
仮に2.は成り立つが、1.が成り立たないと仮定しましょう。
すると、
$(\exists \epsilon>0)\ {\rm s.t.}\ (\forall \delta>0)\left(\exists \boldsymbol{x}\in\Omega :0<|\boldsymbol{x}-\boldsymbol{a}|<\delta\land \boldsymbol{f}(\boldsymbol{x})-\boldsymbol{f}(\boldsymbol{a})|\geq\epsilon\right)$
です。
任意の $n\in\mathbb{N}$ に対して $\displaystyle\delta=\frac{1}{n}$ とおくと、点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}\subset\Omega$ に対して
$|\boldsymbol{x}_n-\boldsymbol{a}|<\frac{1}{n},\quad |\boldsymbol{f}(\boldsymbol{x}_n)-\boldsymbol{f}(\boldsymbol{a})|\geq\epsilon$
という $\epsilon>0$ を見つけることができます。
すると、
$\boldsymbol{x}_n\to \boldsymbol{a},\quad \boldsymbol{f}(\boldsymbol{x}_n)\not\to\boldsymbol{f}(\boldsymbol{a})\quad (n\to\infty)$
となりますが、これは2.に反します。
従って、2. $\Rightarrow$ 1.です。

命題5.の証明終わり

命題6.

$A\subset\mathbb{R}^n$ が

$A\neq\emptyset$ とする。このとき次の２つは同値である。

$A$ は有界閉集合である、
$A$ の要素からなる任意の点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ は収束する部分列を持ち、その極限は $A$ に属する。

命題6.の証明

(1. $\Rightarrow$ 2.)の証明

$A$ が有界閉集合だとします。
また、 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ を $A$ 内の任意の点列とします。
$A$ は有界ですので、 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ も有界です。
従って、多次元版のボルツァーノ-ワイエルシュトラスの定理から収束する部分列 $\{\boldsymbol{x}_{n_k}\}_{k\in\mathbb{N}}$ が存在します。
その収束先を $\boldsymbol{a}$ とします。
$A$ は閉集合ですので、次の事実を使います。

命題7.(閉集合の点列による特徴づけ)

$K\in\mathbb{R}^n$ とする。このとき、次の1.、2.は同値である。

$K$ は $\mathbb{R}^n$ の閉集合である。
$K$ 内の任意の点列 $\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ に対して、 $\{\boldsymbol{a}_n\}_{n\in\mathbb{N}}$ が( $\mathbb{R}^n$ で)収束するならば、その極限は $K$ に属する。

$(\forall \{\boldsymbol{a}_n\}_{n\in\mathbb{N}}\in K)\ \boldsymbol{a}_{n}が\mathbb{R}^nで収束する。\Rightarrow\lim_{n\to\infty}\boldsymbol{a}_{n}\in K$

命題7.の証明は【解析学の基礎シリーズ】多変数関数編その17を参照してください。

命題7.により、 $\boldsymbol{a}\in A$ です。

(2. $\Rightarrow$ 1.)の証明

まずは $A$ が有界であることを示します。
背理法で証明します。
仮に $A$ が有界でないとしましょう。
すると、 $|\boldsymbol{x}_n|>n$ を満たす $A$ 内の点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ が取れます。
しかし、この点列はどんな収束する部分列も含みえません。
これは矛盾です。
従って、 $A$ は有界です。

次に $A$ が閉集合であることを示します。
$A$ 内の点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ が $\boldsymbol{a}$ に収束するとします。
このとき $\boldsymbol{a}$ は必ず $A$ に含まれる、ということを示します。
仮定から、部分列 $\{\boldsymbol{x}_{n_k}\}_{n\in\mathbb{N}}$ と $\boldsymbol{a}^\prime\in A$ が存在して、 $\displaystyle\lim_{k\to\infty}\boldsymbol{x}_n=\boldsymbol{a}^\prime$ です。
ここで、 $\displaystyle\lim_{k\to\infty}\boldsymbol{x}_n=\boldsymbol{a}$ です。
従って、 $\boldsymbol{a}=\boldsymbol{a}^\prime$ です。
故に $\boldsymbol{a}\in A$ です。

命題6.の証明おわり

では、補題4.を証明します。

補題4.の証明

$\{\boldsymbol{y}_n\}_{n\in\mathbb{N}}$ を $\boldsymbol{f}(K)$ 内の任意の点列とします。
このとき、任意の $n\in\mathbb{N}$ に対して、 $\boldsymbol{f}(\boldsymbol{x}_n)=\boldsymbol{y}_n$ であるような $K$ 内の点列 $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ が取れます( $\boldsymbol{f}$ は写像だから、任意の $\boldsymbol{y}_n\in\boldsymbol{f}(K)$ に対して $\boldsymbol{y}_n=\boldsymbol{f}(\boldsymbol{x}_n)$ という $\boldsymbol{x}_n$ が存在します)。

命題6.の1. $\Rightarrow$ 2.により、ある $\boldsymbol{a}\in K$ が存在して、 $\displaystyle\lim_{k\to\infty}\boldsymbol{x}_{n_k}=\boldsymbol{a}$ を満たすような $\{\boldsymbol{x}_n\}_{n\in\mathbb{N}}$ の部分列 $\{\boldsymbol{x}_{n_k}\}_{n\in\mathbb{N}}$ が存在します。
$\boldsymbol{f}$ は $K$ で連続な関数ですので、命題5.の1. $\Rightarrow$ 2.により、
$\lim_{k\to\infty}\boldsymbol{y}_{n_k}=\lim_{k\to\infty}\boldsymbol{f}(\boldsymbol{x}_{n_k})=\boldsymbol{f}\left(\lim_{k\to\infty}\boldsymbol{x}_{n_k}\right)=\boldsymbol{f}(\boldsymbol{a})$
です。
ちなみに、 $\{\boldsymbol{y}_n\}_{n\in\mathbb{N}}$ は、 $K$ 内の点 $\boldsymbol{f}(\boldsymbol{a})$ に収束する $\{\boldsymbol{y}_n\}_{n\in\mathbb{N}}$ の部分列です。
命題6.の2. $\Rightarrow$ 1.により、 $\boldsymbol{f}(K)$ は $\mathbb{R}^m$ の有界閉集合です。

補題4.の証明おわり

結局何がしたかったのかネ？

結局何がしたかったのか、というと $f(\boldsymbol{x})$ が有界であることを示すために必要な事実を述べた、ということです。

いざ、多次元版ワイエルシュトラスの最大値定理の証明

多次元版のワイエルシュトラスの最大値定理を再掲します。

定理1.(多次元版ワイエルシュトラスの最大値定理)

$K$ は

$\mathbb{R}^n$ の空でない有界な閉集合であり、

$f:K\to\mathbb{R}$ は

$K$ で連続であるとする。このとき、

$f$ は最大値を持つ。すなわち、

$(\exists \boldsymbol{c}\in K)\ (\forall \boldsymbol{x}\in K)\ f(\boldsymbol{c})\geq f(\boldsymbol{x})$ が成り立つ。最小値についても同様である。

いやぁ、長かったですね。
しかし、個々まで来てしまえばもうほんの一息です。
頑張りましょう！

定理1.(多次元版ワイエルシュトラスの最大値定理)の証明

(ステップ１)： $f(\boldsymbol{x})$ が有界であることを示す。

これはつまり、 $f(K)$ が有界な集合であることを示すことになります。
$K$ が空集合でなはい集合ですので、 $f(K)$ も空集合ではありません。
また、 $K$ が有界な閉集合で、かつ $f:K\to\mathbb{R}$ が $K$ で連続である、という仮定から補題4.が使えます。

補題4.

$K$ は

$\mathbb{R}^N$ の有界な閉集合、関数

$\boldsymbol{f}:K\to\mathbb{R}^m$ が

$K$ で連続とする。このとき、

$\boldsymbol{f}(K)$ は

$\mathbb{R}^m$ の有界閉集合である。

今回は補題4.の $m=1$ の場合です。
従って、補題4.から、 $f(K)$ は $\mathbb{R}^n$ の有界な閉集合です。

(ステップ2)： $f(\boldsymbol{x})$ が有界なのだから、上限が存在するため、その上限が $f(K)$ の要素であることを示す。

(ステップ2)の言い方を変えれば次です。

補題7.

$\mathbb{R}$ の空でない上(下)に有界ば閉集合

$I$ は最大値(最小値)を持つ。

補題7.の証明

これは簡単です。
下に有界である場合も全く同じように証明できるため、上に有界のとき最大値が存在することを示します。
$I\subset\mathbb{R}$ が空でなく、上に有界であるとします。
$I$ は上に有界ですので、 $I$ には上限 $S$ が存在します。
この $S$ が $I$ の要素であれば、証明が終わります。

上限は以下でした。

上限

$A\subset \mathbb{R}$ 、

$S\in\mathbb{R}$ とする。このとき、

$S$ は $A$ の上界である。すなわち、次が成り立つ。 $\forall x\in A\ x\leq S$
$S$ よりも小さい数は $A$ の上界ではない。すなわち、次が成り立つ。 $(\forall \epsilon>0)(\exists x\in A)\ {\rm s.t.}\ x>S-\epsilon$

の2条件を満たすような

$S$ を上限(the supremum of

$A$ )といい、

$S=\sup A$ と書く。ただし、

$(A$ が上に有界でない場合、

$\sup A=\infty$ と書く。

詳しくは、上に有界、上界、上限」「下に有界、下界、下限」【解析の基礎シリーズ】を御覧ください。

上記の上限の条件の $\epsilon>0$ は任意なので、任意の $n\in\mathbb{N}$ を用いて $\displaystyle\epsilon=\frac{1}{n}$ としても成り立ちます。
故に、
$(\exists x_n\in I)\ {\rm s.t.}\ S-\frac{1}{n}\leq x_n\leq S$
です。
つまり、上記を満たすような $I$ 内の数列 $\{x_n\}_{n\in\mathbb{N}}$ を見つけてこれる、という話です。
このとき、 $\displaystyle\lim_{n\to\infty}x_n=S$ です。
実際、任意の $\epsilon>0$ を用いて、 $\displaystyle\frac{1}{N}<\epsilon$ というような $N\in\mathbb{N}$ を選んだ(アルキメデスの原理！)とします。
今、 $S$ は $I$ の上限ですので、 $\displaystyle0\geq S-x_n<\frac{1}{n}$ です。
従って、任意の $\epsilon>0$ としたとき、 $n\geq N$ を満たす任意の $n\in\mathbb{N}$ に対して、
$|S-x_n|=S-x_n<\frac{1}{n}<\frac{1}{N}<\epsilon$
です。
従って、 $\displaystyle\lim_{n\to\infty}x_n=S$
一方、 $I$ は閉集合ですので、命題7.から、 $S\in I$ です。

補題7.の証明終わり

では定理1.の証明に戻ります。
(ステップ1)により、 $f(K)$ は空集合でなく、 $\mathbb{R}^n$ の有界な閉集合だということが分かりました。
故に補題7.から最大値が存在します。

定理1.(多次元版ワイエルシュトラスの最大値定理)の証明終わり

結

今回は点列の場合のボルツァーノ-ワイエルシュトラスの定理と多次元版ワイエルシュトラスの最大値定理を証明しました。
かなり長丁場になってしまいましたが、細分化することで徐々に証明できます。

次回は関数が極限を持つとき、定義域を制限した関数も同じ極限を持つ、ということを示します。

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

コメントをする

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

本記事の内容

多次元版ワイエルシュトラスの最大値定理のイメージのチャラい復習

多次元版ワイエルシュトラスの最大値定理の明示

多次元版ワイエルシュトラスの最大値定理の証明の発想

点列の場合のボルツァーノ-ワイエルシュトラスの定理

定理2.の証明

定理2.の証明おわり

多次元の有界な集合

多次元版ワイエルシュトラスの最大値定理の証明の準備

命題5.の証明

命題5.の証明終わり

命題6.の証明

(1.\Rightarrow\Rightarrow2.)の証明

(2.\Rightarrow\Rightarrow1.)の証明

命題6.の証明おわり

補題4.の証明

補題4.の証明おわり

結局何がしたかったのかネ？

いざ、多次元版ワイエルシュトラスの最大値定理の証明

定理1.(多次元版ワイエルシュトラスの最大値定理)の証明

補題7.の証明

補題7.の証明終わり

定理1.(多次元版ワイエルシュトラスの最大値定理)の証明終わり

結

コメントをする

(1. $\Rightarrow$ 2.)の証明

(2. $\Rightarrow$ 1.)の証明