logo

メトリック空間におけるコンパクト性 📂距離空間

メトリック空間におけるコンパクト性

定義

オープンカバー

距離空間(X,d)(X,d)と部分集合EXE\subset Xが与えられたとする。下の式を満たすXX開集合の集合{Oα}\left\{ O_{\alpha} \right\}EEオープンカバーopen coverと呼ぶ。

EαOα E\subset \bigcup _{\alpha} O_{\alpha}


オープンカバーの部分集合を部分カバーと呼ぶ。特に要素が有限個の部分カバーを有限部分カバーと呼ぶ。

コンパクト

距離空間XXの部分集合KKが与えられたとする。もしKKのすべてのオープンカバーが有限部分カバーを持つなら、KKコンパクトcompactであると言う。つまり、オープンカバーから有限個だけ選んでもまだオープンカバーになる場合、KKをコンパクトであると呼ぶ。もう一度言い換えると、式で表現するとあるα1,,αn\alpha_{1},\cdots ,\alpha_{n}に対して

KOα1Oαn K\subset O_{\alpha_{1}}\cup \cdots O_{\alpha_{n}}

が成立するなら、KKがコンパクトである。

説明

コンパクトが重要な理由は、全体空間を何にするかによって、その集合がコンパクトという性質を得たり失ったりするからである。つまりコンパクトはその集合が持つ固有の性質という意味である。遠くない例で、という概念を見ても、全体空間を拡張するときに開いているという性質が保持される保証がないので、相対的に開いているという表現がある。勉強を続けると、コンパクトという条件が様々な定理で重要な役割を果たすことがわかる。コンパクトは全体空間と無関係に集合に与えられる性質であることを以下の定理で確認できる。まずはKXK\subset Xが全体空間XXに対してコンパクトであるとき、XXでコンパクトであると表現しよう。

定理

二つの距離空間XXYYに対してKYXK\subset Y \subset Xとする。そのとき、以下の二つの命題は同値である。

(a) KKXXでコンパクトである。

(b) KKYYでコンパクトである。

証明

補題

二つの距離空間XXYYが与えられたとする。そしてEYXE \subset Y \subset Xとする。そのとき、以下の二つの命題は同値である。(d)(d)EEYYに対して相対的に開いている。(e)(e)XXのある開集合OXO_{X}に対してE=YOXE=Y \cap O_{X}が成立する。

  • (a)から(b)

    KKXXでコンパクトであると仮定する。{OαY}\left\{ O_{\alpha}^{Y} \right\}KαOαYK\subset \bigcup_{\alpha} O_{\alpha}^{Y}を満たすYYで開いている集合の集合とする。言い換えると、{OαY}\left\{ O_{\alpha}^{Y} \right\}KKYYに対する任意のオープンカバーとする。すると補題により

    OαY=YOαX,α O_{\alpha}^{Y}=Y\cap O_{\alpha}^{X},\quad \forall \alpha

    を満たすXXで開いている集合OαXO_{\alpha}^{X}が存在する。すると{OαX}\left\{ O_{\alpha}^{X} \right\}KKXXに対するオープンカバーになる。すると仮定によりあるα1,,αn\alpha_{1},\cdots,\alpha_{n}に対して以下の式が成立する。

    KOα1XOαnX K \subset O_{\alpha_{1}}^{X}\cup\cdots \cup O_{\alpha_{n}}^{X}

    しかしKYK\subset Yであるので、次が成立する。

    KY(Oα1XOαnX)=(YOα1X)(YOαnX)=Oα1YOαnY \begin{align*} K & \subset Y \cap (O_{\alpha_{1}}^{X}\cup\cdots \cup O_{\alpha_{n}}^{X}) \\ &= (Y \cap O _{\alpha_{1}}^{X})\cup\cdots \cup(Y \cap O_{\alpha_{n}}^{X}) \\ &= O_{\alpha_{1}}^{Y}\cup\cdots \cup O_{\alpha_{n}}^{Y} \end{align*}

    従って、KKYYに対する任意のオープンカバー{OαY}\left\{ O_{\alpha}^{Y} \right\}の有限部分カバーが

    KOα1YOαnY K \subset O_{\alpha_{1}}^{Y}\cup\cdots \cup O_{\alpha_{n}}^{Y}

    を満たすので、KKYYでコンパクトである。

  • (b)から(a)

    KKYYでコンパクトであると仮定する。{OαX}\left\{ O_{\alpha}^{X} \right\}KαOαXK\subset \bigcup_{\alpha} O_{\alpha}^{X}を満たすXXで開いている集合の集合とする。つまり、KKXXに対する任意のオープンカバーとする。そしてOαYO_{\alpha}^{Y}を以下のように設定する。

    OαY=YOαX,α O_{\alpha}^{Y}=Y\cap O_{\alpha}^{X},\quad \forall \alpha

    すると補題により▷eq63

◁はYYで開いている集合になる。従って{OαY}\left\{ O_{\alpha}^{Y} \right\}KKのオープンカバーである。すると仮定によりあるα1,,αn\alpha_{1},\cdots,\alpha_{n}に対して以下の式が成立する。

KOα1YOαnY K \subset O_{\alpha_{1}}^{Y}\cup \cdots \cup O_{\alpha_{n}}^{Y}

しかし、各α\alphaに対してOαYOαXO_{\alpha}^{Y} \subset O_{\alpha}^{X}であるので、次が成立する。

KOα1XOαnX K\subset O_{\alpha_{1}}^{X}\cup \cdots \cup O_{\alpha_{n}}^{X}

従って、KKの任意のオープンカバーが常に有限部分カバーを持つので、KKXXでコンパクトである。

併せて見る