Глава 2. Финитизация без обрезания

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

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

Остаётся, однако, один соблазн прочтения, и настоящая глава существует, чтобы его снять. Установку P4 — «нет завершённой бесконечности, актуальны лишь конечные ступени» — легко услышать как утверждение о субстрате: будто бы существует наименьшее зерно, конечное разрешение, предельная точность, за которой ничего нет. Будто финитизация обрезает мир снизу. Это прочтение неверно, и неверность его доказуема.

Конечная актуальность не есть конечный субстрат. P4 требует, чтобы конечной была каждая актуализованная ступень процесса; оно не вводит ни наименьшего зерна, ни верхней границы разрешения. Предел-роль есть неограниченный процесс, а не обрезание.

Разница между этими двумя установками — «конечная ступень» и «конечный субстрат» — не философский нюанс. Она проводится точно, и проводит её число. Сторона предела-роли приближается рациональными Элементами с погрешностью, у которой нет положительного дна: какую границу точности ни назови, найдётся ступень точнее. Теория же с фиксированным разрешением — с обрезанием — имеет такое дно и потому отлична от неограниченного процесса. Эту отличимость и разбирает глава.

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

Честность снова нужна с самого начала. Доказано здесь числовое ядро и дихотомия: для всякого предела-роли вида $\sqrt{D}$ (где $D$ не есть полный квадрат) погрешность рационального приближения ограничена снизу величиной $1/q^2$, где $q$ — знаменатель приближения; теория ограниченного разрешения $q\le Q$ застревает на равномерном дне $1/Q^2$, тогда как неограниченный процесс это дно бьёт — спускается ниже любого $1/Q^2$. Нижняя оценка для фиксированного знаменателя — конечный целочисленный факт; а «побитие любого фиксированного пола» использует неограниченный пеллев процесс (бесконечное семейство решений $p^2-D{q}^2=\pm 1$). Оба машинно проверены без дополнительных аксиом¹.

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

Гранулярный пол

Возьмём предел-роль $\sqrt{D}$ для натурального $D>0$, не являющегося полным квадратом (незавершающийся процесс)³. Его приближения — рациональные числа $p/q$ (со знаменателем $q\ge 1$), и каждое из них есть конечно-актуальный Элемент. Спросим о погрешности квадрата: насколько $(p/q{)}^2$ отстоит от $D$.

Удобно мерить эту погрешность целым числом. Положим

$$g(p,q)=q^{2}D-p^2\in Z.$$

Это целое — комбинация целых из целых координат приближения. И здесь работает завершаемость: $g(p,q)$ никогда не обращается в нуль. Ведь $g=0$ означало бы $q^{2}D=p^2$, то есть $(p/q{)}^2=D$ — а это и есть рациональное значение процесса $\sqrt{D}$, его завершение в Элемент. Для не-квадрата $D$ такого завершения нет; значит $g(p,q)\ne 0$⁴. А ненулевое целое по модулю не меньше единицы:

$$|g(p,q)|=|q^{2}D-p^2|\ge 1.$$

Это и есть гранулярный пол. Погрешность квадрата⁵ $|D-(p/q{)}^2|=|g(p,q)|/q^2$ не может быть меньше $1/q^2$: между рациональным квадратом и не-квадратом $D$ всегда лежит целая «щель» шириной не менее единицы.

Существенно, что пол этот — не постулат и не дополнительное допущение о зерне мира. Он есть следствие незавершаемости $\sqrt{D}$: ровно потому, что процесс не закрывается в Элемент, целая щель $g$ не обращается в нуль. Число, запиравшее в предыдущей главе повороты и симметрии, здесь запирает точность: оно не даёт квадрату рационального приближения совпасть с $D$, и зазор не схлопывается ни на одной ступени.

Ограниченное разрешение против неограниченного процесса

Пол $1/q^2$ зависит от знаменателя $q$ — от «разрешения» приближения. Здесь и проходит вся разница между обрезанием и процессом.

Ограниченное разрешение. Пусть теория допускает лишь знаменатели $q\le Q$ — наложено конечное зерно, верхняя граница точности. Тогда из $q\le Q$ следует $1/q^2\ge 1/Q^2$, и потому каждое её приближение имеет погрешность

$$|D-(p/q{)}^2|\ge 1/q^2\ge 1/Q^2.$$

Уклонение от предела-роли не опускается ниже фиксированной величины $1/Q^2$, и эту величину никакое допустимое приближение не побеждает⁶. Обрезание оставляет несхлопывающийся зазор — фиксированное дно.

Неограниченный процесс. Наша сторона предела-роли зерна не вводит: знаменатель есть величина процесса, ничем сверху не ограниченная. И тогда дно бьётся — это обеспечивает пеллев процесс: для положительного неквадратного $D$ уравнение $p^2-D{q}^2=1$ имеет решения со сколь угодно большим $q$, у которых целая щель минимальна, $|g(p,q)|=1$, а значит погрешность есть ровно $1/q^2<1/Q^2$⁷. Процесс спускается ниже любого наперёд заданного дна.

Ограниченное разрешение застревает над полом $1/Q^2$; неограниченный процесс этот пол бьёт и уводит погрешность к нулю, не достигая нуля ни на одной ступени. Первое — обрезание; второе — предел-роль.

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

Финитизация не есть обрезание

Теперь соберём вердикт. Две установки, которые легко спутать, числовая дихотомия разводит окончательно.

Конечная актуальность (P4) требует, чтобы каждая актуализованная ступень процесса была конечным рациональным Элементом. Конечный субстрат — установка иного рода: наименьшее зерно, ограниченное разрешение $q\le Q$, обрезание мира снизу. Предыдущий раздел показал, что это не одно и то же: неограниченный процесс (P4) бьёт любой пол, тогда как конечный субстрат держит несхлопывающийся зазор $1/Q^2$. P4 даёт первое и не влечёт второго.

Из «амплитуды суть процессы» не следует «субстрат гранулярен». Чтобы получить обрезание, нужно отдельное допущение о наименьшем зерне — допущение, которого P4 не делает.

Отсюда честный итог для приложения к физике⁸. Программы, обрезающие мир снизу конечным разрешением — модели, вводящие конечное рациональное разрешение (максимальный знаменатель $q\le Q$), — по самой своей установке предсказывают фиксированное уклонение от континуального описания: пол $1/Q^2$, который опыт, спускаясь к меньшим зазорам, в принципе опровергает⁹. ℚ-взгляд предсказывает ноль такого уклонения: его погрешность бьёт любой пол. Для величин, представимых такими пределами-ролями, он совпадает с континуальным описанием.

Поэтому вклад здесь — не предсказание, а демаркация. ℚ-онтология процесса эмпирически неотличима от обычной механики; отличается она от программ, вводящих конечный субстрат — и эта отличимость доказуема: одни предсказывают несхлопывающийся пол, другая — нет. Незавершаемость как открытость процесса (будущее не предрешено, цифра ещё не выдана) с нашей стороны совместима с обычными предсказаниями¹⁰; конечный субстрат — нет.

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

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

Rules (L5). Удерживающее правило — критерий завершаемости корня: целая щель $g(p,q)=q^{2}D-p^2$ обращается в нуль тогда и только тогда, когда $\sqrt{D}$ завершается в Элемент, то есть когда $D$ — полный квадрат. Для предела- роли щель не нуль, откуда $|g|\ge 1$ — пол. Второй слой правила — сортировка по разрешению: ограничено оно ($q\le Q$) или нет. Эти два правила стоят выше самих приближений и задают их статус.

Roles (L4). Две роли, которые играет конфигурация приближения: конфигурация ограниченного разрешения (Элемент, застрявший над полом $1/Q^2$ — сторона обрезания) и неограниченный процесс (предел-роль, бьющий всякий пол). Обоснование позиций структурой: роль определяется не «природой» числа, а тем, ограничено ли разрешение правилом — то есть отношением к Rules.

Elements (L1 + P4). Носители — целая щель $g(p,q)$ и рациональные приближения $p/q$, выдаваемые процессом на каждой конечной ступени. Актуализация под P4 конечна: актуальны лишь ступени и их целые щели; само $\sqrt{D}$ как завершённый предел не актуализуется Элементом — актуальны только приближения. Именно поэтому у погрешности нет положительного дна, но и нуля она не достигает.

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

Что даёт разбор. Во-первых, он показывает, что «есть ли наименьшее зерно?», «обрезан ли мир снизу?» — такое же смешение категорий, как «завершённое ли число $\sqrt{2}$»: оно требует от неограниченного процесса быть ограниченным объектом- субстратом. Во-вторых, он называет источник демаркации: пол положителен ровно потому, что корень не завершается — то есть гранулярное уклонение есть теорема о числах, и именно её отсутствие отличает неограниченный процесс от конечного субстрата.

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

---

---

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

Навигация: ← Глава 1. Граница финитизации · Глава 3. Редукционный атлас →

Footnotes

1. Утверждения главы проверены как «закрытые под глобальным контекстом» (без Закона Исключённого Третьего и без дополнительных свидетельных аксиом). Пеллева часть tos_beats_granular опирается на бесконечную последовательность решений Пелля и не следует из одной nonsquare_gap_nonzero. ↩

2. Содержательная иллюстрация лежит в приложении к физике — в конечно-точностных прочтениях квантовой механики; здесь они служат образом единой числовой формы, а не предметом настоящего тома. См.\ §«Финитизация не есть обрезание». ↩

3. «$\sqrt{D}$ есть предел-роль $\iff$ $D$ не полный квадрат» доказано в общем виде: рациональное значение квадратного корня заставило бы $D$ быть полным квадратом. Это rational_square_is_perfect; для каждого отдельного $D$ невозможность рационального значения — not_perfect_square_irrational. ↩

4. Это утверждение — nonsquare_gap_nonzero — сводит «невозможность точного попадания» к теореме о корне: завершаемость $\sqrt{D}$ есть в точности «$D$ — полный квадрат». Физическое следствие, как увидим, оказывается этой теоремой о числах. ↩

5. Пол сформулирован для квадратной ошибки $|D-r^2|$; для ошибки самого значения $|\sqrt{D}-r|$ получается связанная оценка делением на $\sqrt{D}+r$. ↩

6. Равномерная нижняя граница для всех конфигураций разрешения $q\le Q$ — granular_deviation; в целочисленном масштабе она есть $q^2\le Q^2|q^{2}D-p^2|$. ↩

7. Существование таких приближений со сколь угодно большим знаменателем — свойство процесса, восходящего к уравнению Пелля: целая щель принимает значение $1$ на бесконечно многих ступенях, а знаменатель неограниченно растёт. Соответствующее утверждение — tos_beats_granular. ↩

8. Этот раздел — приложение к физике; он иллюстрирует числовую форму на конечно-точностных прочтениях квантовой механики и не входит в предмет настоящего тома. ↩

9. Как числовая иллюстрация (не физическая модель Белла): оптимум корреляции есть предел-роль $\sqrt{8}=2\sqrt{2}$; рациональная аппроксимация $14/5$ к нему имеет квадратную ошибку $8-(14/5{)}^2=4/25$. Любая модель, фиксирующая максимальный знаменатель $Q$, оставляет подобный ненулевой пол; неограниченный процесс такого пола не имеет. Аналогично «потолок числа кубитов»: конечное рациональное разрешение даёт верхнюю границу на сложность точно представимого состояния, тогда как знаменатель $2^m$ процесса неограничен. ↩

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