Глава 2. Кривизна как угловой дефект; многообразие как процесс

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

Глава 12.1 заложила основу: геометрия в ToS — рациональная и решёточная структура, точка есть координата, фигура — локус под правилом, мера — конечная величина. Остались два понятия, которые классика держит сильнее всего как завершённые континуальные объекты: кривизна (тензор на гладком многообразии) и само многообразие. Эта глава — флагман части: она переосмысливает оба.

Ход тот же, что проходит сквозь всю книгу. В рамках P4-онтологии ToS:

• кривизна предъявляется прежде всего как угловой ДЕФЕКТ — локальное, дискретное, рациональное (в единицах $\pi$) отклонение от плоскости (исчисление Редже); непрерывный тензор кривизны — её гладкий роль-предел;
• многообразие не данный заранее континуум, а ПРОЦЕСС — измельчающаяся триангуляция, чей гладкий предел есть роль-предел.

Второе — прямой геометрический аналог двух уже знакомых ходов. В Части IV вещественное число оказалось процессом Коши $N\to Q$, а не точкой готового континуума. В Части XI алгебраическое замыкание $\overline{Q}$ оказалось башней конечных расширений без максимальной ступени, а не завершённой стеной. Здесь многообразие оказывается рефайнинг-триангуляцией: то, что классика берёт завершённым гладким телом, ToS читает как незавершающийся процесс приближения, у которого нет последней стадии.

Кривизна — угловой дефект, а не тензор; многообразие — процесс измельчения, а не готовый континуум. Это геометрический аналог $R=$ процесс Коши и $\overline{Q}=$ башня: завершённый объект классики становится процессом ToS.

Кривизна как угловой дефект

Возьмём вершину многогранника, в которой сходятся $m$ граней с внутренними углами $\alpha$. Если бы окрестность была плоской, углы сложились бы в полный оборот $2\pi$. Угловой дефект

$$\delta =2\pi -\sum _{\text{грани при вершине}}\alpha$$

измеряет, насколько вершина не плоская, — и это и есть кривизна, сосредоточенная в точке (идея Редже). В этом слое кривизна предъявляется не размазанным непрерывным полем, а локализованной в вершинах и дискретной; непрерывный тензор — её гладкий роль-предел.

Решающее для ToS наблюдение: в единицах $\pi$ дефект рационален. Внутренние углы правильных граней суть рациональные кратные $\pi$ (треугольник $\pi /3$, квадрат $\pi /2$, пятиугольник $3\pi /5$), поэтому

$$\frac{\delta }{\pi }=2-m\cdot \frac{\alpha }{\pi }\in Q.$$

Сама величина угла через $\arccos$ — роль-предел; но дефект, делённый на $\pi$, — конечное рациональное число, Element-сторона кривизны. Для тетраэдра при каждой из $4$ вершин сходятся $3$ треугольника, и $\delta /\pi =2-3\cdot \frac{1}{3}=1$; для куба $2-3\cdot \frac{1}{2}=\frac{1}{2}$; и так далее для всех пяти правильных тел.¹

У кривизны-дефекта есть и чисто комбинаторное лицо — дискретный Риччи на графе. Кривизна Формана ребра $e=(u,v)$ собирается из степеней концов и общих соседей; на цепи она нулевая (плоско), на треугольнике и полном графе — положительная.² И там, и там кривизна — правило над конечными данными (углы, степени), а не непрерывное поле.

Кривизна локализована и дискретна: угловой дефект $\delta =2\pi -\sum \alpha$ (Редже) либо комбинаторный Риччи Формана. В единицах $\pi$ дефект рационален — Element-сторона; сам угол через $\arccos$ — роль-предел.

Гаусс–Бонне: дефект равен топологии

Локальные дефекты складываются в глобальный инвариант. Теорема Декарта (дискретный Гаусс–Бонне) утверждает: сумма угловых дефектов по всем вершинам замкнутого многогранника равна $4\pi$ — то есть $2\pi \cdot \chi$ при эйлеровой характеристике $\chi =V-E+F=2$ для сферической топологии. В единицах $\pi$ это

$$\sum _v\frac{{\delta }_v}{\pi }=2\chi .$$

Для всех пяти платоновых тел левая часть равна $4$, а $\chi =2$ — и равенство выполняется тождественно.³ Существенно вот что: рациональная сумма дефектов равна целому топологическому инварианту — и это равенство не зависит от (роль-предельного) значения самого $\pi$. Кривизна на Element-стороне (рациональная, в единицах $\pi$) есть топология (целое $2\chi$).⁴

У того же инварианта есть и гладко-симплициальное лицо: цепной комплекс с границей $\partial$, числа Бетти, эйлерова характеристика из них и форма Гаусса–Бонне $\sum \delta =4\pi \chi$.⁵ Две записи встречаются на топологии: глобальная сумма дискретных дефектов и гладкий интеграл полной кривизны имеют один и тот же топологический инвариант $2\chi$. Локальный дискретный дефект не равен гладкому тензорному полю в точке — совпадает именно глобальная полная кривизна.

Сумма угловых дефектов$=2\pi \chi$ (Декарт/Гаусс–Бонне): рациональная (в единицах $\pi$) кривизна равна целому топологическому инварианту $2\chi$, независимо от значения $\pi$. Глобальные инварианты дискретной и гладкой кривизны совпадают (оба$=2\chi$).

Многообразие как процесс

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

Самый прозрачный случай — окружность. Её не нужно брать готовым континуумом; её можно порождать вписанными рациональными многоугольниками. Вписанный квадрат с вершинами $(\pm 1,0),(0,\pm 1)$ имеет площадь $2$; рациональный $12$-угольник с вершинами $(\pm 1,0),(0,\pm 1),(\pm \frac{3}{5},\pm \frac{4}{5}),(\pm \frac{4}{5},\pm \frac{3}{5})$ — площадь $74/25=2,96$. Площадь строго растёт при измельчении и остаётся ограниченной сверху площадью описанного квадрата $[-1,1{]}^2$, равной $4$. Это монотонный ограниченный рациональный процесс $N\to Q$, и его предел — площадь единичного круга $\pi$ — не достигается ни одной конечной стадией.⁶

В этом и состоит флагман-переосмысление. «Окружность» — имя процесса, а не завершённого объекта. Каждая стадия — конечные рациональные данные (список вершин, рациональная площадь); тотальность — монотонный ограниченный процесс с пределом $\pi$, которого нет среди стадий. Это буквально тот же ход, что $R=$ процесс Коши (Часть IV) и $\overline{Q}=$ восходящая башня (Часть XI): то, что классика овеществляет в готовый континуум, ToS держит как незавершающийся процесс приближения.

Тот же образ работает в размерности и абстрактно. Процесс-многообразие — это последовательность вложенных триангуляций с измельчающимся шагом, у которой кривизна стабилизируется по мере уточнения; плоское и сферическое многообразия описаны как такие процессы.⁷ А общая форма «континуум как предел стадий» — это проективный предел: башня с проекциями и совместимые нити над ней, стадийно фундаментальные.⁸ Гладкое многообразие — роль-предел этой башни, не её максимальная ступень (которой нет), ровно как $\overline{Q}$ — предел башни расширений.

Многообразие — процесс измельчающейся триангуляции, а не готовый континуум. Окружность — монотонный ограниченный процесс вписанных рациональных многоугольников без последней стадии; её площадь $\pi$ — роль-предел. Тот же ход, что $R=$ процесс и $\overline{Q}=$ башня.

E/R/R-разбор

Соберём структуру главы в порождающем порядке.

Слой	Содержание
Rules (L5)	дефект $\delta =2\pi -\sum \alpha$ (правило Редже); Гаусс–Бонне $\sum \delta =2\pi \chi$ (Декарт); правило измельчения (вписанные многоугольники, вложенные триангуляции); ${\partial }^2=0$ (цепной комплекс); кривизна Формана как правило на графе
Roles (L4)	кривизна$=$роль-мера (угловой дефект); многообразие$=$роль-предел рефайнинг-процесса; «гладкость»$=$процесс, а не объект; \chi$${}={}топологическая роль-инвариант; «окружность»$=$имя процесса
Elements (L1$+$P4)	на каждой стадии — конечные данные: числа $V,E,F$; дефекты в единицах $\pi$ (рациональные); списки вершин многоугольников и их рациональные площади; степени вершин графа; гладкое многообразие и непрерывный тензор кривизны как объекты — не Элементы

Корректность. Кривизна корректна как дефект: сумма дефектов равна целому инварианту $2\chi$ (Гаусс–Бонне). Процесс-многообразие корректно: измельчение монотонно, ограничено и стабилизирует кривизну. Каждый компонент попадает ровно в одну E/R/R-категорию.

Что даёт. Кривизна — рациональный дефект (в единицах $\pi$), равный целому $2\chi$. Многообразие — конкретный монотонный процесс (окружность из многоугольников), 0 аксиом, плюс абстрактные процесс-многообразие и проективный предел.

Диагностика. Корневая ошибка, которую снимает глава, — овеществление кривизны как непрерывного тензора и многообразия как готового гладкого тела. ToS возвращает им категорию: кривизна — дефект (правило-мера), многообразие — процесс (роль-предел).

Честные границы. Гладкое многообразие как завершённый континуум, непрерывный тензор кривизны и связность, риманова метрика — роль-пределы (континуум-цена Части X). Полная карта — в 12.6.

Кривизна — дефект (правило-мера), равный топологии; многообразие — процесс (роль-предел). Element-сторона — рациональные дефекты и конечные стадии; гладкий тензор и завершённый континуум — роль-пределы.

Итог и переход

Глава переосмыслила два самых «континуальных» понятия геометрии. Кривизна перестала быть непрерывным тензором и стала угловым дефектом — локальным, дискретным, рациональным в единицах $\pi$; а её глобальная сумма оказалась равна целому топологическому инварианту $2\chi$ (Гаусс–Бонне), независимо от значения $\pi$. Многообразие перестало быть готовым гладким телом и стало процессом измельчающейся триангуляции: окружность — монотонный ограниченный процесс вписанных рациональных многоугольников без последней стадии, чья площадь $\pi$ есть роль-предел. Это тот же ход, что $R=$ процесс Коши и $\overline{Q}=$ башня, — теперь в геометрии.

Дальше Часть XII спускается от меры и формы к симметрии. Глава 12.3 строит группы вращений над $Q$ — рациональную окружность $SO(2,Q)$, кватернионы и двойное накрытие $SU(2)\to SO(3)$, конечные подгруппы и кристаллографическое ограничение. Глава 12.4 даёт инфинитезимальную сторону — алгебру Ли $so(3)$ над $Q$ и рациональное отображение Кэли вместо экспоненты.

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

---

---

Часть: Часть XII. Геометрия, многообразия, группы Ли · Том: «Математика»

Навигация: ← Глава 1. Геометрия как рациональная и решёточная структура · Глава 3. Группы вращений над Q: SO(2), кватернионы, SU(2) →

Footnotes

1. DiscreteGaussBonnet.v: vertex_defect_pi$=2-m\cdot a$ и total_defect_pi; tetra_defect, cube_defect, octa_defect, dodeca_defect, icosa_defect — сумма дефектов каждого тела равна $4$ (в единицах $\pi$). Машинно проверено, 0 аксиом. ↩

2. GraphCurvature.v: forman_curvature $=4-\mathrm{deg}u-\mathrm{deg}v+3|\text{общие соседи}|$; chain_flat (цепь плоская), положительная кривизна на треугольнике и полном графе. ↩

3. DiscreteGaussBonnet.v: platonic_euler ($\chi =2$ для тетраэдра/куба/октаэдра/додекаэдра/икосаэдра), gauss_bonnet_general (если $\sum \delta /\pi =4$ и $\chi =2$, то $\sum \delta /\pi =2\chi$) и gauss_bonnet_tetra. ↩

4. foundation/EulerCharProtectedInteger.v (4 Qed, 0 аксиом): эйлерова характеристика — защищённое целое, достигаемое четырьмя независимыми путями ($\chi (S^2)=2$ — sphere_chi_four_ways; тор $\chi =0$ — torus_chi_zero; все тела Платона $\chi =2$ — all_platonic_chi_2; капстоун euler_char_protected_integer). Наблюдение об устойчивости целочисленного инварианта, не новая теорема; машинно проверено, 0 аксиом. ↩

5. SimplicialHomology.v: triangle_boundary_verified (${\partial }^2=0$), числа Бетти (betti_S2/T2/g2), $\chi$ через Бетти (euler_from_betti, euler_S2$=2$) и Гаусс–Бонне $\sum \delta =4\pi \chi$ (gauss_bonnet_predict). Это гладко-топологическая запись того же инварианта; Element-форма «$\sum \delta /\pi =2\chi$ для тел Платона» — в DiscreteGaussBonnet.v. ↩

6. ManifoldAsLimit.v (0 аксиом): shoelace (рациональная площадь по вершинам), square_area$=2$, dodeca_area$=74/25$, refinement_grows_area (измельчение строго растит площадь), approx (строго возрастающий ограниченный процесс) и no_maximal_stage (нет последней стадии), капстоун manifold_is_a_process. ↩

7. ProcessManifold.v: запись ProcessManifold (вершины, рёбра, длина ребра, дефект на стадии $K$), pm_refining, pm_curvature_stable; плоское и сферическое многообразия как процессы. ↩

8. ProjectiveSystem.v/ProjectiveLimit.v: проективная система ProjSys с проекциями, совместимый элемент как нить, стадийная фундаментальность (метрический проективный предел). ↩