Глава 1. Геометрия как рациональная и решёточная структура

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

Открытие Части XII

Часть XI перечитала алгебру: поле оказалось роль-расширением, степень — ярусом роли, симметрия корней — конкретной кодировкой, а не завершённым функтором. Часть XII делает тот же ход на следующем этаже — в геометрии: точка, фигура, расстояние, площадь, кривизна, многообразие, группа симметрий.

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

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

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

Что эта часть утверждает — и что нет

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

• группы вращений живут над $Q$ конкретно: рациональная окружность $SO(2,Q)$, рациональные кватернионы с двойным накрытием $SU(2)\to SO(3)$, и кристаллографическое ограничение — допустимы лишь порядки $1,2,3,4,6$ (глава 12.3);²
• инфинитезимальная симметрия получает настоящую алгебру Ли над $Q$: $so(3)$ как векторное произведение, структурные константы $[e_i,e_j]={\epsilon }_{ijk}{e}_k$ и тождество Якоби (глава 12.4);³
• кривизна получает Element-сторону: угловой дефект, и сумма дефектов всех пяти платоновых тел равна $2\chi$ (в единицах $\pi$ — рационально); а многообразие оказывается процессом — окружность есть предел вписанных рациональных многоугольников (глава 12.2);⁴
• экспонента $\exp :\mathfrak{g}\to G$ заменяется рациональным отображением Кэли (для $SO(2)$ и для $SO(3)$), а геодезическая — кратчайшим дискретным путём (глава 12.4–12.5).⁵

Чего ToS не делает: не овеществляет гладкое многообразие как завершённый континуум, группу Ли над $R$ с аналитической экспонентой, непрерывный тензор кривизны и связность как готовые объекты. Это граница системы — но, как и в Части XI, граница того же рода, что названа в Части X: континуум (вложение в $R$/$C$, роль-предел процесса Коши). Она не «дыра» в построении, а честный край рациональной оптики, и её место — в конце части, в карте границ (12.6), а не на каждой странице.

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

Точка и фигура: геометрия из рациональных координат

Основа геометрии-в-ToS — рациональная координата. Точка плоскости есть пара $(a,b)\in Q^2$: конечные данные, а не таинственная позиция в континууме. Фигура — коника, сфера, многоугольник — есть не предсуществующее непрерывное множество, а роль: «точки, удовлетворяющие определяющему правилу». Здесь работает порождающий порядок ToS: Правило (уравнение фигуры) $\to$ Роль (локус как множество-под-правилом) $\to$ Элементы (актуальные рациональные координаты, перечисляемые поштучно).

Решающий факт: рациональных точек достаточно, и они порождаются правилом. Единичная окружность $x^2+y^2=1$ несёт бесконечно много рациональных точек — ровно пифагоровы тройки. В математическом чтении троичное дерево Барнинга перечисляет все примитивные тройки из корня $(3,4,5)$; формально проверены порождающие шаги (матрицы Барнинга сохраняют пифагоровость), корень, первые потомки, рост гипотенузы и невозможность равнобедренной примитивной тройки. Так локус рациональных точек окружности есть порождаемое правилом семейство конечных данных, а не данный заранее континуум.⁶ Тот же приём поднимается в размерности: стереографическая проекция переводит рациональную точку плоскости в рациональную точку сферы $x^2+y^2+z^2=1$, давая большое параметризованное семейство (в классическом чтении оно покрывает все рациональные точки сферы, кроме полюса). Формально используется прямое направление: всякая рациональная пара даёт точку сферы.⁷

За обоими примерами стоит один классический механизм — хордовый метод Диофанта: проведя через известную рациональную точку коники прямую с рациональным наклоном, второе пересечение снова рационально. Рациональный наклон — это правило, перечисляющее элементы локуса.⁸ Геометрическая фигура, таким образом, не предшествует своим точкам как объект; она конституируется правилом и реализуется конечными рациональными координатами на каждой стадии перечисления.

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

Решётка и целочисленная мера: площадь Пика

Сужая координаты до целых, получаем решётку $Z^2$ — чистейший случай конечно-актуальной геометрии. Здесь даже мера перестаёт быть пределом. Классическая формула Пика

$$A=I+\frac{B}{2}-1,$$

($I$ — число внутренних, $B$ — число граничных узлов) задаёт смысл этого слоя: площадь считается по конечным данным (два целых числа), а не исчерпанием бесконечно мелких прямоугольников. Формально проверены шнуровка-через-определитель и базовые/репрезентативные случаи: прямоугольник, единичный и унимодулярный треугольник.⁹

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

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

Где рациональное упирается: x​{sqrt}-обструкции

Рациональная и решёточная геометрия не безгранична — и её края сами суть теоремы. Самый чистый пример: ни один равносторонний треугольник не имеет всех трёх вершин в $Z^2$. Доказательство складывает две меры площади. С одной стороны, площадь решёточного треугольника рациональна (шнуровка). С другой, площадь равностороннего треугольника со стороной $s$ равна $\frac{\sqrt{3}}{4}{s}^2$, а $s^2$ для решёточной стороны — целое. Равенство рационального и $\frac{\sqrt{3}}{4}\cdot (\text{целое})$ заставило бы $\sqrt{3}$ быть рациональным — чего нет. Алгебраически это тождество Лагранжа, форсирующее $3$ быть квадратом рационального.¹⁰

Граница идёт дальше. В подтверждённом слое: квадрат на $Z^2$ реализуется; равносторонний треугольник и шестиугольник блокируются $\sqrt{3}$, а правильный пятиугольник — $\sqrt{5}$ (он потребовал бы рациональности золотого сечения $\phi$). Полная формула «только квадрат» опирается ещё и на кристаллографическое ограничение (следовой аргумент, глава 12.3).¹¹ Это в точности геометрическое лицо степенной и иррациональной структуры Части XI: «нет равностороннего на $Z^2$» — это $\sqrt{3}\notin Q$, «нет правильного пятиугольника» — это $\sqrt{5}\notin Q$, а запрет оси симметрии порядка 5 (кристаллографическое ограничение главы 12.3) — та же $\sqrt{5}$-преграда, что не пускает пятиугольник в решётку. Рациональная геометрия и алгебраический ярус — одна структура, увиденная дважды.

При этом $60^{\circ }$-геометрия не теряется — она просто живёт на другой решётке. Равносторонний треугольник невозможен на квадратной $Z^2$, но естественен на треугольной (гексагональной) решётке, а её рациональные тройки — тройки Эйзенштейна, удовлетворяющие $a^2-ab+b^2=c^2$: точный $60^{\circ }$-аналог пифагоровых троек.¹² Выбор решётки есть выбор правила, и он решает, какие симметрии актуальны. За всеми этими краями лежит иррациональное — роль-предел, а полный континуум — граница системы, к которой часть вернётся в 12.6.

Края рациональной геометрии суть теоремы: нет равностороннего на $Z^2$ ($\sqrt{3}$), нет правильного пятиугольника ($\sqrt{5}$, он же запрет оси 5); но $60^{\circ }$ рационален на гексагональной решётке (Эйзенштейн). Решётка — это правило; иррациональное за её краем — роль-предел.

Куда ведёт часть

Заложив рациональную и решёточную основу, Часть XII разворачивает её ярус за ярусом.

• 12.2 — кривизна как угловой дефект; многообразие как процесс (флагман): кривизна перестаёт быть тензором и становится угловым дефектом (Редже), а многообразие — процессом измельчающейся триангуляции; окружность есть предел вписанных рациональных многоугольников, у которого нет последней стадии.
• 12.3 — группы вращений над $Q$: $SO(2,Q)$, рациональные кватернионы и двойное накрытие $SU(2)\to SO(3)$, конечные подгруппы и кристаллографическое ограничение (порядки $1,2,3,4,6$).
• 12.4 — алгебра Ли и инфинитезимальная структура: $so(3)$ над $Q$ с тождеством Якоби; экспонента, заменённая рациональным отображением Кэли.
• 12.5 — геодезические дискретно: геодезическая как кратчайший дискретный путь и как роль-экстремаль; дискретная кривизна как гравитация (Редже).
• 12.6 — синтез и карта границ: где геометрия-в-ToS упирается в континуум (гладкое многообразие, группа Ли над $R$, аналитическая экспонента, непрерывный тензор кривизны) — ту же цену, что названа в Части X.

Карта границ стоит в конце части не случайно: книга описывает систему, и честный край системы — это её свойство, а не оговорка к каждому шагу.

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

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

Слой	Содержание
Rules (L5)	определяющее уравнение фигуры ($x^2+y^2=1$, инцидентность узлов решётки); хордовое правило Диофанта и стереографическая параметризация; формула Пика $I+B/2-1$ и шнуровка как правило площади; квадрат расстояния как рациональная форма
Roles (L4)	точка$=$роль-позиция (рациональная координата / узел); фигура$=$роль множества рациональных точек под правилом; площадь$=$роль-мера (рациональная/целочисленная); геометрия$=$роль рациональной/решёточной структуры (превью: многообразие$=$процесс, кривизна$=$дефект)
Elements (L1$+$P4)	на каждой стадии — конечные данные над $Q$: пары $(a,b)\in Q^2$, узлы $Z^2$, списки вершин, тройки $(a,b,c)$ (Пифагор/Эйзенштейн), числа $I,B$; гладкий континуальный локус, тензор кривизны как объект — не Элемент

Корректность. Фигура корректна как рациональный локус: точки замкнуты правилом (параметризация даёт снова рациональную точку); площадь корректна как рациональная/целая величина (Пик/шнуровка); решётка корректна как правило инцидентности. Каждый компонент попадает ровно в одну E/R/R-категорию.

Что даёт. Рациональная геометрия коник/сфер — перечислимые локусы, 0 аксиом. Решёточная мера — площадь Пика, целочисленно. Края рациональной структуры — теоремы ($\sqrt{3}$-, $\sqrt{5}$-обструкции), а не «нехватка инструментов».

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

Честные границы. Континуальный локус как готовое несчётное множество, риманов интеграл как предел, гладкая кривая/поверхность — здесь не строятся (это роль-пределы Части X). Полная карта — в 12.6.

Точка — рациональная координата; фигура — роль локуса под правилом; площадь — рациональная/целочисленная мера; решётка — правило инцидентности. Содержательное ядро — рациональная структура, а не завершённый континуум.

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

Глава поставила фундамент Части XII: геометрия в ToS — это рациональная и решёточная структура. Точка есть рациональная координата, фигура — роль множества рациональных точек под определяющим правилом (пифагорово дерево, стереография, хорда Диофанта), а мера — конечная величина (площадь Пика на решётке, шнуровка для рациональных вершин), а не предел сумм. Края этой структуры — сами теоремы: на квадратной решётке нет ни равностороннего треугольника ($\sqrt{3}$), ни правильного пятиугольника ($\sqrt{5}$), но угол $60^{\circ }$ рационален на гексагональной решётке (Эйзенштейн). Геометрический край совпадает с алгебраическим ярусом Части XI — это одна структура, увиденная дважды.

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

Геометрия есть рациональная и решёточная структура, а не данный заранее континуум: точка — координата, фигура — локус под правилом, мера — конечна. Такова рамка, в которой Часть XII перечитывает геометрию — не как гладкий объект, а как рациональную структуру, группу симметрий и кривизну-дефект над конечно-актуальным $Q$.

---

---

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

Навигация: ← Глава 6. Синтез и карта границ — Часть XI · Глава 2. Кривизна как угловой дефект; многообразие как процесс →

Footnotes

1. Ключевые теоремы геометрического слоя — тождество Якоби алгебры Ли $so(3)$ (LieAlgebraSO3.v), двойное накрытие $SU(2)\to SO(3)$ (QuaternionRotation.v), ортогональность преобразования Кэли (CayleySO3.v), отсутствие максимальной стадии у процесса-многообразия (ManifoldAsLimit.v), оценка длины дискретного пути (DiscreteGeodesic.v) — сверены Print Assumptions как “Closed under the global context” (0 аксиом). ↩

2. QuaternionRotation.v: double_cover ($q$ и $-q$ задают один поворот); кристаллографическое ограничение и запрет оси 5 над решёткой — CrystallographicRestriction.v. ↩

3. LieAlgebraSO3.v: jacobi, bracket_e1_e2 и билинейность — полная алгебра Ли над $Q$. ↩

4. DiscreteGaussBonnet.v: $\sum \delta /\pi =2\chi$ для тел Платона. ManifoldAsLimit.v: no_maximal_stage — у процесса нет последней стадии. ↩

5. CayleySO3.v: $N^{\mathsf{T}}N=(1+|v{|}^2{)}^{2}I$. DiscreteGeodesic.v: plen_ge — любой путь не короче прямого расстояния. ↩

6. PythagoreanTree.v: три матрицы Барнинга, сохраняющие пифагоровость, корень $(3,4,5)$, первые потомки, рост гипотенузы, no_isosceles_pyth ($a\ne b$). Полное покрытие дерева — математическое чтение. ↩

7. RationalSphere.v: stereographic_on_sphere (образ лежит на сфере — пифагорова четвёрка), конкретные точки и no_integer_diagonal_sphere (нет точки с $x=y=z$). ↩

8. ConicDuality.v: diophantus_circle, param_on_hyperbola — рациональная параметризация коник. ↩

9. PickTheorem.v: tarea_det (площадь через определитель$=$шнуровку), pick_rectangle, unimodular_triangle_doubled_one, инвариантность переноса. Полная индуктивная теорема Пика для произвольного многоугольника — следующий слой. ↩

10. LatticeEquilateral.v: equilateral_forces_3sq ($(pt-rq{)}^2=3(pr+qt{)}^2$) и no_lattice_equilateral (целочисленные рёбра не образуют равносторонний треугольник): $3$ оказался бы квадратом, что невозможно (иррациональность $\sqrt{3}$). Машинно проверено. ↩

11. LatticePolygons.v: square_on_lattice, no_lattice_pentagon, phi_sq_no_rational (${\phi }^2=d^2/s^2$ иррационально); равносторонний и шестиугольник — через no_lattice_equilateral. ↩

12. EisensteinTriples.v: enorm$=a^2-ab+b^2$, eisenstein_triples, eisenstein_norm_mult — целочисленные стороны с углом $60^{\circ }$ ($60^{\circ }$-аналог пифагоровых троек). ↩