Сито, требующее гигантской точки опоры ✛ ✎

Сквозь бесконечно частое сито не просыпается ничего лишнего. Так устроено Q-пространство: любое множество здесь получается пересечением счётного числа открытых областей. Но может ли такое сито быть цельным, без изолированных точек-дырок и с гарантией, что пересечение плотных частей снова плотно? Это свойство, в категорийном смысле, называют полнотой Бэра.

Оказывается, цельность сита зависит от существования чудовищно большого числа — измеримого кардинала. Это не просто число, а особая точка, для которой можно определить необычную меру: она приписывает каждому подмножеству либо 0, либо 1, причём делает это нетривиально — мера не «застревает» на отдельных точках. Такой кардинал впервые описал Джон фон Нейман. С помощью форсинга (принудительного расширения математической вселенной) авторы взяли модель с измеримым кардиналом и «вбросили» в неё случайные числа методами стохастической алгебры — как численное моделирование нового вероятностного мира. В получившейся конструкции идеал превращает кардинал в Q-пространство, да ещё и с положительной мерой на открытых множествах, что защищает от топологической «худобы».

Таким образом, оптимальное «всепросеивающее» сито требует допущения измеримого кардинала. Без него этих пространств нет. Это напоминает, как ветви математических возможностей зависят от, казалось бы, далёких аксиом. Даже информационная сложность пространства — сколько открытых множеств нужно для описания — ограничена континуумом, что накладывает жёсткие рамки. А вероятностная логика больших кардиналов всё глубже просеивает бесконечность сквозь сито топологии.