정의
위상수학에서 "경계(boundary)"는 주어진 위상 공간의 부분집합에 대해, 그 집합의 폐포와 내부의 차집합으로 정의되는 점들의 집합이다. 즉, 부분집합 $ A $의 경계는 $ \partial A = \overline{A} \setminus \mathrm{int}(A) $로 나타내며, 여기서 $ \overline{A} $는 $ A $의 폐포, $ \mathrm{int}(A) $는 $ A $의 내부를 의미한다. 이는 동시에 $ A $의 폐포와 $ A $의 여집합의 폐포의 교집합으로도 표현될 수 있다: $ \partial A = \overline{A} \cap \overline{X \setminus A} $, 여기서 $ X $는 전체 위상 공간이다.
개요
경계는 위상수학에서 집합의 "가장자리"에 위치한 점들을 기술하는 중요한 개념이다. 경계 점은 어떤 점의 모든 근방이 해당 집합과 그 여집합 모두와 교차하는 점으로 정의된다. 이는 기하학적 직관을 수학적으로 엄밀하게 표현하는 데 사용되며, 위상 공간 내에서 집합의 위치와 성질을 분석하는 데 핵심적인 역할을 한다. 예를 들어, 닫힌 공의 경계는 그 공의 표면(즉, 구면)이 된다.
어원/유래
"경계"는 한국어로 'border' 혹은 'boundary'를 의미하는 번역어로, 수학 용어로서는 영어 "boundary"의 직역이다. 위상수학의 기초가 확립된 20세기 초 유럽의 수학자들(예: 펠릭스 하우스도르프, 모리스 프레셰 등)에 의해 형성된 용어 체계를 따라 한국어에서도 유사한 번역이 채택되었다. 원어 "boundary"는 라틴어 "borderia" 또는 프랑스어 "borne"(경계)에서 유래한 것으로, 수학적 맥락에서 특정 영역의 가장자리를 지칭하는 의미로 쓰이게 되었다.
특징
- 경계는 항상 닫힌 집합이다.
- 어떤 집합 $ A $의 경계 $ \partial A $는 $ A $의 폐포에 포함되며, 집합 자체에 포함될 수도 있고 아닐 수도 있다.
- $ A $가 열린 집합이라도 그 경계는 비어 있을 필요는 없으며, 일반적으로 공집합이 아니다.
- $ \partial A = \partial (X \setminus A) $이므로, 집합과 그 여집합은 동일한 경계를 가진다.
- 부분집합이 열린 집합이고 동시에 닫힌 집합( clopen set)이면, 그 경계는 공집합이다.
관련 항목
- 위상 공간 (Topological space)
- 폐포 (Closure)
- 내부 (Interior)
- 닫힌 집합 (Closed set)
- 열린 집합 (Open set)
- 집적점 (Limit point)
- 전방위 (Frontier, 경계의 동의어로 사용되기도 함)