초한 귀납법

초한귀납법(transfinite induction)은 수학적 귀납법을 서수나 기수들의 집합을 비롯해 커다란 정렬순서집합에 적용시킬 수 있도록 확장한 것이다.

초한귀납법

초한귀납법은 특정한 성질 P가 모든 서수에 대해 성립함을 증명하기 위한 방법이다. 증명은 대체로 다음의 세 단계로 이루어진다:

• P(0)이 성립함을 증명한다.
• 임의의 따름서수 β+1에 대해, P(β)를 가정하고 P(β+1)을 증명한다. (필요할 경우 β보다 작은 모든 γ에 대해 P(γ)가 성립한다는 것도 가정해도 된다.)
• 임의의 극한서수 λ에 대해, λ보다 작은 모든 γ에 대해 P(γ)가 성립한다는 것을 가정하고 P(λ)를 증명한다.

즉, 위의 세 가지 성질이 성립할 경우 P(α)는 모든 서수 α에 대해 참이다. 여기서 수학적 귀납법과의 유일한 차이는, 서수는 계속 1을 더해가는 방법으로는 전부 만들어낼 수 없기에 극한서수의 경우를 따로 고려해준다는 것 뿐이다. 위의 내용을 잘 보면 알 수 있듯이 따름서수의 경우와 극한서수의 경우에서 증명할 내용은 사실상 동일하다.