Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математической теории множеств , матрица Улама представляет собой массив из подмножеств кардинального числа с определенными свойствами. Матрицы Улама были введены Уламом  ( 1930 ) в его работе об измеримых кардиналах : их можно использовать, например, для того, чтобы показать, что измеримый кардинал с действительным знаком слабо недоступен . [1]

Определение [ править ]

Предположим, что κ и λ - кардинальные числа, и пусть F - λ-полный фильтр на λ. Матрица Улама - это набор подмножеств A αβ матрицы λ, индексированных α в κ, β в λ таких, что

  • Если β не является γ, то A αβ и A αγ не пересекаются.
  • Для каждого р объединение множеств A аи в фильтре F .

Ссылки [ править ]

  1. ^ Jech, Томас (2003), теория множеств , Springer Монография по математике (Third Millennium ред.), Берлин, Нью - Йорк: Springer-Verlag , стр. 131, ISBN 978-3-540-44085-7, Zbl  1007,03002