주 메뉴 열기

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

목차

정의편집

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

  • 모든 기약 닫힌집합이 정확히 하나의 일반점을 갖는다.
  • 점들은 그 열린집합들의 격자로부터 재구성할 수 있다. 즉,  의 열린집합들의 완비 헤이팅 대수  가 주어졌다고 하자. 그렇다면 다음 두 집합 사이에 일대일 대응이 존재한다.
    •  
    • 임의의 크기의 만남(meet)과, 유한한 이음(join)을 보존시키는 함수  . 여기서   ( )는 한원소 공간  의 열린집합들의 격자이다.

성질편집

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

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

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

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

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

 

왼쪽 수반 함자를 갖는다.

 
 

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

장소와의 관계편집

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

 

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

편집

T1 공간이 아닌 차분한 공간편집

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

차분하지 않은 T1 공간편집

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

 
 

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

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

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

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

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

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

외부 링크편집