Глава 2. Алгебраическое число как роль-предел; минимальный многочлен

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

Глава 11.1 дала алгебраическую сторону числа: в поле $Q[\sqrt{2}]$ символ $\sqrt{2}$ — конечная координата с правилом $x^2=2$. Но у того же числа есть вторая сторона — аналитическая: $\sqrt{2}$ как предел процесса приближений $(n\mapsto q_n)$, который в $Q$ никогда не закрывается. Часть II–IV уже работала с этой стороной: $R$ там — не завершённый объект, а тип процессов RealProcess$=(N\to Q)$, и иррациональное число есть роль-предел процесса, а не точка готового континуума.

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

Алгебраическое число — роль-предел процесса, прирученного конечным правилом (минимальным многочленом). «Иррационально» значит «процесс не терминирует в $Q$»; степень многочлена — тот же ярус, что в 11.1.

Алгебраическое число как роль-предел процесса

Что значит «$\sqrt{2}$ иррационально» в оптике ToS? Не «$\sqrt{2}$ есть дефектная вещь без рационального имени», а процесс приближения к $\sqrt{2}$ не закрывается ни на одной рациональной стадии. Формальное ядро — бесконечный спуск: если предположить, что несократимая дробь $p/q$ даёт $\sqrt{2}$ (то есть $p^2=2q^2$), то строится строго меньшая пара с тем же свойством, и так без дна — чего в натуральных числах быть не может. Значит рациональной точки нет: процесс вечно открыт.¹

Это и есть положительное прочтение иррациональности: $\sqrt{2}$ — роль-предел процесса $(q_n)$. Как процессный объект $\sqrt{2}$ строится приближениями в уже развитой теории вещественных Части II–IV (RealProcess$=(N\to Q)$); формальная же опора этой главы — отрицательный факт: ни одна рациональная стадия не закрывает правило $x^2=2$. «Иррациональность» из дефекта становится характеристикой процесса: он не терминирует в $Q$.

Образцовый пример — золотое сечение $\phi$. Оно есть предел отношений соседних чисел Фибоначчи $F_{n+1}/F_n$ и значение простейшей непрерывной дроби $[1;1,1,1,\dots ]$ — самой медленно сходящейся из всех. Ни одна сходящаяся (ни одно $F_{n+1}/F_n$) не равна $\phi$ точно, и ни одно рациональное число не удовлетворяет определяющему соотношению $x^2=x+1$.² Поэтому $\phi$ — чистейшая иллюстрация роли-предела: процесс (Фибоначчи / непрерывная дробь) полностью определён и конечно-актуален на каждой стадии, а его предел существует лишь как роль, к которой процесс приближается, никогда её не достигая в $Q$.

Иррациональность — не дефект, а свойство процесса: он не закрывается в $Q$ (бесконечный спуск — его формальное ядро). Число $\sqrt{2}$, $\phi$ — роль-предел процесса (приближений, Фибоначчи, непрерывной дроби), а не завершённая точка континуума.

Минимальный многочлен как правило алгебраичности

Если число — роль-предел незавершающегося процесса, то чем оно вообще ухватываемо? Ответ ToS: конечным правилом — минимальным многочленом. $\sqrt{2}$ подчиняется правилу $x^2-2=0$, $\sqrt[3]{2}$ — правилу $x^3-2=0$, $\phi$ — правилу $x^2-x-1=0$. Каждое такое правило — конечные данные (короткий список рациональных коэффициентов), и именно оно превращает бесконечный процесс приближения в конечную алгебраическую роль фиксированной степени.³

Здесь виден порождающий порядок ToS во всей чистоте. Правило (минимальный многочлен) первично: оно говорит, чему число обязано подчиняться. Роль (быть алгебраическим числом степени $d$ — роль-пределом, прирученным этим правилом) вторична. Элементы (рациональные приближения $q_n$, сходящиеся непрерывной дроби, шаги спуска) актуальны на каждой конечной стадии. Степень правила — это ровно ярус из 11.1: $x^2-2$ — ярус 2, $x^3-2$ — ярус 3.

Отсюда чистое определение алгебраичности в духе ToS: число алгебраично, если его бесконечный процесс приближения приручается конечным правилом. И сразу виден контраст с трансцендентными числами ($\pi$, $e$): это процессы без конечного алгебраического правила вида $p(x)=0$, $p\in Q[x]$ — роль-пределы, которые ни один многочлен с рациональными коэффициентами не ловит.⁴ Минимальность же здесь — математическое чтение: в формальном слое (FieldExtension.v) многочлен задан как опорный и его степень вычислена, а минимальность читается отдельными леммами. Для $\sqrt{2}$: неприводимость $x^2-2$ над $Q$ есть его иррациональность — квадратный многочлен без рационального корня неприводим.

Минимальный многочлен — конечное правило-мост: он приручает бесконечный процесс приближения, делая число алгебраической ролью степени $d$. Порядок: правило (многочлен) $\to$ роль (алгебраическое число) $\to$ Элементы (приближения). Трансцендентное — процесс без такого правила.

Общий рациональный корневой тест: одно правило вместо многих

Откуда известно, что процесс не закроется в $Q$ — что $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt[3]{2}$ иррациональны? Каждый случай можно бить отдельным спуском (так устроены файлы иррациональности). Но есть одно правило, покрывающее все эти случаи сразу, — лемма Гаусса в общем виде: если целые $x,y$ взаимно просты и $x$ делит степень $y^n$, то $x=\pm 1$. Отсюда рациональный корневой тест: корень $n$-й степени из целого числа есть либо целое, либо иррациональное — среднего (нецелого рационального) не дано.⁵

Это правило экономно в том смысле, который ценит ToS: вместо набора однотипных спусков (для $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt[3]{2}$, …) оно даёт единый критерий, решающий по делимости, закроется ли процесс извлечения корня в $Q$. Все квадратичные сурды — частный случай $n=2$, кубические — $n=3$; ни один из них (кроме корней из точных степеней) не рационален. Правило-ярус и правило-иррациональность здесь сливаются: тест говорит, что $\sqrt[3]{2}$ иррационально (у $x^3-2$ нет рационального корня); а поскольку для кубика отсутствие рационального корня равносильно неприводимости над $Q$, минимальный многочлен имеет степень 3 (ярус 3).

Это сразу готовит главу 11.3. Если $\sqrt[3]{2}$ — ярус 3, то оно недостижимо квадратичной башней (ярусами вида $2^k$): доказано, что $\sqrt[3]{2}\notin Q[\sqrt{2}]$.⁶ Удвоение куба, трисекция угла, гептагон — всё это попытки закрыть кубический процесс квадратичными средствами; невозможность тут — теорема о ярусе (правило теста), а не нехватка инструментов. Это — тема следующей главы.

Общая лемма Гаусса — одно правило вместо многих спусков: корень $n$-й степени из целого есть целое или иррациональное. Оно разом решает иррациональность и фиксирует ярус ($\sqrt[3]{2}$ — ярус 3, недостижимый квадратичной башней).

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

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

Слой	Содержание
Rules (L5)	минимальный многочлен как правило алгебраичности ($\sqrt{2}\mapsto x^2-2$, $\sqrt[3]{2}\mapsto x^3-2$, $\phi \mapsto x^2-x-1$); общая лемма Гаусса / рациональный корневой тест как правило: закроется ли процесс корня в $Q$; бесконечный спуск как правило иррациональности
Roles (L4)	алгебраическое число$=$роль-предел процесса, прирученного конечным правилом; «иррационально»$=$не-терминирующий процесс; степень$=$ярус; \varphi$${}={}роль-предел Фибоначчи / непрерывной дроби $[1;1,1,\dots ]$
Elements (L1$+$P4)	на каждой стадии — конечные данные: рациональные приближения $q_n$, сходящиеся непрерывной дроби, отношения Фибоначчи, шаги спуска, списки коэффициентов многочлена; завершённое иррациональное как точка континуума — не Элемент

Корректность. Число корректно как алгебраическая роль, когда его процесс есть процесс Коши (приближения сходятся, в смысле теории вещественных Части II–IV) и существует конечное алгебраическое правило $p(x)=0$, $p\in Q[x]$, которому предел подчиняется (минимальность и степень — отдельными леммами). Иррациональность — свойство процесса (не терминирует), а не отсутствующее свойство мнимого объекта.

Что даёт. Иррациональность $\sqrt{2},\sqrt{3},\sqrt{5},\sqrt[3]{2},\phi$ — теоремы о процессах (спуск; «никогда не достигается»). Алгебраичность — конечное правило над процессом. Общая лемма Гаусса — единый критерий вместо россыпи спусков. Степень — ярус, сразу дающий препятствие (ярус 3 vs квадратичная башня).

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

Честные границы. Минимальность многочлена в строгом смысле — через отсутствие рационального корня (для $\sqrt{2}$ это иррациональность; общий разбор неприводимости — рациональным корневым тестом). Формальной теории трансцендентности ($\pi$, $e$) ToS здесь не строит — контраст «процесс без конечного правила» приводится концептуально, не как доказанная теорема.

Алгебраическое число — роль-предел процесса плюс конечное правило (минимальный многочлен); иррациональность — свойство процесса; общая лемма Гаусса — единое правило закрытия. Содержательное ядро — правило, приручающее процесс, а не готовый объект.

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

Глава соединила две стороны числа. Аналитическая: алгебраическое число — роль-предел незавершающегося процесса (приближений, Фибоначчи, непрерывной дроби), а «иррациональность» — положительное свойство этого процесса (он не закрывается в $Q$, формальное ядро — бесконечный спуск). Алгебраическая: минимальный многочлен — конечное правило, приручающее процесс и задающее ярус-степень. Общая лемма Гаусса дала единый критерий иррациональности и яруса вместо россыпи отдельных спусков, обобщив прежний кубический тест на любую степень.

Дальше — глава 11.3: конструктивность как достижимость ярусом 2. Квадратичная башня — предел циркуля и линейки; всё, что требует яруса 3 (удвоение куба, трисекция, гептагон), вне её. Греческие невозможности окажутся не нехваткой инструментов, а теоремами о ярусе — прямым следствием правила, развёрнутого в этой главе.

Число есть роль-предел процесса; иррациональность — свойство процесса не закрываться в $Q$; минимальный многочлен — конечное правило, приручающее процесс и задающее ярус. Алгебраичность — сосуществование бесконечного процесса и конечного правила; такова рамка, в которой 11.3 прочитает конструктивность и греческие невозможности как теоремы о ярусе.

---

---

Часть: Часть XI. Алгебра, поля, Галуа · Том: «Математика»

Навигация: ← Глава 1. Поле как роль-расширение; степень как ярус · Глава 3. Конструктивность как достижимость степенью 2; греческие невозможности →

Footnotes

1. no_rational_sqrt2 (analysis/Sqrt2Irrational.v): $\forall r\in Q,r\cdot r\ne 2$, через спуск по $Z$. Аналогично no_rational_sqrt3 (Sqrt3Irrational.v) и no_rational_sqrt5 (Sqrt5Irrational.v). Для куба — cbrt2_irrational с явной леммой спуска descent_to_zero_2 (stdlib/CubicRoleLimit.v). ↩

2. golden_never_exact и no_rational_golden ($\neg \exists q\in Q,q^2=q+1$) в stdlib/GoldenFibonacci.v; cf_phi_never_reached и связь сходящихся с числами Фибоначчи (cf_ones_fib) — в stdlib/ContinuedFractions.v; golden_ratio_irrational — в stdlib/MetallicRatios.v. ↩

3. FieldExtension.v: sqrt2_poly$=x^2-2$, cbrt2_poly$=x^3-2$ (как списки коэффициентов), eval_poly, is_root, poly_degree; ext_degree_cbrt2_is_3 ($\sqrt[3]{2}$ — ярус 3). ↩

4. Это эвристическое E/R/R-чтение, а не формальное определение трансцендентности (его ToS здесь не строит). Контраст: алгебраическое$=$процесс$+$конечное алгебраическое правило $p(x)=0$, $p\in Q[x]$; трансцендентное$=$процесс без такого правила (его приближения могут иметь иное конечное порождающее правило, но не полиномиальное над $Q$). ↩

5. coprime_div_pow_unit и nth_root_integer_or_irrational (algebra/RationalRootTest.v, 0 аксиом). Это обобщение прежнего теста, который в репозитории был только для куба (coprime_div_cube_unit, AngleTrisection.v); теперь — любая степень $n$. Следствия gauss_square/gauss_cube возвращают частные случаи $n=2,3$. ↩

6. cbrt2_not_in_Qsqrt2 (stdlib/CubicRoleLimit.v): ни один элемент $a+b\sqrt{2}$ не даёт в кубе $2$. ↩