Глава 5. Геодезические и гравитация дискретно

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

Главы 12.3–12.4 построили симметрии геометрии — группы вращений и их алгебру Ли. Теперь Часть XII переходит к движению по геометрии: к геодезическим (прямейшим путям) и к тому, как кривизна (12.2) проявляется как гравитация. Классика берёт геодезическую как решение дифференциального уравнения на гладком многообразии, а гравитацию — как непрерывное уравнение Эйнштейна для тензора кривизны. ToS делает дискретный ход:

• «геодезическая» есть роль-экстремаль — кратчайший дискретный путь (предел дискретных путей), либо рациональная орбитальная экстремаль;
• «гравитация» есть кривизна-как-дефект (12.2): угловой дефект Редже и есть гравитационная кривизна, а действие Редже — дискретный аналог Эйнштейна–Гильберта;
• «приливы» суть девиация геодезических: расхождение соседних путей есть кривизна — Element-сторона тождества «гравитация$=$кривизна»;
• гладкое уравнение геодезической, непрерывное уравнение Эйнштейна, тензор кривизны над $R$ — роль-пределы (континуум-цена Части X), карту которых даёт 12.6.

Оговорка о границе тома. Динамика гравитации — предмет отдельного тома о физике. Здесь Часть XII лишь замыкает геометрическую нить: геодезическая как экстремаль и тождество «кривизна-дефект$=$гравитация», над $Q$ и со ссылкой на уже построенный слой Редже; полная физика не дублируется.

Геодезическая — роль-экстремаль (кратчайший дискретный путь); гравитация — кривизна-дефект (Редже); приливы — девиация геодезических. Гладкое уравнение Эйнштейна — роль-предел; динамика — в томе о физике.

Геодезическая как роль-экстремаль

Геодезическая — это экстремаль: кратчайший (или прямейший) путь между точками. ToS держит её дискретно, и у неё два лица.

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

Второе — рациональная орбитальная экстремаль. Геодезическая в поле тяготения — это орбита, экстремаль эффективного потенциала. ToS считает её над $Q$ на конкретных примерах: эффективный потенциал, радиус последней устойчивой орбиты (ISCO), кеплеров закон $T^2/r^3$ — всё рациональными величинами.² Оба лица — одна роль: геодезическая есть экстремаль, реализованная над $Q$ как кратчайший дискретный путь или как рациональная орбита, а не как решение континуального уравнения.

Геодезическая — роль-экстремаль: кратчайший дискретный путь (любой путь $\ge$ прямого, инвариантность при измельчении — предел дискретных путей) либо рациональная орбита (ISCO, Кеплер $T^2/r^3$). Прямизна — правило (неравенство треугольника), не дифференциальное условие.

Девиация и приливы: кривизна как сила

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

ToS держит и это дискретно и рационально. На плоском участке соседние пути не отклоняются (нулевая девиация); кривизна меняет их относительную длину — в рациональной модели файла это выражено как укорочение (замкнутый путь в кривизне короче плоского); локально свободное падение неотличимо от инерции (принцип эквивалентности); а разность кривизны у источника и приёмника даёт гравитационное красное смещение — всё конечными рациональными величинами.³ Кривизна — не самостоятельная сила поверх геометрии, а правило девиации путей; в этой геометрической P4-рамке «сила тяжести» читается прежде всего как роль расхождения, а не как первичное ньютоновское силовое поле.

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

Редже-кривизна как дискретная гравитация

Соберём нить воедино. Кривизна в ToS (12.2) — это угловой дефект; гравитация — это кривизна; значит гравитация есть угловой дефект. Этот тезис формализует исчисление Редже. На триангулированном пространстве каждая «петля» (hinge) несёт дефект $\delta$, а гравитационное действие есть сумма дефектов, взвешенных площадями петель,

$$S_{\text{Редже}}=\sum _{\text{петли}}\delta \cdot (\text{площадь}),$$

— дискретный аналог действия Эйнштейна–Гильберта $\int R\sqrt{g}$. Плоская решётка имеет нулевой дефект и нулевое действие; искривление — ненулевой рациональный дефект.⁴ Так гравитация над $Q$ предъявляется как геометрия: рациональный дефект на петлях, чьё варьирование даёт дискретное уравнение поля.

Здесь геометрическая нить Части XII смыкается с физикой — и здесь же проходит граница тома. Динамику гравитации (эволюция, решения, наблюдаемые) развивает отдельный том о физике; для Части XII важно лишь геометрическое тождество: кривизна-дефект есть гравитация, и оно конечно-рационально на каждой стадии. Непрерывное уравнение Эйнштейна для гладкого тензора — роль-предел (12.6).

Гравитация$=$кривизна-дефект: действие Редже $\sum \delta \cdot$площадь — дискретный Эйнштейн–Гильберт, плоское$\Rightarrow$ноль. Геометрическое тождество конечно-рационально; динамика — в томе о физике, непрерывный Эйнштейн — роль-предел.

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

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

Слой	Содержание
Rules (L5)	геодезическая$=$правило экстремали (неравенство треугольника; кратчайший путь); орбитальная экстремаль (эффективный потенциал); девиация соседних путей$=$кривизна; действие Редже $\sum \delta \cdot$площадь$=$дискретный Эйнштейн–Гильберт
Roles (L4)	геодезическая$=$роль-экстремаль (предел дискретных путей); гравитация$=$роль кривизны-дефекта; приливы$=$роль девиации; «сила тяжести»$=$роль расхождения путей
Elements (L1$+$P4)	конечные данные над $Q$: списки точек пути и их ${\ell }^1$-длины; рациональные ISCO/Кеплер/свободное падение; дефекты Редже (в единицах $\pi$) и площади петель; гладкое уравнение геодезической и непрерывный Эйнштейн над $R$ — не Элементы

Корректность. Геодезическая корректна как экстремаль: любой путь $\ge$ прямого (неравенство треугольника), прямой достигает минимума, измельчение его не меняет. Гравитация корректна как дефект: плоская решётка$\Rightarrow$нулевое действие Редже.

Что даёт. Геодезическая — кратчайший дискретный путь (0 аксиом) и рациональная орбита (ISCO, Кеплер); девиация — кривизна как приливы (укорочение, красное смещение, эквивалентность); Редже — гравитация как дефект ($\sum \delta \cdot$площадь$=$дискретный Эйнштейн–Гильберт).

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

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

Геодезическая — роль-экстремаль (кратчайший путь$+$орбита), кривизна ощущается как девиация (приливы), гравитация$=$дефект Редже. Element-сторона конечно-рациональна; гладкие уравнения и динамика — роль-пределы и том о физике.

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

Глава замкнула геометрическую нить движения. Геодезическая стала роль-экстремалью — кратчайшим дискретным путём (любой путь не короче прямого; измельчение длины не меняет — предел дискретных путей) либо рациональной орбитой (ISCO, Кеплер $T^2/r^3$). Кривизна проявилась как девиация соседних геодезических — геометрическое имя приливной силы; «гравитация» оказалась не полем, а ролью расхождения путей. И тождество замкнулось: кривизна-дефект (12.2) есть гравитация — действие Редже $\sum \delta \cdot$площадь как дискретный Эйнштейн–Гильберт. Динамику развивает отдельный том о физике; здесь важно геометрическое ядро, конечно-рациональное на каждой стадии.

Дальше — последняя глава Части XII. Глава 12.6 собирает синтез и чертит честную карту границ: что геометрия-в-ToS реализует над $Q$ (рациональная/решёточная структура, кривизна-дефект, группы симметрий, алгебра Ли, геодезические) и где её граница — континуум: гладкое многообразие, группа Ли над $R$, непрерывный тензор кривизны и уравнение Эйнштейна, та же континуум-цена, что названа в Части X.

Геодезическая есть роль-экстремаль, гравитация есть кривизна-дефект, приливы есть девиация путей — всё конечно-рационально над $Q$. Гладкие уравнения и динамика гравитации — роль-предел и предмет тома о физике; их карту замкнёт 12.6.

---

---

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

Навигация: ← Глава 4. Алгебра Ли и инфинитезимальная структура · Глава 6. Синтез и карта границ →

Footnotes

1. DiscreteGeodesic.v (0 аксиом): d1_triangle (неравенство треугольника — правило геодезической), plen_ge (любой путь $\ge$ прямого расстояния), straight_is_shortest (прямой путь — кратчайший), geodesic_insert (инвариантность при измельчении). Метрика ${\ell }^1$ выбрана потому, что рациональна; в ней геодезические не единственны (любая монотонная «лесенка») — честная особенность, а евклидова геодезическая — континуум-роль-предел. ↩

2. ProcessGeodesic.v: effective_potential, isco_radius (последняя устойчивая орбита — радиус $30$ в шварцшильдовых единицах $M=5$), kepler_T_sq_over_r3 и kepler_ratio ($T^2/r^3$ как рациональное отношение), freefall_velocity_sq (скорость свободного падения на разных оболочках). ↩

3. gravity/GeodesicDeviation.v: metric_deviation и curvature_shortens (в модели файла кривизна укорачивает модельную длину), zero_deviation_flat (на плоскости девиации нет), equivalence_principle_local (локальная неотличимость падения от инерции), gravitational_redshift (сдвиг частоты от разности кривизны). ↩

4. ProcessRegge.v: deficit_angle (дефект валентности; deficit_flat$=0$ при валентности $6$, положителен при меньшей), Record ReggeLattice, regge_action ($\sum \delta \cdot$площадь), flat_lattice_zero_action и капстоун regge_is_discrete_gr (Редже как дискретный геометрический аналог действия Эйнштейна–Гильберта; динамика — в томе о физике). Дискретное вариационное чтение уравнения поля — process/ProcessDiscreteEinstein.v. ↩