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

8 바이트 제거됨 ,  6년 전
잔글
편집 요약 없음
잔글
[[집합론]]에서, '''초한귀납법'''(超限歸納法, {{llang|en|transfinite induction}})은 [[수학적 귀납법]]을 [[자연수]]뿐만이 아니라 일반적인 [[정렬순서집합정렬집합]]에 적용할 수 있도록 확장한 것이다. 모든 [[서수]]나 [[기수 (수학)|기수]]에 대한 명제를 증명할 때 사용된다.
 
== 정의 ==
 
==선택공리와의 관계==
초한귀납법(혹은 초한반복)이 [[선택공리]]를 필요로 한다는 오해가 널리 퍼져 있으나, 이는 사실과 다르다. 초한귀납법은 임의의 정렬순서집합에[[정렬집합]]에 대해 적용될 수 있기 때문이다. 그러나 초한귀납법을 사용하기 위해서는 많은 경우 선택공리를 이용해 집합에 정렬순서를 부여할 필요가 있다.
 
{{집합론}}