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

편집 요약 없음
 
== 정의 ==
=== 거리화 ===
'''거리화 가능 공간'''은 다음 조건을 만족시키는 [[위상 공간 (수학)|위상 공간]] <math>(X,\mathcal T)</math>이다.
* <math>(X,\mathcal T)</math>는 <math>X</math> 위의 어떤 [[거리 함수]] <math>d</math>로부터 유도되는 [[거리 위상]]과 일치한다.
 
'''국소 거리화 가능 공간'''(局所距離化可能空間, {{llang|en|locally metrizable space}})은 다음 조건을 만족시키는 [[위상 공간 (수학)|위상 공간]] <math>(X,\mathcal T)</math>이다.
* 모든 점 <math>x</math>에 대하여, 거리 공간화 가능 공간인 [[열린 근방]] <math>U_x\ni x</math>가 존재한다.
모든 거리화 가능 공간은 국소 거리화 가능 공간이지만, 그 역은 일반적으로 성립하지 않는다.
 
=== 유사 거리화 ===
[[집합]] <math>X</math> 위의 '''유사 거리 함수'''({{llang|en|pseudometric}}) <math>d\colon X^2\to[0,\infty)</math>는 다음 조건들을 만족시키는 함수이다.
* <math>d(x,x)=0\qquad\forall x\in X</math>
* (대칭성) <math>d(x,y)=d(y,x)\qquad\forall x,y\in X</math>
* ([[삼각 부등식]]) <math>d(x,y)+d(y,z)\ge d(x,z)\qquad\forall x,y,z\in X</math>
그러나 <math>d(x,y)=0\implies x=y</math>일 필요는 없다. 유사 거리 공간에는 [[거리 공간]]과 유사하게 [[위상 공간 (수학)|위상]]을 부여할 수 있다.
 
위상 공간 <math>X</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.
* <math>X</math>의 위상을 유도하는 유사 거리 함수가 존재한다.
* <math>X</math>의 [[콜모고로프 몫공간]]은 거리화 가능 공간이다.
 
=== 완비 거리화 ===
'''완비 거리화 가능 공간'''(完備距離化可能空間, {{llang|en|completely metrizable space}})은 다음 조건을 만족시키는 [[위상 공간 (수학)|위상 공간]] <math>(X,\mathcal T)</math>이다.
* <math>(X,\mathcal T)</math>는 <math>X</math> 위의 어떤 [[완비 거리 공간|완비]] [[거리 함수]] <math>d</math>로부터 유도되는 [[거리 위상]]과 일치한다.
* [[완전 정규 공간]]이다.
* [[제1 가산 공간]]이다.
* [[무어 공간]]이다.
* ('''스톤의 정리''' {{llang|en|Stone’s theorem}}) [[파라콤팩트 공간]]이다.
 
스톤의 정리는 [[미국]]의 수학자 [[마셜 하비 스톤]](Marshall Harvey Stone)이 증명하였다.
모든 유사 거리화 가능 공간은 [[완비 정칙 공간]]이며, [[완전 정규 공간]]이며, [[제1 가산 공간]]이며, [[파라콤팩트 공간]]이다. (그러나 [[콜모고로프 공간]]이 아닐 수 있다.)
 
=== 충분 조건 ===
다음 공간들은 항상 거리화 가능 공간이다.
* ('''우리손 거리화 정리''' {{llang|en|Urysohn metrization theorem}}) [[제2 가산 공간|제2 가산]] [[정칙 공간]]
우리손 거리화 정리는 우리손이 아니라 [[안드레이 니콜라예비치 티호노프]]({{llang|ru|Андрей Николаевич Тихонов}})가 증명했지만, 관련 주제에 대한 업적을 기려 우리손의 이름이 붙어 있다. 실제로 우리손이 증명한 것은 '어떤 위상 공간이 [[제2 가산 공간]]이고 동시에 [[정규 공간]]일 때 거리화 가능'하다는 정리였고, 티호노프는 이를 일반화하였다.
 
=== 필요 충분 조건 ===
* ('''빙 거리화 정리''' {{llang|en|Bing metrization theorem}}) <math>X</math>는 [[정칙 공간]]이며, σ-국소 이산 기저를 갖는다.
* ('''나가타-스미르노프 거리화 정리''' {{llang|en|Nagata–Smirnoff metrization theorem}}) <math>X</math>는 [[정칙 공간]]이며, σ-국소 유한 기저를 갖는다.
 
'''나가타-스미르노프 거리화 정리'''는 [[러시아]]의 유리 미하일로비치 스미르노프({{llang|ru|Ю́рий Миха́йлович Смирно́в}})와 [[일본]]의 수학자 [[나가타 준이치]]({{ja-y|長田 潤一|ながた じゅんいち}})가 증명하였다. 이들은 우리손의 거리화 정리의 역 형식에서 [[분해 가능]]성 조건을 빼고 필요 충분 조건을 일반화하였다. 이 정리의 증명은 몇 단계로 이루어질 수 있는데, 그 중 중요한 수순으로 [[무어 공간]]의 개념을 이용하는 경우가 있다.
 
나가타-스미르노프 거리화 정리의 발표와 유사한 시기에 미국의 수학자 [[아르에이치 빙]]이 유사한 형식의 '''빙 거리화 정리'''를 발표하였다. 이 두 정리를 통칭하여 빙-나가타-스미르노프 거리화 정리라고도 한다. 증명 도중에 무어 공간을 사용하는 경우가 있다는 점에서 나가타-스미르노프 거리화 정리와 유사하다.
 
우리손 거리화 정리를 다음과 같이 강화시킬 수 있다. 임의의 [[분해 가능 공간]] <math>X</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.
* <math>X</math>는 거리화 가능 공간이다.
* <math>X</math>는 [[제2 가산 공간]]이다.
 
== 예 ==
[[이산 공간]]은 [[이산 거리 함수]]
:<math>d(x,y)=\begin{cases}1&x=y\\0&x\ne y\end{cases}</math>
에 의하여 거리화 가능 공간이다.
 
크기 2 이상의 [[비이산 공간]]은 거리화 가능 공간이 아니지만, 다음과 같은 유사 거리 함수에 의하여 유사 거리화 가능 공간이다.
:<math>d(x,y)=0</math>
 
모든 [[파라콤팩트]] [[국소 유클리드 공간]]은 유사 거리화 가능 공간이며, 모든 [[다양체]](=[[파라콤팩트]] [[하우스도르프 공간|하우스도르프]] [[국소 유클리드 공간]])은 거리화 가능 공간이다. 그러나 [[다양체]]가 완비 거리화 가능 공간일 필요는 없다.
 
== 역사 ==
우리손 거리화 정리는 우리손이 아니라 [[안드레이 니콜라예비치 티호노프]]({{llang|ru|Андрей Николаевич Тихонов}})가 증명했지만, 관련 주제에 대한 업적을 기려 우리손의 이름이 붙어 있다. 실제로 우리손이 증명한 것은 '어떤 위상 공간이 [[제2 가산 공간]]이고 동시에 [[정규 공간]]일 때 거리화 가능'하다는 정리였고, 티호노프는 이를 일반화하였다.
 
스톤의 정리는 [[미국]]의 수학자 [[마셜 하비 스톤]](Marshall Harvey Stone)이 증명하였다.
 
'''나가타-스미르노프 거리화 정리'''는 [[러시아]]의 유리 미하일로비치 스미르노프({{llang|ru|Ю́рий Миха́йлович Смирно́в}})와 [[일본]]의 수학자 [[나가타 준이치]]({{ja-y|長田 潤一|ながた じゅんいち}})가 증명하였다. 이들은 우리손의 거리화 정리의 역 형식에서 [[분해 가능]]성 조건을 빼고 필요 충분 조건을 일반화하였다. 이 정리의 증명은 몇 단계로 이루어질 수 있는데, 그 중 중요한 수순으로 [[무어 공간]]의 개념을 이용하는 경우가 있다.
 
나가타-스미르노프 거리화 정리의 발표와 유사한 시기에 미국의 수학자 [[아르에이치 빙]]이 유사한 형식의 '''빙 거리화 정리'''를 발표하였다. 이 두 정리를 통칭하여 빙-나가타-스미르노프 거리화 정리라고도 한다. 증명 도중에 무어 공간을 사용하는 경우가 있다는 점에서 나가타-스미르노프 거리화 정리와 유사하다.
 
== 참고 문헌 ==
* {{서적 인용|저자=김승욱|제목=위상수학: 집합론을 중심으로|출판사=경문사|판=2판|날짜=2004|url=http://www.kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=2604|isbn=89-7282-587-5|언어=ko}}
* {{서적 인용|이름=James R.|성=Munkres|제목=Topology|isbn=978-013181629-9|판=2판|출판사=Prentice Hall|날짜=2000|url=http://www.pearsonhighered.com/bookseller/product/Topology/9780131816299.page|zbl=0951.54001|mr=0464128 |언어=en}}
* {{서적 인용|장=A survey of metrization theory|제목=Aspects of topology: in memory of Hugh Dowker 1912–1982|editor1-first= I. M.|editor1-last=James |editor2-first=E. H. |editor2-last=Kronheimer|이름=Jun-iti|성=Nagata|저자고리=나가타 준이치|doi=10.1017/CBO9781107359925.005|isbn=978-052127815-7|날짜=1985|출판사=Cambridge University Press|쪽=113–126|언어=en}}
* {{서적 인용|장=Some results in metrization theory, 1950–1972|제목=Topology conference, Virginia Polytechnic Institute and State University, March 22–24, 1973|editor1-first=Raymond F., Jr. |editor1-last=Dickman |editor2-first=Peter|editor2-last=Fletcher|쪽=120–136|총서= Lecture Notes in Mathematics |권=375|이름=R. E.|성=Hodel|doi=10.1007/BFb0064018|날짜=1974|isbn=978-3-540-06684-2|출판사=Springer-Verlag|issn=0075-8434|언어=en}}
* {{서적 인용|장=Generalized metrizable spaces|이름=Gary|성=Gruehage|장url=http://www.auburn.edu/~gruengf/papers/genmetricfinalb.pdf|제목=Recent progress in general topology III|출판사=Atlantis Press|isbn=978-94-6239-023-2|zbl=1314.54001|날짜=2014|쪽=471–505|editor1-first=K. P.|editor1-last=Hart|editor2-first=Jaroslav|editor2-last=Hušek|editor3-first=Jan|editor3-last=van Mill|doi=10.2991/978-94-6239-024-9_10|언어=en}}
* {{서적 인용|장=Metrizable spaces and generalizations|이름=Gary|성=Gruehage|장url=http://www.auburn.edu/~gruengf/papers/recprogl3.pdf|제목=Recent progress in general topology II|쪽=201–225|날짜=2002|출판사=North-Holland|zbl=1029.54036|isbn=978-044450980-2|editor1-first=Jaroslav|editor1-last=Hušek|editor2-first=Jan|editor2-last=van Mill|언어=en}}
 
== 바깥 고리 ==
* {{eom|title=Metrizable space}}
* {{eom|title=Urysohn metrization theorem}}
* {{매스월드|id=MetrizableTopology|title=Metrizable topology}}
* {{매스월드|id=UrysohnsMetrizationTheorem|title=Urysohn's metrization theorem}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Metrizable_space|제목=Metrizable space|웹사이트=Topospaces|언어=en}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Metrizable_space|제목=Metrizable space|웹사이트=Topospaces|언어=en}}
* {{웹 인용|url=https://proofwiki.org/wiki/Definition:Metrizable_Topology|제목=Definition: metrizable topology|웹사이트=ProofWiki|언어=en}}
* {{웹 인용|url=https://proofwiki.org/wiki/Definition:Pseudometrizable_Topology|제목=Definition: pseudometrizable topology|웹사이트=ProofWiki|언어=en}}
* {{웹 인용|url=http://www.cheenta.com/a-survey-of-urysohns-metrization-theorem/|제목=A survey of Urysohn’s metrization theorem|출판사=Cheenta|날짜=2016-04-30|언어=en}}
 
== 같이 보기 ==