포도르의 정리

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에 따라 이용할 수 있습니다.

1. 진술 ✎ ⊖

1. 진술 _{✎ ⊖}