차분한 공간

(차분화에서 넘어옴)

일반위상수학에서 차분한 공간(-空間, 영어: sober space)은 모든 점들이 열린집합격자로부터 결정되는 위상 공간이다.

정의

편집

위상 공간  에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 공간을 차분한 공간이라고 한다.

호프만-미슬러브 정리의 증명:

위상 공간  의 모든 기약 닫힌집합이 정확히 하나의 일반점을 갖는다고 하자. 호프만-미슬러브 조건을 보이려면, 다음 네 명제를 보이면 족하다.

  • 임의의 스콧 열린 필터  에 대하여,   콤팩트 포화 집합이다.
  • 임의의 콤팩트 포화 집합  에 대하여, 그 열린 근방 필터   스콧 열린 필터이다.
  • 임의의 스콧 열린 필터  에 대하여,  
  • 임의의 콤팩트 포화 집합  에 대하여,  

세 번째 명제의 증명. 자명하게  이다. 이제,  열린집합이며,  라고 하자. 귀류법을 사용하여,  라고 하자.  스콧 열린집합이므로, 이러한  들의 임의의 사슬상계를 가짐을 보일 수 있다. 초른 보조정리에 따라,   이지만  극대 열린집합이라고 가정하자. 그렇다면, 극대성에 따라   기약 닫힌집합이다.  인 유일한  를 취하자. 그렇다면, 임의의  에 대하여,  이므로,  이다. 따라서,  이며, 이는 모순이다.

첫 번째 명제의 증명.  는 자명하게 포화 집합이다. 이제,   의 임의의 열린 덮개라고 하자. 즉,  이다. 세 번째 명제에 따라,  이다.   스콧 열린집합이며, 유한 개의 덮개 원소의 합집합들의 집합이  상향 집합이므로,  인 유한 개의 덮개 원소  가 존재한다. 따라서,  이다. 즉,   의 유한 부분 덮개이다.

두 번째 명제의 증명.  는 자명하게  필터를 이룬다. 이제,   상향 집합이며,   열린 근방이라고 하자.  을 보이면 족하다.   열린 덮개이므로, 유한 부분 덮개  가 존재한다.  상향 집합이므로,  상계  가 존재한다. 이 경우  이며, 따라서  이다.

네 번째 명제의 증명. 자명하게  이다.  인, 열린집합들의 집합  를 취하자. 그렇다면,  이므로,  이다.

성질

편집

다음과 같은 포함 관계가 성립한다.

콜모고로프 공간(T0) ⊋ 차분한 공간 ∪ T1 공간 ⊋ 차분한 공간 ∩ T1 공간하우스도르프 공간(T2)

그러나 T1 공간이 아닌 차분한 공간이 존재하며, 반대로 차분하지 않는 T1 공간도 존재한다.

가환환스펙트럼은 항상 차분한 공간이다. 또한, 모든 스킴은 차분한 공간이다. (그러나 이는 대개 하우스도르프 공간이 아니다.)

차분한 공간과 연속 함수의 범주  는 모든 위상 공간의 범주  반사 부분 범주이다. 즉, 포함 함자

 

왼쪽 수반 함자를 갖는다.

 
 

위상 공간  에 대하여,   차분화(영어: soberification)라고 한다.

장소와의 관계

편집

차분한 공간의 범주는 장소의 범주  의 어떤 쌍대 반사 부분 범주동치이다. (구체적으로, 이는 점을 충분히 가지는 장소들의 범주  이다.) 이에 따라, 수반 함자의 쌍

 

이 존재하며, 이를 합성하면 수반 함자  를 얻는다. 즉, 차분한 공간은 장소로서 그 구조가 충실하게 나타내어지는 위상 공간이다.

T1 공간이 아닌 차분한 공간

편집

극대 아이디얼이 아닌 소 아이디얼을 갖는 가환환  스펙트럼  는 차분한 공간이지만, 소 아이디얼이 닫힌 점이 아니므로 T1 공간이 아니다. 이러한 가장 간단한 경우는 시에르핀스키 공간이다.

차분하지 않은 T1 공간

편집

다음과 같은 단사 함수를 생각하자.

 
 

그렇다면, 이 단사 함수의 에, 아핀 스킴  의 (자리스키 위상의) 부분 공간 위상을 주자. 그렇다면 이는 T1 공간이지만, 차분한 공간이 아니다. 이 공간의 차분화는   전체이다.

다른 예로, 임의의 무한 집합 위에 쌍대 유한 위상(닫힌집합유한 집합인 위상)을 주자. 이는 T1이지만 차분한 공간이 아니다. (공간 전체는 닫힌집합이자 기약 공간이지만, 이는 일반점을 갖지 않는다.)

하우스도르프 공간이 아닌 차분한 T1 공간

편집

실수선  에 새로운 점  을 추가하고, 여기에 다음과 같은 위상을 주자.

  •  의 위상에서 열린집합   에서도 열린집합이다.
  •  유한 집합이라면,  은 열린집합이다.

그렇다면  은 T1 공간이며 차분한 공간이지만 하우스도르프 공간이 아니다.

각주

편집
  1. Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. (2003). 《Continuous lattices and domains》. Encyclopedia of Mathematics and Its Applications (영어) 93. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511542725. ISBN 978-0-521-80338-0. MR 1975381. Zbl 1088.06001. 
  2. Keimel, Klaus; Paseka, Jan (1994). “A direct proof of the Hofmann-Mislove theorem”. 《Proceedings of the American Mathematical Society》 (영어) 120 (1): 301–303. doi:10.2307/2160199. ISSN 0002-9939. JSTOR 2160199. MR 1195723. Zbl 0789.54030. 

외부 링크

편집