가산 생성 공간은 위상수학 및 측도론 등에서 사용되는 개념으로, 위상의 생성원이 가산(ℵ₀)인 경우를 가리킨다. 일반적으로 다음과 같은 두 가지 의미로 사용된다.
1. 정의
-
위상공간의 경우
-
위상 $ \tau $가 가산 생성(countably generated)이라고 할 때는, 어떤 가산 집합 $ \mathcal{G}\subseteq\mathcal{P}(X) $가 존재하여
$$ \tau = \sigma(\mathcal{G});, $$
즉, $ \mathcal{G} $의 생성자(generator)로부터 위상이 닫히는(교집합·합집합에 대해) 가장 작은 위상인 경우를 말한다. 여기서 $ \sigma(\mathcal{G}) $는 $ \mathcal{G} $로부터 얻어지는 생성 위상(generated topology)이다. -
$ \mathcal{G} $가 기저(basis)일 필요는 없으며, 부분기저(subbasis)이 될 수도 있다. 따라서 가산 생성 위상은 “second‑countable”(두 번째 가산)과는 구분된다.
-
-
σ-대수(측도론)의 경우
- σ‑대수 $ \mathcal{F} $가 가산 생성이라고 하면, 가산 집합 $ \mathcal{G}\subseteq\mathcal{F} $가 존재해
$$ \mathcal{F}= \sigma(\mathcal{G}) $$
를 만족한다. 여기서 $ \sigma(\mathcal{G}) $는 $ \mathcal{G} $를 포함하고 가산 합·보완에 대해 닫힌 최소 σ‑대수이다.
- σ‑대수 $ \mathcal{F} $가 가산 생성이라고 하면, 가산 집합 $ \mathcal{G}\subseteq\mathcal{F} $가 존재해
2. 주요 성질
| 성질 | 설명 |
|---|---|
| 부분공간 유지 | 가산 생성 위상공간의 부분공간은 일반적으로 가산 생성이 아니다. (예: 실수 $ \mathbb{R} $에 표준 위상이 가산 생성이지만, 사칙집합 위의 정수 부분집합은 이산 위상이므로 가산 생성이 된다.) |
| 연속 사상 | 연속 함수 $ f:X\to Y $에서, $ X $가 가산 생성이면 $ f $가 열 연속(sequentially continuous)임을 보장한다. |
| 합성 | 두 개의 가산 생성 위상공간 $ X, Y $에 대해, 그들의 곱공간 $ X\times Y $는 일반적으로 가산 생성이 아니다. (특히 무한 차원의 경우) |
| 측도론적 적용 | 가산 생성 σ‑대수는 측도 정의 시 “측도가능 집합”을 다루기 쉽게 만든다. 많은 확률 공간은 가산 생성 σ‑대수를 갖는다(예: 보렐 σ‑대수 on ℝ). |
3. 예시
| 예시 | 설명 |
|---|---|
| 표준 실수 위상 | 실수집합 $ \mathbb{R} $에 열린 구간 $(a,b)$들의 집합은 가산 생성이다. 실제로 $\mathbb{Q}$ (유리수) 기반의 구간 $(q_1,q_2)$ $(q_1,q_2\in\mathbb{Q})$는 가산 집합이며, 이들로부터 표준 위상이 생성된다. |
| 이산 위상 | 임의의 집합 $ X $에 대해 모든 단일집합 ${x}$들의 집합은 가산이면 (예: $X$가 가산) 이산 위상은 가산 생성이다. |
| 보렐 σ‑대수 | 실수선 $ \mathbb{R} $의 보렐 σ‑대수 $ \mathcal{B}(\mathbb{R}) $는 개방 구간들의 가산 집합(예: 유리 수를 이용)으로부터 생성되므로 가산 생성 σ‑대수이다. |
| 코시 연속함수 공간 | 연속함수들의 위상인 compact‑open topology는 경우에 따라 가산 생성이 될 수 있다(특히 기저가 가산인 컴팩트 집합이 존재할 때). |
4. 관련 개념
- Second‑countable space (두 번째 가산 위상): 위상 자체가 가산 기저를 갖는 경우. 모든 second‑countable 공간은 가산 생성이지만 그 역은 성립하지 않는다.
- Sequential space: 닫힌 집합이 모든 수열의 극한을 포함하는 경우. 가산 생성 공간은 종종 sequential space와 연관돼 논의된다.
- σ‑algebra: 측도론에서 가산 합·보완에 닫힌 집합체계. 가산 생성 σ‑대수는 많이 사용된다.
5. 참고 문헌
- Munkres, J. R. Topology, 2nd ed., Prentice Hall, 2000. – “Generated Topologies” 장에서 가산 생성 위상에 대한 정의와 예시가 제시됨.
- Halmos, P. R. Measure Theory, Springer, 1974. – 가산 생성 σ‑대수에 관한 기본 정리.
- Willard, S. General Topology, Addison‑Wesley, 1970. – “Countably generated spaces” 용어와 그 성질을 다룸.
요약: “가산 생성 공간”은 위상이나 σ‑대수가 가산 집합을 통해 생성되는 경우를 의미한다. 가산 기저를 요구하는 second‑countable와는 구분되며, 위상학·측도론에서 구조를 단순화하고 연속성·측도 정의에 유용하게 활용된다.
