누적 위계

틀:위키데이터 속성 추적 집합론에서 누적 위계(累積位階, 틀:Llang)는 주어진 연산을 초한 점화식을 사용하여 초한 번 반복하여 구성되는 모임이다.

정의

$Q$가 집합을 집합에 대응시키는 연산이라고 하자. 또한, 추이적 집합 $X$가 주어졌다고 하자. 그렇다면, 초한 귀납법을 사용하여, 임의의 순서수 $\alpha \in \mathrm{Ord}$에 대하여 다음과 같은 집합들을 정의할 수 있다.

$Q^{\alpha }(X)=\{\begin{array}{cc}X\cup \bigcup _{\beta <\alpha }{X}_{\beta }& \nexists \beta :\alpha =\beta +1\\ Q(Q^{\beta }(X))& \alpha =\beta +1\end{array}(\alpha \in \mathrm{Ord})$

또한, 다음과 같은 모임을 정의할 수 있다.

$Q^{\mathrm{Ord}}(X)=\bigcup _{\alpha \in \mathrm{Ord}}(X)$

여기서 $\mathrm{Ord}$는 모든 순서수의 모임이다. 이러한 구성을 누적 위계라고 하며, 임의의 대상 $x\in Q^{\mathrm{Ord}}(X)$에 대하여,

$\min \{\alpha :x\in Q^{\alpha }\}$

를 $x$의 $Q^{\mathrm{Ord}}(X)$에서의 계수(틀:Llang)라고 한다. (만약 $Q$가 주어지지 않았다면, 이는 흔히 폰 노이만 위계에서의 계수를 뜻한다.)

성질

$Q$가 집합을 집합으로 대응시키므로, 임의의 순서수 $\alpha$에 대하여 $Q^{\alpha }(X)$는 항상 집합이다.

그러나 $Q^{\mathrm{Ord}}(X)$는 집합이 아니라 고유 모임일 수 있다. 이는 칸토어 역설의 일종이다.

예

자명한 경우

어떤 집합 $A$에 대하여, $Q$가 상수 함수 $X\mapsto A$일 때, $Q$에 대한 위계는

$Q^{\mathrm{Ord}}=A$가 된다.

$Q$가 항등 함수 $X\mapsto X$일 때, $Q$에 대한, $X$로부터 시작하는 위계는

$Q^{\mathrm{Ord}}(X)=X$

이다. 보다 일반적으로, 어떤 순서수 ${\alpha }_0$가 다음 성질을 갖는다고 하자.

• 임의의 $\alpha \ge {\alpha }_0$에 대하여 $Q$는 $X_{\alpha }$에 대하여 항등 함수이다.

그렇다면

$Q^{\mathrm{Ord}}(X)=Q^{\alpha }(X)$

이다.

폰 노이만 전체

$Q=𝒫$ (멱집합 연산)일 때, $Q^{\alpha }(\varnothing )$는 $V_{\alpha }$로 표기하며, $V=Q^{\mathrm{Ord}}(\varnothing )$를 폰 노이만 전체(von Neumann全體, 틀:Llang)라고 한다.

체르멜로-프렝켈 집합론에서는 정칙성 공리로 인하여 $V$는 모든 집합의 모임과 같으며, 집합 $S$의 계수 $\mathrm{rank}S$는 다음과 같은 순서수이다.

$\mathrm{rank}S=\min \{\alpha \in \mathrm{Ord}:S\subset V_{\alpha }\}$

즉, $S$가 부분 집합으로 등장하는 최초의 단계이다.

$V$는 (모든 집합을 포함하므로) 체르멜로-프렝켈 집합론의 표준 모형이다. 최소 무한 순서수를 $\omega$로 쓰면, $V_{\omega }$는 계승적 유한 집합들의 집합이 되며, 이는 무한 공리를 가정하지 않는 집합론의 모형을 이룬다. $\kappa$가 도달 불가능한 기수일 경우 $V_{\kappa }$는 선택 공리를 추가한 체르멜로-프렝켈 집합론의 모형이며, $V_{\kappa +1}$은 모스-켈리 집합론의 모형이다. 이러한 꼴의 $V_{\kappa }$를 그로텐디크 전체라고 한다.

구성 가능 전체

틀:본문 $Q={\mathrm{Def}}_{A_1,\dots ,A_n}$ (정의 가능 멱집합 연산)일 때, $Q^{\alpha }(X)$는 $L_{\alpha }[A_1,\dots ,A_n](X)$로 표기하며, $L(X)=Q^{\mathrm{Ord}}(X)$를 $X$-구성 가능 집합(틀:Llang)이라고 한다. 흔히 $X=\varnothing$일 경우 $L[A_1,A_2,\dots ,A_n](\varnothing )=L$로 표기하며, $n=0$일 경우 흔히 $L(X)$로 표기한다.

이름

틀:본문 임의의 집합 $X$가 주어졌다고 하자. 그렇다면, 연산

$Q:S\mapsto 𝒫(S\times X)$

에 대한 누적 위계를 $X$-이름 위계(틀:Llang)라고 하며,틀:Rp ${\mathrm{Name}}_{X,\alpha }$로 표기한다. 이 개념은 강제법에 핵심적으로 사용된다.

역사

1889년에 주세페 페아노는 참 또는 모든 대상들의 모임을 틀:Llang(참)의 머리글자 V로 나타내었다.틀:Rp (페아노는 명제와 이로부터 정의되는 모임을 구별하지 않았다.)

이후 1928년에 존 폰 노이만이 초한 귀납법을 도입하였으나, 폰 노이만은 구성 가능 전체를 도입하지 않았다.틀:Rp 곧 에른스트 체르멜로가 1930년에 이를 사용하여 폰 노이만 전체 $V$를 최초로 도입하였다.틀:Rp틀:Rp

각주

• 틀:저널 인용
• 틀:저널 인용

외부 링크

• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용