Глава 6. Лестница реификации: число → функция → функционал

Лестница, пройденная за пять глав

Эта часть доказала не пять отдельных результатов, а построила одну лестницу. Соберём её ступени в один подъём.

• 16.1. Функция реифицирована как процесс — коэффициент-процесс $‘FPS‘=N\to Q$. И граница проступает сразу: многочлен — это конечно много ненулевых коэффициентов, хвост обрывается (Element); неполиномиальный ряд — коэффициент-процесс без нулевого хвоста (role-limit).
• 16.2. На этом носителе — полное исчисление: кольцо свёртки, производная, Лейбниц, степени.
• 16.3. Композиция и цепное правило дают формальное сердце $E\circ L=‘geom‘$, $e^{-\ln (1-x)}=1/(1-x)$ — как рекуррентность $c_n=1$, 0-аксиомно.
• 16.4. Вещественная экспонента процесса ${\exp }_R$: гомоморфизм групп и инъективность.
• 16.5. Мост $\mathrm{eval}$ и теорема Таннери замыкают функциональное уравнение $L(x)+L(y)\sim L(x\oplus y)$, $x\oplus y=x+y-xy$.

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

глава	ступень	ярус
16.1	функция $=$ коэффициент-процесс; граница конечная/бесконечная поддержка	0 аксиом
16.2	исчисление функций-процессов (кольцо свёртки, производная)	0 аксиом
16.3	композиция $+$ формальное сердце $E\circ L$	0 аксиом
16.4	вещественная ${\exp }_R$ (Мертенс, гомоморфизм, инъективность)	только L3
16.5	мост $\mathrm{eval}$ $+$ Таннери $\to$ замыкание $\ln$-уравнения	только L3
16.6	лестница число $\to$ функция $\to$ функционал (синтез)	наблюдение

Одна граница, поднятая на ступень

Организующая граница всего Тома — Element / role-limit, граница финитизации. На уровне чисел (Части IV–V) она читается так: рациональное — это процесс, сводящийся к конечным данным (стабилизируется в конечном описании); иррациональное — процесс, по-настоящему не замыкающийся. Это и есть рубеж между Element (сводится к конечной актуальности) и role-limit (процесс, который не закрывается).

Часть XVI показывает: та же граница, на ступень выше. Среди функций Element — это многочлен: конечно много ненулевых коэффициентов, коэффициент-процесс терминирует (хвост $\equiv 0$); role-limit относительно полиномиального слоя — неполиномиальный ряд: коэффициент-процесс без нулевого хвоста. Трансцендентные функции — более тонкий подслой этой бесконечной стороны (геометрическая $1/(1-x)$ уже неполиномиальна, но рациональна, не трансцендентна), и с ней не совпадают. Свидетели явны и 0-аксиомны: ни геометрическая, ни экспонента не суть многочлены, а предикат <<быть многочленом>> ловит ровно обрывающийся хвост.¹

Уровень этого — честно — не новая теорема, а синтез и наблюдение: тот же статус, что у тезиса H1, поднятого на ступень. Ценность онтологическая: граница финитизации — не факт о числах, а структурная черта математики-как-процесса, повторяющаяся на каждом уровне иерархии объектов.

Почему реификация снимает стены

Методологическое чтение. Дважды в этой части <<стена>> оказалась ступенью.

Формальное сердце $E\circ L$ (16.3): обструкция была не теоремой, которую не удавалось доказать, а объектом, который не был построен, — функцией, взятой как готовая вещь, а не как процесс. Реифицированное как коэффициент-процесс, тождество $e^{-\ln (1-x)}=1/(1-x)$ стало простой рекуррентностью $c_n=1$, 0-аксиомно.

Горизонт $\ln$-умножения (16.5): замкнулся ровно тогда, когда экспонента стала вещественным оператором над процессами, а $\mathrm{eval}$ перенёс формальное тождество на ту сторону.

Закон тут — P4 (конечная актуальность): процесс потенциален, он никогда не завершённое целое. <<Стена>> между объектами часто — категориальная ошибка: процесс, принятый за закрытый объект. Реифицируй объект как процесс — и стена становится шагом. Поэтому программа продвигается реификацией, а не силой.

Третья ступень: функционал

У лестницы есть видимая следующая ступень. Функционал — это отображение, берущее функцию и возвращающее число. Один мы уже построили: $\mathrm{eval}$ (16.5) берёт функцию — коэффициент-процесс — и точку, и возвращает число — Коши-процесс. Значит, $\mathrm{eval}$ — первый функционал лестницы

$$\text{число}\to \text{функция}\to \text{функционал},$$

где каждая ступень реифицирует следующий объект как процесс (или как уважающее процесс отображение). Число: вещественное есть процесс $N\to Q$. Функция: функция есть коэффициент-процесс. Функционал: $\mathrm{eval}$ — отображение функции $\to$ числа, согласованное с процессной структурой.

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

Часть как одна система; место в Томе

компонент Части	роль в системе	слой E/R/R
коэффициенты, частичные суммы, конечные блоки (стадия $n$)	носители, конечны	Element (P4)
функция-как-процесс (FPS)	реифицированный объект	Role
${\exp }_R$ (оператор), $\mathrm{eval}$ (мостовой функционал)	переносят структуру	Role / Rule
граница конечная/бесконечная поддержка	свидетель-диагностика	Rule, 0 ax
Мертенс, Таннери	аналитические правила переноса	Rule, L3

Ярус всей Части — честно. Главы 16.1–16.3 (функция-как-процесс, исчисление, формальное сердце) — 0 аксиом. Главы 16.4–16.5 (вещественная ${\exp }_R$, мост $\mathrm{eval}$, замыкание уравнения) — только L3 (закон исключённого третьего), причём с аксиомо-свободными аналитическими ядрами. Никаких иных аксиом — ни выбора, ни функциональной экстенсиональности.²

Место в Томе. Часть XV изучала вычисление и границу финитизации; Часть XVI — эта же граница на ступень выше, среди функций. Нить к H1 и общему тезису Тома: граница Element / role-limit — хребет процессной математики, а не локальное наблюдение об одном классе объектов. Дальше Часть XVII обращается к дискретному — как к следующему синтезу после функционального слоя.

Завершение. У программы реификации теперь две пройденные ступени — число (IV–V) и функция (XVI) — и третья на виду. Это онтологический хребет всего предприятия: математика, делаемая как процессы, где прежние стены между завершёнными объектами проступают ступенями одной лестницы — и следующий шаг возникает там, где очередной объект реифицируется как процесс.

---

---

Часть: Часть XVI. Функция как процесс · Том: «Математика»

Навигация: ← Глава 5. Аналитический мост eval и теорема Таннери: замыкание уравнения логарифма · Глава 1. Комбинаторика — процессный счёт — Часть XVII →

Footnotes

1. src/FormalPowerSeries.v: geom_not_polynomial, exp_fps_not_polynomial (прямые свидетели role-limit), is_polynomial (обрывающийся хвост $=$ Element) — все <>, 0 аксиом. Машинно проверено. ↩

2. Сводно, машинно проверено по главам 16.1–16.5: 0-аксиомный формальный слой (FormalPowerSeries.v) и L3-аналитический слой (exp_R, eval, ln_mul_closed) — Print Assumptions даёт либо <>, либо ровно Classical_Prop.classic. ↩