Tag Archives: Cardinal Number

도달 불가능한 기수

기수 \(\alpha\)가 다음 세 조건을 모두 만족시킬 때 '\(\alpha\)는 도달 불가능하다(inaccessible)'라고 말한다. (a) \(\alpha > \aleph_{0}\), (b) \(\lambda < \alpha\)인 임의의 기수 \(\lambda\)에 대하여 \(2^{\lambda} < \alpha \), (c) \(\alpha\)보다 작은 기수들을 \(\alpha\)보다 적은 개수만큼 합집합하면 \(\alpha\)보다 작다. '도달 불가능하다'라는 용어는 영어의 'inaccessible'을 일본어로 번역하고 그것을 다시 한국어로 번역한 것이다. 마음 같아선 '\(\alpha\)는 닿을 수 없다'라는 표현을 쓰고… Read More »

집합의 기수

유한집합의 크기는 원소의 개수로 나타낼 수 있다. 하지만 무한집합의 크기는 자연수로 나타낼 수 없다. 대신 '원소의 개수'라는 개념을 확장하여 '기수'를 사용할 수 있다. 기수를 정의하는 방법은 '기수 공리'를 이용하는 공리적 방법과 서수로부터 기수를 정의하는 '구성적 방법'이 있다. 여기서는 구성적 방법을 살펴보자. 1. 기수의 정의 먼저 서수를 이용하여 기수를 정의한다. 정의 1.  집합의 기수. \(\alpha\)가 서수이고 \(\alpha\)의 임의의 절단(section)이… Read More »