지난 시간에 배운 칸토어의 집합론을 자연수와 정수의 크기 비교에 응용해보자.
자연수와 정수 사이에서 일대일 대응 패턴만 찾으면 된다.
쉽게 말해 홀수 자연수 n에 대해서는 
짝수 자연수 n에 대해서는 
자연수와 정수의 일대일 대응 규칙을 찾았으므로 두 집합의 기수는 같다.
다시 돌이켜 생각해보면 짝수, 홀수, 정수 모두 자연수 집합과 기수가 같다.
예전 수학자들도 이를 발견하고 자연수 집합의 기수를 표준으로 정했는데, 이를 알레프영(aleph zero)이라고 한다.
자연수 집합과 일대일 대응하는 모든 집합의 기수는 알레프영(aleph zero)이다.
aleph zero는 무한집합 기수의 세상에서 자연수 0과 같은 존재이다.
aleph zero는 aleph null 또는 aleph naught라고도 한다. 기호로는
이다.
또 기수가
즉, 셀 수 있다는 말인데 이는 유한하다는 의미가 아니라 1, 2, 3, 
예를 들어 짝수로 번호가 세겨진 공을 센다고 하자.
이때 2, 4, 6, 8,
즉 모두 자연수로 치환하여 1, 2, 3, 4,
따라서 자연수와 기수가 같은 모든 집합은 가산집합(countable set)이다.
가산집합의 기수는
참고 자료
'Mathematics' 카테고리의 다른 글
| 술어논리 - '모든 사람은 때때로 어떤 사람을 좋아한다'와 그 부정 (0) | 2013.04.26 |
|---|---|
| 술어논리 - '모든 사람은 어떤 사람을 좋아한다'와 그 부정 (0) | 2013.04.26 |
| 칸토어의 집합론 - 자연수 vs 실수 (0) | 2013.04.26 |
| 칸토어의 집합론 - 자연수 vs 유리수 (0) | 2013.04.26 |
| 칸토어의 집합론 - 자연수 vs 정수 (1) | 2013.04.26 |
| 칸토어의 집합론 - 자연수 vs 짝수 (1) | 2013.04.25 |
