하우스도르프 공간
second countable Hausdorff space and formula_5 is its