이산 공간

정의
이산 공간(Discrete space)은 위상수학에서 모든 부분집합이 열린 집합(open set)인 위상공간을 말한다. 즉, 각 점 $x$에 대해 ${x}$가 열린 집합이며, 이는 모든 점이 고립(isolated)되어 있음을 의미한다. 이러한 위상은 보통 이산 위상(discrete topology)이라 부른다.

주요 성질

1. 연속성

   • 이산 공간 $X$에서 정의된 함수 $f: X \to Y$ (임의의 위상공간 $Y$에 대한)는 언제나 연속이다. 이는 전치역(preimage)으로서 임의의 열린 집합 $U \subseteq Y$에 대해 $f^{-1}(U)$가 $X$의 부분집합이며, 이산 위상에서는 모든 부분집합이 열린 집합이기 때문이다.

2. 컴팩트성

   • 유한 집합이면 자동으로 컴팩트하지만, 무한 이산 공간은 일반적으로 컴팩트하지 않다. 컴팩트성은 모든 열린 커버가 유한 부분 커버를 가질 때 성립한다.

3. 연결성

   • 이산 공간은 점마다 고립되어 있기 때문에, 비공집합인 경우 연결되지 않는다. 즉, 모든 비공집합 이산 공간은 완전히 분리된(disconnected) 공간이다.

4. 거리공간에서의 구현

   • 집합 $X$에 거리 $d$를 다음과 같이 정의하면 이산 위상을 만든다.
     $$ d(x,y)=\begin{cases} 0 & (x=y)\ 1 & (x eq y) \end{cases} $$ 이 거리에서 생성되는 열린 볼은 ${x}$와 동일하므로 위상이 이산 위상이 된다.

5. 곱공간

   • 두 이산 공간의 곱에 대한 제품 위상(product topology) 역시 이산 위상이 된다. 따라서 임의의 (가능한 무한) 이산 공간들의 직곱도 이산 위상을 가진다.

6. 부분공간

   • 이산 공간의 모든 부분공간도 역시 이산 위상을 갖는다. 이는 부분집합이 열린 집합이므로 바로 성립한다.

예시

• 유한 집합 ${1,2,3}$에 모든 부분집합을 열린 집합으로 지정한 경우.
• 정수 전체 $\mathbb{Z}$에 위의 0‑1 거리$d$를 부여한 경우.
• 임의의 집합 $X$에 전역 위상 $ \tau = \mathcal{P}(X) $ (멱집합) 를 부여한 경우.

관련 용어

• 이산 위상(discrete topology): 모든 부분집합이 열린 위상.
• 연속 함수(continuous map): 위에서 언급한 대로 이산 공간에서 정의된 함수는 모두 연속.
• 표준 위상(standard topology): 실수 $\mathbb{R}$ 등에 일반적으로 쓰이는 위상과 대비되는 개념.

참고문헌

1. Munkres, James R. Topology, 2nd ed., Prentice Hall, 2000. – 이산 위상 및 관련 성질에 대한 상세 설명.
2. Willard, Stephen. General Topology, Addison‑Wesley, 1970. – 위상공간의 기본 정의와 이산 공간 사례.
3. 한국수학회, 위상수학 강의노트, 2021. – 국내 학술 자료 중 이산 공간에 대한 서술을 포함.

이 문서는 기존 위키백과 및 학술 서적에 기초하여 객관적·중립적으로 작성되었으며, 현재 알려진 정보에 기반한다.