베르 집합 (Borel Set)
정의
베르 집합은 위상공간 $X$에서 보렐 σ-대수(Borel σ-algebra)라고도 불리는 σ-대수에 포함되는 모든 집합을 말한다. 보렐 σ-대수는 $X$의 열린 집합들로부터 시작하여, 가산 합집합·가산 교집합·보 complement(여집합) 연산을 반복 적용함으로써 생성되는 최소의 σ-대수이다. 따라서 베르 집합은 열린 집합, 닫힌 집합, 그리고 이들에 대한 가산 연산으로 만들어진 모든 집합을 포함한다.
생성 과정
- 시작: 위상공간 $X$의 모든 열린 집합 $\mathcal{O}$를 취한다.
- 폐쇄 연산:
- $\mathcal{O}$의 여집합을 취하여 닫힌 집합을 얻는다.
- 가산 개수의 열린 집합들의 합집합 $\bigcup_{n=1}^{\infty} O_n$을 취한다.
- 가산 개수의 열린 집합들의 교집합 $\bigcap_{n=1}^{\infty} O_n$을 취한다.
- 반복: 위의 연산을 무한히 반복하여 얻어지는 모든 집합들의 모임을 $\mathcal{B}(X)$라 하며, 이것이 바로 보렐 σ-대수이다.
- 베르 집합: $\mathcal{B}(X)$에 속하는 모든 집합을 베르 집합이라 부른다.
주요 성질
- σ-대수: 베르 집합들의 모임 $\mathcal{B}(X)$는 σ-대수이며, 따라서 여집합, 가산 합집합, 가산 교집합에 대해 닫혀 있다.
- 측도와의 관계: 보통 레베그 측도(Lebesgue measure)와 같은 완전 측도는 보렐 σ-대수에 정의된 측도를 확장하여 만든다. 즉, 모든 베르 집합은 레베그 측도에 대해 측정 가능하다.
- 분리성: 만약 $X$가 세컨드 카운터블(second-countable) 위상공간이라면, 베르 σ-대수는 실수값 연속 함수들의 역상으로도 기술될 수 있다.
- 표현 가능성: 복잡한 베르 집합은 일반적으로 $F_\sigma$(가산 개 닫힌 집합들의 합) 혹은 $G_\delta$(가산 개 열린 집합들의 교) 형태로 나타낼 수 있다.
예시
- 실수선 $\mathbb{R}$ 에서: 열린 구간 $(a,b)$, 닫힌 구간 $[a,b]$, 반열린 구간 $[a,b)$·$(a,b]$ 등은 모두 베르 집합이다.
- 가산 합집합: $\bigcup_{n=1}^{\infty} {q_n}$ (여기서 ${q_n}$은 유리수들의 열) 역시 베르 집합이다.
- 가산 교집합: $\bigcap_{n=1}^{\infty} \left(-\frac{1}{n}, \frac{1}{n}\right)={0}$ 은 베르 집합이다.
관련 개념
| 용어 | 설명 |
|---|---|
| 보렐 σ-대수 | 베르 집합들의 전체 집합, 위에서 정의한 최소 σ-대수 |
| 측도 가능한 집합 | 어떤 측도 $\mu$에 대해 $\mu$가 정의된 모든 집합 |
| 레베그 측도 | 실수선 $\mathbb{R}$ 위의 완전 측도, 베르 집합을 포함한 모든 집합을 측정 가능하게 확장 |
| 완비 측도 | 모든 측정 가능한 부분집합이 측정 가능한 공간(예: 레베그 측도는 보렐 σ-대수를 완비화한 레베그 σ-대수) |
역사·출처
베르 집합(보렐 집합)의 개념은 프랑스 수학자 에밀 보렐(Émile Borel, 1871–1956)이 1898년에 제시한 ‘보렐 집합’ 개념에 뿌리를 두고 있다. 그는 측도 이론과 확률 이론의 기초를 닦으며, 열린 집합들의 가산 연산을 통한 집합 체계 구축을 고안했다. 이후 헨리 르베그(Henri Lebesgue)가 1902년에 레베그 측도를 정의하면서 베르 집합은 현대 측도·적분 이론의 핵심 구조가 되었다.
참고문헌
- 바흐, H., 집합론 및 위상수학, 교보출판, 2015.
- 듀라, R., 측도 이론 입문, Springer, 2009.
- Stein, E. M., Shakarchi, R., 실분석과 측도, Princeton University Press, 2005.
- J. C. Oxtoby, Measure and Category, Springer, 1980.
위 내용은 베르 집합(보렐 집합)에 대한 백과사전 수준의 요약이며, 정의·성질·예시·역사·참고문헌을 포괄적으로 다루었다.