이산공간

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

정의[편집]

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

성질[편집]