Глава 3. Кольцо, а не поле: один зазор — три формы

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

Главы 1–2 построили бесконечно малое как процесс и исчисление как одну операцию тени. Обе упирались в один и тот же камень: germ-кольцо процессов — кольцо, а не поле. Эта глава вскрывает его до конца.

Флагман: одно неразрешённое различение — множество $S\subseteq N$, у которого и само $S$, и его дополнение бесконечно велики (Фреше не решает, какое «велико») — порождает три алгебраические формы одного role-limit-зазора: делитель нуля (умножение), осциллятор без тени (сложение), необратимый элемент (кольцо). Один корень, три лица. И всё конструктивно — 0 аксиом, даже без закона исключённого третьего.

Почему «кольцо, а не поле» — не дефект, а точная запись границы финитизации; почему у зазора ровно один корень; и что именно неразрешимо (величина, а не членство) — три шага главы.

Кольцо, а не поле

Поле не имеет делителей нуля: если $xy=0$, то $x=0$ или $y=0$. Germ-кольцо процессов это правило нарушает. Индикатор чётных $E$ и нечётных $O$ оба ненулевы как ростки, но $E\cdot O\sim 0$ (Глава 1). Значит $E$ — ненулевой, но необратимый: обратный был бы $1/E(n)=1/0$ на нечётных индексах. Кольцо ростков Фреше — не поле¹.

Обратимость в кольце ростков имеет точную характеризацию: единица $\iff$ в конце ненулевой (тогда обратный — почленное $1/x$ на хвосте), а делитель нуля $\iff$ нули встречаются сколь угодно далеко (нуль-множество бесконечно — кофинально в порядке $N$, не обязательно коконечно)². Бесконечно малое $\delta =1/(n+1)$ — единица (всюду ненулева, обратная $\omega =n+1$); индикатор $E$ — делитель нуля³. Так алгебра разделяет: что в конце ненулево — обратимо (Element); что зануляется бесконечно часто — зазор.

Один зазор — три формы

Откуда делитель нуля? От неразрешённого различения. Назовём множество $S$ неразрешённым, если и оно само, и его дополнение встречаются бесконечно часто — для всякого $N$ есть $n\ge N$ с $n\in S$ (это кофинальность в порядке $N$, не коконечность: дополнение конечным быть не обязано). $E$ (чётные) и $O$ (нечётные) — канонический пример: оба бесконечны, но ни одно не коконечно. Определение позитивно (оба бесконечно часто), без двойного отрицания — поэтому всё ниже конструктивно, без закона исключённого третьего.

И одно это свойство порождает три формы одного зазора⁴:

• умножение — делитель нуля: $\text{ind}S\cdot \text{ind}\neg S\sim 0$, но ни один сомножитель не $\sim 0$;
• сложение — осциллятор без тени: $\text{osc}S=\text{ind}S-\text{ind}\neg S$ не имеет постоянной тени (это в точности $\mathrm{alt}$ Главы 2);
• кольцо — необратимость: $\text{ind}S$ не единица.

Три алгебраических лица — умножение, сложение, обратимость — одного и того же: Фреше не решает, какое из $S,\neg S$ «велико». Это подлинная унификация (один корень $\to$ три формы), а не новая теорема нестандартного анализа — сами формы классичны; ново их сведение к одному корню, машинно и без classic.

Зазор — о величине, а не о членстве

Что именно неразрешимо? Не членство: проверить $n\in E$ — значит вычислить чётность $n$, и это разрешимо поэлементно для всякого множества, представленного булевым предикатом $N\to \mathrm{bool}$⁵. Неразрешима величина — «велико ли $S$». Фильтр Фреше решает лишь крайние случаи: коконечные множества — большие, конечные — малые; для $E$ и $O$ он стороны не выбирает. Одноэлементное $\{0\}$ конечно (величина решена — Element), а $E$ — неразрешённое⁶. Дальняя сторона границы потому градуирована: Element (решены обе оси) $⊏$ LPO-рунг (членство разрешимо, величина — нет: $E$) $⊏$ Тьюринг-рунг (неразрешимо членство: halting).

Зазор живёт в тотализации, а не в множестве: $E$ поэлементно вычислимо, но «велико ли оно» требует внешнего решения. И это решение сильнее одноразового: $\mathrm{LPO}$ решает одну предельную альтернативу, а ультрафильтр — когерентно для всех подмножеств $N$ сразу. Это глобальный принцип выбора (фрагмент аксиомы выбора), стоящий выше одноразовых $\mathrm{LPO}/\mathrm{WLPO}/\mathrm{LLPO}$-решений.

Делитель нуля — честная цена «кольца, а не поля»: машинный след того, что различение «велико/мало» оставлено неразрешённым. Закрыть его — следующая глава.

E/R/R-разбор: неразрешённое различение как система

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

Rules (L5). Удерживающее правило — неразрешённое различение: $S$ и $\neg S$ оба кофинальны (позитивно, конструктивно). Из него — три формы: делитель нуля (умножение), осциллятор без тени (сложение), необратимость (кольцо). Поле требовало бы разрешить «что велико» внешним выбором.

Roles (L4). $\text{ind}S$ — индикатор; $\text{osc}S$ — осциллятор; обратимость — роль единицы (в конце ненулевой); делитель нуля — роль зазора (нуль-множество кофинально); величина — роль неразрешённого ($\mathrm{LPO}$-ось), членство — роль разрешимого (Тьюринг-ось, ниже границы).

Elements (L1 + P4). Носители — процессы $N\to Q$ и множества $N\to \mathrm{bool}$: $E,O$ (неразрешённые), $\{0\}$ (конечно), $\delta$ (единица). Конечно-актуальны; членство разрешимо на каждом, а величина — нет.

{ Проверка сформированности. Правило — неразрешённое различение; роли — индикатор, осциллятор, единица, делитель; элементы — процессы и bool-множества; пересечений нет. $E$ как система: значения $1,0,1,0,\dots$ (Elements), роль индикатора и делителя (Roles), а unit-статус не определён внутренне — правило обратимости внешнее (Фреше не решает «велико ли множество чётных») $\Rightarrow$ система не замкнута внутренне (требует внешнего замыкания) $\Rightarrow$ role-limit.}

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

Кольцо станет полем лишь ценой внешнего, неканоничного выбора. В следующей главе — ультрафильтр как role-limit-движок: что он решает, почему его нельзя предъявить и почему по консервативности его леса устранимы.

---

---

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

Навигация: ← Глава 2. Тень, производная, интеграл: исчисление как одна операция st · Глава 4. Ультрафильтр как role-limit-движок →

Footnotes

1. germ_ring_not_field (в UltrafilterRoleLimit): $\exists$ ненулевой необратимый ($E$); опоры even_ind_not_zero, even_ind_not_invertible. Доказано для канонических индикаторов $E/O$ (что НИКАКОЙ выбор-свободный фактор не поле — честная экстраполяция). Машинно проверено, 0 аксиом. ↩

2. unit_iff_eventually_nonzero и zero_divisor_iff_cofinal_z (в UnitZeroDivisorBoundary); конструктивно (явный $1/x$, позитивный кофинал, Qmult_integral). Машинно проверено, 0 аксиом. ↩

3. delta_is_unit, even_ind_is_zero_divisor (в UnitZeroDivisorBoundary). Машинно проверено, 0 аксиом. ↩

4. undecided ($S$ и $\neg S$ кофинальны, позитивно), и undecided_zero_divisor, undecided_no_shadow, undecided_non_unit; свод nonstandard_synthesis (в NonstandardOverProcessesSynthesis). Машинно проверено, 10 Qed, 0 аксиом — и БЕЗ classic. ↩

5. bool_pred_decidable (в UndecidedHierarchy): всякое множество, заданное предикатом $N\to \mathrm{bool}$, разрешимо поэлементно. Машинно проверено, 0 аксиом. ↩

6. undecided_evens, singleton_finite, свод undecided_hierarchy (в UndecidedHierarchy). Машинно проверено, 0 аксиом. ↩