Перейти к навигации Перейти к поиску
В математической теории множеств , матрица Улама представляет собой массив из подмножеств кардинального числа с определенными свойствами. Матрицы Улама были введены Уламом ( 1930 ) в его работе об измеримых кардиналах : их можно использовать, например, для того, чтобы показать, что измеримый кардинал с действительным знаком слабо недоступен . [1]
Определение [ править ]
Предположим, что κ и λ - кардинальные числа, и пусть F - λ-полный фильтр на λ. Матрица Улама - это набор подмножеств A αβ матрицы λ, индексированных α в κ, β в λ таких, что
- Если β не является γ, то A αβ и A αγ не пересекаются.
- Для каждого р объединение множеств A аи в фильтре F .
Ссылки [ править ]
- ^ Jech, Томас (2003), теория множеств , Springer Монография по математике (Third Millennium ред.), Берлин, Нью - Йорк: Springer-Verlag , стр. 131, ISBN 978-3-540-44085-7, Zbl 1007,03002
- Улам, Станислав (1930), "Zur Masstheorie in der allgemeinen Mengenlehre" , Fundamenta Mathematicae , 16 (1): 140–150