차분한 공간

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

정의

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

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

성질

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

콜모고로프 공간(T₀) ⊋ 차분한 공간 ∪ T₁ 공간 ⊋ 차분한 공간 ∩ T₁ 공간 ⊋ 하우스도르프 공간(T₂)

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

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

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

$I\colon \operatorname {Sober} \to \operatorname {Top}$

는 왼쪽 수반 함자를 갖는다.

$S\colon \operatorname {Top} \to \operatorname {Sober}$

$S\dashv I$

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

장소와의 관계

이 부분의 본문은 장소 (수학)입니다.

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

$\operatorname {Top} {\to \atop \hookleftarrow }\operatorname {Sober} \simeq \operatorname {ptLoc} {\hookrightarrow \atop \leftarrow }\operatorname {Loc}$

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

예

T₁ 공간이 아닌 차분한 공간

극대 아이디얼이 아닌 소 아이디얼을 갖는 가환환 $R$의 스펙트럼 $\operatorname {Spec} R$는 차분한 공간이지만, 소 아이디얼이 닫힌 점이 아니므로 T₁ 공간이 아니다. 이러한 가장 간단한 경우는 시에르핀스키 공간이다.

차분하지 않은 T₁ 공간

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

$\mathbb {R} ^{2}\to \mathbb {A} _{\mathbb {R} }^{2}=\operatorname {Spec} \mathbb {R} [x,y]$

$(a,b)\mapsto \left((x-a)(x-b)\right)\subset \mathbb {R} [x,y]$

그렇다면, 이 단사 함수의 상에, 아핀 스킴 $\mathbb {A} _{\mathbb {R} }^{2}$의 (자리스키 위상의) 부분 공간 위상을 주자. 그렇다면 이는 T₁ 공간이지만, 차분한 공간이 아니다. 이 공간의 차분화는 $\mathbb {A} _{\mathbb {R} }^{2}$ 전체이다.

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

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

실수선 $\mathbb {R}$에 새로운 점 $\bullet$을 추가하고, 여기에 다음과 같은 위상을 주자.

• $\mathbb {R}$의 위상에서 열린집합 $U$는 $\mathbb {R} \sqcup \{\bullet \}$에서도 열린집합이다.
• $S\subset \mathbb {R}$가 유한 집합이라면, $(\mathbb {R} \setminus S)\sqcup \{\bullet \}$은 열린집합이다.

그렇다면 $\mathbb {R} \sqcup \{\bullet \}$은 T₁ 공간이며 차분한 공간이지만 하우스도르프 공간이 아니다.

외부 링크

• “Sober space”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Sober topological space”. 《nLab》 (영어).