극단 분리 공간

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

정의

위상 공간 $X$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 위상 공간을 극단 분리 공간이라고 한다.틀:Rp

• ㈀ 임의의 열린집합 $U\subseteq X$에 대하여, $\mathrm{cl}U$는 열린집합이다.
• ㈁ 임의의 서로소 열린집합 $U,V\subseteq X$에 대하여, $\mathrm{cl}U\cap \mathrm{cl}V=\varnothing$
• ㈂ 임의의 서로소 열린집합 $U,V\subseteq X$에 대하여, $U\subseteq f^{-1}(0)$, $V\subseteq f^{-1}(1)$인 연속 함수 $f:X\to [0,1]$이 존재한다.
• ㈃ 임의의 열린집합 $U\subseteq X$ 및 연속 함수 $f:U\to [0,1]$에 대하여, $\tilde{f}{|}_U=f$인 연속 함수 $\tilde{f}:X\to [0,1]$이 존재한다.

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

㈁ ⇒ ㈀. 임의의 열린집합 $U\subseteq X$가 주어졌다고 하자. $U$와 $X\setminus \mathrm{cl}U$는 서로소 열린집합이므로,

$\varnothing =\mathrm{cl}U\cap \mathrm{cl}(X\setminus \mathrm{cl}U)=\mathrm{cl}U\cap X\setminus \mathrm{int}(X\setminus \mathrm{cl}U)$

이다. 즉, $\mathrm{cl}U$는 열린집합이다.

㈀㈁ ⇒ ㈂. 서로소 열린집합 $U,V\subseteq X$가 주어졌을 때, $\mathrm{cl}U$, $\mathrm{cl}V$, $X\setminus (\mathrm{cl}U\cap \mathrm{cl}V)$는 서로소 열린닫힌집합이다. 따라서, 함수

$f:X\to [0,1]$

$f{|}_{\mathrm{cl}U}=0$

$f{|}_{\mathrm{cl}V}=1$

$f{|}_{X\setminus (\mathrm{cl}U\cap \mathrm{cl}V)}=1/2$

은 연속 함수이다.

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

$\mathrm{cl}U\cap \mathrm{cl}V\subseteq \mathrm{cl}{f}^{-1}(0)\cap \mathrm{cl}{f}^{-1}(1)=f^{-1}(0)\cap f^{-1}(1)=\varnothing$

이다.

㈀㈁㈂ ⇒ ㈃. 티체 확장 정리의 증명과 같은 방법을 사용하여 다음을 보일 수 있다. 임의의 위상 공간 $X$ 및 부분 집합 $U\subseteq X$에 대하여, 다음 두 조건이 서로 동치이다.

• 임의의 연속 함수 $f:U\to [0,1]$에 대하여, $\tilde{f}{|}_U=f$인 연속 함수 $\tilde{f}:X\to [0,1]$가 존재한다.
• 임의의 연속 함수 $f:U\to [0,1]$에 대하여, $f^{-1}(0)\subseteq {\tilde{f}}^{-1}(1)$, $f^{-1}(1)\subseteq {\tilde{f}}^{-1}(1)$인 연속 함수 $\tilde{f}:X\to [0,1]$가 존재한다.

따라서, 임의의 열린집합 $U\subseteq X$가 두 번째 조건을 만족시킴을 보이는 것으로 족하다. 연속 함수 $f: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}: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:X\to [0,1]$가 존재한다. 따라서,

$\mathrm{cl}U\cap \mathrm{cl}V\subseteq \mathrm{cl}{f}^{-1}(0)\cap \mathrm{cl}{f}^{-1}(1)=f^{-1}(0)\cap f^{-1}(1)=\varnothing$

이다. 틀:증명 끝

성질

함의 관계

모든 이산 공간은 극단 분리 공간이다. 모든 극단 분리 하우스도르프 공간은 완전 분리 공간이다. 극단 분리 하우스도르프 공간에서, 수렴 점렬은 결국 상수 점렬밖에 없다. 따라서, 제1 가산 공간인 극단 분리 하우스도르프 공간은 이산 공간밖에 없다. 모든 극단 분리 정칙 공간은 완비 정칙 공간이다. 임의의 극단 분리 정규 하우스도르프 공간 $X$에 대하여,

$\dim X=0$

이다 ($\dim$은 르베그 덮개 차원).틀:Rp 이는 $\mathrm{ind}X=0$이나 완전 분리 공간보다 강한 조건이다. 틀:증명 이산 공간의 부분 집합은 스스로의 폐포이므로, 모든 이산 공간은 자명하게 극단 분리 공간이다.

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

이제, 극단 분리 하우스도르프 공간 $X$에서, 점렬 $(x_n{)}_{n=0}^{\mathrm{\infty }}$이 점 $x\in X$로 수렴하지만, 결국 상수 점렬이 아니라고 가정하자. 그렇다면,

$x\in ̸\mathrm{cl}{U}_k(k=0,1,\dots )$

가 되는 부분 점렬 $(x_{n_k}{)}_{k=0}^{\mathrm{\infty }}$ 및 서로소 열린 근방

$U_k\ni x_{n_k}(k=0,1,\dots )$

들을 재귀적으로 정의할 수 있다. 부분 점렬 $(x_{n_0},\dots ,x_{n_{k-1}})$ 및 서로소 열린 근방 $U_i\ni x_{n_i}$ ($i=0,\dots ,k-1$)이 존재하며, $x\in ̸\mathrm{cl}{U}_i$ ($i=0,\dots ,k-1$)라고 하자. 그렇다면 $x_{n_k}\in X\setminus (\mathrm{cl}{U}_0\cup \cdots \mathrm{cl}{U}_{k-1})$, $x_{n_k}\ne x$인 $n_k>n_{k-1}$가 존재한다. 하우스도르프 조건에 따라, $x\in ̸\mathrm{cl}V$인 열린 근방 $V\ni x_{n_k}$이 존재한다. 이제 $U_k=V\setminus (\mathrm{cl}{U}_0\cup \cdots \mathrm{cl}{U}_{k-1})$로 잡는다. 이제,

$U=\bigcup _{i=0}^{\mathrm{\infty }}{U}_{2i}$

라고 하자. $X$가 극단 분리 공간이므로 $\mathrm{cl}U$는 열린집합이며, $x$가 $(x_{n_{2i}}{)}_{i=0}^{\mathrm{\infty }}$의 극한이므로 $x\in \mathrm{cl}U$이다. 따라서, 충분히 큰 $n$에 대하여 $x_n\in \mathrm{cl}U$이다. 특히 $x_{n_k}\in \mathrm{cl}U$인 홀수 $k$가 존재한다. 그러나 $x_{n_k}\in U_k$이며 $U_k\cap U=\varnothing$이므로 $x_{n_k}\in \mathrm{cl}U$일 수 없다. 이는 모순이다. 즉, $X$에서 모든 수렴 점렬은 결국 상수 점렬이다. 만약 $X$가 극단 분리 하우스도르프 공간이자 제1 가산 공간이라면, 임의의 부분 집합 $S\subseteq X$은 점렬 극한에 대하여 닫혀 있으므로, 닫힌집합이다. 즉, $X$는 이산 공간이다.

$X$가 극단 분리 공간이자 정칙 공간이며, $F\subseteq X$가 닫힌집합이며, $x\in X\setminus F$라고 하자. 정칙 공간 조건에 따라, $\mathrm{cl}U\subseteq X\setminus F$인 열린 근방 $U\ni x$가 존재한다. $X$가 극단 분리 공간이므로, $\mathrm{cl}U$는 열린닫힌집합이다. 따라서, 함수

$f:X\to [0,1]$

$f{|}_{\mathrm{cl}U}=0$

$f{|}_{X\setminus \mathrm{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:X\to [0,1]$가 존재한다. 이 경우

$U=\mathrm{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$는 극단 분리 공간이다.틀:Rp 특히, 이산 공간의 스톤-체흐 콤팩트화는 극단 분리 공간이다. 극단 분리 공간들의 곱공간은 극단 분리 공간일 필요가 없다.

범주론적 성질

틀:참고 콤팩트 하우스도르프 공간 $X$에 대하여, 다음 세 조건이 동치이다.

• 극단 분리 공간이다.
• 콤팩트 하우스도르프 공간와 연속 함수의 범주 $\mathrm{CompHaus}$에서의 사영 대상이다.틀:Rp
• 완비 불 대수의 스톤 공간 표현과 위상 동형이다.틀:Rp

국소 콤팩트 하우스도르프 공간 $X$에 대하여, 다음 두 조건이 서로 동치이다.틀:Rp

• 극단 분리 공간이다.
• 국소 콤팩트 하우스도르프 공간과 고유 함수의 범주에서의 사영 대상이다.

예

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

같이 보기

• 완전 분리 공간

외부 링크

• 틀:Eom
• 틀:Nlab