距離空間(Rn,d)上のコンパクト集合の定義

距離空間(Rⁿ,d)上のコンパクト集合の定義。外観の調整完了。