(+)분류 : 가져온 문서/오메가
Fodor's lemma
집합론의 정리 중 하나로, 정상집합과 퇴행함수간의 관계를 다루는 명제이다.
1. 진술 ✎ ⊖
가 정칙 극한기수이고 가 주어졌을 때, 위의 함수 가 퇴행적이라는 것은 임의의 에 대해 인 것이다.
가 의 정상 부분집합이라 하자. 만약 가 위에서 정의되는 퇴행함수이면 의 정상 부분집합 가 존재해 위에서 가 상수함수이다.
가 의 정상 부분집합이라 하자. 만약 가 위에서 정의되는 퇴행함수이면 의 정상 부분집합 가 존재해 위에서 가 상수함수이다.
이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.