Монотонность функции числа ультрафильтра

Основная информация

• ID статьи: 2501.14988
• Название: Monotonicity of the ultrafilter number function
• Автор: Toshimichi Usuba (Университет Васэда)
• Классификация: math.LO (математическая логика)
• Дата публикации: январь 2025 г. (препринт arXiv v4, обновлено 20 ноября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2501.14988

Аннотация

В данной работе исследуется вопрос о монотонности функции числа ультрафильтра $\kappa \mapsto u(\kappa)$ на кардиналах, то есть верно ли, что для всех кардиналов $\lambda < \kappa$ выполняется $u(\lambda) \leq u(\kappa)$. Автор доказывает, что нарушение монотонности возможно, однако такое нарушение имеет большую кардинальную силу. С другой стороны, в работе доказано, что нарушение монотонности подвергается многочисленным ограничениям. Например, если $\kappa$ — сингулярный кардинал со счётной конфинальностью или сильный предел сингулярного кардинала, то $u(\kappa) \leq u(\kappa^+)$.

Исследовательский контекст и мотивация

Основная проблема

Для кардинала $\kappa$ число ультрафильтра $u(\kappa)$ определяется как минимальная мощность базиса равномерного ультрафильтра на $\kappa$. Центральный вопрос данной работы: является ли функция числа ультрафильтра $\kappa \mapsto u(\kappa)$ монотонной?

Значимость проблемы

1. Естественное расширение исследований кардинальных инвариантов: традиционные исследования сосредоточены на сравнении числа ультрафильтра с другими кардинальными инвариантами в отдельных кардиналах (например, соотношение $u(\kappa)$ и $2^\kappa$). Данная работа открывает новую перспективу, изучая поведение функции.
2. Контраст с GCH: при обобщённой гипотезе континуума (GCH) имеем $u(\kappa) = 2^\kappa = \kappa^+$, поэтому функция числа ультрафильтра строго возрастает. Вопрос о сохранении монотонности в среде без GCH является естественным.
3. Связь с теоретико-множественной топологией: Hart и van Mill поставили аналогичный вопрос в контексте теоретико-множественной топологии (вопрос 63 в 12).

Ограничения существующих методов

• Для некоторых кардинальных инвариантов (например, числа доминирования $d(\kappa)$) нарушение монотонности легко конструируется, но эти методы неприменимы к числу ультрафильтра.
• Raghavan и Shelah доказали непротиворечивость $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$, но не рассматривали вопрос монотонности.
• Для числа ультрафильтра на кардиналах-преемниках известно мало результатов.

Исследовательская мотивация

Данная работа направлена на систематическое исследование монотонности функции числа ультрафильтра, выявление непротиворечивости нарушения монотонности, её большой кардинальной силы и ограничений в ZFC.

Основные вклады

Основные вклады работы включают:

1. Результаты о непротиворечивости нарушения монотонности (теорема 1.2):
   • При надлежащих предположениях о больших кардиналах существуют кардиналы $\kappa, \lambda$ такие, что $\lambda < \kappa$, но $u(\kappa) < u(\lambda)$
   • В частности, непротиворечиво $u(\omega_{\omega+1}) < u(\omega_1)$
   • Непротиворечиво существование сингулярного кардинала $\kappa$ такого, что $u(\kappa^+) < u(\kappa)$
2. Ограничения монотонности в ZFC (теорема 1.3):
   • $u(\omega) \leq u(\kappa)$ для всех кардиналов $\kappa$
   • Если $\lambda$ регулярен и $u(\kappa) < u(\lambda)$, то $\lambda^{+\omega} \leq \kappa$
   • Если $\kappa$ — сингулярный кардинал со счётной конфинальностью или сильный предел, то $u(\kappa) \leq u(\kappa^+)$
   • Если $u(\kappa^+) < u(\kappa)$, то множество $\{\lambda < \kappa \mid \lambda \text{ регулярен}, u(\lambda) > u(\kappa^+)\}$ ограничено в $\kappa$
3. Новые результаты о неразложимых ультрафильтрах (теорема 1.4):
   • Если $\kappa$ сингулярен, $U$ — ультрафильтр, который одновременно $\kappa^+$-разложим и $\text{cf}(\kappa)$-разложим, то $U$ также $\kappa$-разложим
   • Улучшены результаты Kunen-Prikry и Lipparini
4. Результаты о непротиворечивости (теоремы 1.5, 1.6):
   • "Существует $\lambda < \kappa$ такой, что $u(\kappa) < u(\lambda)$" равнонепротиворечиво "существованию измеримого кардинала"
   • Если существует $\lambda \leq \kappa$ такой, что $u(\kappa^+) < u(\lambda)$, то существует внутренняя модель с истинным классом сильных кардиналов

Подробное описание методов

Основная техническая база

Методология работы основана на трёх технических опорах:

1. Теория неразложимых ультрафильтров

Определение: ультрафильтр $U$ называется $\lambda$-разложимым, если существует функция $f: S \to \lambda$ такая, что для всех $X \in [\lambda]^{<\lambda}$ имеем $f^{-1}(X) \notin U$.

Ключевая связь (лемма 5.1 и следствие 5.2):

• Если $\lambda < \kappa$ и $U$ — $\lambda$-разложимый ультрафильтр, то $u(\lambda) \leq \chi(U)$
• Если $u(\kappa) < u(\lambda)$, то каждый равномерный ультрафильтр на $\kappa$ с характером $u(\kappa)$ является $\lambda$-неразложимым

Это устанавливает прямую связь между нарушением монотонности и существованием неразложимых ультрафильтров.

2. Обобщение теоремы Raghavan-Shelah

Теорема 3.1 (основная конструктивная теорема): пусть $\kappa, \mu$ — несчётные кардиналы, удовлетворяющие:

• $\text{cf}(\mu) < \kappa < \mu$
• $\nu^\kappa < \mu$ для всех $\nu < \mu$
• $\kappa$ имеет $\text{cf}(\mu)$-неразложимый равномерный ультрафильтр $U$

Если частично упорядоченное множество $P$ имеет $\text{cf}(\mu)$-c.c. и $|P| \leq \mu$, то $P$ форсирует $u(\kappa) \leq \mu$.

Схема доказательства:

1. Для каждого $P$-имени $\dot{B} \subseteq \check{\kappa}$ используется $\text{cf}(\mu)$-неразложимость для нахождения $D \in U$ и $\gamma < \mu$ такого, что $\dot{B} \cap \check{D}$ представимо $\gamma$-nice-именем
2. В генерическом расширении расширяется $U$ до ультрафильтра $V$ и доказывается, что семейство $\mathcal{G}$, порождённое nice-именами, является базисом $V$
3. $|\mathcal{G}| \leq \mu$, следовательно, $u(\kappa) \leq \mu$

3. Применение PCF-теории на сингулярных кардиналах

Теорема 7.3 (ключевая техническая теорема): пусть $\kappa$ сингулярен, $U$ — ультрафильтр. Если $U$ одновременно $\kappa^+$-разложим и $\text{cf}(\kappa)$-разложим, то $U$ также $\kappa$-разложим.

Ядро доказательства:

1. По теореме Kanamori $U$ является $(\kappa, \kappa^+)$-регулярным
2. По теории масштабов Shelah существует масштаб длины $\kappa^+$: $\langle f_i \mid i < \kappa^+ \rangle$
3. Конструируется функция $h: S \to \kappa$, где для каждого $s$ выбирается $h(s)$ больше всех $f_i(\xi_s)$ ($i \in x_s$)
4. Доказывается, что $h$ свидетельствует о $\kappa$-разложимости

Конструкция моделей с нарушением монотонности

Предложение 4.4 (базовая конструкция): пусть $\kappa$ — кардинал, $\mu > \kappa$ — сильный предел сингулярного кардинала, $\omega_1 \leq \text{cf}(\mu) < \kappa$. Пусть $\lambda < \kappa$ удовлетворяет $\text{cf}(\lambda) = \text{cf}(\mu)$. Если $\kappa$ имеет $\text{cf}(\lambda)$-неразложимый равномерный ультрафильтр, то $\text{Add}(\omega, \mu)$ форсирует $u(\kappa) < u(\lambda)$.

Примеры применения:

• Теорема 4.5: если $\kappa$ измеримо, $\mu > \kappa$ — сильный предел сингулярного кардинала и $\text{cf}(\mu) = \omega_1$, то $\text{Add}(\omega, \mu)$ форсирует $u(\kappa) < u(\omega_1)$
• Теорема 4.7: при надлежащих предположениях о больших кардиналах непротиворечиво $u(\omega_{\omega+1}) < u(\omega_1)$

Конструкция модели с $u(\kappa) < u(\omega_\omega)$

Предложение 6.2 (нарушение диагональной рефлексии): пусть $\kappa$ — сингулярный кардинал со счётной конфинальностью, $\lambda < \kappa_0$ регулярен. Если существует последовательность $\langle \kappa_n, S_n \mid n < \omega \rangle$, удовлетворяющая определённым условиям на нерефлектирующие стационарные множества, то на $\kappa$ не существует $\lambda$-неразложимого равномерного ультрафильтра.

Предложение 6.8 (конструкция форсирования): в GCH существует частично упорядоченное множество $P$ (обратный предел конструкции), добавляющее последовательность, удовлетворяющую условиям предложения 6.2.

Теорема 6.11: если на $\omega_\omega$ не существует $\omega_1$-неразложимого равномерного ультрафильтра, $\kappa$ измеримо, $\mu > \kappa$ — сильный предел сингулярного кардинала и $\text{cf}(\mu) = \omega_1$, то $\text{Add}(\omega, \mu)$ форсирует $u(\kappa) < u(\omega_\omega)$.

Экспериментальная установка

Данная работа представляет собой чистое математическое теоретическое исследование и не включает экспериментов или наборов данных. Все результаты установлены посредством строгих математических доказательств.

Основные результаты

Непротиворечивость нарушения монотонности

Полное утверждение теоремы 1.2: при надлежащих предположениях о больших кардиналах следующие утверждения непротиворечивы:

1. Существуют $\kappa, \lambda$ такие, что $\lambda < \kappa$, но $u(\kappa) < u(\lambda)$
2. $u(\omega_{\omega+1}) < u(\omega_1)$
3. Существует сингулярный кардинал $\kappa$ с конфинальностью $\omega_1$ такой, что $u(\kappa^+) < u(\kappa)$
4. Существует регулярный кардинал $\kappa$ такой, что $u(\kappa^+) < u(\omega_1)$
5. Существует кардинал $\kappa > \omega_\omega$ такой, что $u(\kappa) < u(\omega_\omega)$
6. Существует кардинал $\kappa$ такой, что $u(\kappa^{+\omega_1}) < u(\omega_\omega)$

Ограничения монотонности в ZFC

Полное утверждение теоремы 1.3:

1. Предложение 5.3: $u(\omega) \leq u(\kappa)$ для всех кардиналов $\kappa$
   • Доказательство: если нет, то $\kappa$ имеет $\omega$-неразложимый ультрафильтр, то есть $\sigma$-полный ультрафильтр, следовательно, существует измеримый кардинал $\lambda \leq \kappa$, но $u(\omega) \leq 2^\omega < \lambda \leq u(\kappa)$, противоречие.
2. Предложение 5.4: если $\lambda$ регулярен, $\lambda < \kappa$, но $u(\kappa) < u(\lambda)$, то $\lambda^{+\omega} \leq \kappa$
   • Доказательство: по предложению 5.4(1) имеем $u(\lambda) \leq u(\lambda^+) \leq u(\lambda^{++}) \leq \cdots$
3. Следствие 7.5: если $\kappa$ — сингулярный кардинал со счётной конфинальностью, то $u(\kappa) \leq u(\kappa^+)$
   • Доказательство: используется теорема 7.3; если $u(\kappa^+) < u(\kappa)$, то существует ультрафильтр, который не является $\sigma$-полным, но является $\kappa$-неразложимым, противоречие.
4. Теорема 7.9: если $\kappa$ — сильный предел сингулярного кардинала, то $u(\kappa) \leq u(\kappa^+)$
   • Доказательство: используется предложение 7.8; если $u(\kappa^+) < u(\kappa)$, то $2^\kappa = \kappa^+$, но $u(\kappa) \leq 2^\kappa$, противоречие.
5. Теорема 7.15: если $\kappa$ сингулярен и $u(\kappa^+) < u(\kappa)$, то существует $\lambda < \kappa$ такой, что для всех регулярных $\mu \in (\lambda, \kappa)$ имеем $u(\mu) \leq u(\kappa^+)$
   • Доказательство: используется предложение 7.12; ультрафильтр на $\kappa^+$ с характером $u(\kappa^+)$ почти $<\kappa$-разложим.

Непротиворечивость и сила

Теорема 8.4 (равнонепротиворечивость): следующие теории равнонепротиворечивы:

1. ZFC + "существует измеримый кардинал"
2. ZFC + "существуют $\lambda < \kappa$ такие, что $u(\kappa) < u(\lambda)$"
3. ZFC + "существуют слабо недостижимый кардинал $\kappa$ и $\lambda < \kappa$ такие, что $u(\kappa) < u(\lambda)$"
4. ZFC + "существуют сингулярный кардинал $\kappa$ и $\lambda < \kappa$ такие, что $u(\kappa) < u(\lambda)$"
5. ZFC + "существуют $\lambda < \kappa$ такие, что $\kappa$ имеет $\lambda$-неразложимый равномерный ультрафильтр"

Теорема 8.16 (нижняя граница): если существуют $\lambda \leq \kappa$ такие, что $u(\kappa^+) < u(\lambda)$, то существует внутренняя модель с истинным классом сильных кардиналов.

Схема доказательства:

• По следствию 8.13 оба $\square(\kappa)$ и $\square(\kappa^+)$ нарушаются
• По теореме Schimmerling 8.8 существует внутренняя модель с истинным классом сильных кардиналов

Связь с принципом квадрата

Следствие 8.13:

1. Если $\kappa$ регулярен и существуют $\lambda < \kappa$ такие, что $u(\kappa) < u(\lambda)$, то $\square(\kappa)$ нарушается
2. Если существуют $\lambda \leq \kappa$ такие, что $u(\kappa^+) < u(\lambda)$, то $\square_\kappa$ нарушается

Предложение 8.14: если $\kappa$ регулярен и существуют $\lambda \leq \kappa$ такие, что $u(\kappa^+) < u(\lambda)$, то оба $\square(\kappa)$ и $\square(\kappa^+)$ нарушаются.

Связанные работы

Классические исследования числа ультрафильтра

1. Brendle и Shelah 5: доказано $u(\kappa) \geq \kappa^+$ и $\text{cf}(u(\kappa)) > \omega$
2. Garti и Shelah 8: исследование числа ультрафильтра на сингулярных кардиналах
3. Raghavan и Shelah 21: доказана непротиворечивость $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$ при предположениях о больших кардиналах

Неразложимые ультрафильтры

1. Prikry и Silver 20: существование $\kappa$-неразложимых равномерных ультрафильтров влечёт рефлексию стационарных множеств, имеет большую кардинальную силу
2. Kunen и Prikry 17: исследование нисходящих неполных ультрафильтров
3. Lipparini 19: характеризация почти $<\kappa$-разложимых ультрафильтров
4. Ben-David и Magidor 2: конструкция неразложимых ультрафильтров на $\omega_{\omega+1}$ в GCH

Принцип квадрата и большие кардиналы

1. Schimmerling 22: нарушение принципа квадрата влечёт внутреннюю модель с сильными кардиналами
2. Lambie-Hanson и Rinot 18, Inamdar и Rinot 14: связь неразложимых ультрафильтров и рефлексии стационарных множеств

PCF-теория

1. Shelah 23: основы PCF-теории, существование масштабов
2. Kanamori 15: слабо нормальные ультрафильтры и результаты о регулярности

Инновации данной работы

• Первое систематическое исследование монотонности функции числа ультрафильтра
• Установление прямой связи между нарушением монотонности и неразложимыми ультрафильтрами
• Улучшение результатов Kunen-Prikry и Lipparini о разложимости
• Определение точной непротиворечивости нарушения монотонности

Заключение и обсуждение

Основные выводы

1. Монотонность может нарушаться: при надлежащих предположениях о больших кардиналах функция числа ультрафильтра может быть немонотонной, даже возможно $u(\omega_{\omega+1}) < u(\omega_1)$
2. Нарушение имеет большую кардинальную силу: нарушение монотонности равнонепротиворечиво существованию измеримого кардинала; если $u(\kappa^+) < u(\lambda)$ для некоторых $\lambda \leq \kappa$, то существует внутренняя модель с истинным классом сильных кардиналов
3. Ограничения в ZFC повсеместны:
   • $u(\omega)$ всегда минимально
   • Монотонность всегда выполняется на регулярных кардиналах
   • Монотонность выполняется на сингулярных кардиналах со счётной конфинальностью или сильных пределах
   • При нарушении монотонности между точками нарушения должно быть достаточное расстояние
4. Неразложимость — ключевой фактор: нарушение монотонности равносильно существованию неразложимых ультрафильтров, это центральное понимание работы

Ограничения

1. Необходимость предположений о больших кардиналах: хотя доказано, что нарушение монотонности требует больших кардиналов, конструкция моделей с нарушением также требует предположений о больших кардиналах. Точная сила этих предположений (особенно для $u(\omega_{\omega+1}) < u(\omega_1)$) остаётся неясной
2. Некоторые случаи не решены:
   • Существуют ли $\lambda < \kappa$ такие, что $2^{<\lambda} = \lambda$ и $u(\kappa) < u(\lambda)$?
   • Может ли монотонность нарушаться в трёх или более кардиналах?
3. Технические ограничения:
   • Для случая конфинальности $\omega$ требуется специальная конструкция (предложения 6.2-6.8)
   • Невозможно прямо заменить $\omega_1$ на $\omega$ в некоторых результатах

Направления будущих исследований

Автор предлагает в вопросе 8.17:

1. Точная непротиворечивость: какова точная непротиворечивость утверждения $u(\kappa^+) < u(\lambda)$ (для некоторых $\lambda \leq \kappa$)? В настоящее время известно, что требуется внутренняя модель с истинным классом сильных кардиналов, но верхняя граница может быть слабее.
2. Случай $2^{<\lambda} = \lambda$: непротиворечиво ли существование $\lambda < \kappa$ такого, что $2^{<\lambda} = \lambda$ и $u(\kappa) < u(\lambda)$?
3. Множественные нарушения: существуют ли три кардинала $\kappa_0 < \kappa_1 < \kappa_2$ такие, что:
   • $u(\kappa_2) < u(\kappa_1) < u(\kappa_0)$?
   • $u(\kappa_1) < u(\kappa_2) < u(\kappa_0)$?
   • $u(\kappa_2) < u(\kappa_0) < u(\kappa_1)$?
4. Другие кардинальные инварианты: существуют ли другие функции кардинальных инвариантов $k(\kappa)$, нарушение монотонности которых также имеет большую кардинальную силу?

Глубокая оценка

Достоинства

1. Пионерская работа: первое систематическое исследование поведения функции числа ультрафильтра в целом, открывает новое направление исследований
2. Техническая глубина:
   • Искусное сочетание форсирования, теории больших кардиналов, PCF-теории и теории неразложимых ультрафильтров
   • Теорема 7.3 улучшает классический результат Kunen-Prikry, имеет самостоятельную ценность
   • Конструкция модели с $u(\kappa) < u(\omega_\omega)$ (раздел 6) имеет высокую техническую сложность
3. Полнота результатов:
   • Доказаны как результаты о непротиворечивости, так и ограничения в ZFC
   • Даны как верхние границы (теорема 8.16), так и нижние границы (теорема 8.4)
   • Охватываются регулярные, сингулярные, со счётной конфинальностью и несчётной конфинальностью кардиналы
4. Ясная структура:
   • Логичная организация работы, постепенное развитие от простого к сложному
   • Обобщённая теорема Raghavan-Shelah в разделе 3 обеспечивает единую основу для последующих конструкций
   • Раздел 7 систематически развивает теорию неразложимых ультрафильтров, имеет самостоятельное значение
5. Широкие связи: связывает число ультрафильтра с принципом квадрата, рефлексией стационарных множеств и теорией внутренних моделей

Недостатки

1. Полнота некоторых доказательств:
   • Доказательство леммы 4.2, хотя технически сильное, автор признаёт в замечании 4.3, что если доказать $\text{cf}(u(\kappa)) \neq \text{cf}(\kappa)$ (открытая проблема Garti-Shelah), то эта лемма становится ненужной
   • Некоторые результаты зависят от "надлежащих предположений о больших кардиналах", но точные предположения не уточняются
2. Сложность конструкций:
   • Конструкция в разделе 6 модели с $u(\kappa) < u(\omega_\omega)$ включает сложные обратные пределы форсирования и операции со стационарными множествами, что затрудняет понимание
   • Условие (3) в предложении 6.2 довольно техническое, интуитивное понимание затруднено
3. Много открытых вопросов: хотя достигнут значительный прогресс, вопрос 8.17 показывает, что многие фундаментальные вопросы остаются нерешёнными
4. Ограниченные приложения: как чистое теоретическое исследование, пока не видно приложений в других областях математики

Влияние

1. Теоретический вклад:
   • Предоставляет новую перспективу в исследовании кардинальных инвариантов (поведение функции вместо значений в отдельных точках)
   • Технические результаты, такие как теорема 7.3, будут цитироваться в последующих исследованиях
   • Устанавливает глубокую связь между нарушением монотонности и большими кардиналами
2. Методологическая ценность:
   • Демонстрирует, как синтезировать форсирование, теорию больших кардиналов и PCF-теорию
   • Техника диагональной конструкции в предложении 6.2 может применяться к другим проблемам
3. Направления будущих исследований:
   • Вопрос 8.17 предоставляет чёткие направления исследований
   • Может стимулировать исследование монотонности других функций кардинальных инвариантов
   • Связь с принципом квадрата и теорией внутренних моделей может привести к новым результатам
4. Воспроизводимость: как чистое математическое доказательство, результаты полностью проверяемы, но конкретная реализация некоторых конструкций (особенно раздел 6) требует глубокого фона в теории множеств

Области применения

1. Исследования в теории множеств:
   • Теория кардинальных инвариантов
   • Теория больших кардиналов
   • Теория форсирования
   • PCF-теория
2. Смежные области:
   • Теоретико-множественная топология (приложения ультрафильтров в Stone-Čech компактификации)
   • Теория моделей (конструкция ультрапроизведений)
   • Комбинаторная теория множеств (бесконечная комбинаторика)
3. Педагогическая ценность:
   • Демонстрирует синтез различных техник современной теории множеств
   • Может служить примером для продвинутых курсов по теории множеств

Ключевые ссылки

2 S. Ben-David, M. Magidor. The weak □∗ is really weaker than the full □. J. Symb. Log. 51(4), 1029–1033 (1986).

5 J. Brendle, S. Shelah, Ultrafilters on ω–their ideals and their cardinal characteristics. Trans. Amer. Math. Soc. 351 (1999), no. 7, 2643–2674.

6 H.-D. Donder. Regularity of ultrafilters and the core model. Israel J. Math. 63(1988), no.3, 289–322.

15 A. Kanamori. Weakly normal filters and irregular ultrafilters. Trans. Amer. Math. Soc. 220(1976), 393–399.

17 K. Kunen, K. Prikry, On descendingly incomplete ultrafilters. J. Symbolic Logic 36 (1971), 650–652.

19 P. Lipparini, Decomposable ultrafilters and possible cofinalities. Notre Dame J. Form. Log. 49 (2008), no. 3, 307–312.

20 K. L. Prikry. On descendingly complete ultrafilters. In Cambridge Summer School in Mathematical Logic (1971), Lecture notes in Mathematics, 337, 459–488.

21 D. Raghavan, S. Shelah. A small ultrafilter number at smaller cardinals. Arch. Math. Logic 59(2020), no.3-4, 325–334.

22 E. Schimmerling. Coherent sequences and threads. Adv. Math. 216(2007), no.1, 89–117.

23 S. Shelah. Cardinal arithmetic. Oxford Logic Guides, 29. Oxford University Press, 1994.

Общая оценка: это высококачественная работа по теории множеств, пионерски исследующая вопрос монотонности функции числа ультрафильтра. Работа обладает высокой технической глубиной, полнотой результатов, включая как конструкции непротиворечивости, так и ограничения в ZFC, как верхние, так и нижние границы. Технические результаты, такие как теорема 7.3, имеют самостоятельную ценность. Хотя некоторые конструкции довольно сложны и остаются открытые вопросы, в целом это значительный вклад в теорию кардинальных инвариантов, который окажет долгосрочное влияние на последующие исследования.