Глава 5. Граница — это обратимость; одно семя negb

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

Главы 1–4 шли по нити: бесконечно малое — процесс; исчисление — тень; кольцо — не поле из-за неразрешённого различения; ультрафильтр — role-limit-движок, его закрывающий. Эта глава связывает нить в узел.

{ Флагман: граница финитизации есть обратимость. Element-сторона — единицы кольца (в конце ненулевые ростки и целочисленные матрицы $\det \pm 1$); role-limit-сторона — делители нуля. А вся дальняя сторона порождена одним семенем — анти-неподвижной точкой $\text{negbb}b\ne b$: оно даёт делитель нуля (алгебра), прайм ультрафильтра (мера), несчётность (счёт) и парадокс Рассела (членство). И это семя — тень P1: запрет самочленства, который ядро ToS укрощает конструктивно.}

Сразу честная рамка: все кирпичи здесь классические (Ловер, Стоун, Кантор, Рассел, $\det \pm 1$). Ново не доказательство этих фактов, а их сведение к одному корню — машинно и без новых аксиом.

Граница — это обратимость; два атласа

Глава 3 дала характеризацию: единица $\iff$ в конце ненулевой; делитель нуля $\iff$ нули встречаются сколь угодно далеко. Значит граница финитизации — это вопрос обратимости: Element-сторона — единицы, role-limit-сторона — их отсутствие.

Сделаем полюса зримыми на ростках. Бесконечно малое $\delta$ (ступень с номером $n$ есть $1/n$) ненулево на каждой ступени — значит единица: обратное есть процесс $n\mapsto n$¹. Бесконечно малое — не «почти ноль», от которого нечего отнять: это полноправный обратимый Элемент, и деление на него законно на всякой ступени; то, что оно «исчезает», есть свойство его тени (Глава 2), не его самого. Напротив, индикатор чётных номеров обнуляется на нечётных бесконечно часто — и потому делитель нуля: умноженный на индикатор нечётных, даёт нуль поступенно, а сам нулём не является². Решить, на каком полюсе элемент, — значит решить, конечно ли его нуль-множество; а это в общем случае — задача об остановке.

И эта обратимость — одна на двух аренах. На целочисленных $2\times 2$ матрицах единица — ровно $\det =\pm 1$: обратимость над $Z$ равносильна $\det \pm 1$ (обратный выписывается явно через адъюгат)³. Это Element-сторона редукционного атласа — пяти движков рациональности, сведённых в одну $2\times 2$ матрицу (другая часть тома; здесь — лишь её единичное ядро). На germ-кольце единица — константа $q\ne 0$ (обратная — $1/q$). Два атласа — одна обратимость⁴.

В этом атласе граница финитизации не «между числами», а между обратимым и необратимым — и обратимость относительна арене ($\det 2$ запрещает её над $Z$, но не над $Q$). Element-полюс — единицы; дальняя сторона — не-единичность, а в germ-арене особенно резко — делители нуля (но не всякая необратимость есть делитель нуля).

Одно семя $\text{negbb}${negb} — четыре лица

Откуда берётся role-limit-сторона? От одной анти-неподвижной точки. Дополнение-флип $\text{negbb}$ не имеет неподвижной точки: $\text{negbb}b\ne b$⁵. Через комплементный раскол $S/\neg S$ это единственное семя машинно порождает четыре role-limit-явления:

• алгебра — делитель нуля: индикаторы раскола дают $\text{ind}S\cdot \text{ind}\neg S\sim 0$;
• мера — праймовость ультрафильтра: $mS\ne m\neg S$ выведено из $\text{negbb}b\ne b$ (Глава 4)⁶;
• счёт — несчётность: нет сюръекции $N\to 2^N$ (диагональ $d=\lambda k.\text{negbb}(e_{k}k)$, Кантор);
• членство — Рассел: наивной компрегензии нет.

Первые три — свод одного моста⁷; четвёртое — следующий шаг.

Честно: это не «всё одно и то же» по ярлыку. Неразрешённое множество и диагональ — разные объекты. Доказано иное и точное: одна карта $\text{negbb}$ (комплемент-флип) порождает все четыре — алгебру, меру, счёт, членство.

Корень — тень P1{P1}

Что связывает счёт (Кантор) и членство (Рассел)? Одна теорема — Ловера: если $g:X\to (X\to B)$ точечно-сюръективна, то всякая $f:B\to B$ имеет неподвижную точку⁸. Возьмём $f=\text{negbb}$ (без неподвижной точки): тогда точечной сюръекции не существует. С $X=N$, $B=\mathrm{bool}$ — это Кантор (несчётность); с членством $\mathrm{mem}:X\to (X\to \mathrm{bool})$ — это Рассел: наивной компрегензии нет⁹.

Классический Рассел показывает, что наивное самочленство $x\in x$ разрушает универсальную компрегензию; а P1 ядра ToS архитектурно запрещает этот тип самочленства через уровни (нет $x\in x$; russell_paradox_blocked — цитата, ядро не правим). В этом смысле семя role-limit-стороны $\text{negbb}$ — тень запрещённого самочленства, а P1 — его конструктивная профилактика на уровне членства.

Уточним, что дальняя сторона не однородна — неразрешимость живёт на двух осях. По одной — членство: вычислимо ли, лежит ли номер в множестве; для всякого процесса-индикатора — да, для множества остановки — нет. По другой — величина: решает ли Фреше, велико ли множество; для конечного — да, для неразрешённого — нет. И вот тонкость: индикатор чётных и индикатор одной точки оба вычислимы поэлементно, но первый неразрешён по величине, второй конечен. Различает их не «невычислимость множества», а неразрешённость тотализации: role-limit-ность — не в носителе, а в попытке собрать его в целое.

Вердикт-карта замыкает картину: среди этих четырёх явлений на Element-полюсе обратимости — только единица; делитель нуля, Кантор и Рассел — все на role-limit-полюсе¹⁰. Одна граница — обратимость; одна порождающая схема дальней стороны — антинеподвижность $\text{negbb}$ $=$ тень P1.

E/R/R-разбор: порождающая структура границы

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

Rules (L5). Удерживающее правило — обратимость (относительная арене): Element-полюс населён единицами, role-limit-полюс — не-единицами (в germ-арене резко — делителями нуля); одно семя $\text{negbb}b\ne b$ порождает role-limit-явления и блокирует Element-тотализацию (Кантор, Рассел); корень — запрет самочленства (P1).

Roles (L4). $\text{negbb}$ — семя/анти-неподвижность; единица — Element-полюс; делитель нуля — role-limit-полюс; теорема Ловера — генератор no-go; P1 — укрощение семени.

Elements (L1 + P4). Носители — $\mathrm{bool}/\text{negbb}$, целочисленные матрицы, germ-единицы и делители, отношение членства. Конкретны и конечно-актуальны.

{ Проверка сформированности. Правило — обратимость и семя; роли — единица, делитель, семя, укрощение; элементы — матрицы, ростки, bool; пересечений нет. Семя как система: $\text{negbb}$ — инволюция без неподвижной точки, и ровно это порождает все четыре лица; его укрощение — P1.}

Что даёт разбор. Он сводит дальнюю сторону границы к одной порождающей схеме: антинеподвижность $\text{negbb}$ — тень самочленства, преломлённая разными структурами (алгебра, мера, счёт, логика); ближняя сторона — единицы (атлас). Подлинное здесь — эта унификация (граница $=$ обратимость; одно семя; тень P1), машинно и без новых аксиом; сами Ловер, Стоун, Кантор, Рассел — классика.

Остаётся применить вердикт к самим конструкциям «за границей». Следующая глава — иллюзорные конструкции ZFC: трёхчастный машинный вердикт {Element / role-limit / иллюзорное}, который ToS выносит базису Гамеля, множеству Витали и парадоксу Банаха–Тарского.

---

---

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

Понятия: Парадокс

Навигация: ← Глава 4. Ультрафильтр как role-limit-движок · Глава 6. Иллюзорные конструкции ZFC →

Footnotes

1. delta_is_unit (в UnitZeroDivisorBoundary): $\delta$ всюду ненулева, обратное — $n\mapsto n$. Машинно проверено, 0 аксиом. ↩

2. even_ind_is_zero_divisor. Машинно проверено, 0 аксиом. ↩

3. det_pm1_iff_invertible (в BoundaryIsInvertibility): $\det$ мультипликативна, обратный — $\mathrm{adj}$ при $\det =1$ и $-\mathrm{adj}$ при $\det =-1$. Анкеры: унимодулярный $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ обратим, а $\left(\begin{array}{cc}2& 0\\ 0& 1\end{array}\right)$ ($\det 2$) — нет над $Z$ (но обратима над $Q$ — обратимость относительна арене). Машинно проверено, 0 аксиом. ↩

4. two_atlases_one_invertibility (свод, 13 Qed): Element $=$ единицы на обеих аренах (матрицы $\det \pm 1$ $\oplus$ germ в-конце-ненулевые); role-limit $=$ не-единицы (в germ-арене это резко делители нуля; в матричной — $\det \ne \pm 1$, не делители нуля). Машинно проверено, 0 аксиом. Связь со всеми пятью движками атласа — цитата. ↩

5. negb_no_fixpoint. Машинно проверено, 0 аксиом. ↩

6. Наивный мост «неразрешённое $=$ неизмеримое» ложен: чётные неразрешены фильтром Фреше, но измеримы плотностью $1/2$. Верный мост: ультрафильтр есть двузначная мера, и неразрешённое — ровно то, чему двузначная пред-мера Фреше не присваивает ни $0$, ни $1$ (undecided_premeasure_undetermined). Машинно проверено, 0 аксиом. ↩

7. seed_diagonal_bridge (в SeedDiagonalBridge, 7 Qed): $\text{negbb}b\ne b$ влечёт Кантор (cantor_no_surjection), прайм (uf_complement_distinct) и делитель (complement_product_zero). Машинно проверено, 0 аксиом. ↩

8. lawvere (в RoleLimitIsP1Shadow): диагональ $h=\lambda y.f(gyy)$ реализуется некоторым $x$. Машинно проверено, 0 аксиом. ↩

9. cantor_uncountable и russell_no_comprehension; свод rolelimit_is_p1_shadow (6 Qed). Машинно проверено, 0 аксиом. ↩

10. only_unit_is_element и свод finitization_boundary_generating_structure (в FinitizationBoundaryGeneratingStructure): единая картина A1/A2/B1/B2/D. Машинно проверено, 0 аксиом. ↩