Hausdorff space
따라서, 임의의 국소 콤팩트 하우스도르프 공간 formula_244에 대하여, 다음과 같은 실수 위상 벡터 공간들의 동형이 존재한다.