유도 집합

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

일반위상수학에서, 유도 집합 또는 도집합(誘導集合, 導集合, 영어: derived set)은 어떤 집합의 극한점을 모은 집합이다. 집합 S의 유도 집합은 보통 S'로 표기한다.

정의[편집]

위상 공간 의 부분 집합 유도 집합 은 다음과 같다.

즉, 극한점들의 집합이다.

만약 라면, 완전 집합(영어: perfect set)이라고 한다.

성질[편집]

위상 공간 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이다.

  • 닫힌 집합이다.

또한, 다음이 성립한다.

  • 임의의 집합 에 대하여,
  • 임의의 집합 에 대하여,
  • 임의의 집합 에 대하여,

같이 보기[편집]