点列コンパクト距離空間はコンパクト． 点列コンパクト距離空間は全有界．（先週 証明した．） 点列コンパクト距離空間の開被覆は Lebesgue 数をもつ． 全有界距離空間の被覆が Lebesgue 数をもつならば，有限部分被覆をもつ． より．なお先週は， 任意の点…