가산 집합

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

가산 집합(可算集合, countable set)은 자연수집합으로의 단사 함수가 존재하는 집합을 말한다. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이라 한다. 자연수, 정수, 유리수의 집합은 가산집합이고, 실수의 집합은 비가산집합이다.

어떤 집합이 가산 집합인 경우, 그 집합을 셀 수 있다 혹은 가산 개의 원소가 있다고 정의한다.

일반적으로 가산 집합에는 유한집합이 포함되지만, 유한집합을 제외하고 셀 수 있는 무한집합만을 가리키는 경우도 있다. 앞의 경우는 가산 이하(at most countable)라는 표현을, 뒤의 의미에 대해 가산 무한(countable infinite)이나 가부번집합(可附番集合, denumerable set)이라고 표현한다. 엄밀히는 유한집합(가산 이하)은 자연수 집합으로 단사 함수가 존재하나 원소의 개수가 유한한 집합을 말하며, 가부번집합은 자연수 집합으로 전단사 함수가 존재하는 집합을 말한다.

예제[편집]

성질[편집]

AB가 가산집합이면 A \cup B\,A \times B\,는 가산집합이다.