Goodな生活

Goodな生活

2017年、新卒で民間シンクタンク入社。学んだこと、考えたことの記録。

MENU

ワイエルストラスの定理(コンパクト集合の性質)

コンパクト集合の性質についてのメモ。

ワイエルストラスの定理

ワイエルストラスの定理

集合 A \subset \mathbb{R}がコンパクトであるとき、\sup A \in A, \inf A \in Aが成立する。

\sup A \in A, \inf A \in Aが成立するということは、Aが上下に有界な集合であり、上界の最小数が\sup A(上限)、下界の最大数が\inf A(下限)である。Aの最大値と最小値が定義される。

証明

Aの上限\sup A \in AAに含まれる

条件よりAがコンパクトであるため、A有界な集合である。このとき\{x_k\} \in Aには上限\sup Aが存在する。\sup Aの定義より、以下が成立する。


 {
 \begin{eqnarray}
\forall x_k \leq \sup A\  \tag{1} \\
\forall  \epsilon > 0,\exists x_k \in A, \sup A - \epsilon < x_k  \tag{2}
\end{eqnarray}}


(2)を満たすx_kが存在するとき、\sup Aよりほんの少し小さい値である\sup A - \epsilon (\epsilon>0) Aの上界ではないことを意味する。ここで\epsilon = \frac{1}{k}とすると、


 {
 \begin{eqnarray}
\forall k \geq k(\epsilon), |\sup A - x_k| < \frac{1}{k} < \frac{1}{k(\epsilon)} < \epsilon   \\
\therefore x_k \rightarrow  \sup A  \tag{3}
\end{eqnarray}}


x_kA上の点列である。A閉集合であるため、x_kのlimit point(ここでは\sup A) はAに含まれる。したがって\sup A \in Aは証明された。

Aの下限\inf A \in AAに含まれる

(2)の部分を、

 {
 \begin{eqnarray}
 \inf A\ \leq \forall x_k   \tag{4} \\
\epsilon > 0,\exists x_k \in A,  x_k <  \inf A + \epsilon  \tag{5} 
\end{eqnarray}}

と変えればよい。
(5)を満たすx_kが存在するとき、\inf Aよりも少しでも大きな値はx_kの下限ではない。上限の場合と同様に、収束先がAに含まれることを示せばよい。