Глава 3. Редукционный атлас

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

Две предыдущие главы очертили границу финитизации и уточнили её. Первая зафиксировала саму линию: всякий объект, заданный правилом порождения, либо завершается в конечное число шагов в терминус-Элемент, либо доказуемо не завершается и остаётся пределом-ролью. Вторая уточнила сторону предела-роли — это неограниченный процесс, а не обрезание субстрата. Обе главы говорили о границе вообще.

Между тем установлена эта граница была не отвлечённо, а на множестве частных случаев. В геометрии: на целочисленной решётке нет равностороннего треугольника, а из правильных многоугольников вкладывается лишь квадрат. В динамике: рациональный поворот замыкается в конечный цикл лишь при немногих углах, а поворот «три-четыре- пять» не замыкается никогда. В теории чисел: квадратный корень имеет рациональное значение лишь у полного квадрата. В теории информации: знаки базиса Уолша суть лишь $\pm 1$. Каждый такой случай доказывался отдельно, своим приёмом; накопилось шестьдесят восемь подобных фактов, рассеянных по разным областям.

Настоящая глава снимает эту видимость множественности. Она показывает, что десятки доменных фактов суть не десятки независимых теорем, а пять движков; и что пять движков суть пять прочтений одной целочисленной матрицы $2\times 2$. Сжатие идёт в два шага: многие доменные факты $\to$ пять числовых движков $\to$ одна матрица с одним вентилем¹. Вентиль этот — одно целое число, и вопрос о нём разрешим.

Что глава фиксирует и что нет

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

Что не утверждается — новая универсальная теорема о мире. «Пять движков», «одна матрица» — это структурный синтез, организующее наблюдение поверх накопленных частных случаев, а не единая мета-теорема, пробегающая по всем мыслимым областям. Ценность его — сжатие и ясность: показать, что граница, где бы она ни проступала, читается с одного целого инварианта. Это уровень обобщающего наблюдения, подкреплённого проверенным ядром, а не новое притязание.

Нужна и вторая оговорка. Четыре движка из пяти суть в прямом смысле инварианты матрицы $2\times 2$ — её определитель, след, характеристический многочлен и квадратность его дискриминанта. Пятый — чётность — есть не инвариант собственных значений, а редукция матрицы по модулю два, её комбинаторная тень на стороне Элемента. Он входит в общую картину координатой иного рода, и ниже это сказано прямо.

Пять движков

Каждый движок именует доменную дихотомию одним целым числом, удержанным при особом значении. Перечислим их в порядке нарастания структуры.

I. Сурд-индекс. Процесс $\sqrt{D}$ завершается в рациональный Элемент тогда и только тогда, когда $D$ — полный квадрат; иначе он есть предел-роль. Запирающее целое — «масштабированный квадрат»: для не-квадрата $D$ нет равенства $m^2=D{k}^2$ при $k\ge 1$. Это движок в обструктивной форме — он называет, чего не бывает³.

II. Унимодулярный определитель. Целочисленный определитель $ad-bc$, удержанный при значении $\pm 1$, означает смежность: соседство дробей Фарея, касание окружностей Форда, несократимость потомков в дереве перечисления рациональных, примитивность решёточного треугольника. Порождающий ход — прибавление одного столбца к другому — определитель сохраняет; это элементарная образующая группы ${\mathrm{SL}}_2(Z)$⁴.

III. Норм-форма. Выражение $x^2-D{y}^2$ есть норма в кольце $Z[\sqrt{D}]$, и норма мультипликативна (тождество Брахмагупты). Этот движок несёт обе стороны границы сразу: удержанная при $\pm 1$, норма порождает башню приближений к $\sqrt{D}$ (сторона приближения); не обращаясь в нуль, она даёт целый пол (сторона обструкции, как в предыдущей главе)⁵.

IV. Целый след. Удвоенный косинус угла, $2\cos \theta$, есть след унимодулярного преобразования. Поворот имеет конечный порядок тогда и только тогда, когда этот след — целый и лежит в $\{-2,-1,0,1,2\}$; вне этого набора порядок бесконечен. След пробегает целочисленную рекуррентность, и его рост или возврат и решает периодичность⁶.

V. Чётность. Знак базиса Уолша есть характер чётности — $(-1{)}^{\text{popcount}(i\wedge j)}$, степень минус единицы в чётности числа общих единичных битов. Это гомоморфизм из сложения в умножение $\pm 1$; из него следует и то, что все элементы суть $\pm 1$, и ортогональность всего построения. Это чисто элементная сторона: никакого предела-роли, кроме как в нормировке⁷.

Пять движков, пять целых инвариантов при особых значениях. Остаётся показать, что это не пять разрозненных приёмов, а пять прочтений одной структуры.

Одна матрица

Возьмём целочисленную матрицу $2\times 2$

$$M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right),a,b,c,d\in Z.$$

У неё два основных инварианта: определитель $\det M=ad-bc$ — движок II — и след $\mathrm{tr}M=a+d$ — движок IV. Её характеристический многочлен есть $x^2-(\mathrm{tr}M)x+(\det M)$, а его дискриминант —

$$\Delta =(\mathrm{tr}M{)}^2-4\det M=(a-d{)}^2+4bc.$$

Связующее звено — выделение полного квадрата. Для любого целого $x$

$$4(x^2-tx+e)=(2x-t{)}^2-(t^2-4e).$$

Положив $t=\mathrm{tr}M$ и $e=\det M$, получаем: если $x$ — целое собственное значение матрицы, то есть корень её характеристического многочлена, то правая часть обращается в первое слагаемое, и

$$\Delta =(2x-\mathrm{tr}M{)}^2$$

есть полный квадрат⁸.

Так три движка сходятся в одной матрице: определитель (II) и след (IV) суть её коэффициенты, а сурд (I) есть квадратность их дискриминанта. Четвёртый, норм-форма (III), есть определитель регулярного представления — определитель той же породы. А пятый, чётность (V), читает редукцию матрицы по модулю два; и матрица Адамара $\left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)$, чьи элементы суть значения характера чётности, связывает его с остальными: её дискриминант равен $8$.

Каждому движку отвечает явная матрица, и на ней его инвариант виден прямо⁹:

$$\begin{array}{llll}\text{(II)}& \left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)& \det =-1& \text{унимодулярна, смежность;}\\ \text{(IV)}& \left(\begin{array}{cc}1& -1\\ 1& 0\end{array}\right)& \mathrm{tr}=1,\det =1,\Delta =-3& \text{эллиптична, порядок шесть;}\\ \text{(III)}& \left(\begin{array}{cc}3& 4\\ 2& 3\end{array}\right)& \det =1,\Delta =32& \text{единица Пелля, }\sqrt{2};\\ \text{(V)}& \left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)& \det =-2,\Delta =8& \text{Адамар, }\sqrt{2}.\end{array}$$

Дискриминант $\Delta =8$ не есть полный квадрат — между $2^2=4$ и $3^2=9$ целого квадрата нет, — и потому у матрицы Адамара нет рационального собственного значения: её собственные значения $\pm \sqrt{2}$ суть предел-роль.

Эллиптический случай (движок IV, $\Delta =-3$) стоит особняком: дискриминант отрицателен и не квадрат, но собственные значения — комплексные корни единицы, и поворот конечного порядка (здесь — шесть). Замыкание тут решает не вещественный $\sqrt{\Delta }$, а целый след в наборе $\{-2,\dots ,2\}$ (движок IV); матрица $\left(\begin{array}{cc}1& -1\\ 1& 0\end{array}\right)$ — представитель в $G{L}_2(Z)$, а не стандартная ортогональная матрица поворота.

Дискриминант как вентиль

Теперь сведём всё к одному. В атласных инстансах, сведённых к такой матрице, статус объекта — конечно-актуальный Элемент или предел-роль — читается с его матрицы $2\times 2$ одним вопросом:

Полный ли квадрат дискриминант $\Delta =(\mathrm{tr}M{)}^2-4\det M$?

Если да (и $\Delta \ge 0$) — собственные значения рациональны ($\lambda =(t\pm \sqrt{\Delta })/2\in Q$), объект садится рационально: это Элемент. Если $\Delta >0$ не квадрат — собственное значение есть незавершающийся процесс $\sqrt{\Delta }$: это предел-роль. А при $\Delta <0$ — случай эллиптический (комплексные корни): завершаемость там решает не $\sqrt{\Delta }$, а целый след (движок IV), и конечный порядок замыкается. Так один разрешимый арифметический вопрос для данной матрицы разводит рациональную посадку от иррациональной, а эллиптический случай добавляет след.

К этому вентилю и сходятся шестьдесят восемь частных случаев. Нет равностороннего треугольника на решётке — потому что отвечающий ему дискриминант ведёт к $\sqrt{3}$. Запрещён поворот пятого порядка — $\sqrt{5}$. Недостижим рационально оптимум корреляции — $\sqrt{8}$. Нет рационального деления прямого угла пополам, как в нормировке Адамара, — $\sqrt{2}$¹⁰. В каждом случае — своя матрица, свой дискриминант, один и тот же вопрос.

Шестьдесят восемь доменных фактов — пять движков — одна матрица с одним вентилем.

Это и есть глубочайшее сжатие, доступное на нынешнем уровне. Предел-роль остаётся, как всюду в этой работе, процессом $\sqrt{\Delta }$ — не завершённым числом, а неограниченным приближением; вентиль лишь говорит, на какой стороне границы стоит объект, не превращая иррациональное в готовый объект.

E/R/R-разбор: атлас как система

Сам атлас есть система в смысле ToS, и его следует разобрать по E/R/R. Эпистемически мы шли от частных фактов (Elements) к их общему закону (Rules); онтологически структура порождается в обратном, порождающем порядке: Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — правило прочтения: статус объекта читается с его матрицы $2\times 2$ через дискриминант. Выделение полного квадрата связывает след и определитель с сурдом; квадратность дискриминанта есть решающий критерий — полный квадрат отделяет рациональное собственное значение от иррационального. Это правило стоит выше всех частных матриц и задаёт их статус.

Roles (L4). Роли, которые играет матрица: Элемент (дискриминант — полный квадрат $\Delta \ge 0$, рациональное собственное значение, процесс завершается) и предел-роль ($\Delta >0$ не квадрат, собственное значение есть незавершающийся процесс $\sqrt{\Delta }$); отдельно стоит эллиптический случай ($\Delta <0$), где роль решает целый след (движок IV). Обоснование позиций структурой: роль определяется не «природой» объекта — круг ли это, поворот, дробь или корреляция, — а одним целым числом, дискриминантом его матрицы, то есть отношением к Rules.

Elements (L1 + P4). Носители — явные целочисленные матрицы $2\times 2$ и их целые инварианты: определитель, след, дискриминант. Актуализация под P4 конечна: актуальны матрицы и их целые координаты; собственное значение неквадратной стороны $\sqrt{\Delta }$ Элементом не актуализуется — актуальны лишь приближения к нему. Пятая координата, чётность, есть редукция матрицы по модулю два — комбинаторная тень той же структуры на стороне Элемента.

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

Что даёт разбор. Во-первых, он показывает, что разнообразие шестидесяти восьми случаев — кажущееся: геометрия, динамика, теория чисел и теория информации говорили об одной матрице на разных языках. Во-вторых, он называет вентиль границы: вопрос «конечно-актуален ли объект?» есть в точности «есть ли у его матрицы $2\times 2$ рациональное собственное значение?», то есть «полный ли квадрат его дискриминант?» — один разрешимый арифметический вопрос.

Тем самым заключительный синтез завершён. Граница финитизации, которую первая глава зафиксировала, а вторая уточнила как неограниченный процесс, предстаёт здесь, поверх всех частных случаев, как один арифметический вентиль: квадратность дискриминанта матрицы $2\times 2$. Дальше работа пользуется этим атласом как готовой картой — сводя всякую новую доменную дихотомию к её матрице и к одному вопросу о целом числе.

---

---

Часть: Часть XX. Заключительный синтез · Том: «Математика»

Навигация: ← Глава 2. Финитизация без обрезания · Глава 4. Построить или назвать →

Footnotes

1. Шесть файлов составляют этот атлас: по одному на каждый движок и один синтезирующий. Синтез — reduction_atlas_ synthesis; ниже мы ссылаемся на отдельные движки по их синтез-теоремам. Все утверждения проверены без аксиом. ↩

2. Все теоремы главы проверены как «закрытые под глобальным контекстом»: без Закона Исключённого Третьего и без дополнительных свидетельных аксиом. Связующая петля — eigenvalue_forces_square_disc, опирающаяся на тождество char_poly_complete_square. ↩

3. Синтез движка — surd_atlas. Один и тот же вопрос «полон ли квадрат?» к разным $D$ объясняет, почему нет равностороннего треугольника на решётке ($D=3$), почему запрещён поворот пятого порядка ($D=5$) и почему оптимум корреляции есть предел-роль ($D=8$). ↩

4. Синтез — unimodular_atlas. Медианта, касание Форда, низшие члены, площадь Пика — одно тождество о столбцах и один инвариант $|\det |=1$. ↩

5. Синтез — pell_ atlas. Норма есть определитель регулярного представления числа $x+y\sqrt{D}$ — что прямо связывает движок III с движком II. ↩

6. Синтез — niven_trace_atlas. След есть второй инвариант матрицы $2\times 2$ — родной брат определителя движка II; вместе они исчерпывают её характеристический многочлен. ↩

7. Синтез — parity_atlas. На этом характере держится вся элементная сторона построений Уолша; единственный её контакт с пределом-ролью — множитель нормировки $\sqrt{2}$. ↩

8. В ядре доказано необходимое направление: целый корень характеристического многочлена влечёт квадратный дискриминант (eigenvalue_forces_square_disc). Обратное — «квадратный $\Delta \ge 0$ $\Rightarrow$ рациональное собственное значение» — по квадратичной формуле $\lambda =(t\pm \sqrt{\Delta })/2$ (целое — при чётностном условии). Тождество дискриминанта $\Delta =(a-d{)}^2+4bc$ — disc_eq. ↩

9. Четыре свидетеля — instance_unimodular, instance_finite_order, instance_pell, instance_hadamard; невозможность $m^2=8$ — no_square_8. ↩

10. Здесь линия смыкается с приложением к физике предыдущей главы: $\sqrt{2}$ в нормировке Адамара, $\sqrt{8}$ в оптимуме корреляции — те же пределы-роли, что теперь читаются как неквадратные дискриминанты явных матриц $2\times 2$. Физические образы служат иллюстрацией единой числовой формы, а не предметом тома. ↩