경계 (위상수학)편집자 확인

위상수학에서 경계는 위상 공간 내의 한 집합이 '끝나는' 부분을 수학적으로 정의한 개념이다. 집합 S의 경계는 보통 ∂S 또는 bd(S)로 표기하며, 집합의 폐포에서 그 집합의 내부를 뺀 집합으로 정의된다. 이는 집합의 점들 중에서 그 점의 모든 근방이 집합의 점과 집합의 바깥 점을 동시에 포함하는 점들의 모임으로 이해할 수 있다.

경계는 여러 중요한 성질을 가진다. 어떤 집합의 경계는 항상 닫힌 집합이다. 또한, 한 집합의 경계는 그 집합의 여집합의 경계와 정확히 일치한다. 이는 경계가 집합과 그 바깥을 동시에 정의한다는 직관과 부합한다. 또 다른 동등한 정의로, 집합 S의 경계는 S의 폐포와 S의 여집합의 폐포의 교집합과 같다.

구체적인 예를 들면, 실수 직선 R에서 열린 구간 (0,1)의 경계는 두 끝점인 {0, 1}이다. 반면, 유리수의 집합 Q의 경계는 모든 실수의 집합 R이 된다. 이는 유리수와 무리수가 실수 직선에서 조밀하게 뒤섞여 있어, 어떤 실수 점을 잡아도 그 근방에는 항상 유리수와 무리수가 모두 존재하기 때문이다. 이러한 경계의 개념은 위상 공간의 구조를 이해하고, 연속 함수나 연결 공간 등의 다른 위상적 성질을 논의하는 데 기초가 된다.

위상수학에서 집합 S의 경계(boundary)는 S의 폐포에서 S의 내부를 뺀 집합으로 정의된다. 이를 기호로는 보통 ∂S, bd(S), 또는 Fr(S)와 같이 표기한다. 이 정의는 위상 공간의 기본 개념인 열린 집합과 닫힌 집합을 바탕으로 한다.

경계의 정의를 다른 방식으로 표현할 수도 있다. 집합 S의 경계는 S의 폐포와 S의 여집합의 폐포의 교집합과 같다는 성질이 있다. 또한, 집합 S의 경계는 그 여집합의 경계와 정확히 일치한다. 이러한 정의와 성질에 따르면, 어떤 집합의 경계는 항상 닫힌 집합이 된다.

어떤 집합의 경계는 항상 닫힌 집합이다. 이는 경계가 폐포와 내부의 차집합으로 정의되며, 폐포는 항상 닫힌 집합이고 내부는 항상 열린 집합이기 때문이다. 닫힌 집합에서 열린 집합을 뺀 집합은 닫힌 집합의 성질을 이어받아 닫힌 집합이 된다.

집합 S의 경계 ∂S는 그 집합의 여집합의 경계와 같다. 즉, ∂S = ∂(S^c)가 성립한다. 또한, 집합의 경계는 그 집합의 폐포와 여집합의 폐포의 교집합과도 같다. 수식으로 표현하면 ∂S = cl(S) ∩ cl(S^c)이다. 이는 경계의 정의 ∂S = cl(S) \ int(S)와 폐포 및 내부의 성질로부터 유도할 수 있는 중요한 성질이다.

이러한 성질들로 인해 경계는 집합과 그 여집합 사이의 '접점' 또는 '전이 지대'의 역할을 한다고 볼 수 있다. 경계 위의 점은 그 점을 포함하는 모든 열린 집합이 원래 집합과 그 여집합 모두와 교차하게 만드는 성질을 가진다.

실수 직선에서 열린 구간 (0,1)의 경계는 두 끝점 {0, 1}로 이루어진 집합이다. 이는 (0,1)의 폐포가 [0,1]이고, 내부가 다시 (0,1)이기 때문이다. 폐포에서 내부를 제외하면 두 끝점만 남게 된다.

유리수의 집합 Q의 경우, 실수 직선에서의 경계는 전체 실수 집합 R이다. 이는 유리수 집합의 내부와 여집합인 무리수 집합의 내부가 모두 공집합이라는 데서 비롯된다. 따라서 Q의 폐포는 전체 실수 직선 R이 되고, 여기서 내부(공집합)를 빼면 전체 R이 경계가 된다.

위상 공간에서 닫힌 집합의 경계는 그 집합 자체의 일부가 될 수 있다. 예를 들어, 실수 직선에서 닫힌 구간 [0,1]의 내부는 (0,1)이다. 따라서 폐포 [0,1]에서 내부 (0,1)을 빼면 다시 끝점 {0, 1}이 경계가 된다. 이는 열린 구간과 동일한 경계를 가짐을 보여준다.

위상 공간에서 주어진 집합의 경계는 그 집합의 내부, 폐포, 외부와 밀접한 관계를 가진다. 집합 S의 경계 ∂S는 S의 폐포 cl(S)에서 S의 내부 int(S)를 제외한 부분, 즉 ∂S = cl(S) \ int(S)로 정의된다. 이는 경계가 집합의 '가장자리'에 해당하며, 집합 자체의 내부 점도 아니고, 집합의 여집합의 내부 점도 아닌 점들로 이루어짐을 의미한다.

동등하게, 집합 S의 경계는 S의 폐포와 S의 여집합의 폐포의 교집합으로도 표현할 수 있다. 즉, ∂S = cl(S) ∩ cl(X\S)가 성립한다. 이 정의는 경계 점이 S에도, S의 여집합에도 '접촉'하는 점이라는 직관을 잘 반영한다. 또한, 어떤 집합의 경계는 그 집합의 여집합의 경계와 항상 같다는 성질(∂S = ∂(X\S))도 이로부터 쉽게 유도된다.

집합의 내부, 경계, 외부는 서로 소이며, 전체 공간을 분할한다는 점에서도 중요한 관계를 가진다. 임의의 위상 공간 X와 그 부분 집합 S에 대해, X는 S의 내부 int(S), S의 경계 ∂S, 그리고 S의 외부 ext(S)라는 세 집합의 서로소 합집합으로 나뉜다. 여기서 외부 ext(S)는 S의 여집합의 내부, 즉 int(X\S)로 정의된다. 따라서, 모든 점은 주어진 집합에 대해 정확히 내부 점, 경계 점, 외부 점 중 하나의 상태에 놓이게 된다.

이러한 분할 관계는 구체적인 예시를 통해 명확해진다. 실수 직선 R에서 구간 [0,1]을 생각하면, 내부는 (0,1), 경계는 {0, 1}, 외부는 (-∞,0) ∪ (1,∞)가 되어 서로 겹치지 않으며 전체 실수를 이룬다. 이 관계는 위상적 구조를 분석하고 집합을 분류하는 데 기본적인 틀을 제공한다.

위상수학에서 정의된 경계의 개념은 다른 여러 수학 분야에서도 유사하거나 확장된 형태로 등장하며 중요한 역할을 한다. 미분기하학에서는 매끄러운 다양체 위에서 정의된 부분 다양체의 경계를 다룬다. 이는 위상적 경계의 개념에 미분 가능 구조가 더해진 것으로, 다양체의 경계는 그 자체로 하나의 다양체를 이룬다. 측도론에서는 르베그 측도와 관련하여 가측 집합의 경계가 영측도를 가질 때, 즉 경계의 측도가 0일 때 그 집합을 조르당 가측 집합이라 부르기도 한다.

복소해석학에서는 영역의 경계가 중요한데, 특히 단순 연결 영역의 경계는 연속 곡선으로 이루어져 있다. 경로 적분은 종종 영역의 경계를 따라 수행되며, 코시 적분 정리는 경계를 따라의 적분 값이 영역 내부의 함수 성질에 의해 결정됨을 보여준다. 실해석학에서는 실수 집합의 경계와 르베그 측도의 관계가 집합의 가측성을 판단하는 데 활용된다.

대수적 위상수학에서는 사슬 복합체의 개념과 연결되어, 경계 연산자라는 추상적인 연산이 등장한다. 이 연산자는 사슬을 그 경계로 보내는 역할을 하며, 호몰로지 군을 정의하는 핵심 요소가 된다. 이렇게 위상수학의 경계 개념은 수학의 다양한 분야로 확산되며, 각 분야의 특성에 맞게 재정의되고 응용되어 수학적 구조를 이해하는 데 기여한다.

• 위키백과 - 위상수학

• 위키백과 - 열린집합

• 위키백과 - 닫힌집합

• 위키백과 - 폐포 (위상수학)

• 위키백과 - 내부 (위상수학)

• 위키백과 - 여집합

• 위키백과 - 집적점

• 위키백과 - 하우스도르프 공간