1. 개요
베르 범주 정리(Baire category theorem, Baire 範疇定理, (프)Théorème de Baire)는 위상수학과 함수해석학의 정리로, 어떤 공간이 베르 공간이 될 충분조건을 제시하는 정리이다. 미국의 수학자 윌리엄 포그 오스굿과 프랑스의 수학자 르네 베르에 의해 실직선 및 유클리드 공간에서의 정리가 각각 증명되었으며, 특히 베르는 범주 개념을 도입하여 부르바키 학파는 이를 기려 베르 공간이라는 용어를 사용하였다.2. 베르 공간
위상 공간 [math(X)]의 부분집합 [math(E\subseteq X)]가 어느 곳에서도 조밀하지 않은 집합들의 가산 합집합이면 [math(E)]를 제1 범주 집합(set of the first category)이라고 한다. 제1 범주의 집합이 아닌 집합을 제2 범주 집합(set of the second category)이라고 한다. 베르의 범주는 범주론과는 무관하다.조밀한 열린 집합의 임의의 가산 교집합이 조밀한 위상공간을 베르 공간(Baire space)이라고 한다. 이는 다음과 동치이다.
- 임의의 제1 범주 집합의 여집합이 조밀하다.
- 제1 범주인 열린 집합은 공집합 뿐이다.
3. 베르 범주 정리
위상공간 [math(X)]가 베르 공간일 충분조건은 다음과 같다.- (제1 범주 정리) [math(X)]가 완비 거리화 가능 공간이면 [math(X)]는 베르 공간이다.
- (제2 범주 정리) [math(X)]가 국소 컴팩트 하우스도르프 공간이면 [math(X)]는 베르 공간이다.
3.1. 제1 범주 정리의 증명
[math((X,\ d))]를 공집합이 아닌 완비 거리 공간이라고 하자. [math(\{U_n\}_{n=1}^\infty)]를 [math(X)]의 조밀한 열린집합렬이라 할 때, [math(U=\bigcap_{n=1}^\infty U_n)]가 [math(X)]의 조밀한 집합임을 보인다. 즉, [math(X)]의 임의의 열린집합 [math(W)]에 대하여 [math(U\cap W \ne \varnothing)]임을 보인다. [math(W)]는 열린집합이므로 [math(B_d(x_0,\ r_0)\subseteq W)]인 [math(x_0\in W,\ r_0>0)]를 택할 수 있다. [math(U_1)]은 조밀한 열린집합이므로[math(\overline{B_d(x_1,\ r_1)}\subseteq U_1\cap B_d(x_0,\ r_0),\quad r_1<2^{-1})]
을 만족시키는 [math(x_1,\ r_1)]을 선택할 수 있다. 이 과정을 반복하여 각 [math(n\in\mathbb{N})]에 대하여[math(\overline{B_d(x_n,\ r_n)}\subseteq U_n\cap B_d(x_{n-1},\ r_{n-1}),\quad r_n<2^{-n})]
를 만족시키는 점렬 [math(\{x_n\}_{n=0}^\infty)]와 수열 [math(\{r_n\}_{n=0}^\infty)]를 얻는다. [math(n\to\infty)]에 따라 [math(r\to0)]이므로 [math(n,\ m\to\infty)]에 따라 [math(d(x_n,\ x_m)\to0)]이다. [math(X)]는 완비공간이므로 [math(x=\lim_{n\to\infty}x_n)]가 존재하고, [math(x\in W\cap U)]이므로 [math(U)]는 조밀하다.3.2. 제2 범주 정리의 증명
[math((X,\ d))]를 공집합이 아닌 국소 컴팩트 하우스도르프 공간이라고 하자. [math(\{U_n\}_{n=1}^\infty)]를 [math(X)]의 조밀한 열린집합렬이라 할 때, [math(U=\bigcap_{n=1}^\infty U_n)]가 [math(X)]의 조밀한 집합임을 보인다. 임의의 열린집합 [math(W)]에 대하여 [math(U_1)]은 조밀하므로 [math(w_1\in W\cap U_1)]이 존재한다. [math(X)]는 국소 하우스도르프 공간의 열린 집합이므로 [math(w_1\in W_1\subseteq W)]를 만족시키는 [math(w_1)]의 컴팩트 열린 근방 [math(W_1)]이 존재한다. [math(w_2\in W_1\cap U_2)]를 선택하여 위 과정을 반복하면 임의의 자연수 [math(n)]에 대하여[math(W_{n+1}\subseteq W_n)]
을 만족시키는 컴팩트 집합렬 [math(\{W_n\})]을 얻는다. [math(X)]는 하우스도르프 공간이므로 [math(w\in\bigcap_{n=1}^\infty W_n)]이 존재한다. [math(w\in W\cup U)]이므로 [math(U)]는 조밀하다.4. 적용
4.1. 바나흐 공간의 정리 증명
함수해석학에서 바나흐 공간의 열린 사상 정리, 닫힌 그래프 정리, 균등 유계 원리를 증명하는 과정에서 활용된다.