Имея под рукой лишь лист бумаги, карандаш и линейку, любой человек может за несколько минут начертить треугольник Пенроуза (трибар Пенроуза / 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$:
$$\pi(x, y, z) = \left( f \frac{x}{z}, \; f \frac{y}{z} \right), \qquad \text{или} \qquad \pi(\mathbf{r}) = \frac{\mathbf{r}}{\|\mathbf{r}\|}$$Каков прообраз (слой / 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)$:
$$\pi^{-1}(\pi(\mathbf{r}_0)) = \{ \lambda \mathbf{r}_0 \in \mathbb{R}^3 \setminus \{\mathbf{0}\} \mid \lambda \in \mathbb{R}^+ \}$$Отсюда следует фундаментальный геометрический факт: если подвергнуть любой жёсткий трёхмерный фрагмент $\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. Следовательно, невозможная природа трибара кроется не в локальной комбинаторике рёбер, а в глобальном (когомологическом) несовпадении непрерывных координат глубины при обходе вокруг нестягиваемого цикла.
| Уровень согласованности | Математический аппарат | Проверяемое условие | Результат для треугольника Пенроуза |
|---|---|---|---|
| Уровень 1: Локальная реализуемость вершин | Каталог трёхгранных углов (Guzmán, 1968) | Может ли каждая вершина $v_i$ отдельно быть 3D-углом? | ПРОЙДЕН (Каждый угол — корректное соединение под $90^\circ$) |
| Уровень 2: Комбинаторная разметка рёбер | Алгоритм Хаффмана–Клоуза (1971) | Можно ли непротиворечиво приписать рёбрам метки $+, -, \rightarrow, \leftarrow$? | ПРОЙДЕН (Существует глобально допустимая разметка) |
| Уровень 3: Жёсткая склейка локальных карт | Когомологии пучков (Penrose, 1992) | Равно ли произведение отношений глубин $\prod f_{ij} = 1$ вдоль замкнутого цикла? | ПРОВАЛЕН (Нетривиальный класс $[f] \in \check{H}^1(Q; \mathbb{R}^+) \neq 0$) |
| Уровень 4: Общий многогранник с плоскими гранями | Линейная система Сугихары (1986) | Имеет ли решение система $A\mathbf{w}=\mathbf{0}, B\mathbf{w}>\mathbf{0}$ при отказе от углов $90^\circ$? | ПРОЙДЕН (Реализуем в 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$ и прилегающие части балок:
- Каждое $U_i$ ($i=1,2,3$) односвязно (стягиваемо).
- Попарные пересечения $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$ и $U_{31} = U_3 \cap U_1$ — непустые стягиваемые участки посередине каждой балки.
- Тройное пересечение пусто: $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-го порядка на всех трёх перекрытиях имеем:
$$\frac{d_1}{d_2} = f_{12} = r > 1, \qquad \frac{d_2}{d_3} = f_{23} = r > 1, \qquad \frac{d_3}{d_1} = f_{31} = r > 1$$Перемножая эти три равенства вдоль замкнутого цикла $1 \to 2 \to 3 \to 1$, получаем немедленное противоречие:
$$1 = \frac{d_1}{d_2} \cdot \frac{d_2}{d_3} \cdot \frac{d_3}{d_1} = f_{12} \cdot f_{23} \cdot f_{31} = r^3 > 1 \quad (\text{Противоречие!})$$
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\}$:
$$C^0(\mathcal{U}, \mathbb{R}^+) \xrightarrow{\;\delta^0\;} C^1(\mathcal{U}, \mathbb{R}^+) \xrightarrow{\;\delta^1\;} C^2(\mathcal{U}, \mathbb{R}^+)$$- 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$.
Первая группа когомологий Чеха определяется как факторгруппа:
$$\check{H}^1(Q; \mathbb{R}^+) \cong \frac{Z^1(\mathcal{U}, \mathbb{R}^+)}{B^1(\mathcal{U}, \mathbb{R}^+)} = \frac{\ker \delta^1}{\operatorname{Im} \delta^0} \xrightarrow[\;\sim\;]{\;\Phi\;} \mathbb{R}^+ \xrightarrow[\;\sim\;]{\;\ln\;} \mathbb{R}$$где ядро гомоморфизма голономии $\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-многогранника с плоскими гранями тогда и только тогда, когда совместна линейная система уравнений инцидентности и неравенств глубины
$$A \mathbf{w} = \mathbf{0}, \qquad B \mathbf{w} > \mathbf{0}$$В то время как мозг человека бессознательно добавляет уравнения прямоугольности $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/>⇒ Невозможность глобального транзитивного рейтинга или синхронизации"]
| Научная область | Базовое пространство $X$ и покрытие $\{U_i\}$ | Локальное сечение $s_i \in \mathcal{F}(U_i)$ | Условие склейки на $U_i \cap U_j$ | Глобальная реализуемость ($\check{H}^1 = 0$) | Смысл нетривиальных когомологий $\check{H}^1(X, \mathcal{F}) \neq 0$ |
|---|---|---|---|---|---|
| Невозможные фигуры (Penrose, 1992) | 2D-рисунок $Q \simeq S^1$ и углы $\{U_i\}$ | Локальный 3D-масштаб глубины $d_i \in \mathbb{R}^+$ | Отношение глубин $f_{ij} = d_i / d_j$ | Циклическое произведение $\Phi = \prod f_{ij} = 1$ | Треугольник Пенроуза / Лестница Эшера (Нереализуемость в 3D) |
| Дифференциальная геометрия (Когомологии де Рама) | Многообразие $M$ (напр. $\mathbb{R}^2 \setminus \{0\}$) | Локальный потенциал $f_i$ замкнутой 1-формы $\omega = df_i$ | Разность потенциалов $f_i - f_j = c_{ij}$ | Нулевая циркуляция $\oint_\gamma \omega = 0$ (Точная форма) | Угловая 1-форма $\omega = d\theta$ (Непрерывная лестница Эшера) |
| Калибровочная физика (Aharonov–Bohm, 1959) | Область вне соленоида $M \simeq S^1$ ($\mathbf{B}=\mathbf{0}$) | Локальная калибровочная фаза $\chi_i$ ($\mathbf{A} = \nabla \chi_i$) | $U(1)$-переход $g_{ij} = e^{ie(\chi_i-\chi_j)/\hbar}$ | Тривиальная петля Вильсона $\exp(\frac{ie}{\hbar}\oint \mathbf{A}\cdot d\mathbf{l}) = 1$ | Фазовый сдвиг Ааронова–Бома в области нулевого поля |
| Квантовые основания (Abramsky et al., 2011) | Множество наблюдаемых $X$ и контексты $\{U_i\}$ | Локальное классическое распределение вероятностей | Совпадение маргиналов (No-Signaling) | Существование глобальной модели скрытых параметров | Квантовая контекстуальность и нелокальность Белла |
| Прикладная топология (Ghrist; HodgeRank) | Граф парных сравнений $G = (V, E)$ | Глобальный рейтинг / время узла $d_i \in \mathbb{R}$ | Разность оценок $f_{ij} = d_i - d_j$ | Нулевая сумма вдоль всех циклов (Транзитивность) | Парадокс Кондорсе (циклы «камень-ножницы-бумага») |
То чувство изумления, которое охватывает нас при взгляде на треугольник Пенроуза или лестницу Эшера, есть прямое свидетельство того, что наша зрительная кора выполняет параллельный перенос вдоль замкнутого контура и в реальном времени обнаруживает нетривиальный класс когомологий в $\check{H}^1(Q; \mathbb{R}^+)$.
Литература
- Penrose, L. S., & Penrose, R. (1958). “Impossible Objects: A Special Type of Visual Illusion.” British Journal of Psychology, 49(1), 31–33.
- Penrose, R. (1992). “On the Cohomology of Impossible Figures.” Structural Topology, 17, 11–16.
- Huffman, D. A. (1971). “Impossible Objects as Nonsense Sentences.” Machine Intelligence, 6, 295–323.
- Sugihara, K. (1986). Machine Interpretation of Line Drawings. MIT Press.
- Abramsky, S., & Brandenburger, A. (2011). “The Sheaf-Theoretic Structure of Non-Locality and Contextuality.” New Journal of Physics, 13(11), 113036.