logo

距離空間における最大最小定理 📂距離空間

距離空間における最大最小定理

要旨

XXコンパクト距離空間f:XRf : X \to \mathbb{R}連続とする。そうしたら、次のようになる。

M=supxXf(x),m=infxXf(x) M = \sup \limits_{x\in X} f(x),\quad m=\inf \limits_{x \in X}f(x)

そうすると、

M=f(p),m=f(q) M=f(p),\quad m=f(q)

を満たすq,pXq,p\in Xが存在する。つまり、すべてのxxに対して、

f(q)f(x)f(p) f(q)\le f(x) \le f(p)

を満たすq,pXq,p \in Xが存在する。これを最大最小定理extreme value theoremという。

説明

コンパクトな条件は省略できない。

f(X)f(X)ffの最大値、最小値を含むことを保証する定理だ。何の条件もなければ、上限と下限の定義によりMMmmf(X)f(X)に含まれる保証はないが、XXがコンパクトで、ffが連続であるという仮定によりM,mf(X)M,m\in f(X)が成立する。

証明

ffがコンパクト空間で連続だからf(X)f(X)はコンパクトである。ユークリッド空間でのコンパクトの同値条件によって、f(X)f(X)は閉じていて有界な実数集合である。

補助定理

EEを空でない実数の集合で、上に有界とする。そしてy=supEy=\sup Eとする。すると、yEy \in \overline{E}である。また、EEが閉じていれば、yEy \in Eである。

そうすると、補助定理によって証明完了。

参考