거리공간에서의 내부 폐포 경계

거리공간에서의 내부 폐포 경계

정의

거리공간 $\left( X, d \right)$ 에 대해 $A \subset X$ 라고 하자.

설명

굳이 정의할 필요는 없지만, 인테리어와 대비되는 $\overline{A}$ 밖의 집합을 익스테리어Exterior라 부른다.

열린 집합과 위의 개념들을 다르게 정의할 수도 있지만 본질적으로는 같다.

정의야 찬찬히 읽어보면 누구나 이해할 수 있는 것들이고, 그림을 통해 빠르게 이해해보도록 하자.

$$ A $$

20180115\_195929.png

주어진 집합이 위와 같을 때 각 개념들을 생각해보자.

$$ A^{\circ} $$

20180115\_201518.png

인테리어는 $A$ 가 포함하는 $X$ 의 부분 집합 중 가장 큰 열린 집합이다.

$$ \overline{A} $$

20180115\_195823.png

클로져는 $A$ 를 포함하는 $X$ 의 부분 집합 중 가장 작은 닫힌 집합이다.

$$ \partial A $$

20180115\_200050.png

바운더리는 클로져에서 인테리어를 뺀 $X$ 의 부분 집합이라고 볼 수 있다.

인테리어와 클로져는 구분이 별로 어렵지 않지만 바운더리는 언뜻 점선이냐 실선이냐에 따라 헷갈릴 수 있다. 테두리라면 그냥 얄짤없이 바운더리로 생각하면 된다.

한편 이러한 정의를 통해 사실상 아래의 성질들을 열린 집합과 닫힌 집합의 정의로 볼 수 있다.

성질: 열린 집합과 닫힌 집합

$A$ 가 거리 공간 $X$ 의 부분 집합이라고 하자.


물론 위의 성질들은 증명이 가능하지만 그냥 팩트로써 받아들여도 무방하다.

댓글