한 점 컴팩트화

한 점 컴팩트화

정의 1

위상공간 $(X , \mathscr{T})$ 에 대해 $\infty \notin X$ 이라고 하자. $X_{\infty} := X \cup \left\{ \infty \right\}$ 에 대해 아래의 두 조건을 만족하는 위상 $\mathscr{T}_{\infty}$ 을 정의한 $(X_{\infty } , \mathscr{T}_{\infty} )$ 를 $(X, \mathscr{T})$ 의 한 점 컴팩트화One-Point Compactification이라 한다.

정리

$(X_{\infty } , \mathscr{T}_{\infty} )$ 는 다음의 성질들을 갖는다.

설명

물론 한 점의 기호가 무한대일 뿐 어떤 크기나 상태를 나타내는 것은 아니다.

예를 들어 다음과 같이 개구간 $(0,1)$ 과 그 밖의 점 $\infty$ 를 잡아보자.

20180701\_165224.png

여기서 $(0,1)$ 을 ‘구부려서’ 곡선으로 만든다고 생각해보자.

20180701\_165234.png

주어진 구간은 양 끝점 $0$ 과 $1$ 을 포함하지 않는다. 여기서 접합부를 $\infty$ 로 이어주면 다음과 같은 모양이 된다.

20180701\_165246.png

이러한 폐곡선은 알다시피 컴팩트다.

$X$ 밖의 한 점을 하필 $\infty$ 로 정의하는 이유는 리만 구로 이어지는 논의를 생각해보면 타당하다.


  1. Munkres. (2000). Topology(2nd Edition): p185. ↩︎

댓글