の部分集合として
や
で定義されているかどうかをみるとよい。
正確には、次のことを用いる:
と
が距離空間で
が
の閉集合ならば
は
の閉集合である。
は
の閉集合だから
も
の閉集合だから
が有界であることを示すには
を見付ければよい。逆に、有界ではないことを示すには、任意の
に対し
を見つければよい。または
の中の点列
を見つければよい。
)
有界であることは、例えば
)
点列
の中の点列であるが
)
有界であることは
)
有界であることは
) 有界であることは
)
点列
)
有界であることは
) 原点からの距離が
未満で全ての座標が整数の点は有限個しかない。 7/5 の演習問題 8 より、これはコンパクトである。
と
が距離空間
の部分集合で共に compact のとき
も compact になることを示せ。
の開被覆
の開被覆でもあり、
の開被覆でもある。
も
も compact だから
の有限開被覆が選べた。よって
は compact である。
と
が距離空間
の部分集合で共に compact のとき
も compact になることを示せ。
も
が compact だから閉集合になる。閉集合の共通部分は閉集合だから
も閉集合である。
が compact で
がその閉部分集合だから、
も compact である。
の部分集合の列
で各
が compact であるが
とし、通常の距離で距離空間と考える。各
に対し
は有限集合だから compact である。しかし
を距離空間
の収束する点列とし、その極限を
とする。このとき
に対し
が存在する。特に
は
の開集合である。
が内点であることから
が存在するが
に対し、
が存在する。つまり
を覆うことができた。よって
は compact である。
の部分集合
が compact ならば
は有限集合であることを示せ。
が compact であると仮定する。
離散距離空間では任意の部分集合が開集合であることから、一点から成る集合も開集合である。よって
の開被覆である。
が compact ならば、この中から有限個を選んで
を覆えるはずであるが、各
は異なる
の点であるから、一つでも欠けると
を覆うことはできない。つまり、もともと
が有限集合でなければならない。