초한 귀납법: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Juniuswikiae (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
1번째 줄:
[[집합론]]에서, '''초한귀납법'''(超限歸納法, {{llang|en|transfinite induction}})은 [[수학적 귀납법]]을 [[자연수]]뿐만이 아니라 일반적인 [[정렬순서집합]]에 적용할 수 있도록 확장한
==
▲초한귀납법은 특정한 성질 P(α)가 모든 [[서수]] α에 대해 성립함을 증명하기 위한 방법이다. 초한귀납법은 다음을 증명한다.
* 임의의 [[서수]] α에 대해, α보다 작은 모든 γ에 대해 P(γ)가 성립한다면 P(α)라는 것을 증명한다.
| |||