자기 조밀 공간

틀:위키데이터 속성 추적 일반위상수학에서 자기 조밀 공간(自己稠密空間, 틀:Llang)은 고립점을 갖지 않는 위상 공간이다.

정의

위상 공간 $X$에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 위상 공간을 자기 조밀 공간 또는 완전 공간(完全空間, 틀:Llang)이라고 한다.

• $X$는 고립점을 갖지 않는다. 즉, 모든 한원소 집합 $\{x\}\subseteq X$은 열린집합이 아니다.
• 모든 점이 스스로의 극한점이다.틀:Rp 즉, $X={\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2(X)$이다. (여기서 ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2(X)$는 $X$의 극한점들의 집합이다.)

이와 관련된 위상 공간의 종류로 다음이 있다.

모든 한원소 집합이 …	닫힌집합이어야 한다	열린집합이어야 한다	닫힌집합일 수 없다	열린집합일 수 없다	열린집합과 닫힌집합의 교집합이어야 한다
위상 공간의 종류	T1 공간	이산 공간	(특별한 이름이 없음)	자기 조밀 공간	TD 공간

완전 집합

위상 공간 $X$의 부분 집합 $Y\subseteq X$에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 부분 집합을 완전 집합(完全集合, 틀:Llang)이라고 한다.

• $Y={\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2(Y)$이다. (여기서 ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2(Y)$는 $Y$의 극한점들의 집합이다.)
• $Y$는 $X$의 닫힌집합이며, $Y$는 (독립적인 위상 공간으로 여겼을 때) 자기 조밀 공간이다.틀:Rp

완전 집합 성질

위상 공간 $X$의 부분 집합 $Y\subseteq X$가 다음 두 조건 가운데 하나 이상을 만족시킨다면, 완전 집합 성질(完全集合性質, 틀:Llang)을 만족시킨다고 한다.틀:Rp

• 가산 집합이다.
• $C\subseteq Y$인 $X$-완전 집합 $C\subseteq X$가 존재한다.

성질

칸토어-벤딕손 정리

$\kappa$가 무한 정칙 기수라고 하고, 크기 $\kappa$ 미만의 기저를 갖는 위상 공간 $X$가 주어졌다고 하자. 칸토어-벤딕손 정리(Cantor-Bendixson定理, 틀:Llang)에 따르면, 다음이 성립한다.틀:Rp

• $X\setminus {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)$는 $X$의, 크기 $\kappa$ 미만의 열린집합이다.

증명:

$X$의 크기 $\kappa$ 미만의 기저를 $ℬ$라고 하자. 정의에 따라 $X\setminus {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)=\bigcup \{U\in ℬ:|U|<\kappa \}$이며, 정칙 기수의 정의에 따라 우변은 크기 $\kappa$ 미만의 열린집합이다.

• ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)$는 $X$의 완전 집합이다.

증명:

다음 두 명제를 보이면 족하다.

• ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)\subseteq {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }({\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X))\subseteq {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2({\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X))$
  • 증명: 임의의 $x\in {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)$ 및 그 근방 $U\ni x$에 대하여, $|U|\ge \kappa$이지만 $|X\setminus {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)|<\kappa$이므로 $|U\cap {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)|\ge \kappa$이다.
• ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)\supseteq {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_2({\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X))$
  • 증명: 이는 ${\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)$가 닫힌집합이라는 것과 동치인데, $X\setminus {\mathrm{a}\mathrm{c}\mathrm{c}\mathrm{p}\mathrm{t}}_{\kappa }(X)$가 열린집합임을 이미 증명하였다.

특히, $\kappa ={\mathrm{\aleph }}_1$로 놓자. 그렇다면, 제2 가산 공간 $X$의 경우,

• $X$의 ${\mathrm{\aleph }}_1$-집적점이 아닌 점들의 집합은 $X$의 가산 열린집합이다.
• $X$의 ${\mathrm{\aleph }}_1$-집적점들의 집합은 $X$의 완전 집합이다.

특히, 폴란드 공간의 닫힌집합은 완전 집합 성질을 갖는다. 특히, 모든 폴란드 공간은 고립점을 갖지 않는 닫힌집합과, 이와 서로소인 가산 열린집합으로 분해할 수 있다.

집합의 크기

폴란드 공간의 모든 완전 집합의 크기는 0이거나 $2^{{\mathrm{\aleph }}_0}$이다. 따라서, 폴란드 공간 속의 완전 집합 성질 집합의 크기는 ${\mathrm{\aleph }}_0$ 이하이거나 $2^{{\mathrm{\aleph }}_0}$이다. 즉, 폴란드 공간 속의 완전 집합 성질 집합은 연속체 가설의 반례가 될 수 없다.

예

연결 T₁ 공간에 대하여 다음 두 조건이 서로 동치이다.

• 자기 조밀 공간이다.
• 한원소 공간이 아니다.

증명:

한원소 공간이 자기 조밀 공간이 아니라는 것은 자명하다. 반대로, $X$가 연결 T₁ 공간이라고 하고, $x\in X$가 고립점이라고 하자. (공집합은 정의에 따라 연결 공간이 아니다.) 즉, $\{x\}$가 열린집합이라고 하자. T₁ 공간 조건에 의하여 사실 $\{x\}$는 열린닫힌집합이다. 그런데 연결 공간에서 열린닫힌집합은 $X$ 전체 또는 $\varnothing$ 밖에 없다. 따라서, $X=\{x\}$이다.

실수선은 자기 조밀 공간이다. 칸토어 집합은 자기 조밀 완전 분리 공간이다.

무리수의 위상 공간 $ℝ\setminus \mathbb{Q}⊊ℝ$는 자기 조밀 공간이지만, 이는 $ℝ$의 닫힌집합이 아니므로 $ℝ$의 완전 집합이 아니다.

시에르핀스키 공간 $\{\circ ,\bullet \}$에서, $\{\bullet \}$이 닫힌집합이라고 할 때, $\circ \in \{\circ ,\bullet \}$는 고립점이다. 즉, 시에르핀스키 공간은 자기 조밀 공간이 아니다. 이는 시에르핀스키 공간은 연결 공간이며 한원소 공간이 아니지만, T₁ 공간도 아니기 때문에 가능하다. 시에르핀스키 공간의 부분 집합 가운데, 특별한 성질을 갖는 것은 다음과 같다.

• 시에르핀스키 공간의 자기 조밀 집합은 $\{\circ \}$, $\{\bullet \}$, $\varnothing$ 세 개이다.
• 시에르핀스키 공간의 완전 집합은 $\{\bullet \}$과 $\varnothing$ 두 개이다.
• 시에르핀스키 공간의 모든 부분 집합은 완전 집합 성질을 만족시킨다. (이는 시에르핀스키 공간이 가산 집합이기 때문이다.)

역사

칸토어-벤딕손 정리는 게오르크 칸토어와 이바르 오토 벤딕손이 증명하였다.

같이 보기

• 조밀한 곳이 없는 집합
• 조밀 순서

외부 링크

• 틀:Eom
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용