Принцип неопределённости Курпишева ПН.2
Строгий теоремный пакет и согласованная редакция
Автор концепции и формулировки: Курпишев Иван Борисович
Независимый исследователь · Калининград · 2026
ivan-kurpishev@yandex.ru
Каноническая редакция v1.0 · 11 июля 2026 г.
Документ согласует найденные в Google Drive версии статьи «Kurpishev_PN2_author_article_ru», сохраняет авторскую идею ПН.2 и отделяет доказанные математические результаты от модельных аксиом, условных усилений и физических гипотез. Строго доказана локальная минимаксная теорема: если неизвестная расстановка скобок порождает два различимых результата и два различных значения структурно-размерностной координаты, то единый, не использующий скрытую расстановку скобок оцениватель не может одновременно восстановить обе величины без положительной ошибки. Универсальная формула с постоянной κ получается лишь после доказательства равномерной коэрцитивности на явно заданной области. Связь с принципом Робертсона—Гейзенберга, масштабом ħ, физикой времени, материей и космологией сохранена только в статусе программы независимой проверки.
Последняя полная версия по имени и времени изменения — «Kurpishev_PN2_author_article_ru_v0.2.docx» (ID 1roHjyn5jG5qOsnzNpB-gdzVXBNInYSnO; 8 марта 2026 г., 06:15:25 UTC). Она принята как источник авторских формулировок. Второй DOCX-дубликат содержит текстуально идентичное извлечение; PDF v0 семантически воспроизводит тот же текст и отличается переносами строк, маркерами списков и версткой. Поэтому конфликт авторского текста отсутствует, но в общей аргументации обнаружены математические несогласованности, исправленные ниже.
Источник | Дата/размер | Сопоставление | Редакционное решение |
v0.2.docx | 08.03.2026 | Полный текст; позднейшая метка | Основной источник |
v0.2-1.docx | 08.03.2026 | Извлечённый текст идентичен | Архивный дубликат |
v0.pdf | 08.03.2026 | Тот же смысл; иная верстка | Контрольная копия |
PATCH README | 08.03.2026 | Подтверждает notation freeze | Нотационный источник |
Определение. Вводит объект или обозначение; истинность не утверждается.
Модельная аксиома. Явно задаёт класс моделей ПН.2; должна проверяться в каждой конкретной реализации.
Теорема. Следует из перечисленных предпосылок и сопровождается доказательством.
Условное следствие. Верно только после дополнительной гипотезы, указанной в формулировке.
Математическая гипотеза. Требует доказательства или контрпримера.
Физическая гипотеза. Требует операционализации, размерностной калибровки и независимого эксперимента.
Определение 3.1 (Скобочные результаты).
Для u=(x,y,z)∈Ω положим r_L(u)=b_L(u), r_R(u)=b_R(u). Тогда r_L(u)−r_R(u)=K(u).
Определение 3.2 (Скрытая структурная альтернатива).
Истинный индекс b∈{b_L,b_R} считается скрытым от оценивателя. Оцениватель обязан выдать одну и ту же пару (ŝ,d̂), не используя b. Именно это информационное ограничение, а не одна лишь неассоциативность, создаёт задачу неопределённости.
Определение 3.3 (Ошибки одновременного восстановления).
Для фиксированного u определим
e_S(u; ŝ) = max{|ŝ − S(r_L(u))|, |ŝ − S(r_R(u))|},
e_D(u; d̂) = max{|d̂ − 𝔇(b_L)|, |d̂ − 𝔇(b_R)|}.
Для полносостояний оценки r̂∈𝒜 положим
e_R(u; r̂) = max{‖r̂ − r_L(u)‖, ‖r̂ − r_R(u)‖}.
Определение 3.4 (Локальные разрывы).
Положим Δ_S(u)=|S(r_L(u))−S(r_R(u))|, Δ_D=|𝔇(b_L)−𝔇(b_R)| и Δ_R(u)=‖r_L(u)−r_R(u)‖=‖K(u)‖.
Определение 3.5 (c-разделяющая наблюдаемая).
Наблюдаемая S называется c-разделяющей на Ω, если существует c>0 такое, что Δ_S(u)≥c‖K(u)‖ для всех u∈Ω.
Определение 3.6 (Равномерная ПН.2-область).
Область Ω называется равномерной ПН.2-областью относительно масштаба m(u)>0, если Δ_D>0 и существует ε_->0, для которого ‖K(u)‖≥ε_-m(u) при всех u∈Ω.
Для строгой теоремной версии достаточно следующих предпосылок.
A1. Нормированная алгебра. 𝒜 — нормированное линейное пространство, операция ⊙ билинейна, а оба скобочных результата определены на Ω.
A2. Двухальтернативность. Для каждого u∈Ω допустимы b_L и b_R; выбор b скрыт от рассматриваемого оценивателя.
A3. Невырожденная структурная координата. Δ_D>0. Значение 𝔇 должно различать скобочные протоколы и иметь доказанную интерпретацию как структурная размерность.
A4. Единый оцениватель. Одна и та же оценка используется для обеих скрытых альтернатив. Если b измерен заранее, теорема к такому протоколу не применяется.
A5-S. Разделимость размера, условная. Для скалярной версии требуется Δ_S(u)>0 или более сильное c-разделение. Для полносостояний версии дополнительная аксиома A5-S не требуется.
A6. Равномерная коэрцитивность, только для глобальной константы. Для универсального κ>0 нужно доказать положительную нижнюю грань ассоциатора на нормированной области; supremum этого не обеспечивает.
ПН.2 в доказанной ниже форме применяется к задачам скрытого выбора скобочного протокола. Она не является безусловным законом для всякой неассоциативной алгебры.
Лемма 6.1 (Двухточечная минимаксная граница).
Для любых двух точек a,b метрического пространства и любой точки q выполняется max{d(q,a),d(q,b)}≥d(a,b)/2.
Доказательство. Из неравенства треугольника d(a,b)≤d(a,q)+d(q,b)≤2max{d(q,a),d(q,b)} следует требуемое. □
Теорема 7.1 (Локальная минимаксная ПН.2 Курпишева).
Пусть выполнены A1–A4. Тогда для каждого u∈Ω и любой не использующей скрытый индекс b пары оценок (ŝ,d̂) выполняется
e_S(u;ŝ) · e_D(u;d̂) ≥ ¼ Δ_S(u) Δ_D. (PN.2-S)
Для любой полносостояний оценки r̂∈𝒜 выполняется
e_R(u;r̂) · e_D(u;d̂) ≥ ¼ ‖K(u)‖ Δ_D. (PN.2-R)
Если дополнительно S c-разделяет ассоциатор на Ω, то
e_S(u;ŝ) · e_D(u;d̂) ≥ (c/4) ‖K(u)‖ Δ_D. (PN.2-K)
Статус: теорема внутри явно заданной модели скрытой скобочной альтернативы. Авторская атрибуция концепции ПН.2: Курпишев И. Б., Калининград, 2026.
По лемме 6.1 на вещественной прямой, применённой к значениям S(r_L(u)) и S(r_R(u)), имеем e_S(u;ŝ)≥Δ_S(u)/2. Та же лемма для чисел 𝔇(b_L),𝔇(b_R) даёт e_D(u;d̂)≥Δ_D/2. Перемножение двух неотрицательных оценок доказывает (PN.2-S).
Для полносостояний оценки лемма 6.1 в метрическом пространстве (𝒜,‖·‖) даёт e_R(u;r̂)≥‖r_L(u)−r_R(u)‖/2=‖K(u)‖/2. Совместно с e_D≥Δ_D/2 это доказывает (PN.2-R). Если Δ_S(u)≥c‖K(u)‖, то подстановка в (PN.2-S) даёт (PN.2-K). □
Следствие 9.1 (Условная равномерная ПН.2).
Если Ω — равномерная ПН.2-область относительно m(u), то
e_R(u;r̂) · e_D(u;d̂) ≥ (ε_- Δ_D / 4) m(u), u∈Ω.
При c-разделяющей S коэффициент справа дополнительно умножается на c. Обозначая κ_Ω=(cε_-Δ_D)/4, получаем корректную короткую запись e_S e_D≥κ_Ωm.
Чтобы получить историческую форму Δ|R|·ΔDim(R)≥ε‖R‖³, необходимо отдельно доказать: (i) что Δ|R| совпадает с e_S или e_R; (ii) что ΔDim совпадает с e_D; (iii) что выбран масштаб m=‖R‖³; (iv) что существует положительная нижняя константа ε_-, а не только верхняя ε_+.
В исходной редакции использовано
ε_+ = sup_{x,y,z} ‖K(x,y,z)‖ /(‖x‖‖y‖‖z‖).
Из этого определения следует верхняя оценка ‖K(x,y,z)‖≤ε_+‖x‖‖y‖‖z‖. Нижняя оценка с тем же ε_+ логически не следует. Для положительной нижней границы нужна ограниченная область Ω и величина
ε_- = inf_{u∈Ω} ‖K(u)‖/m(u) > 0.
Обратное неравенство треугольника даёт |‖r_L‖−‖r_R‖|≤‖r_L−r_R‖=‖K‖, а не нижнюю оценку. Более того, в октонионах норма мультипликативна: ‖(xy)z‖=‖x(yz)‖=‖x‖‖y‖‖z‖, хотя ассоциатор для некоторых троек ненулевой. Поэтому «размер = норма результата» не обеспечивает Δ_S>0. Строгая базовая версия должна использовать полносостояний разрыв ‖K‖ либо заранее выбранную разделяющую наблюдаемую.
Фраза «не существует естественного преобразования между функторами S и D» не равносильна запрету совместного измерения. Естественное преобразование требует точно заданных категорий, функторов и совместимого кодомена; отсутствие такого преобразования не исключает существование совместного отображения (S,D). Категориальный вариант ПН.2 следует формулировать отдельно как теорему об отсутствии совместной секции или естественного оценивателя после построения соответствующей диаграммы.
PO-1. Алгебра R⋆R. Задать носитель, поле, базис, таблицу умножения или структурные константы; указать единицу, инволюцию, норму и область определения.
PO-2. Согласованность. Проверить билинейность, замкнутость, нулевые делители, непрерывность умножения и существование всех используемых операторов.
PO-3. Ненулевой ассоциатор. Вычислить K на явных тройках и классифицировать ассоциативные/неассоциативные сектора.
PO-4. Структурная координата 𝔇. Определить 𝔇 так, чтобы Δ_D>0; доказать инвариантность относительно допустимых переобозначений и физический смысл единицы 𝔇.
PO-5. Наблюдаемая размера. Выбрать S и доказать c-разделение либо использовать полносостояний метрический вариант. Норма без дополнительной гипотезы недостаточна.
PO-6. Измерительная модель. Описать, почему b скрыт, какие данные получает оцениватель, какие оценки разрешены и как связаны e_S,e_D с экспериментальными ошибками.
PO-7. Равномерная константа. Выбрать нормированную Ω и доказать ε_->0; отдельно исследовать границу Ω и вырожденные сектора.
PO-8. Размерностная согласованность. Указать физические размерности S, 𝔇, K, m и κ; не отождествлять без калибровки безразмерную структурную координату с физической размерностью пространства.
PO-9. Категориальная версия. Задать категории, функторы, морфизмы и точный объект no-go: отсутствие естественной секции, подъёма или совместного оценивателя.
PO-10. Связь с ПН.1. Построить представление ρ в гильбертовом пространстве, определить плотно заданные самосопряжённые X,P и доказать коммутаторное соотношение и доменные условия.
PO-11. Примеры и контрпримеры. Дать минимум: ассоциативный нулевой пример; неассоциативный пример с Δ_S=0; пример с c-разделением; пример с положительной ε_- на компактной Ω. Статус: закрыто Приложением A (четыре явные конструкции с полными вычислениями).
PO-12. Независимая воспроизводимость. Статус: закрыто Приложением B и вычислимым сертификатом PN2-PO12-A2-v1.0 для алгебр ℝ и 𝒜₂ и четырёх примеров A.1–A.4: опубликованы структурные константы, точный код, тестовый набор, таблица значений и SHA-256. Закрытие относится к абстрактному теоремному пакету; перенос сертификата на авторскую физическую алгебру R⋆R остаётся зависимым от PO-1–PO-10.
Ни одно из следующих утверждений не является следствием теоремы 7.1 без дополнительных математических мостов и экспериментальных данных.
F-1. Онтология времени. R⋆R является физической алгеброй времени, а не только математической моделью.
F-2. Фундаментальность. ПН.2 фундаментальнее принципа Робертсона—Гейзенберга или принципа «шум—возмущение».
F-3. Импликация ПН.2⇒ПН.1. Квантовая неопределённость выводится из ассоциатора через представление ρ.
F-4. Калибровка ħ. Существует физически обоснованный режим ‖K‖∼ħ с правильными единицами и коэффициентом.
F-5. Индуцированный коммутатор. Выражение [x,y]_z:=K(x,y,z) после представления задаёт допустимый операторный коммутатор; требуется проверить билинейность, антисимметрию, тождество Якоби/его замену и домены операторов.
F-6. Семикомпонентное время. Семь объектов R⋆R образуют внутреннюю многокомпонентную структуру времени.
F-7. ФОС и В*П. Фундаментальная опорная связность и модель Время*Пространство имеют наблюдаемую физическую реализацию; пространство является слоевой проекцией, а пространство Минковского—Эйнштейна — сечением.
F-8. Оператор хода времени. Иерархия A≻Hpx≻R₃≻R₂≻R₁≻{iħ,iH}, оператор T=Σπ_{i+1→i} и уравнение dR/dτ=T(R) описывают физический ход времени.
F-9. Монотонность сложности. Для физически определённого C(R)=Σw_iDim_i(R) выполняется dC/dτ≥0.
F-10. Динамика ассоциатора. Уравнение ∇_T K=J_T является корректным ковариантным полевым уравнением и имеет определённые источники, размерности и вариационный принцип.
F-11. Ранняя Вселенная. Из динамики K следует максимальная начальная когерентность или иной наблюдаемый космологический режим.
F-12. Локализация в материи. Ассоциатор физически локализуется в материи и порождает измеримые эффекты.
F-13. Конечная ветвь наблюдателя. Структурная вложенность, доступная наблюдателю, физически конечна.
F-14. Гравитация и космология. ПН.2 даёт проверяемые поправки к ОТО/квантовой теории, устраняет сингулярности или объясняет тёмный сектор.
Минимальный стандарт независимой проверки для F-1—F-14: операциональное определение наблюдаемых; единицы измерения; нулевая модель; заранее зарегистрированный критерий различения; оценка неопределённости; открытые данные/код; воспроизведение независимой группой.
Соотношение Робертсона для самосопряжённых операторов A,B и состояния ψ имеет вид σ_Aσ_B≥½|⟨[A,B]⟩| при выполнении доменных условий. Оно относится к дисперсиям квантовых наблюдаемых в состоянии. Теорема 7.1 относится к минимаксной ошибке восстановления при скрытой структурной альтернативе. Общим является мотив нижней границы, но математические объекты и типы ошибок различны. Поэтому запись «ПН.2⇒ПН.1» в настоящей редакции имеет статус исследовательской гипотезы до выполнения PO-10.
Краткая доказанная формулировка для аннотации:
«Для двух скрытых допустимых расстановок скобок в нормированной неассоциативной алгебре введены ошибки единого оценивателя результата и структурно-размерностной координаты. Доказано, что их произведение не меньше одной четверти произведения нормы ассоциатора на разрыв структурной координаты. Универсальная положительная константа существует лишь на области с доказанной равномерной нижней границей ассоциатора».
Краткая авторская атрибуция:
«Принцип неопределённости ПН.2 Курпишева (Курпишев И. Б., Калининград, 2026)».
Запрещённая до выполнения обязательств формула статуса:
Не следует писать «доказан новый универсальный физический принцип, более сильный, чем принцип Гейзенберга». Допустимо: «предложена математическая модель структурной неопределённости; доказана минимаксная теорема внутри модели; физические мосты сформулированы как проверяемые гипотезы».
1. Robertson, H. P. The Uncertainty Principle. Physical Review 34 (1929), 163–164. DOI: 10.1103/PhysRev.34.163.
2. Schrödinger, E. Zum Heisenbergschen Unschärfeprinzip. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse (1930), 296–303.
3. Ozawa, M. Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement. Physical Review A 67 (2003), 042105. DOI: 10.1103/PhysRevA.67.042105.
4. Schafer, R. D. An Introduction to Nonassociative Algebras. Academic Press, 1966.
5. Baez, J. C. The Octonions. Bulletin of the American Mathematical Society 39 (2002), 145–205. DOI: 10.1090/S0273-0979-01-00934-X; arXiv:math/0105155.
6. Mac Lane, S. Categories for the Working Mathematician. 2nd ed., Springer, 1998.
7. Курпишев И. Б. Авторская формулировка принципа неопределённости Курпишева (ПН.2). Рабочая статья v0.2, 2026. Источник согласования: Google Drive.
Настоящее приложение закрывает PO-11 внутри абстрактной модели теоремы 7.1. Оно не отождествляет используемые ниже вспомогательные алгебры с авторским физическим объектом R⋆R и не придаёт структурной координате физический смысл без выполнения PO-4, PO-6 и PO-8.
Во всех четырёх случаях B={b_L,b_R}, где b_L(x,y,z)=(x⊙y)⊙z и b_R(x,y,z)=x⊙(y⊙z). Зададим подписанную протокольную координату
𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2.
Следовательно,
Δ_D=|𝔇(b_L)−𝔇(b_R)|=1.
Для единого оценивателя минимаксной оценкой этой координаты служит d̂*=0, и
e_D(u;d̂*)=max{|0+1/2|,|0−1/2|}=1/2.
Перестановка названий b_L и b_R меняет знак 𝔇, но сохраняет Δ_D и все границы ПН.2. Здесь 𝔇 является только различающей координатой двух протоколов; она не объявляется физической размерностью пространства.
В случаях A.2–A.4 используется одна и та же явно заданная конечномерная неунитальная вещественная алгебра 𝒜₂=ℝ² с базисом e₁=(1,0), e₂=(0,1). Таблица умножения:
e₁⊙e₁=e₂, e₂⊙e₁=e₂, e₁⊙e₂=−e₂, e₂⊙e₂=0.
Эквивалентно, для x=(α,β), y=(γ,δ)
x⊙y=(0, αγ+βγ−αδ).
Операция билинейна и замкнута. Введём норму
‖(α,β)‖=2√(α²+β²).
Она субмультипликативна. Действительно, если
M=[[1,−1],[1,0]],
то αγ+βγ−αδ=(α,β)M(γ,δ)ᵀ и ‖M‖₂≤‖M‖_F=√3. Поэтому
‖x⊙y‖=2|(α,β)M(γ,δ)ᵀ|
≤2√3·√(α²+β²)√(γ²+δ²)
≤4√(α²+β²)√(γ²+δ²)
=‖x‖‖y‖.
Следовательно, умножение непрерывно; полнота следует из конечномерности. Единица для A1 не требуется. При необходимости можно выполнить стандартную унитализацию, не изменяя вычислений ассоциатора на идеале 𝒜₂.
Алгебра, операция и норма. Пусть 𝒜=ℝ, x⊙y=xy и ‖x‖=|x|. Это ассоциативная унитальная нормированная алгебра.
Выбранная тройка. Возьмём u=(1,2,3). Тогда
r_L(u)=(1·2)·3=6,
r_R(u)=1·(2·3)=6,
K(u)=r_L(u)−r_R(u)=0,
Δ_R(u)=‖K(u)‖=0.
Структурная координата. Используем 𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2; поэтому Δ_D=1.
Наблюдаемая. Положим S(t)=|t|. Тогда
S(r_L)=S(r_R)=6, Δ_S(u)=0.
Ошибки и проверка границ. Для ŝ*=6, d̂*=0 и r̂*=6 имеем
e_S(u;ŝ*)=0, e_D(u;d̂*)=1/2, e_R(u;r̂*)=0.
Следовательно,
e_S e_D=0=(1/4)Δ_SΔ_D,
e_R e_D=0=(1/4)‖K‖Δ_D.
Точный статус. Это строгий контрпример к любой безусловной положительной нижней границе на области, содержащей ассоциативную точку. Он не опровергает теорему 7.1: обе её правые части здесь равны нулю. Пример подтверждает необходимость исключать K=0 при утверждении ε_->0.
Алгебра, операция и норма. Используем 𝒜₂, операцию ⊙ и норму ‖(α,β)‖=2√(α²+β²), заданные в A.0.
Выбранная тройка. Пусть u=(e₁,e₁,e₁). По таблице умножения
r_L(u)=(e₁⊙e₁)⊙e₁=e₂⊙e₁=e₂,
r_R(u)=e₁⊙(e₁⊙e₁)=e₁⊙e₂=−e₂.
Отсюда
K(u)=e₂−(−e₂)=2e₂≠0,
‖K(u)‖=‖2e₂‖=4.
Таким образом, тройка действительно неассоциативна.
Структурная координата. 𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2 и Δ_D=1.
Наблюдаемая. Выберем естественную, но неразделяющую наблюдаемую S(v)=‖v‖. Тогда
S(r_L)=‖e₂‖=2,
S(r_R)=‖−e₂‖=2,
Δ_S(u)=|2−2|=0,
несмотря на K(u)≠0.
Ошибки и проверка границ. Для ŝ*=2 и d̂*=0
e_S(u;ŝ*)=0, e_D(u;d̂*)=1/2,
поэтому
e_S e_D=0=(1/4)Δ_SΔ_D.
Положительная скалярная граница невозможна. Условие c-разделения не выполнено ни для какого c>0 в точке u, поскольку 0=Δ_S(u)<c‖K(u)‖=4c.
Полносостояний вариант остаётся невырожденным. Для r̂*=0
e_R(u;r̂*)=max{‖e₂‖,‖−e₂‖}=2,
и потому
e_R e_D=2·(1/2)=1=(1/4)·4·1=(1/4)‖K(u)‖Δ_D.
Точный статус. Это строгий контрпример к замене полносостояний разрыва ‖K‖ разностью норм результатов. Одновременно он демонстрирует точность PN.2-R. Пример закрывает вторую часть PO-11, но не превращает норму в физическую наблюдаемую и не повышает физический статус ПН.2.
Алгебра, операция и норма. Снова используем 𝒜₂ из A.0.
Наблюдаемая и глобальное разделение. Определим линейную наблюдаемую
S(αe₁+βe₂)=2β.
Для любых x,y,z∈𝒜₂ оба скобочных результата принадлежат ℝe₂, поэтому K(x,y,z)=ke₂ для некоторого k∈ℝ. Линейность S даёт
Δ_S(x,y,z)=|S(r_L)−S(r_R)|
=|S(K)|=|2k|.
Но ‖K‖=‖ke₂‖=2|k|. Следовательно,
Δ_S(x,y,z)=‖K(x,y,z)‖
для всех (x,y,z)∈𝒜₂³. Значит, S является c-разделяющей на Ω_c=𝒜₂³ с точной константой c=1. Константа больше 1 невозможна на любой точке с K≠0.
Выбранная тройка. Возьмём u=(e₁,2e₁,3e₁). Тогда
e₁⊙2e₁=2e₂, 2e₂⊙3e₁=6e₂,
2e₁⊙3e₁=6e₂, e₁⊙6e₂=−6e₂.
Поэтому
r_L(u)=6e₂, r_R(u)=−6e₂,
K(u)=12e₂, ‖K(u)‖=24.
Значения наблюдаемой:
S(r_L)=12, S(r_R)=−12,
Δ_S(u)=24=‖K(u)‖.
Структурная координата. 𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2 и Δ_D=1.
Ошибки и проверка границ. Мидпойнт-оценки ŝ*=0, d̂*=0 и r̂*=0 дают
e_S(u;ŝ*)=12, e_D(u;d̂*)=1/2, e_R(u;r̂*)=12.
Следовательно,
e_S e_D=12·(1/2)=6
=(c/4)‖K(u)‖Δ_D
=(1/4)·24·1=6.
Также
e_R e_D=12·(1/2)=6
=(1/4)‖K(u)‖Δ_D.
Обе минимаксные границы достигаются точно.
Точный статус. Доказано глобальное c-разделение с c=1 для конкретной наблюдаемой и конкретной вспомогательной алгебры. Это завершает третью часть PO-11 и показывает, что коэффициент 1/4 в теореме 7.1 в общем случае улучшить нельзя. Физической интерпретации S это вычисление не устанавливает.
Алгебра, операция, норма и наблюдаемая. Используем 𝒜₂, ту же норму и S(αe₁+βe₂)=2β; по A.3 эта S является 1-разделяющей.
Компактная область. Для
x=(a,b), y=(p,q), z=(r,s)
зададим
Ω={((a,b),(p,q),(r,s)): a,p,r∈[1,2], b,q,s∈[−1/4,1/4]}⊂𝒜₂³.
Это замкнутый и ограниченный параллелепипед в ℝ⁶, следовательно, компакт по теореме Гейне—Бореля. Он имеет непустую внутренность в 𝒜₂³.
Полное вычисление ассоциатора. Имеем
x⊙y=(0, p(a+b)−aq),
(x⊙y)⊙z=(0, r[p(a+b)−aq]),
y⊙z=(0, pr+qr−ps),
x⊙(y⊙z)=(0, −a[pr+qr−ps]).
Поэтому
K(x,y,z)
=(0, r[p(a+b)−aq]+a[pr+qr−ps])
=(0, 2apr+bpr−aps)
=(0, p[(2a+b)r−as]).
Параметр q сокращается тождественно.
Точная нижняя грань. На Ω выражение
g(a,b,r,s)=(2a+b)r−as=a(2r−s)+br
положительно. Его минимум находится последовательно:
при фиксированных остальных переменных g возрастает по a, поскольку 2r−s≥7/4>0;
g возрастает по b, поскольку r>0;
g убывает по s, поскольку −a<0.
Следовательно, минимум достигается при a=1, b=−1/4, s=1/4. После подстановки
g=2r−1/4−r/4=(7/4)r−1/4,
что возрастает по r, поэтому r=1 и
min g=7/4−1/4=3/2.
Так как p∈[1,2] и g>0, минимум p·g достигается при p=1. Отсюда
inf_{u∈Ω}‖K(u)‖
=2·inf_{u∈Ω}p g
=2·(3/2)=3.
Для масштаба m(u)≡1 получаем точную положительную константу
ε_-=inf_{u∈Ω} ‖K(u)‖/m(u)=3>0.
Таким образом, Ω является равномерной ПН.2-областью.
Дополнительная нормированная оценка. Если выбрать m_×(u)=‖x‖‖y‖‖z‖, то на Ω
‖x‖,‖y‖,‖z‖≤2√(4+1/16)=√65/2,
m_×(u)≤65√65/8.
Поэтому сертифицирована, хотя не утверждается как оптимальная, граница
‖K(u)‖/m_×(u)≥3/(65√65/8)=24/(65√65)>0.
Тройка, достигающая ε_-. Возьмём
u_*=(e₁−(1/4)e₂, e₁, e₁+(1/4)e₂);
то есть a=p=r=1, b=−1/4, q=0, s=1/4. Тогда
(e₁−(1/4)e₂)⊙e₁=(3/4)e₂,
r_L(u_*)=((3/4)e₂)⊙(e₁+(1/4)e₂)=(3/4)e₂,
e₁⊙(e₁+(1/4)e₂)=(3/4)e₂,
r_R(u_*)=(e₁−(1/4)e₂)⊙((3/4)e₂)=−(3/4)e₂.
Следовательно,
K(u_*)=(3/2)e₂, ‖K(u_*)‖=3=ε_-m(u_*).
Для S имеем
S(r_L)=3/2, S(r_R)=−3/2, Δ_S(u_*)=3.
Структурная координата. 𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2 и Δ_D=1.
Ошибки и равномерная граница. Для ŝ*=0, d̂*=0 и r̂*=0
e_S(u_*;ŝ*)=3/2, e_D(u_*;d̂*)=1/2, e_R(u_*;r̂*)=3/2.
Поэтому
e_S e_D=(3/2)(1/2)=3/4
=(cε_-Δ_D/4)m(u_*)
=(1·3·1/4)·1,
и
e_R e_D=3/4
=(ε_-Δ_D/4)m(u_*).
На произвольной u∈Ω теорема 7.1 и ‖K(u)‖≥3 дают
e_R(u;r̂)e_D(u;d̂)≥3/4,
e_S(u;ŝ)e_D(u;d̂)≥3/4,
причём вторая оценка использует c=1. Тройка u_* показывает точную достижимость обеих равномерных констант.
Точный статус. Для явно заданной компактной области с непустой внутренностью доказана положительная и точная ε_-=3 при m≡1; дополнительно получена положительная граница для масштаба произведения норм. Это закрывает четвёртую часть PO-11 и даёт конкретную реализацию предпосылки A6, но только для вспомогательной алгебры 𝒜₂ и указанной Ω.
Получены все четыре требуемые конструкции:
1) ассоциативный сектор K=0, где положительная граница невозможна;
2) неассоциативная тройка K≠0 с Δ_S=0 для S=‖·‖;
3) наблюдаемая с доказанным глобальным c-разделением и точным c=1;
4) компактная Ω с точной положительной ε_-=3 при m≡1.
Во всех четырёх случаях явно заданы носитель, операция, норма, тройки, K, 𝔇, S, ошибки и статус; во всех невырожденных случаях минимаксные границы достигаются как равенства. Поэтому PO-11 имеет статус «закрыто на уровне абстрактного теоремного пакета ПН.2 v1.0».
Граница статуса. Приложение проверяет логическую непротиворечивость, необходимость гипотез и точность коэффициентов теоремы 7.1. Совместно с Приложением B оно закрывает PO-12 для четырёх вычислимых примеров абстрактного теоремного пакета, но не закрывает PO-1–PO-10 и не переносит сертификат на авторскую алгебру R⋆R. Оно не доказывает физическую интерпретацию 𝔇 или S, не устанавливает связь с ħ и ПН.1 и не переводит утверждения F-1–F-14 из статуса физических гипотез.
Настоящее приложение фиксирует воспроизводимый вычислительный сертификат PN2-PO12-A2-v1.0 для алгебры 𝒜₂ и всех четырёх примеров Приложения A. Сертификат реализует структурные константы, умножение, ассоциатор K, нормы, протокольную координату 𝔇, наблюдаемые S, ошибки e_S, e_D, e_R, проверки c=1 и ε_-=3, а также точные автоматические тесты. Все сертифицируемые равенства вычисляются без округления.
Статус ограничен абстрактной моделью теоремы 7.1. Алгебра 𝒜₂ остаётся вспомогательной математической реализацией и не отождествляется с авторским физическим объектом R⋆R. Приложение не повышает статус ни одного утверждения F-1–F-14.
Идентификатор: PN2-PO12-A2-v1.0.
Архив: pn2_po12_cert_v1.0.zip.
Среда: Python 3.10 или новее; используется только стандартная библиотека.
Состав: pn2_cert.py — вычислительное ядро; test_pn2_cert.py — автоматические тесты; manifest.json — машиночитаемая спецификация; results.json — полный отчёт; values.tsv — таблица «ожидаемо / получено»; SHA256SUMS.txt — контрольные хеши; build_bundle.py — детерминированная пересборка; README_RU.md — инструкция.
Для ассоциативного случая A.1 реализована одномерная алгебра ℝ с C[1,1,1]=1.
Для случаев A.2–A.4 реализована 𝒜₂=ℝ² с базисом e₁,e₂ и соглашением e_i⊙e_j=Σ_k C[k,i,j]e_k. Единственные ненулевые структурные константы:
C[2,1,1]=1, C[2,2,1]=1, C[2,1,2]=−1.
Все остальные C[k,i,j] равны нулю. Поэтому для x=(α,β), y=(γ,δ)
x⊙y=(0, αγ+βγ−αδ).
Код строит тензор ассоциатора непосредственно из структурных констант:
A[m,i,j,k]=Σ_l(C[l,i,j]C[m,l,k]−C[l,j,k]C[m,i,l]).
Его единственные ненулевые компоненты:
A[2,1,1,1]=2, A[2,2,1,1]=1, A[2,1,1,2]=−1.
Следовательно, для x=(a,b), y=(p,q), z=(r,s) вычисление даёт тождество
K(x,y,z)=(0, 2apr+bpr−aps)=(0, p[(2a+b)r−as]),
причём параметр q сокращается точно.
Норма 𝒜₂ реализована формулой ‖(α,β)‖=2√(α²+β²). Для произвольного рационального вектора сертификат хранит точный квадрат нормы 4(α²+β²); на образе умножения и ассоциатора, лежащем в ℝe₂, используется точное значение ‖(0,β)‖=2|β|. Поэтому иррациональные округления не входят в проверяемые равенства.
Зафиксированы 𝔇(b_L)=−1/2, 𝔇(b_R)=+1/2, Δ_D=1. Для d̂*=0 автоматически получается e_D=1/2.
Реализованы две наблюдаемые: S_norm(v)=‖v‖ для A.2 и S_sep(α,β)=2β для A.3–A.4. Ошибки e_S, e_D и e_R вычисляются непосредственно по определениям 3.3. Мидпойнт-оценки воспроизводят равенство в минимаксных границах всех невырожденных случаев.
Случай | Ожидаемые значения | Полученные значения | Статус |
A.1 | r_L=r_R=(6); K=(0); ‖K‖=Δ_S=e_S=e_R=0; e_D=1/2; границы 0=0. | r_L=r_R=(6); K=(0); ‖K‖=Δ_S=e_S=e_R=0; e_D=1/2; границы 0=0. | PASS |
A.2 | r_L=(0,1); r_R=(0,−1); K=(0,2); ‖K‖=4; Δ_S=e_S=0; e_D=1/2; e_R=2; PN.2-R: 1=1. | r_L=(0,1); r_R=(0,−1); K=(0,2); ‖K‖=4; Δ_S=e_S=0; e_D=1/2; e_R=2; PN.2-R: 1=1. | PASS |
A.3 | r_L=(0,6); r_R=(0,−6); K=(0,12); ‖K‖=Δ_S=24; c=1; e_S=e_R=12; e_D=1/2; обе границы 6=6. | r_L=(0,6); r_R=(0,−6); K=(0,12); ‖K‖=Δ_S=24; c=1; e_S=e_R=12; e_D=1/2; обе границы 6=6. | PASS |
A.4 | r_L=(0,3/4); r_R=(0,−3/4); K=(0,3/2); ‖K‖=Δ_S=ε_-=3; c=1; κ_Ω=3/4; e_S=e_R=3/2; e_D=1/2; обе границы 3/4=3/4. | r_L=(0,3/4); r_R=(0,−3/4); K=(0,3/2); ‖K‖=Δ_S=ε_-=3; c=1; κ_Ω=3/4; e_S=e_R=3/2; e_D=1/2; обе границы 3/4=3/4. | PASS |
Обозначение «границы» в таблице означает соответствующие пары левой и правой частей PN.2-S, PN.2-R, PN.2-K или равномерной формы следствия 9.1. Полная построчная таблица всех величин находится в values.tsv и results.json.
Поскольку первая координата тензора ассоциатора тождественно равна нулю, K=ke₂ для всех троек. Для S_sep имеем Δ_S=|S_sep(K)|=2|k|=‖K‖. Следовательно, c=1 выполняется тождественно на 𝒜₂³. Случаи A.3 и A.4 имеют K≠0 и отношение Δ_S/‖K‖=1, поэтому никакая константа c>1 на области, содержащей эти точки, невозможна.
Для Ω из A.4 код проверяет точную формулу K и рациональную интервальную оценку:
2r−s≥7/4, r≥1, a≥1, b≥−1/4, p≥1,
g=a(2r−s)+br≥7/4−1/4=3/2,
‖K‖=2pg≥3.
Точка u_*=(e₁−(1/4)e₂,e₁,e₁+(1/4)e₂) принадлежит замкнутой границе Ω и даёт ‖K(u_*)‖=3. Поэтому ε_-=3 при m≡1 является точной, а κ_Ω=cε_-Δ_D/4=3/4.
Дополнительно перебираются 729 точек рациональной сетки Ω; на каждой точно проверяются формула K, равенство Δ_S=‖K‖ и граница ‖K‖≥3. Граничный тест с p=1/2, лежащий вне Ω, даёт ‖K‖=3/2<3 и тем самым автоматически подтверждает зависимость ε_-=3 от заявленной области.
Команды следует выполнять из распакованного каталога pn2_po12_cert_v1.0:
python3 pn2_cert.py --report
python3 -m unittest -v test_pn2_cert.py
python3 build_bundle.py
sha256sum -c SHA256SUMS.txt
Первая команда пересоздаёт результаты; вторая запускает 11 тестов; третья повторно формирует архив с фиксированными порядком файлов, метаданными и режимом ZIP_STORED; четвёртая проверяет содержимое. Ожидаемые итоги: PASS, затем Ran 11 tests и OK; все строки values.tsv имеют статус PASS.
Архив pn2_po12_cert_v1.0.zip:
bbcb2715a3e5ab7688dfe1ad317a68f23b163ae10915982216111142ce7da2ad.
Файлы внутри архива:
README_RU.md — 4e08346221388e5b70ae64a649ca1146653e6b9df8f608d80a4f4e22a6c0df62;
build_bundle.py — e75160342cc59a1207fcb62a356c72b455a1c91d4e553564c5a3edde2f8c52cb;
manifest.json — 87c39b11cfb6bbc27659e20e84c914b60851cb4caa481d3056695dca7dcddf69;
pn2_cert.py — 97880a92707f718d0282c87afd6e0d3e291aa7226cc836a0817b1e71d25a0113;
results.json — 2baa4af2480ea6fcfcbab0afa3d455ced8b5aa4280d92fb3602c80d532c9dd7b;
test_pn2_cert.py — 51c1b090bb47ada673d711b931be112c63f367d3b39afaafe48a25007d973bcd;
values.tsv — 758aa6a68abd42b98e6f90e8f39c889379cf2aeb847dc345be21c7394f9134f2.
Повторная детерминированная сборка в контрольной среде дала тот же хеш архива.
Сертификат доказывает:
1) точную реализацию опубликованных структурных констант, операции и ассоциатора 𝒜₂;
2) точные ожидаемые значения всех четырёх примеров A.1–A.4;
3) Δ_D=1 и минимаксную ошибку e_D=1/2 для выбранной протокольной координаты;
4) тождественное c-разделение с c=1 для S_sep на 𝒜₂³ и точность этой константы при K≠0;
5) точную ε_-=3 и κ_Ω=3/4 для указанной компактной Ω при m≡1;
6) достижимость всех заявленных равенств и зависимость ε_-=3 от области Ω;
7) воспроизводимость результатов стандартной реализацией Python без внешних библиотек.
Сертификат не доказывает:
1) что вспомогательная 𝒜₂ совпадает с авторской физической алгеброй R⋆R;
2) физический смысл 𝔇, S, c, ε_- или κ_Ω;
3) доказательные обязательства PO-1–PO-10 для R⋆R;
4) связь с ħ, принципом ПН.1, квантовым измерением или экспериментом;
5) утверждения F-1–F-14 или универсальность ПН.2 как физического закона.
PO-12 закрыто на уровне абстрактного теоремного пакета ПН.2 v1.0 и четырёх примеров Приложения A: вычислимый сертификат, исходный код, тестовый набор, ожидаемые и полученные значения, инструкция и контрольные хеши зафиксированы. Расширение сертификата на конкретную авторскую реализацию R⋆R требует предварительного закрытия соответствующих PO-1–PO-10 и не считается выполненным настоящим приложением.
Конец канонической редакции v1.0.