정의
집합론에서 임계점(critical point)이란, 원래 집합 V(전 universe)에서 다른 모델 M으로 가는 초등 임베딩 $j:V\to M$ 에 대해, $j$ 가 처음으로 이동시키는 최소의 순서수(ordinal)를 말한다. 즉,
$$
\kappa = \min{\alpha \mid j(\alpha)
eq\alpha}
$$
이며, 이 $\kappa$를 $j$의 임계점이라 부른다.
개요
임계점은 대수적(large) 기수 이론에서 중심적인 역할을 한다. 초등 임베딩은 보통 강한 대수적 기수(예: 측정 가능 기수, 초대수적 기수)와 연관되며, 이러한 임베딩이 존재할 경우 그 임계점은 반드시 불가산이며 강한 정합성 가정을 만족한다. 임계점은 또한 코흐라-쿠네(Koenig) 정리와 쿤(Kunen) 불가능성 정리와 같은 중요한 결과들의 증명에 이용된다.
어원/유래
‘임계점’이라는 용어는 영어 “critical point”를 직역한 것이다. 집합론에서 “critical point”는 함수가 처음으로 변화를 일으키는 지점을 의미하는 일반적인 수학적 용어에서 차용되었으며, 20세기 후반에 대수적 기수 연구가 활발해지면서 한국어 번역으로 정착하였다.
특징
- 불가산성: 임계점 $\kappa$는 항상 $\omega$보다 큰 불가산 순서수이다.
- 정규성: $\kappa$는 정규 기수이며, 특히 $\kappa$는 $\kappa$ 자체보다 작은 모든 순서수들의 합으로 표현될 수 있다.
- 측정 가능성: $j$가 측정 가능 기수에 대한 초등 임베딩이라면, 그 임계점 $\kappa$는 측정 가능 기수이다.
- 고정점 성질: 모든 $\alpha<\kappa$에 대해 $j(\alpha)=\alpha$이며, $\kappa$ 이상에서는 $j$가 비트라비얼하게 작용한다.
- 대수적 기수와의 연관성: 임계점이 존재한다는 가정은 종종 “$\kappa$가 $X$ 기수이다”라는 대수적 기수의 존재를 의미한다. 예를 들어, 초대수적 기수(huge cardinal)의 경우, 그 임계점은 초대수적 임베딩의 최소 이동점이다.
관련 항목
- 초등 임베딩(Elementary embedding)
- 대수적 기수(Large cardinal)
- 측정 가능 기수(Measurable cardinal)
- 초대수적 기수(Huge cardinal)
- 쿤(Kunen) 불가능성 정리(Kunen inconsistency)
- 코흐라-쿠네 정리(Kőnig’s theorem)
- 정규 기수(Regular cardinal)
※ 본 항목은 집합론 내에서 널리 인정받는 개념이며, 주요 수학 교재와 논문에서 동일한 정의와 성질이 기술되고 있다.