포도르의 정리

최근 수정 시각 : 2024-10-17 20:50:18 | 조회수 : 28

Fodor's lemma

집합론의 정리 중 하나로, 정상집합과 퇴행함수간의 관계를 다루는 명제이다.

목차

1. 진술

1. 진술

κ\kappa가 정칙 극한기수이고 AκA\subset \kappa가 주어졌을 때, AA 위의 함수 ff가 퇴행적이라는 것은 임의의 αA\alpha\in A에 대해 f(α)<αf(\alpha)<\alpha인 것이다.

SκS\subset \kappaκ\kappa의 정상 부분집합이라 하자. 만약 ffSS 위에서 정의되는 퇴행함수이면 SS의 정상 부분집합 TT가 존재해 TT 위에서 ff가 상수함수이다.

이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.