Глава 7. Гипотеза Римана: три формы и карта границ

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

Часть XIII прошла путь от конца к началу аналитической теории чисел. Глава 13.1 дала простые как конечный, вычислимый, конструктивный материал: единственность факторизации, бесконечность простых, арифметические функции. Главы 13.2–13.3 построили дзету как процесс и произведение Эйлера — мост «аналитика$\leftrightarrow$простые». Глава 13.4 дала функциональное уравнение и симметрию $s\leftrightarrow 1-s$; Глава 13.5 — нули в критической полосе; Глава 13.6 — явную формулу, связавшую нули и простые.

Остаётся вершина — Гипотеза Римана: все нетривиальные нули дзеты лежат на критической прямой $\Re s=1/2$. Эта глава не решает RH (её не решил никто). Она делает то, что в духе ToS честнее и полезнее: формализует саму постановку — три эквивалентные формы гипотезы с машинно проверенной эквивалентностью; читает RH как утверждение о неподвижной точке и связывает его со сквозным примитивом неподвижной точки всего тома; формализует препятствие — почему метод «тисков» принципиально не достаёт до прямой; и, наконец, чертит карту границ всей Части XIII, отделяя доказанное ядро от аксиомного яруса, континуальной цены и собственно открытости RH.

Три формы гипотезы и их эквивалентность

В нашей основе нуль дзеты — это не точка завершённой плоскости, а процесс (Cauchy-процесс $\rho :N\to C$ над $Q$, в духе «ℝ$${}={}процесс» Части III). Над этим представлением Гипотеза Римана записывается тремя способами.

• Форма нулей. Каждый нетривиальный нуль лежит на критической прямой:

`RH_zeros`:\quad \forall\rho,\ \text{нетривиальный}(\rho)\Rightarrow \text{на_прямой}(\rho).

• Процессная форма. Вещественная часть каждого нетривиального нуля сходится к $1/2$:

$$‘R{H}_{p}rocess‘:\forall \rho ,\forall \epsilon >0,\exists N,\forall n\ge N:|\Re {\rho }_n-\frac{1}{2}|<\epsilon .$$

• Форма неподвижной точки. Вещественная часть сходится к своему собственному отражению $1-\Re \rho$:

$$‘R{H}_{f}ixed‘:\forall \rho ,\forall \epsilon >0,\exists N,\forall n\ge N:|\Re {\rho }_n-(1-\Re {\rho }_n)|<\epsilon .$$

Эти три формы машинно эквивалентны. Форма нулей и процессная совпадают по определению; переход к форме неподвижной точки — простое перемасштабирование: $\Re -(1-\Re )=2(\Re -\frac{1}{2})$, так что $|\cdot |<\epsilon$ в одной форме равносильно $|\cdot |<\epsilon$ в другой с точностью до множителя $2$.¹

$$\boxed{‘R{H}_{a}l{l}_{e}quivalent‘:‘R{H}_{z}eros‘⟺‘R{H}_{p}rocess‘\wedge (‘R{H}_{p}rocess‘⟺‘R{H}_{f}ixed‘).}$$

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

RH как неподвижная точка: сквозной примитив тома

Третья форма не случайна. Критическая прямая $\Re s=1/2$ — это в точности неподвижная точка отражения $\sigma \mapsto 1-\sigma$:

$$\sigma =1-\sigma ⟺\sigma =\frac{1}{2},$$

и это машинно проверено (re_fixed_point_half). Комплексное отражение $s\mapsto 1-\bar{s}$ функционального уравнения фиксирует ровно прямую $\Re s=1/2$ (reflect_fixed_iff). Значит RH — это утверждение «все нули лежат на неподвижном множестве конституирующей симметрии», а форма RH_fixed говорит буквально: каждый нуль есть неподвижная точка отражения вещественной части.

Примитив неподвижной точки через весь том. Неподвижная точка — один из сквозных структурных примитивов всей «Архитектуры». Он уже работал: сжатие Банаха (is_contraction, iterate_is_cauchy в FixedPoint.v) — двигатель сходимости рассуждений и итераций; L5-разрешение (l5_resolve_gen) — конституирующий «фиксированный выбор», снимающий неопределённость; Cauchy-пополнение (Часть III) — точка как процесс, чей хвост «фиксирован» с точностью до $\epsilon$; неподвижное поле подгруппы Галуа (Часть XI). RH становится в этот ряд: критическая прямая — неподвижное множество отражения.

Честная оговорка (и почему RH трудна). Но здесь примитив ведёт себя иначе, и это доказано. В случаях Банаха и L5 неподвижная точка — аттрактор: итерация к ней сходится, потому что отображение есть сжатие. Отражение же $s\mapsto 1-\bar{s}$ — изометрия: оно сохраняет расстояние (reflect_isometry), а потому не является сжатием (reflect_not_contraction_euclidean); более того, никакая метрика, в которой отражение изометрично, не делает его сжимающим (reflect_not_contractive_isometric). ² Вывод честный и глубокий: симметрия закрепляет критическую прямую как неподвижное множество, но не даёт никакой динамики, стягивающей нули на неё. Тот самый приём неподвижной точки, что решает другие задачи тома, здесь доказуемо не работает — и это одна из причин, почему RH сопротивляется.³

Что доказано в сторону RH: тиски и стена

Корпус src/zeta/ формализует не саму RH, а строительные леса вокруг неё — и, что важнее, границу того, куда эти леса достают.

Тиски. Две «стены» свободных от нулей зон сжимают нули к прямой: левая (около $\Re =1$, из тождества Мертенса и полюса) и правая (около $\Re =0$, по функциональному уравнению). Обе формализованы (left_wall, right_wall, squeeze).

Стена (предел метода). Но честный итог тисков — отрицательный в нужном смысле. Текущая ширина свободной зоны имеет вид $c/(1+|t|)$ и стремится к $0$; поэтому граница зоны достигает лишь $\Re \to 1$, а зазор до $1/2$ стремится к $1/2$, не к $0$ (rh_gap_approaches_half, gap_current_limit). ToS формализует это как «стену»: для любой константы $c$ ширина $\to 0$ (the_wall, wall_holds), а «пробойник» (ширина, отделённая от нуля) с ней несовместим — и это машинно доказано (wall_vs_breaker).⁴

Условная RH. Что доказано положительно — условное утверждение: если все нули на прямой, то коэффициенты Ли неотрицательны (conditional_rh); и каждая конечная проверка на уровне $K$ проходит (p4_each_check_passes). Это не RH — это «всё согласуется с RH на каждом вычислимом шаге».⁵

Открытость — формализованная. Сама RH остаётся открытой, и это в нашей системе не умолчание, а формальный объект: rh_requires_gap_to_zero — предикат «зазор стремится к $0$», истинность которого равносильна RH и который не доказан; а wall_vs_breaker доказывает, что текущий метод тисков его закрыть не может. Мы формализовали не решение, а точную форму незнания.

Мост к физике: спектральная гипотеза

Самый многообещающий подход к RH — спектральный, и он ведёт прямо в Том III. Гипотеза Гильберта–Полиа: нетривиальные нули суть собственные значения некоторого самосопряжённого оператора; самосопряжённость влечёт вещественность спектра, а значит — расположение нулей на критической прямой. Монтгомери (1973) обнаружил, что парная корреляция нулей совпадает с корреляцией собственных значений случайных эрмитовых матриц (ансамбль GUE); численные эксперименты Одлыжко подтвердили это с поразительной точностью для нулей с огромными номерами. Берри и Китинг связали нули с квантованием классической динамики.

Это — классические и гипотетические связи; в данном томе они не формализованы и приводятся как мотивировка. Но направление совпадает с нашим: самосопряжённость даёт вещественный спектр, что после правильной перенормировки должно соответствовать расположению нулей на критической прямой — то есть язык неподвижной точки и самосопряжённости есть мост от арифметики к физике. Спектральная сторона — предмет Тома III «Физика»; здесь мы лишь отмечаем, что форма RH_fixed (нуль$=$неподвижная точка отражения) и спектральная вещественность — два диалекта одной мысли.

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

Соберём статус всей части по ярусам прочности — это итоговая честная сводка, к которой готовили §13.6.6 и каждая глава.

• Доказано, 0 аксиом (на уровне отдельных рациональных, алгебраических и конструктивных лемм). Элементарная теория чисел (слой src/numbertheory/, 9 файлов, 138 Qed, собран и проверен локально — при публикации подлежит синхронизации с основной веткой): единственность факторизации, бесконечность простых ($N!+1$), функции $\phi /\tau /\sigma /\mu$, коммутативность свёртки Дирихле, малая теорема Ферма, теорема Эйлера, китайская теорема об остатках, мультипликативность $\phi$. Постановка RH: эквивалентность трёх форм (RH_all_equivalent; файл RH_Statement.v, шапка «AXIOMS: none» — чистая ℚ-алгебра). Рациональные ядра аналитики: конечные эйлеровы произведения ненулевые, тригонеравенство $2(1+x{)}^2\ge 0$, счётчики простых и чебышёвская сумма, рациональность Ли, лог-ряд, грубая оценка счёта нулей, экспоненцированная фон Мангольдт.
• С classic (L3){} — наследуется через Cauchy/дзета-слой: дзета как Cauchy-процесс; эйлерово расширение; нули частичных сумм; усечённая явная формула; структура нулей; геометрия неподвижной точки ($1/2$ как неподвижная точка отражения, re_fixed_point_half); метрический анализ отражения — изометрия, не сжатие (reflect_isometry, reflect_not_ contraction_ euclidean; ContractionZeros.v, шапка «classic (inherited)»); тиски и предел метода — стена против пробойника (squeeze, wall_vs_breaker; синтезы rh_phase1_complete, rh_phase2_complete, шапки «1 axiom (classic)»); условная RH (conditional_rh).
• Принятая аксиома (единственная доменная во всей дзета-ветви): функциональное уравнение — functional_ equation_ structure (FunctionalEquation.v): «если $\rho$ — нетривиальный нуль, то и его отражение $1-\bar{\rho }$ — нетривиальный нуль». Это симметрия множества нулей — содержательное ядро функционального уравнения, принятое как один аналитический факт.
• Континуальная цена (роль-предел; не формализовано как завершённое): полная комплексная дзета и аналитическое продолжение; нули завершённой дзеты как объекты; существование процесс-предела; настоящая $N(T)$ и формула Римана–фон Мангольдта; полная явная формула; PNT; спектральная сторона (Гильберт–Полиа).
• Открыто: сама Гипотеза Римана — формализована точно как rh_requires_ gap_ to_ zero (зазор$\to 0$); стена (the_wall$+$wall_vs_breaker) доказывает, что текущий метод её не закрывает.

Эта лестница — главный результат Части XIII. Мы не решили RH; мы построили вокруг неё строгий каркас и точно очертили, где кончается доказанное, где начинается аксиома, где — континуальная цена, а где — подлинно открытое. Честность границы важнее её протяжённости.

Замечание о точности яруса. Отдельные леммы внутри classic-ярусных файлов (например, reflect_isometry, re_fixed_point_half, wall_vs_breaker) алгебраически рациональны и не используют classic в самом терме; мы относим их к classic-ярусу консервативно — по статусу файла-носителя, не выделяя отдельным Print Assumptions. Это сознательное занижение, а не завышение прочности.

Разбор E/R/R: Гипотеза Римана как система

Правила (L5). Конституирующее правило — отражательная симметрия $s\mapsto 1-\bar{s}$, чьё неподвижное множество и есть критическая прямая (re_fixed_point_half, reflect_fixed_iff), вместе с связкой нули$\leftrightarrow$простые (явная формула, 13.6). RH — правило «нули лежат на неподвижной прямой конституирующей симметрии».

Роли (L4). Сама RH — роль-утверждение (объект типа Prop). Три формы (нули / процесс / неподвижная точка) — роль-эквивалентные представления одного ограничения (RH_all_equivalent). «Нуль» — роль; «критическая прямая» — роль-цель (неподвижное множество отражения, но, как доказано в §13.7.3, не аттрактор его динамики); «отражение» — роль-симметрия; «зазор» — роль-мера расстояния до цели.

{

Элементы (L1$+$P4). Конкретные вычислимые данные: нули частичной суммы ${\zeta }_N$, неотрицательные ${\lambda }_n^{(K)}$, конечные оценки тисков при заданном $|t|$, прохождение каждой условной проверки — conditional_rh, p4_each_check_passes — при предпосылке, что конечный список нулей уже лежит на прямой (это conditional-ярус, не проверка настоящих нулей $\zeta$). Не элементы в смысле конечной вычислимой проверки: завершённое множество нулей дзеты, процесс-предел, истинность RH как завершённое утверждение обо всех аналитических нулях (формула RH_zeros : Prop как объект языка существует, но её доказательства нет).}

Компонент	Что фиксирует	E/R/R-категория
отражение $s\mapsto 1-\bar{s}$ (прямая$=$неподвижное множество); связка нули$\leftrightarrow$простые	конституцию «нули на неподвижной прямой»	Правило (L5)
RH$=$утверждение-Prop; три формы$=$одно ограничение; нуль/прямая/отражение$=$роли	статус объектов гипотезы	Роль (L4)
нули ${\zeta }_N$; ${\lambda }_n^{(K)}\ge 0$; конечные оценки тисков; условные проверки	вычислимые носители на каждой стадии	Элемент (L1$+$P4)

Что снимает разбор. RH часто подаётся как изолированная загадка о нулях далёкой функции. ToS читает её структурно: правило — симметрия, чья неподвижная прямая фиксирована; роль — одно ограничение в трёх эквивалентных формах; элементы — конечные вычислимые проверки, каждая из которых проходит при условии «нули на прямой» (conditional-ярус, не проверка настоящих нулей $\zeta$). Открытость RH — это не «дыра», а точно локализованный разрыв между ролью (неподвижная прямая существует) и динамикой (нет сжатия, стягивающего нули на неё), и этот разрыв формализован.

Что подготовила Часть XIII

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

Главный итог честен: мы не решили Гипотезу Римана и говорим об этом прямо — но мы формализовали её каркас, её эквивалентные формы и доказуемый предел текущего метода. Спектральная сторона (Гильберт–Полиа, GUE) ведёт в Том III «Физика», где язык самосопряжённости и неподвижной точки получает физическое тело. На этом «Математика» как процесс закрывает свой разговор о числах и переходит к следующей теме тома — неся ту же дисциплину: строить доказанное ядро, честно называть аксиому и континуальную цену, и не выдавать открытое за решённое.

---

---

Часть: Часть XIII. Дзета-функция и теория чисел · Том: «Математика»

Навигация: ← Глава 6. Явная формула фон Мангольдта · Глава 1. Категории как метасистемы — Часть XIV →

Footnotes

1. src/zeta/RH_Statement.v (8 Qed; в шапке «AXIOMS: none» — чистая ℚ-алгебра над определениями): RH_zeros, RH_process, RH_fixed; RH_zeros_iff_process (определительно), RH_process_ implies_ fixed и RH_fixed_ implies_ process (перемасштабирование на $2$, через Qabs_Qmult); итог — RH_all_equivalent. Следствия: RH_deviation_bound, critical_strip_width (без RH нули всё равно в полосе $|\Re -\frac{1}{2}|<\frac{1}{2}$). ↩

2. src/zeta/ContractionZeros.v (в шапке «AXIOMS: classic (inherited)»): reflect_isometry (отражение сохраняет $L^1$-расстояние), reflect_not_ contraction_ euclidean (значит не сжатие: на паре $(0,0),(1,0)$ расстояние не убывает), reflect_not_ contractive_ isometric (невозможность: ни одна метрика с изометричным отражением не делает его сжатием), re_fixed_point_half ($\sigma =1-\sigma \iff \sigma =\frac{1}{2}$), critical_line_minimizes_reflect_dist (на прямой расстояние до отражения нулевое). Импортирует FixedPoint.v — то самое сжатие Банаха, неприменимость которого здесь и доказывается. ↩

3. Три режима неподвижной точки сведены в одну 0-аксиомную таксономию: foundation/FixedPointTaxonomy.v (8 Qed, 0 аксиом, Stdlib-only) — сжатие $r<1$ (half_lipschitz: множитель $1/2$, единственная притягивающая точка); изометрия $r=1$ (reflect_isometry $+$ reflect_not_contraction: неподвижное множество есть, но не аттрактор — режим RH); и отсутствие точки вовсе (negb_no_fixpoint); капстоун fixed_point_taxonomy. Здесь это абстрактный, само-содержащий аналог классически-ярусного ContractionZeros.v выше. Наблюдение/классификация, не новая теорема; машинно проверено. ↩

4. src/zeta/RH_Phase1_Synthesis.v (13 Qed, в шапке «1 axiom (classic)») и RH_Phase2_Synthesis.v (22 Qed, «1 axiom (classic)»): left_wall, right_wall, squeeze; зазор rh_gap и rh_gap_approaches_half (зазор $\to \frac{1}{2}$, не к $0$); the_wall/wall_holds/wall_vs_breaker (стена несовместима с пробойником); честный разрыв rh_requires_ gap_ to_ zero — ровно то, чего RH требует и чего метод не даёт. Эти синтезы наследуют classic через Cauchy-оформление дзеты (zeta_process_cauchy). ↩

5. src/zeta/RH_FinalAssessment.v (16 Qed): рациональные ядра 0 аксиом (conditional_rh_proved: on-line$\Rightarrow$Li$\ge 0$; proved_weil_li_equiv: Weil-PSD$=$Li-неотрицательность; proved_unbiased: среднее миграции$=1/2$; границы дисперсии). Сводки, проходящие через сходимость дзеты (proved_zeta_converges, rh_grand_summary, tos_rh_verified), наследуют classic. Определён и the_honest_gap — ровно то, что утверждает RH и что не доказывается. ↩