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

65 바이트 추가됨 ,  7년 전
편집 요약 없음
[[집합론]]에서, '''초한귀납법'''(超限歸納法, {{llang|en|transfinite induction}})은 [[수학적 귀납법]]을 [[자연수]]뿐만이 아니라 일반적인 [[정렬순서집합]]에 적용할 수 있도록 확장한 것으로,것이다. 모든 [[서수]]나 [[기수 (수학)|기수]]들의에 대한 명제를 집합에증명할 주로 사용된다.
 
== 초한귀납법정의 ==
초한귀납법은'''초한귀납법'''은 특정한 성질 P(α)가 모든 [[서수]] α에 대해 성립함을 증명하기 위한 방법이다. 초한귀납법은 다음을 증명한다.
 
초한귀납법은 특정한 성질 P(α)가 모든 [[서수]] α에 대해 성립함을 증명하기 위한 방법이다. 초한귀납법은 다음을 증명한다.
 
* 임의의 [[서수]] α에 대해, α보다 작은 모든 γ에 대해 P(γ)가 성립한다면 P(α)라는 것을 증명한다.