Fodor's lemma

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

목차
1. 진술

1. 진술 ✎

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

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


이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.
(돌아가기)
(임시 저장) (임시 저장 불러오기)
(↪️) (💎) (🛠️) (추가)
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.