내적이 주어진 완비거리공간의

마틴 공리 가정 하에서

위상 수학적 성질