베르의 범주 정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

일반위상수학에서, 베르의 범주 정리(-範疇定理, 영어: Baire category theorem)는 어떤 위상 공간베르 공간이 될 충분조건을 제시하는 정리다.

정의[편집]

이 이름으로 불리는 정리는 두 가지가 있는데, 일부 위상수학 교과서에서는 제1 범주 정리만을 '베르의 범주 정리'로 부르기도 하나[1]:345 해석학 관점에서 이 정리를 소개할 때도 이런 경우가 있다.[2]:97 대부분의 교과서에서는 두 가지 정리를 모두 소개하고 있다.[3]:296[4]:57[5]:415–417[6]:234

베르의 제1 범주 정리는 다음과 같다.[3]:296

베르의 제2 범주 정리는 다음과 같다.[6]:234

책에 따라 이 정리의 조건이 '콤팩트 하우스도르프 공간'으로 바뀔 때가 있다.[3]:296 하지만 콤팩트 공간은 국소 콤팩트 공간이므로 위의 형태가 더 일반적인 정리이다.

응용[편집]

베르의 범주 정리를 응용하면 다음과 같은 여러 흥미로운 결과를 얻을 수 있다.

연속이지만 어떤 점에서도 미분가능하지 않은 함수[편집]

베르의 제1 범주 정리의 따름정리로, 예컨대 [0, 1]에 정의된 실수함수연속함수이지만 어떤 점에서도 미분가능하지 않은 함수가 존재함을 보일 수 있다.[6]:238–240 증명의 개략은 다음과 같다.

  1. (보조정리) X가 베르 공간이고 B를 성질 E를 만족하는 X 원소의 모임이라고 하자. 이때 X-B가 제1 범주이면 B는 공집합이 아니다. B가 공집합이라면 X가 제1 범주가 되는데 베르 공간의 공집합이 아닌 열린 부분집합은 제2 범주이기 때문이다.
  2. [0, 1]에서 모든 연속 함수의 집합 C([0, 1])을 생각하자. 여기에 균등 수렴 위상을 주면 [0, 1]에 속하는 임의의 f, g에 대하여 거리 함수를 d(f, g) := sup{|f(x) - g(x)||x∈[0, 1]} 와 같이 잡을 수 있다. 연속함수들로 이루어진 코시 열은 어떤 한 함수로 수렴하므로 이렇게 만들어진 공간은 완비 거리 공간이고, 베르의 제1 범주 정리에 의해 베르 공간이다.
  3. 이제 '[0, 1] 안의 적어도 한 점에서 미분가능한 연속함수의 집합'을 D라 할 때, D가 C([0, 1]) 안에서 제1 범주임을 보이면 된다. D가 제1 범주이면 C([0, 1])-D는 위의 보조정리에 의해 공집합이 아니기 때문이다.

모든 유리수에서만 연속인 함수[편집]

베르의 범주 정리를 이용하면 실수가 정의역인 실수값 함수 중 모든 유리수에서만 연속인 함수는 존재하지 않는다는 것도 보일 수 있다.[6]:237–238 증명의 개략은 다음과 같다.

A\subset\mathbb R조밀 집합이며, 함수 f\colon\mathbb R\to\mathbb RA에서 연속 함수라고 하자. 이 경우, 베르의 범주 정리에 따라, f가 연속이 아닌 실수들의 집합은 제1 범주 집합이다. 무리수의 집합은 제1 범주 집합이 아니므로, 유리수에서만 연속인 함수는 존재하지 않는다.

역사[편집]

프랑스수학자 르네루이 베르가 1899년 박사 학위 논문에서 증명하였다.[7]

참고 문헌[편집]

  1. 유정옥 (2006). 《알기쉬운 위상수학》 (한국어). 교우사. 
  2. Rudin, Walter (1987). 《Real and complex analysis》 (영어). McGraw-Hill. 
  3. Munkres, James R. (2000). 《Topology》 (영어). Prentice Hall. 
  4. Bredon, Glen E. (1993). 《Topology and Geometry》 (영어). Springer. 
  5. 박대희; 안승호 (2009). 《위상수학》 (한국어). 경문사. 
  6. 김승욱 (2004). 《위상수학: 집합론을 중심으로》 (한국어) (2판판). 경문사. ISBN 89-7282-587-5. 
  7. Baire, R. (1899). “Sur les fonctions de variables réelles” (프랑스어). 《Annali di Matematica Pura ed Applicata》 3: 1–123. JFM 30.0359.01. 

바깥 고리[편집]

같이 보기[편집]