거리공간에서 폐포, 도집합

거리공간에서 폐포, 도집합

$(X,d)$가 거리공간이라고 하자. $p \in X$이고 $E \subset X$라고 하자.

  • $d(q,p)<r$을 만족하는 모든 $q$들을 포함하는 집합을 점 $p$의 근방neighborhood이라고 정의하고 $N_{r}(p)$라고 표기한다. 이때 $r$을 $N_{r}(p)$의 반경이라고 부른다. 거리를 생략해도 될 경우 $N_{p}$와 같이 표기하기도 한다.

  • $p$의 모든 근방이 $q\ne p$이고 $q\in E$인 $q$를 포함하고 있으면 $p$를 $E$의 집적점limit point이라고 부른다.

  • $E$의 모든 집적점이 $E$에 포함될 경우 $E$가 닫혀있다closed고 한다.

  • $N\subset E$를 만족하는 $p$의 근방 $N$이 존재하면 $p$를 $E$의 내점interior point이라고 부른다.

  • $E$의 모든 점이 $E$의 내점일 경우 $E$가 열려있다open고 한다.

  • $E$의 모든 집적점들의 집합을 $E$의 도집합derived set이라 부르고 $E'$라고 표기한다.

  • $E$와 $E'$의 합집합을 폐포closure라 부르고 $\overline{E}=E\cup E'$라고 표기한다.

정리1

$A,B\subset X$에 대해서 아래의 식이 성립한다.

(1a) $A\subset B \implies A' \subset B'$

(1b) $(A\cup B)'=A'\cup B'$

(1c) $(A \cap B)' \subset A'\cap B'$

증명

(1a)

$A\subset B$라고 가정하자. 그리고 $p\in A'$라고 하자. 그러면 $p$는 $A$의 집적점이므로 집적점의 정의에 의해 아래의 문장이 성립한다. $p$의 모든 근방 $N$은 $q\ne p$이고 $q\in A$인 $q$를 포함한다. 이때 $A\subset B$라고 가정했으므로 위의 문장은 아래의 문장을 의미한다. $p$의 모든 근방 $N$은 $q\ne p$이고 $q\in B$인 $q$를 포함한다. 따라서 집적점의 정의에 의해 $p \in B'$이다.

(1b)

(1c)

$A\cap B \subset A$이고 $A\cap B \subset B$이므로 (1a) 에 의해 다음과 같다.

$$ (A\cap B)' \subset A' \quad \text{and} \quad (A\cap B)' \subset B' $$

따라서

$$ (A\cap B)' \subset A'\cap B' $$

정리2

$A,B \subset X$에 대해서 아래의 식이 성립한다.

(2a) $A\subset B \implies \overline{A} \subset \overline{B}$

(2b) $\overline{A\cup B} = \overline{A}\cup \overline{B}$

(2c) $\overline{A\cap B} \subset \overline{A}\cap \overline{B}$

증명

(2a)

$A \subset B$라고 가정하자. 그러면 (1a) 에 의해 $A' \subset B'$이다. 따라서

$$ \overline{A} = A\cup A' \subset B \cup B' = \overline{B} $$

(2b)

(2c)

$p \in \overline{A\cap B}$라고 하자. 그러면 $p\in A\cap B$이거나 $p\in (A \cap B)'$이다.

정리3

거리공간 $(X,d)$와 $E \subset X$에 대해서 아래의 사실들이 성립한다.

(3a) $\overline{E}$는 닫혀있다.

(3b) $E=\overline{E}$인 것과 동치는 $E$가 닫혀있는 것이다.

(3c) $E\subset F$를 만족하는 닫힌 집합 $F\subset X$에 대해서 $\overline{E} \subset F$가 성립한다.


(3a)(3c) 에 의해서 $\overline{E}$는 $E$를 포함하는 가장 작은 $X$의 닫힌 부분집합이다.

증명

(3a)

$p \in X$이고 $p \notin \overline{E}$라고 하자. 다시 말해 $p \in (\overline{E})^{c}$이다. 그러면 $p$는 $E$의 점도 아니고 $E'$의 점도 아니다. 따라서 집적점의 정의에 의해 $p$는 $N\cap E=\varnothing$인 근방 $N$을 적어도 하나 가진다. 따라서 $N\subset (\overline{E})^{c}$이고 $p$는 $(\overline{E})^{c}$의 임의의 점이었으므로 내점의 정의에 의해 $(\overline{E})^{c}$의 모든 점이 내점이고 이는 $(\overline{E})^{c}$가 열린집합임을 의미한다. $(\overline{E})^{c}$가 열린집합이므로$\overline{E}$는 닫힌 집합이다.1

(3b)

(3c)

$F$를 $E\subset F \subset X$인 닫힌 집합이라고 하자. 그러면 (3b) 에 의해서 $F' \subset \overline{F}=F$이다. 또한 (2a) 에 의해서 $E' \subset F' \subset F$이다. 따라서 다음이 성립한다.

$$ E \subset F \quad \text{and} \quad E'\subset F $$

따라서

$$ E\cup E' =\overline{E} \subset F $$

정리4

$E$를 공집합이 아닌 실수 집합이고 위로 유계라고 하자. 그리고 $y=\sup E$라고 하자. 그러면 $y \in \overline{E}$이다. 또한 $E$가 닫혀있으면 $y \in E$이다.

증명

$y \in \overline{E}$인 것이 성립한다면 그 뒤의 명제는 (3a) 에 의해 자명하므로 $y \in \overline{E}$만 증명하도록 하겠다. 두 경우에 대해 나눠서 증명한다.


  1. 정리2 참고 ↩︎

댓글