Глава 4. Ультрафильтр как role-limit-движок

Где стоит глава

Глава 3 показала: кольцо ростков — не поле, и виной тому одно неразрешённое различение «какое множество велико». Чтобы получить поле (а с ним тотальный порядок и полный перенос Лося), этот вопрос надо закрыть. Закрывает его ультрафильтр.

Флагман: ультрафильтр — это правило «что велико», продавленное до всеведения. Он нужен только для поля; всё исчисление Главы 2 жило на кольце ростков без него. Ультрафильтр — не Element: его нельзя предъявить (существование — фрагмент аксиомы выбора), а по консервативности нестандартного анализа его леса устранимы. Это role-limit-движок: реальная организующая роль, неконструктивная упаковка.

Три шага: ультрафильтр как 2-значная мера (что он есть); no-go и неканоничность (почему role-limit); и что нужен он лишь для поля, а леса устранимы по консервативности.

Ультрафильтр — это 2-значная мера

Фильтр, мера и алгебра — один объект в трёх видах. В стоуновском чтении ультрафильтр на $N$ эквивалентен 2-значной булевой мере на $\mathcal{P}(N)$, конечно-аддитивной на непересекающихся объединениях: каждому множеству $0$ или $1$, само $N$ получает $1$, дополнение уважается ($m\neg S=\neg mS$), мера монотонна¹. Конструктивное ядро — Фреше-премера, и она частична: коконечному множеству даёт $1$, конечному — $0$, но не тотализует все подмножества. Множество вроде $E$ она оставляет открытым (ни $1$, ни $0$) не потому, что членство в нём неразрешимо (чётность вычислима!), а потому что $E$ не конечно и не коконечно².

А 2-значная uf-мера тотализует открытое: она прайм — для всякого $S$ ровно одно из $S,\neg S$ получает меру $1$ (для нетривиального ультрафильтра, продолжающего Фреше, все конечные множества малы)³. Так фильтр (неразрешённость), мера (ультрафильтр) и алгебра (делитель нуля Главы 3) оказываются одним объектом.

Честно: соблазнительный мост «неразрешённое $=$ неизмеримое» ложен — множество чётных имеет плотность $1/2$, оно вполне измеримо вещественной мерой. Role-limit не в «неизмеримости», а в требовании ровно 2-значной меры (выбрать сторону для каждого множества): плотность-$1/2$ — Element-подобна, а 2-значная uf-мера — role-limit.

No-go и неканоничность: почему role-limit

Почему ультрафильтр — role-limit, а не Element-истина? Два машинных факта. No-go: кольцо ростков Фреше не поле — индикатор $E$ ненулев, но необратим (Глава 3)⁴. Локализация и неканоничность: всё препятствие — ровно одно неразрешённое множество Evens. Объяви «Evens велико» (фактор по равенству на чётных) — и $E$ становится единицей (сам себе обратный). Объяви «Odds велико» — тот же $E$ становится нулём. Один элемент, две противоположные судьбы от свободного решения⁵ — канонического значения нет, выбор лежит на role-limit-стороне.

Важная оговорка о границе. Существование свободного ультрафильтра на $N$ — не конструктивный объект: оно следует из фрагментов аксиомы выбора (лемма о булевом простом идеале / ультрафильтр-лемма) и в общем виде в ZF не доказывается. Мы его не «опровергаем» и не ломаем аксиом поля, и «деление на ноль» ничто не «разрешает». Ультрафильтр лишь даёт лицензию объявить бесконечное множество нулевых координат пренебрежимым — после чего делить уже не на что нулевое. Мы предъявляем ровно то препятствие, которое он существует залатать, и доказываем неканоничность латания.

Нужен только для поля; леса устранимы

И вот ключевое: ультрафильтр нужен только чтобы сделать кольцо полем (тотальный порядок, полный перенос Лося). Но всё исчисление Главы 2 — производная, интеграл, тень — жило на кольце ростков, без всякого ультрафильтра. Решать «что велико» там не требовалось.

{ И этому есть формальный хребет — консервативность. Известная мета-теорема (Хенсон–Кейслер): нестандартный анализ консервативен над стандартным — всякое стандартное утверждение, доказуемое средствами ${}^{\ast }R$, доказуемо и без них. Значит role-limit-леса (ультрафильтр) для реального содержания устранимы⁶. ToS делает это устранение умолчанием: работаем на процессах и ростках, ультрафильтр — (устранимая) опалубка.}

Ультрафильтр — role-limit-движок: он когерентно выбирает сторону для всех подмножеств сразу — и именно этим сильнее одноразового $\mathrm{LPO}$ (это фрагмент аксиомы выбора); даёт поле и полный перенос — но как организующая роль, а не предъявимый объект, и по консервативности устранимая.

E/R/R-разбор: ультрафильтр как система

Разберём по E/R/R в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — селекция «больших» множеств, доведённая до максимума: ультрафильтр решает каждое подмножество (прайм, уважает дополнение). ToS-ядро — ко-конечный фильтр Фреше (конструктивно заданный); максимизация до ультрафильтра — role-limit (фрагмент выбора, выше одноразового $\mathrm{LPO}$).

Roles (L4). Фреше-премера — роль разрешимого ядра; ультрафильтр — роль тотального решателя ($=$ 2-значная мера, Стоун); неразрешённое — роль открытого; делитель нуля — след незакрытого выбора.

{ Elements (L1 + P4). Носители — множества $N\to \mathrm{bool}$ и ко-конечный фильтр (Element-ядро, конструктивно заданный). Сам нетривиальный ультрафильтр — не элемент: непредъявим, его существование — фрагмент аксиомы выбора.}

{ Проверка сформированности. Правило — селекция «большого»; роли — премера, ультрафильтр, открытое; элементы — bool-множества и ко-конечный фильтр; пересечений нет. Ультрафильтр как система: значения на множествах (Element-вид), тотализация размера (Role), но на неразрешённом значение свободно — внешний выбор, role-limit.}

Что даёт разбор. Ультрафильтр — одно: фильтр, 2-значная мера, лицензия на поле. Его конструктивное ядро (Фреше) Element-но; его максимизация role-limit и по консервативности устранима. Значительная часть исчислительного содержания, нужного нам здесь, уже живёт на кольце процессов; поле и полный перенос требуют ультрафильтра, но для используемых стандартных результатов эта опалубка устранима.

Кольцо, поле и ультрафильтр сошлись в одном вопросе — обратимости. Следующая глава вскрывает его как объединяющий хребет: граница финитизации есть обратимость, и одно семя $\mathrm{negb}$ порождает делитель нуля, ультрафильтровую меру и несчётность — тень P1.

---

---

Часть: Часть XIX. Нестандартный анализ над процессами · Том: «Математика»

Навигация: ← Глава 3. Кольцо, а не поле: один зазор — три формы · Глава 5. Граница — это обратимость; одно семя negb →

Footnotes

1. is_uf_measure (в SeedMeasureBridge): $m(N)=1$, $m\neg S=\neg mS$ (прайм), монотонность. Машинно проверено, 0 аксиом. ↩

2. undecided_premeasure_undetermined: undecided $S$ влечёт $\sim$cofinite $S$ и $\sim$finite $S$; анкер evens_premeasure_undetermined. Машинно проверено, 0 аксиом. ↩

3. uf_measure_prime / uf_measure_resolves_undecided; свод seed_measure_bridge. Машинно проверено, 10 Qed, 0 аксиом. ↩

4. germ_ring_not_field (в UltrafilterRoleLimit). Машинно проверено, 0 аксиом. ↩

5. ultrafilter_decision_required: $E$ обратим mod Evens и нулевой mod Odds; свод ultrafilter_role_limit_summary. Машинно проверено, 0 аксиом. ↩

6. Консервативность — классическая мета-теорема (Хенсон–Кейслер), здесь цитируется, не передоказывается; существование нетривиального ультрафильтра — фрагмент аксиомы выбора, не ассертируется. ↩