초한 귀납법: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Acepectif (토론 | 기여)
Acepectif (토론 | 기여)
11번째 줄:
 
==초한반복==
'''Transfinite recursion''' is a method of constructing or defining something and is closely related to the concept of transfinite induction. As an example, a sequence of sets ''A''<sub>α</sub> is defined for every ordinal α, by specifying three things:
* What ''A''<sub>0</sub> is
* How to determine ''A''<sub>α+1</sub> from ''A''<sub>α</sub> (or possibly from the entire sequence up to ''A''<sub>α</sub>)
* For a limit ordinal λ, how to determine ''A''<sub>λ</sub> from the sequence of ''A''<sub>α</sub> for α < λ
 
'''초한반복'''(transfinite recursion)은 집합들의 열 A<sub>α</sub>를 모든 서수 α에 대해 정의하기 위해 초한귀납법과 유사한 과정을 사용한다. 구체적으로는 다음의 세 단계가 필요하다.
*A<sub>0</sub>를 정의한다.