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

잔글
* ('''나가타-스미르노프 거리화 정리''' {{llang|en|Nagata–Smirnoff metrization theorem}}) <math>X</math>는 [[정칙 공간]]이며, σ-국소 유한 기저를 갖는다.
 
'''나가타-스미르노프 거리화 정리'''는 [[러시아]]의 유리 미하일로비치 스미르노프({{llang|ru|Ю́рий Миха́йлович Смирно́в}})와 [[일본]]의 수학자 [[나가타 준이치]]({{llang|ja-y|長田 潤一|ながた じゅんいち}})가 증명하였다. 이들은 우리손의 거리화 정리의 역 형식에서 [[분해 가능]]성 조건을 빼고 필요 충분 조건을 일반화하였다. 이 정리의 증명은 몇 단계로 이루어질 수 있는데, 그 중 중요한 수순으로 [[무어 공간]]의 개념을 이용하는 경우가 있다.
 
나가타-스미르노프 거리화 정리의 발표와 유사한 시기에 미국의 수학자 [[RH 빙]]({{llang|en|RH Bing}})<ref>{{맥튜터|id=Bing|title=R H Bing}}</ref><!-- 동양계 이름이 아님. "RH"가 약자가 아니라 실제로 이름이 "RH" -->이 유사한 형식의 '''빙 거리화 정리'''를 발표하였다. 이 두 정리를 통칭하여 빙-나가타-스미르노프 거리화 정리라고도 한다. 증명 도중에 무어 공간을 사용하는 경우가 있다는 점에서 나가타-스미르노프 거리화 정리와 유사하다.