안녕하세요. 이번 포스팅은 집합의 Countable 개념에 대해서 설명하려고 합니다. Countable 개념은 집합론(Set theory)의 창시지안 칸토어(Georg Cantor)가 고안해 낸 개념으로, 무한집합들의 크기(?)를 비교하는 것입니다. 우리가 보통 유한집합들은 원소의 갯수가 유한하므로 일일히 세어서 그 갯수 가지고 크기를 가늠할 수 있습니다. 무한집합들도 그 들 사이에 크기가 있어서 더 큰 집합이 있다는 것입니다. 우리가 잘 알고 있는 자연수와 실수만 비교해봐도, 1, 2, 3, ... 이렇게 듬성듬성 되어 있는 이산(discrete)적인 자연수 집합과, 빽빽하게 들어 차 있는 연속(continuous)적인 실수 집합은 확실히 실수 집합이 더 커 보입니다. 가산(Countable)의 정의는..
