Глава 6. Иллюзорные конструкции ZFC

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

Главы 1–5 прошли реальное содержание нестандартного анализа: процессные бесконечно малые, тень, кольцо, ультрафильтр, граница-обратимость. Но «за границей» ZFC живут и конструкции иного рода — те, что существуют только внутри формализма, через аксиому выбора, без вычислимого референта. Раз ToS онтологична, она обязана вынести им честный вердикт.

{ Флагман: трёхзначный машинный вердикт — Element-ядро / role-limit-инструмент / иллюзорное. Element-ядро — процессно-выразимо (0 выбора, есть свидетель); role-limit-инструмент — неконструктивные, но устранимые леса, которые что-то доставляют (консервативность); иллюзорное — ZFC-фантом без Element-референта, не доставляющий ни свидетеля, ни устранимой опалубки. Якорь-флагман — Банах–Тарский: удвоение шара несовместимо с любой ненулевой Element-мерой ($\mu =2\mu \Rightarrow \mu =0$).}

И сразу два уточнения. Первое — терминологическое: «иллюзорное» здесь технический термин ToS, а не бытовое «не существует». Конструкция может быть теоремой ZFC, но не иметь Element-референта в процессной онтологии; это не означает противоречивость или ложность внутри ZFC. Второе: ничего иллюзорного мы не ассертируем (не постулируем существование Банах–Тарски-разбиения) — мы лишь классифицируем, а для флагмана доказываем несовместимость с Element-сохранением.

Три класса

Каждая «заграничная» конструкция получает ровно один из трёх статусов¹:

{

• Element-ядро ($\neg$AC, есть свидетель): $\delta$-процесс, тень сходящегося, производная полинома — всё построено в Главах 1–2, 0 аксиом²;
• role-limit-инструмент (AC, но устранимые леса): свободный ультрафильтр, ${}^{\ast }R$-как-поле — неконструктивны, но консервативны (в метатеоретическом смысле Хенсона–Кейслера — стандартное следствие, полученное через NSA-леса, имеет стандартное доказательство), значит устранимы и что-то доставляют³;
• иллюзорное (AC, нет свидетеля, не леса): базис Гамеля, множество Витали, вполне-порядок $R$, Банах–Тарский — чистые ZFC-фантомы⁴.

}

Ключевое различение — иллюзорное против role-limit-инструмента: леса устранимы и что-то доставляют (Element-следствие через консервативность); фантом не доставляет ни Element-свидетеля, ни устранимой опалубки процессного результата — он лишь «объект», которого на Element-стороне нет (что не запрещает ему иметь следствия внутри ZFC). Ультрафильтр (Глава 4) — леса; Банах–Тарский — фантом.

Флагман: Банах–Тарский несовместим с Element-мерой

Среди иллюзорных — один с доказанной теоремой. Парадокс Банаха–Тарского заявляет: единичный шар (мера $\mu$) режется на конечно много кусков, собираемых движениями в два единичных шара (мера $2\mu$). Любая ненулевая, движение-инвариантная, конечно-аддитивная Element-мера это запрещает: из $\mu =\mu +\mu$ следует $\mu =0$⁵.

Значит куски не могут быть одновременно Element-описуемыми, измеримыми этой мерой и сохраняющими ненулевую движение-инвариантную конечно-аддитивную меру — у них нет Element-референта как измеримых геометрических кусков. Вот почему Банах–Тарский иллюзорен на Element-стороне: он несовместим с тем самым сохранением, которое несёт Element-мера.

Честно о том, что доказано. Мы не утверждаем «Банах–Тарский ложен в ZFC» — в ZFC$+$AC он теорема. Мы не постулируем разбиение. Доказано иное: никакого описуемого, Element-измеримого разбиения нет — удвоение несовместимо с ненулевой Element-мерой. Растворение — на уровне референта, а не истинности в ZFC.

Что значит «растворить»

Множество Витали (неизмеримое), базис Гамеля, вполне-порядок $R$ — та же история: каждое требует полного выбора и не имеет определимого свидетеля (классическая AC-зависимость — цитируется, не передоказывается). Но фантомность у них разного типа: у Витали и Банаха–Тарского — через разрыв с мерой; у базиса Гамеля — через отсутствие канонического процессного свидетеля; у вполне-порядка $R$ — через отсутствие Element-порядка такого типа. ToS называет их фантомами и растворяет — но аккуратно.

Растворить — не значит «опровергнуть аксиому». Свободный выбор непротиворечив и независим. Растворить — значит: Element-описуемые множества этого блока имеют конструктивный измерительный статус, а неизмеримость опциональна — она возникает лишь там, где объект вводится чистым выбором без такого процесса. В модели Соловея (ZF$+$DC), при метапредположении о существовании недостижимого кардинала, измеримы по Лебегу все множества вещественных чисел — значит неизмеримость не Element-необходимость, а следствие добавленного выбора. Фантом — ровно то, что добавляет лишь сам выбор, без Element-референта; ToS держит Element-сторону и честно помечает остальное как артефакт формальной системы.

Реестр — это синтез, а не новые теоремы (кроме якоря Банах–Тарского). Его ценность — честность: каждая «заграничная» конструкция получает явный статус, а граница «реальное / устранимые леса / фантом» проводится машинно.

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

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

Rules (L5). Удерживающее правило — трёхзначный вердикт: иллюзорное $=$ AC $\wedge$ нет свидетеля $\wedge$ не леса; role-limit-инструмент $=$ AC $\wedge$ устранимые леса; Element-ядро $=$ $\neg$AC $\wedge$ свидетель. Флагман-правило: $\mu =2\mu \Rightarrow \mu =0$.

Roles (L4). Конструкция — роль-кандидат; вердикт — роль-статус; needs-AC, свидетель, устранимость — роли-диагностики; Element-мера — роль-сохранение, отсекающая фантом.

{ Elements (L1 + P4). Носители — перечисление конкретных конструкций, булевы диагностики, $Q$-мера. Под P4 актуальны Element-ядро (процессы) и сами диагностики; иллюзорные «объекты» (куски Банах–Тарски, неизмеримое Витали) — ровно то, что P4 не актуализирует.}

Проверка сформированности. Правило — вердикт; роли — статус и диагностики; элементы — конструкции и мера; пересечений нет. Банах–Тарский как система: «куски» (Elements) объявляются меросохраняющими (Roles), но Element-сохранение это запрещает (Rules) $\Rightarrow$ куски без референта $\Rightarrow$ система-фантом.

Что даёт разбор. Он отделяет реальное (процессно-выразимое) от устранимых лесов и от фантомов — и делает это машинно, с одной якорной теоремой (Банах–Тарский). Иллюзорное названо честно: консистентно, но без Element-референта. Остаётся свести всю часть в одну карту.

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

---

---

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

Навигация: ← Глава 5. Граница — это обратимость; одно семя negb · Глава 7. Синтез: карта математики за границей →

Footnotes

1. verdict (в IllusoryConstructions) на перечислении Construction; тотальность verdict_total, взаимоисключаемость element_not_illusory. Машинно проверено, 0 аксиом. ↩

2. element_core_props: ElementCore влечёт $\neg$needs_AC и has_element_witness; свидетели — GermInfinitesimal, StandardPart, deriv_sq. Машинно проверено, 0 аксиом. ↩

3. role_limit_scaffold: RoleLimitTool влечёт is_conservative_scaffold и needs_AC; неканоничность ультрафильтра доказана в UltrafilterRoleLimit (Глава 4). Машинно проверено, 0 аксиом. ↩

4. illusory_hallmark: Illusory влечёт needs_AC, $\neg$has_element_witness, $\neg$is_conservative_scaffold. Машинно проверено, 0 аксиом. ↩

5. banach_tarski_contradicts_measure: $\mu =p_1+p_2$, $p_1=\mu$, $p_2=\mu$ влекут $\mu =0$; свод illusory_constructions_summary (8 Qed). Машинно проверено, 0 аксиом. ↩