В математике есть сито, просеивающее не пыль, а саму бесконечность. Его называют Q-пространством: любое множество здесь оказывается Gδ-множеством — счётным пересечением открытых, словно просеяно сквозь невиданно частую сетку. Гораздо загадочней вопрос: может ли такое сито быть «полновесным» — насыщенным (без изолированных точек) и обладающим свойством Бэра (плотным в категорийном смысле)? Ответ, как выяснили Иванйош и Секей, запрятан в основаниях математики и требует существования гигантского измеримого кардинала.

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

Главный кристально ясный итог: существование измеримого кардинала в точности равносильно возможности построить несколько экзотических пространств. Если кардинал есть — возникают насыщенное беровское Δ-пространство, его Q-аналог, а также Δ- и Q-пространства с мерой, обнуляющей точки. Нет кардинала — все эти объекты исчезают. Попутно доказали ограничение для линделёфовых Q-пространств (тех, что покрываются счётным числом открытых): мощность X строго меньше конфинальности континуума: $$|X| < \operatorname{cf}(\mathfrak{c})$$ Эта формула вытекает из кардинальных неравенств теории информации: число открытых множеств o(X) не больше c, а ещё o(X) ≤ |C(X)| ≤ o(X)^ω, где C(X) — множество непрерывных функций. Отсюда c^|X| ≤ c, и по лемме Кёнига |X| обязан быть малым. В бытовом смысле: для «больших» линделёфовых, локально компактных или компактных Q-пространств места в обычной математике не остаётся — они должны либо иметь вес больше континуума, либо вовсе не существовать без сверхъестественных аксиом.

Работа наводит мост между топологией и большими кардиналами, напоминая, что даже абстрактные разделы математики нередко завязаны на вопросы неполноты. Как граф возможных математических вселенных зависит от допущения измеримого кардинала, так и целые классы пространств то появляются, то исчезают. Теперь оптимизация структуры пространства напрямую связывается с выбором аксиом. Открытым остаётся соблазнительный вопрос: можно ли построить линделёфово Q-пространство с весом больше континуума без призыва гигантских кардиналов? Ответ повлияет на знаменитую проблему Мура об L-пространствах. А пока вероятностная логика больших кардиналов всё глубже просеивает бесконечность сквозь сито топологии.