가산 집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
ㅅ |
|||
1번째 줄:
'''가산 집합'''(可算集合, countable set)은 [[자연수]]의 [[집합]]으로의 [[단사 함수]]가 존재하는 집합을 말한다.
즉 집합의 원소들이 가산([[덧셈]]과 [[뺄셈]])이 가능함음을 말한다. <!-- 즉 집합의 원소들이 가산([[덧셈]]과 [[뺄셈]])이 의미가 있음을 말한다. --> 가산집합이 아닌 집합을 '''비가산 집합'''(非可算集合, uncountable set)이라 한다. [[자연수]], [[정수]], [[유리수]]의 집합은 가산집합이고, [[실수]]의 집합은 비가산집합이다. 여기서 비가산 집합은 가산연산이외에 [[곱셈]]등의 연산이 추가적으로 가능함을 의미한다.
가산조차도 불가능한 집합들은 '''불가산 집합'''이다.
어떤 집합이 가산 집합인 경우, 그 집합을 '''셀 수 있다''' 혹은 '''가산 개'''의 원소가 있다고 정의한다.
| |||