가산집합
내위키
Countable=count+able, 곧 셀 수 있는 집합을 뜻한다. 대표격이라 할 수 있는 집합은 양 한 마리, 양 두 마리, 양 세 마리... 우리나라에 양이 있기는 하냐? 네? 양곱창이 그 양 아니었나요?
수학적으로 볼 때 '셀 수 있다'는 것은 순서를 매길 수 있다는 뜻이다. 유한할 필요는 없다. 자연수는 무한집합이지만 순서를 매길 수 있다. 그 어떤 어마어마하게 큰 자연수를 골라도 그 수 '번째' 자연수니까. 정수도 마찬가지다.
그럼 유리수는? 아닐 것 같은데? 예를 들어서 0.000000001은 몇 번째 수인데? 1/3, 그러니까 0.3333333...이 끝없이 이어지는 무한소수는? 이걸 순서를 매기는 게 말이 되나?
그러나 유리수는 카운터블 집합이다. 왜? 어떻게?
