우리손 공간
보이기
(T2.5 공간에서 넘어옴)
위상 공간의 분리공리 | |
---|---|
T0 | 콜모고로프 공간 |
T1 | |
T2 | 하우스도르프 공간 |
T2½ | 우리손 공간 |
완전 T2½ | 완비 하우스도르프 공간 |
T3 | 정칙 하우스도르프 공간 |
T3½ | 티호노프 공간 |
T4 | 정규 하우스도르프 공간 |
T5 | 완비 정규 하우스도르프 공간 |
T6 | 완전 정규 하우스도르프 공간 |
일반위상수학에서 우리손 공간(Урысон空間, 영어: Urysohn space) 또는 T2½ 공간(T2½空間, 영어: T2½ space)은 분리공리의 일부로 다뤄지는 특정한 성질을 만족하는 위상 공간이다. 소비에트 연방의 위상수학자 파벨 사무일로비치 우리손의 이름이 붙어 있다.
정의
[편집]다음 조건을 만족시키는 위상 공간 를 우리손 공간이라고 한다.[1]:219
위상 공간 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 를 완비 하우스도르프 공간(영어: completely Hausdorff space)이라고 한다.
- 임의의 두 점 에 대하여, , 인 연속 함수 가 존재한다. 즉, 스톤-체흐 콤팩트화로 가는 자연스러운 연속 함수 는 단사 함수이다.
- 임의의 두 서로소 콤팩트 집합 에 대하여, , 인 연속 함수 가 존재한다.
증명:
성질
[편집]함의 관계
[편집]일반적으로, 다음과 같은 포함 관계가 성립한다.
- 티호노프 공간(T3½) ⊆ 정칙 하우스도르프 공간(T3) ⊆ 우리손 공간(T2½) ⊆ 하우스도르프 공간(T2)[1]:219
- 티호노프 공간(T3½) ⊆ 완비 하우스도르프 공간 ⊆ 우리손 공간(T2½) ⊆ 하우스도르프 공간(T2)
하지만 정칙 하우스도르프 공간과 완비 하우스도르프 공간 사이에는 직접적인 함의 관계가 성립하지 않는다.
범주론적 성질
[편집]우리손 공간과 연속 함수들은 범주 를 이룬다. 이 범주는 다음 성질들을 만족시킨다.
- 우리손 공간의 전사 사상 은 상 으로부터 닫힌 근방들의 교집합을 취하는 연산을 초한 번 반복하면 공역 를 얻는 연속 함수이다 (즉, 스스로의 닫힌 근방들의 교집합인 는 밖에 없어야 한다).[2]:238, Lemma 4
- 쌍대 정멱 범주가 아니다.[2]:240, Corollary 7
이를 증명한 저자는 다음과 같이 평했다.
“ | 우리손 공간은 하우스도르프 공간과 위상수학적으로 크게 다르지 않다. 이러한 사소한 차이는 [더 이상 쌍대 정멱 범주가 아니라는] 큰 결과를 함의한다. 범주론적 위상수학자들은 범주 가 좋은 성질을 가지는 것을 다행으로 알아야 한다.
Urysohn spaces do not differ very much from Hausdorff spaces, topologically. These small differences imply large consequences. Categorical topologists should be happy about the well behaved category . |
” |
— [2]:241, Remark 8(c)
|
같이 보기
[편집]각주
[편집]- ↑ 가 나 유정옥 (2013). 《알기쉬운 위상수학》 2판. 교우사. ISBN 978-89-8172-528-0.
- ↑ 가 나 다 Schröder, Joachim (1983). “The category of Urysohn spaces is not cowellpowered”. 《Topology and its Applications》 (영어) 16 (3): 237–241. doi:10.1016/0166-8641(83)90020-2. ISSN 0166-8641. MR 0722116. Zbl 0534.54004.
외부 링크
[편집]- “Urysohn space”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- “Urysohn space”. 《Topospaces》 (영어).
- “Functionally Hausdorff space”. 《Topospaces》 (영어).
- “Definition: Urysohn space”. 《ProofWiki》 (영어).