Имея под рукой лишь лист бумаги, карандаш и линейку, любой человек может за несколько минут начертить треугольник Пенроуза (трибар Пенроуза / Penrose Tribar): три прямых бруса квадратного сечения соединяются попарно под прямыми углами (\(90^\circ\)), образуя то, что кажется замкнутой жёсткой треугольной рамой. Или вспомним знаменитую монастырскую лестницу на литографии нидерландского художника Морица Корнелиса Эшера (M.C. Escher, 1898–1972) «Восхождение и спуск» (Ascending and Descending, 1960): две шеренги монахов бесконечно шагают вверх и вниз по четырёхмаршевой каменной лестнице, непрерывно поднимаясь и тем не менее возвращаясь точно в исходную точку на той же высоте.

Когда мы смотрим на подобные невозможные фигуры (Impossible Figures / Impossible Objects), наша зрительная кора испытывает особое когнитивное головокружение. Посмотрите только на верхний угол треугольника Пенроуза: перед нами совершенно обычное, физически безупречное трёхмерное соединение двух брусьев под углом \(90^\circ\). Переведите взгляд на левый нижний или правый нижний угол: там тоже не нарушен ни один закон евклидовой геометрии. Однако в тот самый миг, когда взгляд обходит все три бруса по замкнутому контуру, возникает глобальная катастрофа — брус, который на одном конце заведомо находится ближе к наблюдателю, на другом конце непрерывно проходит позади более удалённого бруса.

Как человеческая рука может легко изобразить на двумерной плоскости объект, который локально непротиворечив всюду, но глобально не может существовать в трёхмерном евклидовом пространстве \(\mathbb{R}^3\)? И как современная математика формализует переход от локальной согласованности (Local Consistency) к глобальному противоречию (Global Contradiction)?

В 1992 году математический физик и будущий нобелевский лауреат сэр Роджер Пенроуз (Sir Roger Penrose) опубликовал блестящую работу “On the Cohomology of Impossible Figures”. Используя теорию пучков (Sheaf Theory) и когомологии Чеха (Čech Cohomology), Пенроуз доказал, что невозможная фигура — это отнюдь не просто оптический обман зрения, а прямая визуализация нетривиального класса когомологий в первой группе когомологий Чеха \(\check{H}^1(Q; \mathbb{R}^+)\).

В этой статье мы проследим историю невозможных фигур от Оскара Рейтерсверда до отца и сына Пенроузов и Эшера, разберём проективную геометрию потери глубины при отображении \(\pi: \mathbb{R}^3 \to \mathbb{R}^2\) и алгоритм разметки линий Хаффмана–Клоуза, построим когомологическую теорию Пенроуза, раскроем линейную алгебру «невозможного движения» в скульптурах Кокити Сугихары и покажем, как то же самое когомологическое препятствие управляет когомологиями де Рама, эффектом Ааронова–Бома и квантовой контекстуальностью.

1. Нарисовать неповторимое в камне: Рейтерсверд, Пенроузы и М.К. Эшер

1.1 От сатиры на перспективу к чистому геометрическому парадоксу

Хотя намеренные нарушения правил линейной перспективы встречались ещё в гравюре Уильяма Хогарта Satire on False Perspective (1754), истинным отцом чистых геометрических невозможных фигур стал шведский художник Оскар Рейтерсверд (Oscar Reutersvärd, 1915–2002). В 1934 году, будучи 18-летним гимназистом, на скучном уроке латыни он нарисовал на полях учебника девять кубиков в параллельной (изометрической) проекции, образующих треугольное кольцо с циклически противоречивой глубиной (Opus 1). За свою жизнь он создал более 2 500 невозможных фигур, увековеченных в 1982 году на почтовых марках Швеции.

1.2 Февраль 1958 года: Историческая статья Лайонела и Роджера Пенроузов

Независимо от Рейтерсверда, посетив выставку М.К. Эшера во время Международного конгресса математиков (ICM) в Амстердаме в 1954 году, молодой кембриджский математик Роджер Пенроуз (1931–) свёл пространственный парадокс к его минимальному геометрическому ядру — трибару Пенроуза (Penrose Tribar), а его отец, психиатр и генетик Лайонел Пенроуз (Lionel S. Penrose, 1898–1972), разработал бесконечную лестницу Пенроуза (Penrose Endless Staircase).

В феврале 1958 года отец и сын опубликовали в British Journal of Psychology (т. 49, с. 31–33) знаменитую трёхстраничную статью “Impossible Objects: A Special Type of Visual Illusion”:

«Здесь каждая отдельная часть структуры приемлема как изображение нормального твёрдого тела, но катастрофа возникает в результате ложных соединений между частями (false connexions of the parts)…»

Получив оттиск статьи от Пенроузов, Эшер создал свою бессмертную трилогию: «Бельведер» (май 1958), «Восхождение и спуск» (март 1960, воплотившую бесконечную лестницу) и «Водопад» (Waterfall, октябрь 1961, где три соединённых треугольника Пенроуза образуют вечный гравитационный акведук).

2. Геометрия зрения: Как проекция \(\pi: \mathbb{R}^3 \to \mathbb{R}^2\) уничтожает волокна глубины

2.1 Центральная проекция, параллельная проекция и их одномерные слои (Fibers)

Поместим оптический центр глаза наблюдателя в начало координат \(\mathbf{0} = (0,0,0) \in \mathbb{R}^3\). Центральная (перспективная) проекция \(\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2\) (или на сферу направлений \(S^2\)) отображает каждую точку \(\mathbf{r} = (x, y, z)\) полупространства \(z > 0\) на плоскость изображения на фокусном расстоянии \(f > 0\):

Каков прообраз (слой / Fiber) \(\pi^{-1}(p)\) одной точки двумерного изображения \(p = \pi(\mathbf{r}_0)\)? Поскольку умножение вектора \(\mathbf{r}_0\) на любое положительное вещественное число \(\lambda \in \mathbb{R}^+ = (0, \infty)\) не меняет направления луча зрения (\(\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p\)), слоем над каждой точкой \(p\) является открытый луч, параметризованный мультипликативной группой положительных вещественных чисел \(\mathbb{R}^+ = ((0, \infty), \times)\):

Отсюда следует фундаментальный геометрический факт: если подвергнуть любой жёсткий трёхмерный фрагмент \(\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}\) гомотетии \(\mathbf{r} \mapsto \lambda \mathbf{r}\) с центром в глазу наблюдателя (\(\lambda \in \mathbb{R}^+\)), то не только все его прямые углы (\(90^\circ\)) сохранятся, но и его двумерная проекция на сетчатке \(\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)\) останется абсолютно неизменной! При ортографической параллельной проекции \(\pi_{\text{orth}}(x,y,z) = (x,y)\) эта свобода отвечает сдвигу по глубине \(z \mapsto z + c\) аддитивной группы \((\mathbb{R}, +)\), изоморфной \((\mathbb{R}^+, \times)\) посредством логарифма \(\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)\).

2.2 Исчисление разметки линий Хаффмана–Клоуза (1971)

Чтобы решить некорректно поставленную обратную задачу 3D-реконструкции, зрительная система опирается на априорные гипотезы: компланарность граней, ортогональность углов (\(90^\circ\)) и гипотезу общего положения точки наблюдения. В 1971 году Дэвид Хаффман (David A. Huffman) и Макс Клоуз (Max B. Clowes) независимо создали комбинаторное исчисление разметки рёбер многогранников четырьмя символами: \(+\) (выпуклое ребро), \(-\) (вогнутое ребро) и \(\rightarrow, \leftarrow\) (контур заслонения, где видимая грань лежит справа по ходу стрелки).

Удивительный факт состоит в том, что треугольник Пенроуза на 100 % проходит комбинаторный тест Хаффмана–Клоуза! Каждая его вершина (L-, Y-, стреловидного и T-типа) локально реализуема в 3D. Следовательно, невозможная природа трибара кроется не в локальной комбинаторике рёбер, а в глобальном (когомологическом) несовпадении непрерывных координат глубины при обходе вокруг нестягиваемого цикла.

3. Локальная непротиворечивость и глобальное противоречие: Склейка над открытым покрытием

Пусть \(Q \subset \mathbb{R}^2\) — двумерный рисунок треугольника Пенроуза, гомотопически эквивалентный окружности (\(Q \simeq S^1\)). Покроем \(Q\) тремя открытыми множествами \(\mathcal{U} = \{U_1, U_2, U_3\}\), каждое из которых содержит один из углов \(C_1, C_2, C_3\) и прилегающие части балок:

1. Каждое \(U_i\) (\(i=1,2,3\)) односвязно (стягиваемо).
2. Попарные пересечения \(U_{12} = U_1 \cap U_2\), \(U_{23} = U_2 \cap U_3\) и \(U_{31} = U_3 \cap U_1\) — непустые стягиваемые участки посередине каждой балки.
3. Тройное пересечение пусто: \(U_1 \cap U_2 \cap U_3 = \emptyset\). Тем самым нерв покрытия \(N(\mathcal{U})\) представляет собой границу треугольника \(\partial \Delta^2 \cong S^1\).

Над каждой картой \(U_i\) выберем эталонную 3D-модель прямого угла \(\tilde{Q}_i^{\text{std}}\); тогда любой допустимый локальный 3D-подъём имеет вид \(\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}\), где \(d_i \in \mathbb{R}^+\) — масштабный коэффициент глубины угла \(C_i\).

Чтобы модели \(\tilde{Q}_1(d_1)\) и \(\tilde{Q}_2(d_2)\) непрерывно склеились над пересечением \(U_{12} = U_1 \cap U_2\), перспективный ракурс балки требует фиксированного отношения \(f_{12} = r > 1\). В силу поворотной симметрии 3-го порядка на всех трёх перекрытиях имеем:

Перемножая эти три равенства вдоль замкнутого цикла \(1 \to 2 \to 3 \to 1\), получаем немедленное противоречие:

  flowchart TD
    subgraph Cover["Открытое покрытие U = {U1, U2, U3} двумерной фигуры Q ≃ S¹"]
        U1["Открытая карта U1 (Угол C1)<br/>Локальный 3D-подъём Q̃1(d1): Корректный угол 90°"]
        U2["Открытая карта U2 (Угол C2)<br/>Локальный 3D-подъём Q̃2(d2): Корректный угол 90°"]
        U3["Открытая карта U3 (Угол C3)<br/>Локальный 3D-подъём Q̃3(d3): Корректный угол 90°"]
    end

    U1 -->|"Пересечение U12 = U1 ∩ U2 Условие склейки<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Пересечение U23 = U2 ∩ U3 Условие склейки<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Пересечение U31 = U3 ∩ U1 Условие склейки<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Циклическая голономия вдоль петли 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["Глобальное когомологическое препятствие!<br/>Нетривиальный класс [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ Глобального распределения глубин (d1, d2, d3) не существует"]

4. Формулировка сэра Роджера Пенроуза (1992): Пучки и когомологии Чеха

В работе “On the Cohomology of Impossible Figures” (1992) Роджер Пенроуз вводит абелеву группу неоднозначности (Ambiguity Group) \(G = (\mathbb{R}^+, \times)\) и рассматривает коцепной комплекс Чеха локально постоянного пучка \(\mathcal{F}\) со слоем \(G\) над хорошим покрытием \(\mathcal{U} = \{U_1, U_2, U_3\}\):

• 0-коцепи \(C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3\): наборы локальных масштабов глубины \(d = (d_1, d_2, d_3)\).
• 1-коцепи \(C^1(\mathcal{U}, \mathbb{R}^+)\): переходные отношения \(f = (f_{12}, f_{23}, f_{31})\) на пересечениях \(U_{ij}\) с условием \(f_{ji} = f_{ij}^{-1}\).
• Кограничные операторы (Coboundary Operators): \((\delta^0 d)_{ij} = d_i / d_j\) и \((\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}\), причём \(\delta^1 \circ \delta^0 = 1\).

Так как \(U_1 \cap U_2 \cap U_3 = \emptyset\), любая 1-коцепь автоматически является 1-коциклом (\(Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3\)). Глобально согласованный 3D-объект существует тогда и только тогда, когда \(f\) является 1-кограницей (\(f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0\)), то есть \(f_{ij} = d_i / d_j\).

Первая группа когомологий Чеха определяется как факторгруппа:

где ядро гомоморфизма голономии \(\Phi(f) = f_{12} f_{23} f_{31}\) в точности совпадает с подгруппой кограниц \(B^1(\mathcal{U}, \mathbb{R}^+)\). Для треугольника Пенроуза \(\Phi(f) = r^3 \neq 1\) (\(\ln \Phi(f) = 3\ln r \neq 0\)), что доказывает теорему Пенроуза (1992): невозможная фигура — это в точности нетривиальный элемент \([f] \neq 1\) первой группы когомологий Чеха \(\check{H}^1(Q; G)\)!

Если разрезать треугольник в одной точке, пространство превращается в стягиваемый отрезок \(Q_{\text{cut}} \simeq [0, 1]\), когомологии которого тривиальны (\(\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}\)). Именно поэтому реальные скульптуры (например, в Ист-Перте, Австралия) представляют собой разомкнутый в глубину 3D-крюк, два свободных конца которого совмещаются на одном луче зрения \(\pi^{-1}(p)\) лишь из единственной случайной точки обзора.

5. Скульптуры Кокити Сугихары и универсальная парадигма когомологий в науке

5.1 Линейная алгебра «невозможного движения» Кокити Сугихары

Японский математик Кокити Сугихара (Kokichi Sugihara, 杉原厚吉) в монографии Machine Interpretation of Line Drawings (MIT Press, 1986) доказал, что линейный чертёж реализуем в виде непрерывного 3D-многогранника с плоскими гранями тогда и только тогда, когда совместна линейная система уравнений инцидентности и неравенств глубины

В то время как мозг человека бессознательно добавляет уравнения прямоугольности \(C_{\text{rect}} \mathbf{w} = \mathbf{0}\) (делая систему несовместной при \(\check{H}^1 \neq 0\)), Сугихара отбрасывает \(C_{\text{rect}} \mathbf{w} = \mathbf{0}\) и строит реальные замкнутые 3D-тела \(\mathbf{w}^*\) из косых трапециевидных граней. Поскольку зрительная кора упрямо навязывает гипотезу прямых углов, физически наклонённый вниз желоб воспринимается как поднимающийся вверх, и деревянные шарики под действием обычной гравитации кажутся катящимися вверх по склону!

5.2 Универсальная архитектура пучков и когомологий в естествознании

  flowchart TD
    Root["Универсальная архитектура пучков (Sheaves) и когомологий H¹(X, F)<br/>Измерение глобального препятствия к склейке локально согласованных данных"]

    Root --> Dom1["1. Геометрия невозможных фигур<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Дифференциальная геометрия и когомологии де Рама<br/>(H¹_dR(M) = Замкнутые / точные формы)"]
    Root --> Dom3["3. Калибровочная теория и эффект Ааронова–Бома<br/>(Плоские связности в U(1)-расслоениях)"]
    Root --> Dom4["4. Квантовая контекстуальность и нелокальность Белла<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Прикладная топология и ранжирование Ходжа<br/>(Ghrist; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Локально: Корректные прямые 3D-углы Q̃_i(d_i)<br/>Глобальное препятствие: Циклическое произведение Φ = ∏ f_ij ≠ 1<br/>⇒ Невозможно построить замкнутое прямоугольное 3D-тело"]
    Dom2 --> Obs2["Локально: Безвихревая 1-форма dω = 0 (ω = df_i локально)<br/>Глобальное препятствие: Контурный интеграл ∮_γ ω ≠ 0 (форма dθ)<br/>⇒ Нет глобального однозначного потенциала f на проколотой плоскости"]
    Dom3 --> Obs3["Локально: Нулевое магнитное поле B = ∇×A = 0 (A = ∇χ_i)<br/>Глобальное препятствие: Магнитный поток соленоида ∮ A·dl ≠ 0<br/>⇒ Наблюдаемый квантовый сдвиг фазы электронов вне поля"]
    Dom4 --> Obs4["Локально: Классическое распределение в каждом контексте измерений<br/>Глобальное препятствие: Нетривиальный класс когомологий Чеха ≠ 0<br/>⇒ Несуществование глобальной неконтекстуальной модели скрытых параметров"]
    Dom5 --> Obs5["Локально: Согласованные парные сравнения (A > B, B > C)<br/>Глобальное препятствие: Циклы Кондорсе (C > A) в H¹(G; ℝ)<br/>⇒ Невозможность глобального транзитивного рейтинга или синхронизации"]

То чувство изумления, которое охватывает нас при взгляде на треугольник Пенроуза или лестницу Эшера, есть прямое свидетельство того, что наша зрительная кора выполняет параллельный перенос вдоль замкнутого контура и в реальном времени обнаруживает нетривиальный класс когомологий в \(\check{H}^1(Q; \mathbb{R}^+)\).

Литература

1. Penrose, L. S., & Penrose, R. (1958). “Impossible Objects: A Special Type of Visual Illusion.” British Journal of Psychology, 49(1), 31–33.
2. Penrose, R. (1992). “On the Cohomology of Impossible Figures.” Structural Topology, 17, 11–16.
3. Huffman, D. A. (1971). “Impossible Objects as Nonsense Sentences.” Machine Intelligence, 6, 295–323.
4. Sugihara, K. (1986). Machine Interpretation of Line Drawings. MIT Press.
5. Abramsky, S., & Brandenburger, A. (2011). “The Sheaf-Theoretic Structure of Non-Locality and Contextuality.” New Journal of Physics, 13(11), 113036.