Один объект — разные языки

1. Алгебра переводов: Периодическая таблица

Любой перевод между математическими теориями характеризуется двумя главными координатами: сохранением информации (строки 1, 2, 3) и направлением стрелок (столбцы A, B). Внутри каждой ячейки возникает третье измерение (I, II, III) — то, с чем именно мы работаем: с формализмом (уравнениями, аксиомами) или с семантикой (пространствами, реальностью объекта).

2. Метод перевода (Пайплайн)

Любая координата из таблицы выше применяется для переноса задач между теориями. Рабочая схема состоит из четырёх шагов:

Эта 4-шаговая схема — идеал. Её уязвимое место — шаг 4 (обратный перевод). Чтобы он сработал, язык \(\mathcal D\) не должен забывать то, что было сказано на языке \(\mathcal C\). В первых трёх типах перевода (строка 1: биекции, эквивалентности, двойственности) обратимость гарантирована, и схема работает безупречно. Но по мере спуска по списку потерь становится больше: при вложении в конкретный класс (строка 2) появляется непереводимая «лишняя» структура, а на уровне инвариантов (строка 3) шаг 4 исчезает полностью — отбросив структуру, вернуться назад уже невозможно.

3. Каталог переводов (Примеры)

Ниже — разбор классических математических результатов с точным указанием их координат в Периодической таблице.

• Арифметизация синтаксиса (Гёдель, 1931). Формулы, выводы и правила кодируются числами; метаматематика становится арифметикой, и \(\mathsf{PA}\) получает возможность говорить о самой себе.
• Арифметика и конечная теория множеств. Пусть \(\mathsf{HF}\) — теория наследственно конечных множеств (без аксиомы бесконечности, но с транзитивным замыканием). Множества кодируются числами по Аккерману (через двоичные разряды), а числа — ординалами. Теории бинтерпретируемы: композиция переводов внутри теории доказуемо изоморфна тождеству. Это буквально один объект на двух языках.

Объекты разной природы оказываются одним объектом (изоморфизм), либо одна структура задаётся двумя словарями (дефиниционная эквивалентность).

Мы остаемся в рамках текста аксиом, но обращаем порядок. Каждое истинное утверждение переписывается в двойственное.

• Булев принцип (Де Морган). Отображение \(x\mapsto\neg x\) меняет местами \(0\) и \(1\), \(\land\) и \(\lor\). Список аксиом булевой алгебры переходит в себя. Законы Де Моргана и взаимовыразимость кванторов (\(\forall x\,\varphi\leftrightarrow\neg\exists x\,\neg\varphi\)) — прямое следствие.
• Аксиомы проективной плоскости. «Две точки задают прямую» ↔ «две прямые пересекаются в точке» — список аксиом самодвойствен точно так же, как булева алгебра, только роль отрицания играет полярность относительно фиксированной коники.

Полярность относительно самой коники переводит точку \(P\) на конике в касательную \(t_P\) в этой точке, а конику — снова в конику. Поэтому вписанный шестиугольник переходит в описанный, сторона \(P_iP_{i+1}\) — в вершину \(Q_i=t_i\cap t_{i+1}\), точка пересечения противоположных сторон — в диагональ, соединяющую противоположные вершины, а «три точки лежат на одной прямой» — в «три прямые проходят через одну точку».

Та же полярность работает на единицу выше размерностью — уже не относительно коники на плоскости, а относительно самой сферы. На единичной сфере \(S^2\subset\mathbb R^3\) роль «прямых» играют большие круги — сечения сферы плоскостями, проходящими через центр.

Как и с коникой, эта полярность переводит целую фигуру в двойственную. Возьмём сферический треугольник \(ABC\) (стороны — дуги больших кругов) и его полярный треугольник \(A^{*}B^{*}C^{*}\), где \(A^{*}\) — полюс стороны \(a=BC\), и т.д. Полюс стороны исходного треугольника оказывается вершиной двойственного — ровно то же превращение «сторона ↔ вершина», что у Паскаля и Брианшона.

Высший пилотаж переводов. Структуры разной природы связываются функториально, с точным обращением порядка.

Формализм вкладывается в формализм, сохраняя выводимость, но без возможности строгого возврата к оригиналу.

• \(\mathsf{ZF}\) и \(\mathsf{ZFC}\). Аксиоматика Цермело — Френкеля (без выбора) и она же с выбором взаимно интерпретируемы. \(\mathsf{ZFC}\) интерпретирует \(\mathsf{ZF}\) тривиально, а \(\mathsf{ZF}\) интерпретирует \(\mathsf{ZFC}\) внутри себя через конструируемый универсум Гёделя \(L\). Однако они не бинтерпретируемы (Али Энаят, 2016). Второй перевод возвращает нас в суженную «очищенную» копию исходной теории (\(L\)), а не в оригинальный универсум множеств.

Абстрактное реализуется конкретно. Перевод переносит информацию в более осязаемую среду, но добавляет к объекту «строительные леса» (базис, координаты, специфику множества).

• Теорема Кэли. Всякая группа (семантический объект, заданный аксиомами) вкладывается в группу подстановок \(\operatorname{Sym}(G)\) левыми сдвигами. То же касается линейных представлений (вложение в матрицы). Абстрактное становится конкретным.
• Граф Кэли. Та же группа \(G\) с фиксированным набором образующих \(S\) становится размеченным графом: вершины — элементы \(G\), рёбра — умножение на образующие. Алгебра превращается в геометрию — на группе появляется метрика, можно изучать её рост или строить из неё экспандеры. Перевод зависит от выбора \(S\) — та же «лишняя» структура, что и в теореме Кэли выше.

Слова становятся объектами. Мы берем формализм и превращаем его в семантический объект.

• Свободные алгебры. Мы берем чистый формализм (буквы алфавита и символы операций, из которых собираем «слова»-термы) и смотрим на них как на математические объекты — деревья. Если их факторизовать по нужным аксиомам, получается свободная алгебра.
• Хенкиновские модели. Апофеоз этого подхода в логике. При доказательстве теоремы о полноте элементами модели объявляются сами замкнутые термы формального языка, а предикаты задаются их доказуемостью. Синтаксис буквально превращается в семантику.

Антитонные переводы на одном онтологическом этаже.

• Соответствие Галуа для полей. Отображения между промежуточными полями \(K \subset M \subset L\) и подгруппами \(\operatorname{Gal}(L/K)\). Чем больше поле, тем меньше группа автоморфизмов, оставляющих его неподвижным.
• Соответствие Краснера (Группы автоморфизмов). Чем больше у структуры симметрий (автоморфизмов), тем меньше предикатов (решеток определимости) можно на ней задать без параметров.

Та же антитонность, что и выше, но теперь между синтаксисом и семантикой.

• Синтаксис и модели (\(\mathrm{Th}\) и \(\mathrm{Mod}\)). Больше аксиом — меньше моделей. Замкнутые элементы слева — дедуктивно замкнутые теории, справа — аксиоматизируемые классы моделей.
• Nullstellensatz (Теорема о нулях). Геометрический двойник Th/Mod: связь Галуа между идеалами многочленов (формализм) и алгебраическими множествами (семантика) над алгебраически замкнутым полем.

Потеря информации как рабочий метод. Сопоставление не обратимо, зато отброшенное не мешает вычислениям.

• Фундаментальная группа \(\pi_1(X)\) и гомологии. Топологический инвариант отбрасывает всю метрическую информацию, оставляя алгебраическую "тень" пространства. Обратный перевод невозможен (пространства с одинаковой \(\pi_1\) могут быть не гомеоморфны), но если группы разные — пространства гарантированно не гомеоморфны. Эйлерова характеристика сжимает саму группу гомологий до одного числа.

Сжатие формализма в математический объект-меру.

• Теоретико-доказательственные ординалы. Каждой формальной теории можно сопоставить ординал (для арифметики Пеано это \(\epsilon_0\)). Мы отбрасываем всё дедуктивное богатство теории, оставляя только её семантическую «тень», измеряющую её силу. Перевод с колоссальной потерей информации (существуют разные теории с одинаковым ординалом), но если ординал \(T\) строго меньше ординала \(S\), то \(T\) не может доказать непротиворечивость \(S\).

Звучит парадоксально (сжимаем информацию, но стрелки разворачиваются), однако за этим стоит геометрическая идея: наблюдение через функции.

• Когомологии и сужение функций. Если пространство \(X\) вложено в объемлющее пространство \(Y\) (\(X \subset Y\)), любую функцию на всем \(Y\) можно сузить на \(X\). Вложение пространств порождает отображение алгебр функций в обратную сторону (\(F(Y) \to F(X)\)). Когомологии де Рама интегрируют дифференциальные формы ("функции") по циклам: пространство сжимается до алгебраического инварианта, но стрелки морфизмов разворачиваются.

4. Многослойность: Фурье, Лаплас и ряды

Самые мощные инженерные и математические инструменты работают потому, что пробивают сразу несколько ячеек нашей таблицы одновременно.

Почему производящие функции, ряды Фурье и преобразование Лапласа так эффективны? Во всех этих переводах инвариантное ядро одно: свёртка переходит в поточечное умножение, а дифференцирование — в умножение на переменную. Дифференциальное уравнение становится алгебраическим, решается делением, и обратный перевод (Шаг 4) возвращает ответ.

Этот приём — слоёный пирог из трёх переводов Периодической таблицы:

• 1A-II Алгебраический слой (Изоморфизм). Кольцо формальных рядов по определению использует свёртку. Переход от последовательности к ряду — это переобозначение. Сила в том, что со свёрткой никто не умеет работать руками, а с многочленами умеют все.
• 1B-II Двойственный слой. Ряд Фурье работает, потому что опирается на двойственность Понтрягина между функцией на окружности \(\mathbb T\) и последовательностью на \(\mathbb Z\).
• 2A-II Семантическое представление. Пространство со свёрткой — это банахова алгебра. Её гельфандово представление (перевод абстрактного элемента в функцию на спектре) и есть преобразование Фурье! «Свёртка стала умножением» просто потому, что гельфандово представление сохраняет операции.

Где перевод ломается

Сводка гипотез, которые чаще всего выпадают из формулировок. Каждая строка — место, где перевод перестаёт работать, если условие снять.