Что собрала часть

Часть XII перечитала геометрию в той же оптике, что Часть X — теорию множеств, а Часть XI — алгебру: сменила категорию первичных объектов и удержалась конечно-актуального. Соберём пройденное.

  • 12.1 — геометрия как рациональная/решёточная структура. Точка — рациональная координата, фигура — локус под правилом (пифагорово дерево, стереография, хорда Диофанта), мера — конечная величина (площадь Пика, шнуровка). Края — -обструкции.
  • 12.2 — кривизна как угловой дефект; многообразие как процесс. Кривизна — локальный дефект (), многообразие — рефайнинг-триангуляция; окружность — монотонный процесс вписанных многоугольников без последней стадии.
  • 12.3 — группы вращений над . (мультипликативная норма), кватернионы и двойное накрытие , кристаллографическое ограничение ().
  • 12.4 — алгебра Ли. над как : структурные константы, тождество Якоби; экспонента заменена рациональным отображением Кэли.
  • 12.5 — геодезические и гравитация. Геодезическая — роль-экстремаль (кратчайший дискретный путь / орбита); кривизна-дефект выражает гравитацию (геометрическое чтение; действие Редже).

Единая формула части. В рамках P4-онтологии ToS содержательное ядро геометрии — это рациональная и решёточная структура, дискретная кривизна-дефект, группы симметрий и алгебра Ли над , а многообразие — процесс (рефайнинг-триангуляция). Всё это — конечные рациональные данные на каждой стадии, а геометрический слой ToS (src/geometry/) сверен как 0-аксиомный.1

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

Карта границ Части XII

Честная граница описывает саму систему: что она охватывает и где упирается. Для Части XII это два яруса.

СлойСодержаниеЦена
Система ToS-геометрии покрывает (0 аксиом)рациональная/решёточная геометрия (вкл. шнуровку и базовые случаи Пика); группы симметрий над — , кватернионыдвойное накрытие , кристаллографическое ограничение (), конечные подгруппы; алгебра Ли ; кривизнаугловой дефект (Декарт/Гаусс–Бонне, Форман, Редже); многообразиепроцесс (рефайнинг / окружность-предел / проективный предел); заменена Кэли (2D и 3D); геодезические дискретно (кратчайший путь; орбиты ISCO/Кеплер)нет
Граница системыконтинуум (роль-предел)гладкое многообразие как завершённый континуум; алгебра Ли над и аналитическая экспонента; непрерывный тензор кривизны, связность и уравнение Эйнштейна; непрерывный Гаусс–Бонне; гладкая риманова метрикаконтинуум

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

Карта границ Части XII: система покрывает рациональную геометрию, кривизну-дефект, группы симметрий, алгебру Ли и процесс-многообразие (0 аксиом); главная граница — континуум-роль-предел, отдельные незавершённые результаты — труд-бэклог, не запрет.

Континуум — цена Части X, а не новый запрет

Ключевое о нижнем ярусе: это не новый P4-запрет, а уже названная цена. Гладкое многообразие, алгебра Ли над , аналитическая экспонента, непрерывный тензор кривизны — все они упираются в одно и то же: континуум. А континуум ToS уже разобрал в Части IV ( — процесс Коши) и оценил в Части X (несчётность, цена выбора). Геометрия не добавляет сюда нового барьера; она наследует ту же цену.

Более того, большая часть «стены» при ближайшем рассмотрении растворяется:

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

Остаётся узкий честный остаток — собственно гладкий континуальный предел (единственная евклидова геодезическая, непрерывный тензор, аналитическая , повороты на иррациональные углы). Он реален, но это тот же континуум, что в Части X, и ни одного нового P4-запрета Часть XII не вводит — в отличие, скажем, от аксиомы выбора в завершённо-объектной форме, которую Часть X прямо отвергает.

Граница Части XII — континуум, та же цена, что названа в Частях IV и X, а не новый запрет. Многое растворяется в процесс (многообразие), рациональную замену (Кэли) и дефект (кривизна); остаётся лишь гладкий континуальный предел.

Единство сквозь книгу

Часть XII не отдельный остров — она смыкается с уже пройденным в трёх точках.

Одна преграда, увиденная трижды. и всплыли в Части XII не раз: запрещает равносторонний треугольник на (12.1) и поворот на как рациональную точку (12.3); запрещает правильный пятиугольник (12.1) и пятую ось симметрии (12.3). А в Части XI это тот же неприводимый квадратичный ярус: без рационального корня. Решёточная геометрия, симметрия и алгебраический ярус — одна структура, увиденная под тремя углами.

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

Одно тождество «дефекткривизнагравитация». Угловой дефект (12.2) есть кривизна, а кривизна в геометрическом чтении ОТО выражает гравитацию (12.5); сумма дефектов есть топология (Гаусс–Бонне). Геометрия, топология и гравитация смыкаются на одном конечно-рациональном инварианте.

Часть XII едина с книгой: -преграда (решётка/симметрия/алгебра) — одна; ход «объектпроцесс» (, , многообразие) — один; тождество «дефекткривизнагеометрическое чтение гравитации» — одно.

E/R/R-разбор части

Соберём всю Часть XII в порождающем порядке.

СлойСодержание
Rules (L5)определяющие уравнения фигур и формула Пика; дефект и Гаусс–Бонне ; мультипликативная норма (два/четыре квадрата) и групповые аксиомы; скобка с Якоби; Кэли ; экстремаль пути (неравенство треугольника); действие Редже
Roles (L4)фигуралокус под правилом; кривизнароль-мера (дефект); многообразиероль-предел рефайнинг-процесса; группа вращенийроль-симметрия; алгебра Лироль-инфинитезималь; геодезическаяроль-экстремаль; гравитацияроль кривизны-дефекта
Elements (L1P4)конечные данные над : координаты, узлы решётки, дефекты в единицах , рациональные точки/кватернионы/матрицы вращений, структурные константы, числители Кэли, дискретные пути; гладкое многообразие, непрерывный тензор кривизны, аналитическая над — не Элементы

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

Вся Часть XII — одна оптика: правила (уравнения, дефект, норма, скобка, Кэли, экстремаль), роли (локус, мера, симметрия, инфинитезималь, предел) и Элементы (конечные рациональные данные); гладкий континуум — роль-предел, а не Элемент.

Итог Части XII

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

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

Геометрия-в-ToS — рациональная/решёточная структура, кривизна-дефект, группы симметрий и алгебра Ли над , многообразие-процесс; конечно-актуально, без аксиом. Граница — континуум, цена Частей IV и X, а не новый запрет. Сменив категорию, геометрия не обеднела, а стала точной.



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

Навигация: ← Глава 5. Геодезические и гравитация дискретно · Глава 1. Простые числа в операциональной онтологии — Часть XIII →

Footnotes

  1. Геометрический слой ToS: LieAlgebraSO3.v (jacobi), QuaternionRotation.v (double_cover), CayleySO3.v (cay_orthogonal_scaled), RationalSO3.v, DiscreteGaussBonnet.v (total_defect_pi), ManifoldAsLimit.v (no_maximal_stage, manifold_is_a_process), DiscreteGeodesic.v (plen_ge) — “Closed under the global context” (0 аксиом) по Print Assumptions. Опираются на существующий корпус: RationalRotationGroup, RationalQuaternions, SU2Group, CrystallographicRestriction, PickTheorem, ProcessManifold, SimplicialHomology, ProcessRegge, ProcessGeodesic, GeodesicDeviation (статус — по их шапкам/Print Assumptions отдельно). ↩