울람 행렬
Ulam matrix수학 집합 이론에서, 울람 행렬은 특정한 성질을 가진 기수의 하위 집합의 배열이다.울람 행렬은 울람(1930)에 의해 측정 가능한 추기경 연구로 소개되었다. 예를 들어,[1] 실제 측정 가능한 추기경이 약하게 접근할 수 없다는 것을 보여주기 위해 사용될 수 있다.
정의
κ과 λ이 기수라고 가정하고, F를 λ에 대한 λ-완전한 필터가 되게 한다.Ulam 행렬은 다음과 같이 κ에서 α, λ에서 β로 지수화한 하위 집합 A의αβ 집합이다.
- β가 β가 아닌 경우에는 A와αβ A가αγ 분리된다.
- 각 β에 대해 세트 A의αβ 조합은 필터 F에 있다.
참조
- ^ Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (Third Millennium ed.), Berlin, New York: Springer-Verlag, p. 131, ISBN 978-3-540-44085-7, Zbl 1007.03002
- Ulam, Stanisław (1930), "Zur Masstheorie in der allgemeinen Mengenlehre", Fundamenta Mathematicae, 16 (1): 140–150