집합의 경계와 폐포의 관계

위상공간 \( X \)의 부분집합 \( A \)에 대하여, 집합 \( A \)의 경계 \( \partial A \)는 \( A \)의 폐포와 그 여집합의 폐포에 동시에 속하는 점들의 집합으로 정의된다.  $$ \partial A = \text{Cl}(A) \cap \text{Cl}(X \setminus A) $$

핵심은 간단하다. 집합 \(A\)의 경계는 \(A\) 자체와 바깥 영역이 만나는 지점들의 모임이며, 이를 수학적으로 표현하면 \(A\)의 폐포와 여집합의 폐포의 교집합이 된다.

즉, \(\text{Cl}(A) \cap \text{Cl}(X \setminus A)\)에 속하는 점들은 한편으로는 \(A\)에 매우 가깝고, 동시에 그 여집합에도 매우 가까운 점들이다. 바로 이러한 점들이 경계를 이룬다.

예제로 이해하기

실수직선 \(\mathbb{R}\) 위에서 집합 \( A \)를 열린구간 \( (0, 1) \)로 생각해 보자.

먼저, 이 구간의 폐포는 양 끝점을 포함한 닫힌구간이다.

$$ \text{Cl}(A) = [0, 1] $$

다음으로, \( (0, 1) \)의 여집합은 \((-\infty, 0] \cup [1, \infty)\)이고, 이 집합은 이미 닫혀 있으므로 폐포는 그대로 유지된다.

$$ \text{Cl}(\mathbb{R} \setminus A) = (-\infty, 0] \cup [1, \infty) $$

이제 두 집합의 교집합을 구하면 다음과 같다.

$$ \partial A = [0, 1] \cap ((-\infty, 0] \cup [1, \infty)) $$

$$ \partial A = \{0, 1\} $$

결과적으로 열린구간 \( (0, 1) \)의 경계는 \(\{0, 1\}\)이다. 이 두 점은 구간의 내부에도 속하지 않고, 완전히 외부에만 있는 것도 아니라, 두 영역이 맞닿는 지점에 해당한다.

왜 이 정의가 성립하는가

경계의 정의를 다시 살펴보자. 점 \(x\)가 경계에 속한다는 것은, \(x\)의 모든 근방이 집합 \(A\)와 그 여집합 \(X \setminus A\)를 모두 만난다는 뜻이다.

$$ \partial A = \{ x \in X \mid \forall U \in \mathcal{N}(x),\; U \cap A \neq \emptyset \;\text{and}\; U \cap (X \setminus A) \neq \emptyset \} $$

여기서 \(\mathcal{N}(x)\)는 점 \(x\)의 모든 근방들의 모임이다.

이제 두 방향에서 생각해 보자.

1] \(\partial A \subseteq \text{Cl}(A) \cap \text{Cl}(X \setminus A)\)

경계에 있는 점은 정의상 모든 근방이 \(A\)와 \(X \setminus A\)를 모두 만난다. 따라서 이러한 점은 동시에 \(A\)의 폐포에도 속하고, 여집합의 폐포에도 속한다.

즉, 경계의 모든 점은 자연스럽게 두 폐포의 교집합에 포함된다.

$$ \partial A \subseteq \text{Cl}(A) \cap \text{Cl}(X \setminus A) $$

2] \(\text{Cl}(A) \cap \text{Cl}(X \setminus A) \subseteq \partial A\)

반대로, 어떤 점이 두 폐포 모두에 속한다면, 그 점의 모든 근방은 \(A\)와 여집합을 각각 반드시 만난다.

따라서 그 점은 정의에 의해 경계에 속한다.

$$ \text{Cl}(A) \cap \text{Cl}(X \setminus A) \subseteq \partial A $$

정리

위의 두 포함관계를 합치면 다음이 성립한다.

$$ \partial A = \text{Cl}(A) \cap \text{Cl}(X \setminus A) $$

즉, 집합의 경계는 그 집합과 바깥 영역이 만나는 지점을 정확히 포착하는 개념이며, 이는 폐포를 이용하면 매우 간결하게 표현할 수 있다.

이로써 원하는 결과를 얻는다.