Re:>>654 その位相をいれるとコンパクト空間になる.