차분한 공간
정의편집
성질편집
다음과 같은 포함 관계가 성립한다.
그러나 T1 공간이 아닌 차분한 공간이 존재하며, 반대로 차분하지 않는 T1 공간도 존재한다.
가환환의 스펙트럼은 항상 차분한 공간이다. 또한, 모든 스킴은 차분한 공간이다. (그러나 이는 대개 하우스도르프 공간이 아니다.)
차분한 공간과 연속 함수의 범주 는 모든 위상 공간의 범주 의 반사 부분 범주이다. 즉, 포함 함자
는 왼쪽 수반 함자를 갖는다.
위상 공간 에 대하여, 를 의 차분화(영어: soberification)라고 한다.
장소와의 관계편집
차분한 공간의 범주는 장소의 범주 의 어떤 쌍대 반사 부분 범주와 동치이다. (구체적으로, 이는 점을 충분히 가지는 장소들의 범주 이다.) 이에 따라, 수반 함자의 쌍
이 존재하며, 이를 합성하면 수반 함자 를 얻는다. 즉, 차분한 공간은 장소로서 그 구조가 충실하게 나타내어지는 위상 공간이다.
예편집
T1 공간이 아닌 차분한 공간편집
극대 아이디얼이 아닌 소 아이디얼을 갖는 가환환 의 스펙트럼 는 차분한 공간이지만, 소 아이디얼이 닫힌 점이 아니므로 T1 공간이 아니다. 이러한 가장 간단한 경우는 시에르핀스키 공간이다.
차분하지 않은 T1 공간편집
다음과 같은 단사 함수를 생각하자.
그렇다면, 이 단사 함수의 상에, 아핀 스킴 의 (자리스키 위상의) 부분 공간 위상을 주자. 그렇다면 이는 T1 공간이지만, 차분한 공간이 아니다. 이 공간의 차분화는 전체이다.
다른 예로, 임의의 무한 집합 위에 쌍대 유한 위상(닫힌집합이 유한 집합인 위상)을 주자. 이는 T1이지만 차분한 공간이 아니다. (공간 전체는 닫힌집합이자 기약 공간이지만, 이는 일반점을 갖지 않는다.)
하우스도르프 공간이 아닌 차분한 T1 공간편집
실수선 에 새로운 점 을 추가하고, 여기에 다음과 같은 위상을 주자.
- 의 위상에서 열린집합 는 에서도 열린집합이다.
- 가 유한 집합이라면, 은 열린집합이다.
그렇다면 은 T1 공간이며 차분한 공간이지만 하우스도르프 공간이 아니다.
외부 링크편집
- “Sober space”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
- “Sober topological space”. 《nLab》 (영어).