コンパクト性と完備性

距離空間  $(X, d) $において，コンパクトであることと，全有界かつ完備であることは同値である．


Mathematics is the language with which God has written the universe.





















$\omega$ 有向完備順序 - コンパクト性と完備性 - 意味関数 - 領域理論 - 部分群（subgroup）