누적 위계: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
15번째 줄:
== 성질 ==
<math>Q</math>가 집합을 집합으로 대응시키므로, 임의의 [[순서수]] <math>\alpha</math>에 대하여 <math>
그러나 <math>
== 예 ==
=== 자명한 경우 ===
어떤 집합 <math>A</math>에 대하여, <math>Q</math>가 [[상수 함수]] <math>X\mapsto A</math>일 때, <math>Q</math>에 대한 위계는
:<math>Q^{\operatorname{Ord}=A</math>가 된다.
<math>Q</math>가 [[항등 함수]] <math>X\mapsto X</math>일 때, <math>Q</math>에 대한, <math>X</math>로부터 시작하는 위계는
:<math>Q^{\operatorname{Ord}(X)=X</math>
이다. 보다 일반적으로, 어떤 순서수 <math>\alpha_0</math>가 다음 성질을 갖는다고 하자.
* 임의의 <math>\alpha\ge\alpha_0</math>에 대하여 <math>Q</math>는 <math>X_\alpha</math>에 대하여 [[항등 함수]]이다.
그렇다면
:<math>Q^{\operatorname{Ord}(X)=Q^\alpha(X)</math>
이다.
=== 폰 노이만 전체 ===
<math>Q=\mathcal P</math> ([[멱집합]] 연산)일 때, <math>Q^\alpha(\varnothing)</math>는 <math>V_\alpha</math>로 표기하며, <math>V=Q^{\operatorname{Ord}}(\varnothing)</math>를 '''폰 노이만 전체'''(von Neumann全體, {{llang|en|von Neumann universe}})라고 한다.
| |||