극단 분리 공간

일반위상수학에서 **극단 분리 공간**(極端分離空間, )은 임의의 열린집합의 폐포가 열린집합인 위상 공간이다. 특정 분리공리를 가정하였을 때, 완전 분리 공간이나 각종 ‘0차원’ 조건들보다 더 강한 비연결성을 정의한다. 콤팩트 하우스도르프 공간의 경우, 범주론적으로 사영 대상으로 묘사할 수 있으며, 스톤 공간으로서 대응하는 불 대수는 정확히 완비 불 대수이다.

## 정의
위상 공간 X에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 위상 공간을 **극단 분리 공간**이라고 한다.
* ㈀ 임의의 열린집합 U\subseteq X에 대하여, \operatorname{cl}U는 열린집합이다.
* ㈁ 임의의 서로소 열린집합 U,V\subseteq X에 대하여, \operatorname{cl}U\cap\operatorname{cl}V=\varnothing
* ㈂ 임의의 서로소 열린집합 U,V\subseteq X에 대하여, U\subseteq f^{-1}(0), V\subseteq f^{-1}(1)인 연속 함수 f\colon X\to[0,1]이 존재한다.
* ㈃ 임의의 열린집합 U\subseteq X 및 연속 함수 f\colon U\to[0,1]에 대하여, \tilde f|_U=f인 연속 함수 \tilde f\colon X\to[0,1]이 존재한다.

㈀ ⇒ ㈁. U,V\subseteq X가 열린집합이며, U\cap V=\varnothing이라고 하자. U가 열린집합이므로, U\cap\operatorname{cl}V=\varnothing이다. 마찬가지로, \operatorname{cl}V가 열린집합이므로, \operatorname{cl}U\cap\operatorname{cl}V=\varnothing이다.

㈁ ⇒ ㈀. 임의의 열린집합 U\subseteq X가 주어졌다고 하자. U와 X\setminus\operatorname{cl}U는 서로소 열린집합이므로,
:\varnothing=\operatorname{cl}U\cap\operatorname{cl}(X\setminus\operatorname{cl}U)=\operatorname{cl}U\cap X\setminus\operatorname{int}(X\setminus\operatorname{cl}U)
이다. 즉, \operatorname{cl}U는 열린집합이다.

㈀㈁ ⇒ ㈂. 서로소 열린집합 U,V\subseteq X가 주어졌을 때, \operatorname{cl}U, \operatorname{cl}V, X\setminus(\operatorname{cl}U\cap\operatorname{cl}V)는 서로소 열린닫힌집합이다. 따라서, 함수
:f\colon X\to[0,1]
:f|_{\operatorname{cl}U}=0
:f|_{\operatorname{cl}V}=1
:f|_{X\setminus(\operatorname{cl}U\cap\operatorname{cl}V)}=1/2
은 연속 함수이다.

㈂ ⇒ ㈁. 서로소 열린집합 U,V\subseteq X가 주어졌다고 하자. 조건 ㈂에 따라, U\subseteq f^{-1}(0), V\subseteq f^{-1}(1)인 연속 함수 f\colon X\to[0,1]를 고르자. 그렇다면,
:\operatorname{cl}U\cap\operatorname{cl}V\subseteq\operatorname{cl}f^{-1}(0)\cap\operatorname{cl}f^{-1}(1)=f^{-1}(0)\cap f^{-1}(1)=\varnothing
이다.

㈀㈁㈂ ⇒ ㈃. 티체 확장 정리의 증명과 같은 방법을 사용하여 다음을 보일 수 있다. 임의의 위상 공간 X 및 부분 집합 U\subseteq X에 대하여, 다음 두 조건이 서로 동치이다.
* 임의의 연속 함수 f\colon U\to[0,1]에 대하여, \tilde f|_U=f인 연속 함수 \tilde f\colon X\to[0,1]가 존재한다.
* 임의의 연속 함수 f\colon U\to[0,1]에 대하여, f^{-1}(0)\subseteq\tilde f^{-1}(1), f^{-1}(1)\subseteq\tilde f^{-1}(1)인 연속 함수 \tilde f\colon X\to[0,1]가 존재한다.
따라서, 임의의 열린집합 U\subseteq X가 두 번째 조건을 만족시킴을 보이는 것으로 족하다. 연속 함수 f\colon U\to[0,1]가 주어졌다고 하자. U가 열린집합이므로,
:V=f^{-1}([0,1/3))
:W=f^{-1}((2/3,1])
은 X의 서로소 열린집합이다. 조건 ㈂에 따라,
:V\subseteq\tilde f^{-1}(0)
:W\subseteq\tilde f^{-1}(1)
인 연속 함수 \tilde f\colon X\to[0,1]이 존재한다. 따라서
:f^{-1}(0)\subseteq V\subseteq\tilde f^{-1}(0)
:f^{-1}(1)\subseteq W\subseteq\tilde f^{-1}(1)
이다.

㈃ ⇒ ㈁. 서로소 열린집합 U,V\subseteq X가 주어졌다고 하자. 조건 ㈃에 따라, U\subseteq f^{-1}(0), V\subseteq f^{-1}(1)인 연속 함수 f\colon X\to[0,1]가 존재한다. 따라서,
:\operatorname{cl}U\cap\operatorname{cl}V\subseteq\operatorname{cl}f^{-1}(0)\cap\operatorname{cl}f^{-1}(1)=f^{-1}(0)\cap f^{-1}(1)=\varnothing
이다.

## 성질
### 함의 관계
모든 이산 공간은 극단 분리 공간이다. 모든 극단 분리 하우스도르프 공간은 완전 분리 공간이다. 극단 분리 하우스도르프 공간에서, 수렴 점렬은 결국 상수 점렬밖에 없다. 따라서, 제1 가산 공간인 극단 분리 하우스도르프 공간은 이산 공간밖에 없다. 모든 극단 분리 정칙 공간은 완비 정칙 공간이다. 임의의 극단 분리 정규 하우스도르프 공간 X에 대하여,
:\dim X=0
이다 (\dim은 르베그 덮개 차원). 이는 \operatorname{ind}X=0이나 완전 분리 공간보다 강한 조건이다.

이산 공간의 부분 집합은 스스로의 폐포이므로, 모든 이산 공간은 자명하게 극단 분리 공간이다.

X가 극단 분리 공간이자 하우스도르프 공간이며, S\subseteq X가 두 점 이상을 포함하는 부분 집합이며, x,y\in S가 서로 다른 두 점이라고 하자. 하우스도르프 조건에 따라, y\not\in\operatorname{cl}U인 열린 근방 U\ni x가 존재한다. X가 극단 분리 공간이므로, \operatorname{cl}U는 열린닫힌집합이다. 따라서 S는 연결 집합이 아니며, X는 완전 분리 공간이다.

이제, 극단 분리 하우스도르프 공간 X에서, 점렬 (x_n)_{n=0}^\infty이 점 x\in X로 수렴하지만, 결국 상수 점렬이 아니라고 가정하자. 그렇다면,
:x\not\in\operatorname{cl}U_k\qquad(k=0,1,\ldots)
가 되는 부분 점렬 (x_{n_k})_{k=0}^\infty 및 서로소 열린 근방
:U_k\ni x_{n_k}\qquad(k=0,1,\ldots)
들을 재귀적으로 정의할 수 있다. 부분 점렬 (x_{n_0},\ldots,x_{n_{k-1}}) 및 서로소 열린 근방 U_i\ni x_{n_i} (i=0,\ldots,k-1)이 존재하며, x\not\in\operatorname{cl}U_i (i=0,\ldots,k-1)라고 하자. 그렇다면 x_{n_k}\in X\setminus(\operatorname{cl}U_0\cup\cdots\operatorname{cl}U_{k-1}), x_{n_k}\ne x인 n_k>n_{k-1}가 존재한다. 하우스도르프 조건에 따라, x\not\in\operatorname{cl}V인 열린 근방 V\ni x_{n_k}이 존재한다. 이제 U_k=V\setminus(\operatorname{cl}U_0\cup\cdots\operatorname{cl}U_{k-1})로 잡는다. 이제,
:U=\bigcup_{i=0}^\infty U_{2i}
라고 하자. X가 극단 분리 공간이므로 \operatorname{cl}U는 열린집합이며, x가 (x_{n_{2i}})_{i=0}^\infty의 극한이므로 x\in\operatorname{cl}U이다. 따라서, 충분히 큰 n에 대하여 x_n\in\operatorname{cl}U이다. 특히 x_{n_k}\in\operatorname{cl}U인 홀수 k가 존재한다. 그러나 x_{n_k}\in U_k이며 U_k\cap U=\varnothing이므로 x_{n_k}\in\operatorname{cl}U일 수 없다. 이는 모순이다. 즉, X에서 모든 수렴 점렬은 결국 상수 점렬이다. 만약 X가 극단 분리 하우스도르프 공간이자 제1 가산 공간이라면, 임의의 부분 집합 S\subseteq X은 점렬 극한에 대하여 닫혀 있으므로, 닫힌집합이다. 즉, X는 이산 공간이다.

X가 극단 분리 공간이자 정칙 공간이며, F\subseteq X가 닫힌집합이며, x\in X\setminus F라고 하자. 정칙 공간 조건에 따라, \operatorname{cl}U\subseteq X\setminus F인 열린 근방 U\ni x가 존재한다. X가 극단 분리 공간이므로, \operatorname{cl}U는 열린닫힌집합이다. 따라서, 함수
:f\colon X\to[0,1]
:f|_{\operatorname{cl}U}=0
:f|_{X\setminus\operatorname{cl}U}=1
는 연속 함수이며, x와 F를 분리한다. 따라서 X는 완비 정칙 공간이다.

정규 하우스도르프 공간 X에 대하여, 다음 두 조건이 서로 동치이다.
* \dim X=0
* 임의의 서로소 닫힌집합 E,F\subseteq X에 대하여, E\subseteq U\subseteq X\setminus F인 열린닫힌집합 U가 존재한다.

X가 극단 분리 정규 하우스도르프 공간이며, E,F\subseteq X가 서로소 닫힌집합이라고 하자. 그렇다면, 우리손 보조정리에 따라
:E\subseteq f^{-1}(0)\subseteq X\setminus f^{-1}(1)\subseteq X\setminus F
인 연속 함수 f\colon X\to[0,1]가 존재한다. 이 경우
:U=\operatorname{cl}f^{-1}([0,1/2))
은 열린닫힌집합이며,
:E\subseteq f^{-1}(0)\subseteq U\subseteq f^{-1}([0,1/2])\subseteq X\setminus f^{-1}(1)\subseteq X\setminus F
을 만족시킨다.

### 연산에 대한 닫힘
극단 분리 공간의 열린집합은 극단 분리 공간이다. 극단 분리 공간의 조밀 집합은 극단 분리 공간이다. 극단 분리 공간의 닫힌집합은 극단 분리 공간일 필요가 없다. 극단 분리 티호노프 공간 X의 스톤-체흐 콤팩트화 \beta X는 극단 분리 공간이다. 특히, 이산 공간의 스톤-체흐 콤팩트화는 극단 분리 공간이다. 극단 분리 공간들의 곱공간은 극단 분리 공간일 필요가 없다.

### 범주론적 성질

콤팩트 하우스도르프 공간 X에 대하여, 다음 세 조건이 동치이다.
* 극단 분리 공간이다.
* 콤팩트 하우스도르프 공간와 연속 함수의 범주 \operatorname{CompHaus}에서의 사영 대상이다.
* 완비 불 대수의 스톤 공간 표현과 위상 동형이다.

국소 콤팩트 하우스도르프 공간 X에 대하여, 다음 두 조건이 서로 동치이다.
* 극단 분리 공간이다.
* 국소 콤팩트 하우스도르프 공간과 고유 함수의 범주에서의 사영 대상이다.

## 예
유리수의 공간 \mathbb Q는 완전 분리 공간이며, 르베그 덮개 차원이 0이지만, 극단 분리 공간이 아니다. 예를 들어, (0,1)\cap\mathbb Q는 열린집합이지만, 그 폐포 [0,1]\cap\mathbb Q는 열린집합이 아니다.

## 같이 보기
* 완전 분리 공간
## 참고 문헌

## 외부 링크
* 
* 

분류:위상 공간의 성질