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

잔글 (r2.7.1) (로봇이 더함: nl:Metriseerbare ruimte)
거리공간은 정칙공간이고, 정칙공간일 때 [[파라컴팩트 공간]]이기 위해서는 [[준파라컴팩트 공간]]이기만 하면 된다. 이 조건은 거리공간 조건에 의해 쉽게 만족되므로, 다음의 정리가 성립한다. 이 정리에는 [[미국]]의 수학자 [[마셜 하비 스톤]](Marshall Harvey Stone)의 이름이 붙어 있다.
* 정리: 모든 거리공간은 파라컴팩트공간이다. 즉, 거리공간화 가능한 공간이면 파라컴팩트공간이다.
이 정리는 다음의 스미로프스미르노프 거리공간화 정리의 일부가 된다.
 
=== 스미르노프 거리공간화 정리 ===

편집

10,311