WikiDer > Набор Серпинского

В математике Набор Серпинского является бесчисленный подмножество реального векторного пространства, пересечение которого с каждым множеством нулевой меры счетно. Существование множеств Серпинского не зависит от аксиом ZFC. Серпинский (1924) показали, что они существуют, если гипотеза континуума правда. С другой стороны, их не существует, если Аксиома мартина для ℵ₁ правда. Множества Серпинского являются слабо лузинскими, но не Лузин наборы (Кунен 2011, п. 376).

Пример набора Серпинского

Выберите коллекцию из 2^ℵ₀ измерить 0 подмножеств р такое, что каждое подмножество меры 0 содержится в одном из них. По гипотезе континуума их можно перечислить как S_α для счетных ординалов α. Для каждого счетного порядкового номера β выберите реальное число Икс_β этого нет ни в одном из наборов S_α за α < β, что возможно, поскольку объединение этих множеств имеет меру 0, поэтому не все р. Тогда бесчисленное множество Икс всех этих реальных чисел Икс_β имеет только счетное количество элементов в каждом наборе S_α, то есть множество Серпинского.

Множество Серпинского может быть добавляемой подгруппой. Для этого модифицируют конструкцию выше, выбирая действительное число Икс_β которого нет ни в одном из счетного числа множеств вида (S_α + Икс)/п за α < β, куда п положительное целое число и Икс представляет собой целую линейную комбинацию чисел Икс_α за α < β. Тогда группа, порожденная этими числами, является множеством Серпинского и добавляемой группой. Более сложные варианты этой конструкции дают примеры множеств Серпинского, которые являются подполями или вещественно-замкнутыми подполями действительных чисел.

Рекомендации

• Кунен, Кеннет (2011), Теория множеств, Исследования по логике, 34, Лондон: публикации колледжа, ISBN 978-1-84890-050-9, МИСТЕР 2905394, Zbl 1262.03001
• Серпинский, В. (1924), "Sur l'hypothèse du continuous (2^ℵ₀ = ℵ₁)", Fundamenta Mathematicae, 5 (1): 177–187