距離空間におけるコンパクト集合とその分離公理とのトポロジカルな関連性(距離空間におけるコンパクト集合の文脈において)