거리화 가능 공간: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Aydin1884 (토론 | 기여)
Aydin1884 (토론 | 기여)
12번째 줄:
 
=== 스톤의 정리 ===
거리공간은 정칙공간이고, 정칙공간일 때 파라컴팩트공간이기 위해서는 임의의 열린 덮개에 대해 국소적 유한 세분이세분 덮개가 존재해야 한다. 이 조건은 거리공간 조건에 의해 쉽게 만족되므로, 다음의 정리가 성립한다. 이 정리에는 [[미국]]의 수학자 [[마셜 하비 스톤]](Marshall Harvey Stone)의 이름이 붙어 있다.
* 정리: 모든 거리공간은 파라컴팩트공간이다. 즉, 거리공간화 가능한 공간이면 파라컴팩트공간이다.
이 정리는 다음의 스미로프 거리공간화 정리의 일부가 된다.