Глава 1. Граница финитизации

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

Через весь настоящий том проходит одна линия. В Части III число оказалось не предсуществующим объектом, а позицией-ролью, и квадратный корень из двойки — не готовой точкой, а процессом приближений¹. В Части IV принцип P4 зафиксировал саму эту установку: бесконечность есть свойство процессов, а не завершённых объектов, и несчётность оказалась правилом о процессах, а не свойством готового множества.

Настоящая глава замыкает эту линию одним наблюдением. Везде, где мы спрашивали «завершается ли процесс?», ответ распадался надвое без середины: процесс либо замыкается в конечное число шагов — и тогда у него есть терминус, конечно-актуальный Элемент, — либо доказуемо никогда не замыкается — и тогда его «значение» остаётся только пределом-ролью, никогда не актуализуемым над ℚ. Эту разделяющую линию мы называем границей финитизации.

Граница финитизации — в рассмотренных инстансах одна линия, проходящая через онтологию (Элемент против предела-роли), логику (конструктивное против классического) и спектр (дискретное против континуального).

Тезис главы двойной. Во-первых, разрозненные демаркации настоящего тома и его приложений суть один принцип, а не список независимых результатов. Во-вторых — и это главное — граница финитизации в рассмотренных инстансах совпадает с границей аксиомной цены: сторона Элемента (и сама незавершаемость процессов) доказуема без аксиом, а классический слой входит лишь там, где речь идёт о завершённом континуальном объекте. Это рабочая карта по инстансам, не доказанное тождество.

Что глава фиксирует и что нет

Честность здесь нужна с самого начала. Граница финитизации в том виде, в каком она утверждается ниже, — это не новая универсальная теорема, выводящая все демаркации из одной формулы. Это наблюдение по конкретным случаям: в ряде областей — кинематике конечных поворотов, рациональной квантовой информации, конечно-порядковых поворотах пространства, операторном пределе, спектре, континууме — проходит одна и та же линия, и каждый отдельный случай машинно проверен². Универсальность формы — предмет осмысления, а не доказанная метатеорема, и так она и называется.

Что доказано точно — это инстансы: конкретные пределы-роли (невозможность рационального значения у $\sqrt{2},\sqrt{3},\sqrt{5}$), конкретные замыкания (конечные группы поворотов), конкретный операторный запрет, конкретная процессная несходимость. Что остаётся осмыслением — это единство формы и её совпадение с границей конструктивности; последнее опирается на честный аудит аксиомной цены каждого инстанса, а не на одну общую теорему.

Завершающийся процесс и его предел-роль

Возьмём любой объект, заданный правилом порождения — последовательностью рациональных приближений, шагом, переводящим состояние в следующее. По принципу P4 такой объект есть процесс, и на каждой конечной ступени он выдаёт конечно-актуальный результат — рациональное число, Элемент. Вопрос, разделяющий всё, один: замыкается ли процесс?

Завершающийся процесс замыкается в конечное число шагов. Его терминус — это Элемент: рациональное значение, к которому процесс приходит и на котором останавливается. Здесь Элемент не первичная категория, а именно терминус завершившегося процесса; процесс первичен, Элемент производен.

Незавершающийся процесс доказуемо не замыкается. У него нет терминуса- Элемента; его «значение» остаётся пределом-ролью — ролью, которую процесс приближает, но которую ни одна конечная ступень не заполняет Элементом. Важно называть это прямо: предел-роль есть положительный объект (незавершающийся процесс), а не «отсутствие Элемента». Определять его через нехватку — категориальная ошибка; он есть процесс, который не закрывается.

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

Отсюда сразу растворяется один мнимый вопрос. «Бесконечно ли $X$?», «иррационально ли $X$?» — в P4-онтологии это не первичные вопросы. $X$ есть процесс; о процессе осмысленно спросить лишь, замыкается ли он. «Иррациональность» $\sqrt{2}$ — это не дефект и не свойство готового объекта, а корректный P4-статус процесса приближений: он не завершается в Элемент. Утверждение о невозможности рационального значения — доказательство именно незавершаемости, а не «изъяна».

Одна граница — много областей

Сила наблюдения в том, что одна и та же линия проходит через несовместные на вид области. В каждой есть свой критерий завершаемости, но форма разделения одна — дихотомия без середины.

Область	Сторона Элемента	Сторона предела-роли
Кинематика поворотов	конечный порядок (замкнутая группа)	апериодический поворот ($\sqrt{2},\sqrt{3}$)
Рациональная информация	вероятность рациональна	амплитуда-нормировка ($\sqrt{2}$)
Высшая размерность	порядки $\{1,2,3,4,6\}$	икосаэдр, порядок 5 ($\sqrt{5}$)
Операторный предел	конечномерные операторы	канонический коммутатор
Спектр	дискретный (перечислимый)	континуальный (совершенное подмножество)
Континуум	рациональные приближения	процесс $\sqrt{2}$, отрезок целиком

Кинематика конечных поворотов даёт чистейший случай. Рациональный ортогональный поворот плоскости конечного порядка — то есть рациональная точка $(\cos \theta ,\sin \theta )\in Q^2$ на окружности, возвращающаяся к исходной после конечного числа повторений, — оказывается ровно одним из четырёх: тождество, полуоборот и два четвертьоборота³. Всякий другой рациональный поворот не замыкается — например, поворот, отвечающий треугольнику $3$–$4$–$5$, никогда не возвращается к началу. Замыкается или нет — и ничего между.

Та же граница в рациональной квантовой информации⁴ проходит по правилу перехода от амплитуды к вероятности: «иррациональная» нормировка живёт только в ненаблюдаемом слое амплитуд, тогда как наблюдаемая величина — вероятность — остаётся рациональным Элементом. В операторной области конечномерный аналог канонического коммутатора $[A,B]=c\cdot I$ вынуждает $c=0$: ненулевая «постоянная» не имеет конечной реализации и есть предел-роль⁵. А спектральная дихотомия — «спектр дискретен либо континуален, и промежуточной мощности нет»⁶ — это не отдельный факт, а то же самое «между ними пусто». Граница финитизации есть дихотомия, везде; спектральный её вид — лишь самая резкая форма.

Иррациональные как препятствия: $\sqrt{2},\sqrt{3},\sqrt{5}$

Концентрируется граница в нескольких конкретных пределах-ролях. Это квадратичные иррациональные — но в нашей онтологии они не «готовые числа», а незавершающиеся процессы; и каждый есть препятствие к вполне определённой конечной структуре.

$\sqrt{2}$ запирает поворот на $45^{\circ }$: его процесс приближений (сходящиеся стороны равнобедренных пифагоровых треугольников) улучшается вечно, но рационального значения не достигает⁷ — поэтому соответствующий поворот не замыкается.

$\sqrt{3}$ запирает точку $60^{\circ }$. Здесь видно, как именно процесс оказывается препятствием: косинус $60^{\circ }$ рационален (равен половине), но синус есть $\sqrt{3}/2$ — незавершающийся процесс⁸. Рациональная точка окружности требует завершаемости обеих координат; косинус-процесс замыкается, синус- процесс — нет; значит рациональная точка $(\cos ,\sin )$ порядка 6 на окружности — фантом, у которого есть замкнутая косинус-роль, но нет Элемента-точки (как матрица в ином представлении порядок 6 возможен — обструкция именно у ортогональной точки). Он исключён не запретом, а тем, что $\sqrt{3}$ доказуемо не замыкается.

$\sqrt{5}$ запирает икосаэдр. В рациональной/кристаллографической арене над $Q$ вращение конечного порядка ограничено порядками $\{1,2,3,4,6\}$; порядок 5 невозможен (в вещественной ортогональной группе он, конечно, есть — обструкция именно над $Q$), ибо след поворота порядка 5 удовлетворяет уравнению золотого сечения, корни которого — процессы вокруг $\sqrt{5}$, а не рациональные числа⁹. Так объясняется, почему симметрия пятого порядка — икосаэдрические квазикристаллы — «некристаллографична»: над ℚ она остаётся пределом-ролью.

Как $\sqrt{2}$ запирает поворот на $45^{\circ }$, а $\sqrt{3}$ — точку $60^{\circ }$, так $\sqrt{5}$ запирает икосаэдр: каждый из них есть незавершающийся процесс, и именно его незавершаемость и есть препятствие.

Существенно, что в пространстве ограничено только число, отвечающее за след (удвоенный косинус угла), а не синус: матрица поворота может быть рациональной при иррациональном синусе — ось «впитывает» иррациональность. Поэтому ограничение ложится на след напрямую, и его носит та же числовая обструкция, что и в плоскости.

Граница финитизации есть граница конструктивности

Теперь главное. Посмотрим не на содержание демаркаций, а на их аксиомную цену.

Все перечисленные результаты стороны Элемента — конечные порядки поворотов, рациональные вероятности, кристаллографическое ограничение, операторный запрет — доказаны без аксиом. Конструктивна и сама незавершаемость предела-роли: невозможность рационального терминуса у $\sqrt{2},\sqrt{3},\sqrt{5}$ доказана без классического выбора. Классическая аксиомная цена появляется не у предела-роли как процесса, а там, где речь о завершённом континуальном объекте: спектральная дихотомия и несчётность отрезка в текущей формализации наследуют Закон Исключённого Третьего ($L3$) и связанный свидетельный параметр¹⁰.

Это не случайность.

Закон Исключённого Третьего нужен для разговора о завершённом континууме — о совершенном подмножестве, о несчётном множестве как готовом объекте. Сторона Элемента конструктивна; конструктивна и незавершаемость предела-роли как процесса. Классический слой входит лишь с завершённой формой бесконечного.

Отсюда — рабочая карта: в рассмотренных инстансах граница финитизации совпадает с границей аксиомной цены. Одна и та же линия делит онтологию (Элемент / предел-роль), логику (конструктивное / требующее $L3$ в завершённой форме) и спектр (дискретное / континуальное) — но это синтетическая карта по инстансам, не доказанное тождество. Демаркация, собирающая инстансы стороны Элемента в одно утверждение, сама оказывается нуль-аксиомной¹¹ — и её собственный аксиомный статус есть свидетельство принципа: она конструктивна именно потому, что собирает только сторону Элемента.

Уточним и обратную сторону. Даже там, где внешние программы видят «индетерминизм» — незавершённость, открытость будущего, — наша сторона предела-роли остаётся конструктивной, если формулировать её как незавершающийся процесс, а не как готовый континуум¹². Закон Исключённого Третьего требуется не для незавершаемости как таковой, а для разговора о завершённом бесконечном объекте — которого в P4 нет.

E/R/R-разбор: граница как система

Граница финитизации сама есть система в смысле ToS, и её следует разобрать по E/R/R. Эпистемически мы шли от наблюдаемых демаркаций (Elements) к их общей форме (Rules); онтологически структура порождается в обратном, порождающем порядке: Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — критерий завершаемости: замыкается ли процесс в конечное число шагов? Это правило стоит на уровне выше самих объектов и сортирует их. К нему примыкает форма сортировки — дихотомия без середины: замыкается либо нет, третьего нет. В отдельных областях критерий конкретен (возврат орбиты, целочисленность следа, перечислимость спектра), но форма одна.

{ Roles (L4). Две роли, которые играет всякий объект: завершающийся процесс (его терминус есть Элемент) и незавершающийся процесс (предел-роль, вне конечно-актуального). Обоснование позиций структурой: роль объекта определяется не его «природой», а тем, замыкает ли его правило — то есть отношением к Rules.}

Elements (L1 + P4). Носители — рациональные приближения, которые процесс выдаёт на каждой конечной ступени, и термины завершающихся процессов. Актуализация под P4 конечна: актуальны только конечные приближения; где «значение» есть завершённый предел (сторона предела-роли), оно не актуализуется как Элемент — актуальны лишь ступени. Это и придаёт всем объектам процессный характер.

Проверка сформированности. Каждый объект попадает ровно в одну роль (замыкается или нет), и третьей категории нет; ни один компонент не отнесён одновременно к двум. Самоприменения, запрещённого P1, не возникает: правило сортировки стоит уровнем выше сортируемых объектов, оно не сортирует само себя как объект.

Что даёт разбор. Во-первых, он показывает, что «бесконечно ли $X$» — смешение категорий: оно требует от предела-роли быть Элементом-объектом, тогда как $X$ есть процесс. Во-вторых, он объясняет совпадение с границей конструктивности: сторона Элемента порождается завершающимся правилом и потому конструктивна; сторона предела-роли есть незавершающийся процесс, и лишь разговор о её завершённом пределе вводит классическую аксиому.

Тем самым линия, начатая в Части III числом-как-процессом и продолженная в Части IV принципом P4, замыкается здесь как единая граница — и в дальнейших частях настоящего тома она работает уже как готовый разделитель конструктивного ядра и честно размеченного остатка.

---

---

Часть: Часть XX. Заключительный синтез · Том: «Математика»

Навигация: ← Глава 7. Синтез: карта математики за границей — Часть XIX · Глава 2. Финитизация без обрезания →

Footnotes

1. Глава III.4 «Корень из двух как функциональная система»: $\sqrt{2}$ разложен в три слоя порождающего порядка; точное утверждение о невозможности рационального значения есть no_rational_sqrt2. ↩

2. Каждый соответствующий файл компилируется с нулём незакрытых целей; принадлежность к стороне Элемента подтверждается проверкой используемых аксиом (Print Assumptions). ↩

3. «Рациональный ортогональный поворот конечного порядка $\iff$ один из четырёх» (теорема Нивена для рациональных $\cos ,\sin$): доказано через мост между орбитой и целочисленным следом. Речь именно об ортогональной арене с рациональными $\cos ,\sin$; в иных представлениях (напр.\ $G{L}_2(Q)$) бывают и порядки $3,6$. ↩

4. Эти области — приложение к физике; здесь они служат иллюстрацией единой математической формы, а не предметом настоящего тома. ↩

5. Соответствующее утверждение для произвольной конечной размерности — no_finite_ccr; в синтезе используется его $2\times 2$-представитель. ↩

6. spectral_dichotomy: в рамках принятой в проекте процессной гипотезы континуума, не произвольная ZFC-теорема о всех спектрах; в текущей формализации наследует $L3$. ↩

7. no_rational_sqrt2. ↩

8. no_rational_sqrt3, доказано бесконечным спуском через простоту тройки. ↩

9. «Нет рационального вращения порядка 5» получается так: пятый след-многочлен раскладывается, и нетривиальный порядок 5 вынуждает $x^2+x-1=0$, откуда $x=(-1\pm \sqrt{5})/2$; рациональный корень исключён через no_rational_sqrt5. Это кристаллографическое ограничение над ℚ. ↩

10. Технический объект Rocq L4_witness — объявление в коде, связанное с Законом Достаточного Основания ($L4$), но не сам закон (не путать с полноценной аксиомой L4); «наследуют» — по Print Assumptions (достаточные зависимости в текущем слое), не утверждение о минимальности. ↩

11. Файл-синтез, связывающий представителей всех конструктивных областей в одно утверждение, проверяется как «закрытый под глобальным контекстом» — то есть без аксиом. ↩

12. Это прямо проверено на процессной формализации Гизиновых «чисел, раскрывающих цифры во времени»: процесс $\sqrt{2}$ имеет точную ненулевую погрешность на каждой ступени и не достигает рационального терминуса — всё без аксиом. «Индетерминизм как незавершаемость» конструктивен. ↩