이산 공간

위키백과, 우리 모두의 백과사전.
(이산공간에서 넘어옴)
이동: 둘러보기, 검색

일반위상수학에서, 이산 공간(離散空間, 영어: discrete space)은 모든 부분집합이 열린 집합위상 공간이다. 대략, 고립돼 있는 점들로 이루어진 공간으로 생각할 수 있다.

정의[편집]

집합 X 위의 이산 위상(離散位相, 영어: discrete topology)은 그 멱집합이다. 즉, X의 임의의 부분집합열린 집합으로 간주하는 위상이다. 이산 위상이 갖추어진 집합을 이산 공간이라고 한다.

이산 거리[편집]

집합 X 위에는 또한 다음과 같은 표준적 거리 함수를 줄 수 있다.

d(x,y)=\begin{cases}0&x=y\\1&x\ne y\end{cases}

이 거리 함수를 이산 거리 함수(영어: discrete metric)라 하고, 이산 거리 함수를 부여한 거리 공간이산 거리 공간(영어: discrete metric space)이라고 한다. 이산 거리에 대한 거리 위상은 이산 위상과 같으며, 따라서 이산 공간이 거리화 가능 공간임을 알 수 있다. 이산 거리 공간은 또한 초거리 공간을 이룬다.

성질[편집]

이산 공간에서는 모든 부분 집합이 열리고 닫힌 집합이다.

모든 이산 공간은 다음 성질들을 만족시킨다.

이산 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

이산 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

두 이산 공간 X, Y에 대하여, 다음 두 조건이 서로 동치이다.

바깥 고리[편집]