Глава 7. Синтез: карта математики за границей

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

Главы 1–6 прошли «заграничную» математику по частям: бесконечно малое как процесс, исчисление как одна операция тени, кольцо-а-не-поле, ультрафильтр как role-limit-движок, граница-обратимость с единым семенем $\mathrm{negb}$, реестр иллюзорного. Осталось свести всё в одну карту и назвать тезис части целиком.

{ Флагман части: исчислительное содержание этого блока — процессно: Element-ядро плюс устранимые role-limit-леса (по консервативности); граница проходит ровно в одной точке — максимизация фильтра Фреше до всеведения; а ZFC-фантомы (в онтологии ToS) стоят сбоку от Element-математики, не над ней. Машинное сердце карты — единый корень: одно неразрешённое различение $\mathrm{undecided}S$ порождает все три алгебраические формы role-limit-зазора.}

И сразу честная рамка (она же — содержание §«Что не заявляем: горизонт»): мы не заявляем, что ToS «делает весь нестандартный анализ». Мы заявляем ровно три вещи — Element-ядро формализовано, role-limit честно помечен (а консервативность цитируется), иллюзорное названо.

Единый корень: одно различение — три формы

{ Вся role-limit-сторона части растёт из одного места. Неразрешённое различение $\mathrm{undecided}S$ задаётся подмножеством $S\subseteq N$, для которого и $S$, и его дополнение истинны бесконечно часто: фильтр Фреше (ко-конечное) не решает, «какое из них велико». Это позитивное свойство (оба встречаются сколь угодно далеко — но не «ко-конечно»), не двойное отрицание.}

Одно это свойство машинно даёт три формы одного зазора¹:

• ($\times$) делитель нуля: $\mathrm{ind}S\cdot \mathrm{ind}\neg S\sim 0$ (поточечно ноль), но ни один множитель не $\sim 0$ — оба значения $1$ встречаются бесконечно часто;
• ($+$) осциллятор без тени: $\mathrm{osc}S$ (значения $\pm 1$) не имеет константной тени — предел не существует;
• (кольцо) необратимость: $\mathrm{ind}S$ не имеет обратного — он обнулялся бы на кофинальном дополнении.

Каноническое $\mathrm{undecided}$ — чётные $\mathrm{evens}$. Это и есть структурная причина, почему germ-кольцо процессов — кольцо, а не поле (Глава 3): зазор не алгебраический дефект, а один корень в трёх одеждах.

{ Честно о статусе. Конструктивность здесь не случайна: все три формы выводятся без аксиомы L3 (исключённого третьего) именно потому, что $\mathrm{undecided}$ задан позитивно (оба сколь угодно далеко: $S$ и $\neg S$ кофинальны, не ко-конечны), а не как $\neg (\text{ко-конечно})$ — последнее потребовало бы снятия двойного отрицания. Подлинное содержание — унификация (один корень $\to$ три формы) машинно, не новая теорема нестандартного анализа.}

Тот же корень виден и алгебро-логически (Глава 5): анти-неподвижная точка $\mathrm{negb}b\ne b$ — семя Ловера — порождает делитель нуля, prime-разрешение ультрафильтр-меры, несчётность ($N\to 2^N$) и Рассела; а на ядре ToS это тень P1 (нет самочленства). Одно семя — много преломлений.

Карта по слоям

Теперь вся часть — в одной таблице. По строкам — слои нестандартного анализа; по столбцам — три статуса вердикта.

\setlength{\tabcolsep}{4pt}

Слой	Element (процесс, $0$ акс)	role-limit (опалубка)	Иллюзорное (фантом)
$\infty$-малое	germ-кольцо $Q^N/$Фреше, $\delta =1/(n+1)$, производная	поле ${}^{\ast }R$ (ультрафильтр)	{—}
перенос	Фреше: ко-конечный фильтр / eventual-равенство	полный перенос Лося	{—}
мера, интеграл	гиперконечное $=$ Риман; Лёб как предел конечных	стандартизация	неизмеримое (Витали)
фильтры	ко-конечный (Фреше)	ультрафильтр-РОЛЬ (${\mathrm{LPO}}_{\omega }$)	ультрафильтр-объект без свидетеля; $\beta N\setminus N$
патология	{—}	{—}	Гамель, Банах–Тарский, вполне-порядок $R$

Карта читается одной фразой: левый и средний столбцы — одна и та же процессная математика (Element плюс устранимая опалубка по консервативности), правый — артефакты выбранной теории множеств.

И граница между средним и правым проходит в одной точке — максимизация ко-конечного фильтра до неглавного ультрафильтра, то есть всеведение ${\mathrm{LPO}}_{\omega }$ (когерентное решение «велико ли $S$» сразу для всех подмножеств). В основании проекта это место отмечено лестницей принципов всеведения $\mathrm{LLPO}⊏\mathrm{WLPO}⊏\mathrm{LPO}$², а в реестре теоретико-множественных допущений на role-limit-сторону отнесены степенное множество и выбор³. Это та же граница финитизации, что и в тезисе H1 всей книги: граница финитизации $=$ граница конструктивности.

Что не заявляем: горизонт

Карта была бы нечестной без явной границы охвата. ToS не переформализует весь нестандартный анализ.

Заявлено (и машинно подкреплено). (a) Element-ядро построено: germ-кольцо над процессами, $\delta$, тень $\mathrm{st}$, производная и интеграл — 0 аксиом (Главы 1–3). (b) role-limit честно помечен (ультрафильтр $=$ всеведение, Глава 4), а консервативность — то, что делает леса устранимыми, — цитируется (Хенсон–Кейслер, в соответствующем метатеоретическом смысле и для стандартных утверждений рассматриваемого языка: стандартное следствие, полученное через NSA-леса, имеет стандартное доказательство), а не передоказывается. (c) Иллюзорное названо, с одной якорной теоремой (Банах–Тарский, Глава 6).

Горизонт (математически, не как недоделка). Полный перенос Лося, мера Лёба в общей форме, насыщенность, выбор-требующий функциональный анализ (Хан–Банах, Тихонов, Бэр) — остаются за пределами этой части. Это честный горизонт: их Element-ядра (сепарабельные, счётные, секвенциальные случаи) реальны и процессны, но здесь не построены.

И об унификации — честно. Единый корень (§«Единый корень: одно различение — три формы»), граница-обратимость и $\mathrm{negb}=$тень-P1 (Глава 5) — это синтез: компоненты классические (Ловер, Кантор, Рассел, двузначная мера Стоуна, $\det \pm 1$). Подлинное — их сведение в один корень, машинно, не новые теоремы.

E/R/R-разбор: часть как одна система

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

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

Roles (L4). Бесконечно малое / конечное / бесконечно большое — роли динамической границы; тень — роль-предел; делитель / осциллятор / единица — три роли одного зазора; вердикт-статус — роль каждой «заграничной» конструкции; needs-AC, свидетель, устранимость — роли-диагностики.

Elements (L1 + P4). Носители — процессы $N\to Q$, актуальные на каждой конечной стадии. $\delta =1/(n+1)$ есть (процесс, актуализуем); конкретного неглавного ультрафильтра как объекта нет — ровно то, что P4 не актуализирует.

Проверка сформированности. Правило — вердикт и единый корень; роли — статусы, формы зазора, диагностики; элементы — процессы $N\to Q$ и ко-конечные правила Фреше (ультрафильтр-мера — role-limit, не Element); пересечений нет. Вся часть как система: «заграничные» конструкции (Elements) получают статус (Roles) по правилу-вердикту (Rules), и единственная точка role-limit — разрешение неразрешённого различения.

Что дал разбор всей части. Он отделил реальное (процессно-выразимое Element-ядро) от устранимых лесов (role-limit, консервативность) и от фантомов (иллюзорное, названо честно) — и свёл role-limit-сторону к одному корню. Нестандартный анализ оказался не отдельной вселенной «идеальных» чисел, а процессной математикой в role-limit-одежде.

На этом часть о нестандартном анализе завершена. Её тезис в одной строке: исчислительное содержание этого блока — процессно, граница проходит по максимизации фильтра до всеведения, а ZFC-фантомы (в онтологии ToS, где «иллюзорное» — технический термин: нет Element-референта, а не отрицание существования в ZFC) стоят сбоку от Element-математики — они формальные объекты выбранной теории множеств, но не старшие над процессным содержанием. Сведение же всей процессной программы в единый итог — задача отдельная.

---

---

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

Навигация: ← Глава 6. Иллюзорные конструкции ZFC · Глава 1. Граница финитизации — Часть XX →

Footnotes

1. nonstandard_synthesis (в NonstandardOverProcessesSynthesis, 10 Qed): из $\mathrm{undecided}S$ выводятся undecided_zero_divisor, undecided_no_shadow, undecided_non_unit; канон — undecided_evens. Машинно проверено, 0 аксиом. ↩

2. Лестница — RoleLimitLadder (9 Qed): lpo_wlpo, wlpo_llpo, lpo_omega_lpo. Машинно проверено, 0 аксиом. ↩

3. zfc_axiom_ledger (в ZFCAxiomLedger, 10 Qed): степенное множество и выбор размещаются как role-limit-ступени. Машинно проверено, 0 аксиом. ↩