분해 가능 공간

두 점이 열린집합에 의해 분리되는 공간에 대해서는 하우스도르프 공간 문서를 참고하십시오.

일반위상수학에서 분해 가능 공간(分解可能空間, 영어: separable space)은 가산 집합이 조밀 집합일 수 있을 정도로 작은 위상 공간이다.

정의

위상 공간 $X$의 밀도(密度, 영어: density) $d(X)$는 $X$ 속의 조밀 집합의 최소 크기인 기수이다. (기수 위의 순서는 정렬 순서이므로 이는 항상 존재한다.)

밀도가 $\aleph _{0}$ 이하인 위상 공간을 분해 가능 공간이라고 한다.^:192 즉, 분해 가능 공간은 가산 조밀 집합을 갖는 공간이다.

성질

제2 가산성과의 관계

모든 제2 가산 공간은 분해 가능 공간이다.^:192

제1 가산 공간인 위상군에 대하여, 다음 두 조건이 서로 동치이다.^:195

• 분해 가능 공간이다.
• 제2 가산 공간이다.

거리화 가능성을 가정한다면, 다음이 성립한다.

콤팩트 공간 $\subsetneq$^:194 제2 가산 공간 = 분해 가능 공간 = 린델뢰프 공간^:191–192

분해 가능성을 보존하는 연산

두 위상 공간 $X$, $Y$ 사이의 연속 함수 $f\colon X\to Y$ 및 조밀 집합 $D\subseteq X$이 주어졌을 때, 그 상 $f(D)\subseteq f(X)$는 치역 $f(X)$ 속의 조밀 집합이다. 따라서

$d(f(X))\leq d(X)$

이다. 특히, 분해 가능 공간의 연속적 상은 분해 가능 공간이다.^:194

위상 공간 $X$의 열린집합 $U\subseteq X$ 및 조밀 집합 $D\subseteq X$가 주어졌을 때, $U\cap D$는 $U$의 조밀 집합이다. 따라서 다음이 성립한다.

$d(U)\leq d(X)$

특히, 분해 가능 공간의 열린집합은 분해 가능 공간이다.^{:Theorem 16.4b} 분해 가능 공간의 열린집합이 아닌 부분 집합은 분해 가능 공간이 아닐 수 있다. 다만, 분해 가능 거리화 가능 공간의 모든 부분 집합은 분해 가능 공간이다.

곱공간

$X=\prod _{i\in I}X_{i}$

에서, 조밀 집합 $D_{i}\subseteq X_{i}$들의 곱집합 $\textstyle D=\prod _{i\in I}D_{i}\subseteq X$은 조밀 집합이다. 따라서, 밀도에 대하여 다음 부등식이 성립한다.

$d(X)\leq \prod _{i\in I}d(X_{i})$

특히, 가산 개의 분해 가능 공간들의 곱공간은 분해 가능 공간이다.^{:194:109, Theorem 16.4c} 또한, 곱위상 대신 상자 위상을 사용해도 위 명제들이 성립한다. (상자 위상은 곱위상보다 더 조밀하므로, 이는 더 강한 성질이다.)

크기 관련 성질

모든 비이산 공간은 분해 가능 공간이므로, 분해 가능성은 집합의 크기에 상한을 가하지 않는다. 그러나 추가 조건을 가한다면 다음과 같은 상한을 얻을 수 있다.

• 제1 가산 하우스도르프 분해 가능 공간의 크기는 $2^{\aleph _{0}}$ 이하이다.
• 하우스도르프 분해 가능 공간의 크기는 $2^{2^{\aleph _{0}}}$ 이하이다.

또한, 분해 가능성은 다음과 같은 다양한 크기 관련 상한들을 함의한다.

• 분해 가능 공간 속의 서로소 열린집합들로 구성된 집합족은 항상 가산 집합이다.^:194
• 분해 가능 공간 $X$가 주어졌을 때, $X$ 위의 실수 값 연속 함수의 집합의 크기는 $2^{\aleph _{0}}$ 이하이다.

  ${\mathcal {C}}(X,\mathbb {R} )\leq 2^{\aleph _{0}}$

이는 실수 값 연속 함수는 이를 조밀 집합에 국한한 함수로부터 결정되기 때문이다. 이에 따라, 정규 분해 가능 공간 속의 닫힌집합이 이산 공간을 이룬다면, 이는 항상 가산 집합이다.

임의의 위상 공간 $X$에 대하여, 다음 세 조건을 만족시키는 분해 가능 공간 ${\tilde {X}}$ 및 단사 함수 $\iota \colon X\hookrightarrow {\tilde {X}}$를 찾을 수 있다.^:49

• $|X|=|{\tilde {X}}|$이며, ${\tilde {X}}\setminus \iota (X)$는 가산 집합이다.
• $X$는 그 상 $\iota (X)$와 위상 동형이다.
• 만약 $X$가 하우스도르프 공간이라면, ${\tilde {X}}$역시 하우스도르프 공간이다.

힐베르트 공간

 힐베르트 공간 문서를 참고하십시오.

(실수 또는 복소수) 힐베르트 공간 ${\mathcal {H}}$에 대하여, 다음 두 조건이 서로 동치이다.

• ${\mathcal {H}}$의 힐베르트 차원이 $\aleph _{0}$ 이하이다. (힐베르트 차원은 벡터 공간의 하멜 차원과 일반적으로 다르다.)
• ${\mathcal {H}}$는 분해 가능 공간이다.

특히, 모든 유클리드 공간 $\mathbb {R} ^{n}$ 및 L² 공간 $L^{2}(\mathbb {R} )$는 분해 가능 공간이다. 유클리드 공간의 경우 $\mathbb {Q} ^{n}\subsetneq \mathbb {R} ^{n}$은 가산 조밀 집합을 이룬다. 힐베르트 공간은 힐베르트 차원에 의하여 완전히 분류되므로, 이는 분해 가능 힐베르트 공간의 목록이다.

예

임의의 위상 공간 $X$에 대하여 다음이 자명하게 성립한다.

$d(X)\leq |X|$

따라서, 가산 개의 점을 갖는 위상 공간은 분해 가능 공간이다.

이산 공간 속의 조밀 집합은 전체밖에 없으므로, 이산 공간 $X$의 밀도는 그 집합의 크기와 같다.

$|X|=d(X)$

특히, 가산 이산 공간은 분해 가능 공간이지만, 비가산 이산 공간은 분해 가능 공간이 아니다. 비이산 공간에서 공집합이 아닌 모든 부분 집합은 조밀 집합이다. 따라서, 비이산 공간 $X$의 밀도는 다음과 같다.

$d(X)=\min\{0,|X|\}$

따라서, 모든 비이산 공간은 자명하게 분해 가능 공간이다.

외부 링크

• “Separable space”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Density (of a topological space)”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Separable space”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
• “Separable space”. 《nLab》 (영어). 
• “Definition: separable space”. 《ProofWiki》 (영어). 

같이 보기

• 제1 가산 공간
• 제2 가산 공간