Hanya dengan selembar kertas, pensil, dan penggaris, siapa pun dapat menggambar Segitiga Penrose (Penrose Tribar / Penrose Triangle) dalam hitungan menit: tiga balok lurus berpenampang persegi bertemu berpasangan membentuk sudut siku-siku ($90^\circ$), menciptakan apa yang tampak seperti kerangka segitiga tertutup yang kokoh. Atau bayangkan tangga biara ikonik dalam litografi karya seniman grafis Belanda Maurits Cornelis Escher (1898–1972) berjudul Naik dan Turun (Ascending and Descending, 1960): dua barisan biarawan berjalan tanpa henti menaiki dan menuruni tangga batu empat sisi, terus mendaki dalam putaran tertutup namun kembali tepat ke ketinggian awal.

Saat kita menatap bangun mustahil (Impossible Figures / Impossible Objects) semacam itu, korteks visual kita mengalami vertigo kognitif yang unik. Perhatikan hanya sudut atas Segitiga Penrose: itu adalah sambungan kayu siku-siku tiga dimensi yang sangat wajar dan mematuhi hukum fisika. Alihkan pandangan ke sudut kiri bawah atau kanan bawah: tidak ada satu pun aksioma geometri Euklides yang dilanggar. Namun, begitu mata Anda menelusuri ketiga balok secara kontinu mengelilingi lintasan tertutup, bencana global meledak—sebuah balok yang di satu ujung jelas berada lebih dekat ke mata pengamat, secara mulus melintas di belakang balok yang berada lebih jauh di ujung lainnya.

Bagaimana mungkin tangan manusia dapat dengan mudah menggambar di atas bidang dua dimensi suatu objek yang konsisten secara lokal di setiap bagiannya, tetapi mustahil diwujudkan secara global di ruang Euklides tiga dimensi $\mathbb{R}^3$? Dan bagaimana matematika modern memformulasikan mekanisme tepat ketika konsistensi lokal (Local Consistency) gagal dirakit menjadi keberadaan global (Global Realizability)?

Pada tahun 1992, fisikawan matematika peraih Nobel Sir Roger Penrose menerbitkan makalah klasik berjudul “On the Cohomology of Impossible Figures”. Dengan menggunakan teori berkas (Sheaf Theory) dan kohomologi Čech (Čech Cohomology), Penrose membuktikan bahwa bangun mustahil bukan sekadar trik ilusi optik, melainkan manifestasi visual langsung dari kelas kohomologi non-trivial dalam grup kohomologi Čech pertama $\check{H}^1(Q; \mathbb{R}^+)$.

Dalam artikel ini, kita menelusuri sejarah bangun mustahil dari Oscar Reutersvärd hingga keluarga Penrose dan Escher, menganalisis bagaimana proyeksi perspektif $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ menghapus serat kedalaman serta kalkulus pelabelan garis Huffman–Clowes, membangun formulasi kohomologi Čech Penrose langkah demi langkah, mengungkap aljabar linear di balik patung “Impossible Motion” karya Kokichi Sugihara, dan melihat bagaimana rintangan kohomologi yang sama mengatur kohomologi de Rham, efek Aharonov–Bohm, hingga kontekstualitas kuantum.

1. Menggambar yang Tak Terbangun: Reutersvärd, Penrose, dan M.C. Escher

1.1 Dari Satire Perspektif ke Paradoks Geometri Murni

Meskipun pelanggaran aturan perspektif secara sengaja telah muncul dalam ukiran William Hogarth Satire on False Perspective (1754), pelopor sejati bangun mustahil geometris murni adalah seniman Swedia Oscar Reutersvärd (1915–2002). Pada tahun 1934, saat berusia 18 tahun di tengah pelajaran bahasa Latin, ia menggambar sembilan kubus dalam proyeksi isometrik yang membentuk cincin segitiga dengan kedalaman yang saling bertentangan secara siklik (Opus 1). Sepanjang hidupnya ia menciptakan lebih dari 2.500 bangun mustahil yang diabadikan pada prangko nasional Swedia tahun 1982.

1.2 Februari 1958: Makalah Bersejarah Lionel dan Roger Penrose

Secara independen, setelah mengunjungi pameran M.C. Escher saat Kongres Matematikawan Internasional (ICM) 1954 di Amsterdam, matematikawan muda Cambridge Roger Penrose (1931–) menyarikan paradoks spasial ke bentuk paling murni: Tribar Penrose (Penrose Tribar). Ayahnya, psikiater dan ahli genetika Lionel S. Penrose (1898–1972), merespons dengan merancang Tangga Tak Berujung Penrose (Penrose Endless Staircase).

Pada Februari 1958, ayah dan anak ini menerbitkan makalah tiga halaman terkenal berjudul “Impossible Objects: A Special Type of Visual Illusion” dalam British Journal of Psychology (vol. 49, hlm. 31–33):

“Di sini setiap bagian struktur dapat diterima sebagai representasi objek padat normal, tetapi bencana terjadi akibat sambungan palsu antarbagian (false connexions of the parts)…”

Setelah menerima cetak ulang makalah tersebut dari keluarga Penrose, Escher menciptakan trilogi abadi: Belvedere (Mei 1958), Ascending and Descending (Maret 1960, mengadopsi tangga tak berujung Penrose), dan Waterfall (Oktober 1961, merangkai tiga segitiga Penrose menjadi saluran air gerak abadi).

2. Geometri Penglihatan: Bagaimana Proyeksi $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ Menghapus Kedalaman

2.1 Proyeksi Sentral, Proyeksi Paralel, dan Serat 1D (Fibers)

Tempatkan pusat optik mata pengamat di titik asal $\mathbf{0} = (0,0,0) \in \mathbb{R}^3$. Proyeksi sentral (perspektif) $\pi: \mathbb{R}^3 \setminus \{\mathbf{0}\} \to \mathbb{R}^2$ (atau ke bola arah $S^2$) memetakan setiap titik $\mathbf{r} = (x, y, z)$ di setengah ruang depan $z > 0$ ke bidang citra pada jarak fokus $f > 0$:

Apakah prapeta (serat / Fiber) $\pi^{-1}(p)$ dari satu titik citra 2D $p = \pi(\mathbf{r}_0)$? Karena penskalaan radial $\mathbf{r}_0 \mapsto \lambda \mathbf{r}_0$ oleh bilangan real positif $\lambda \in \mathbb{R}^+ = (0, \infty)$ tidak mengubah arah sinar ($\pi(\lambda \mathbf{r}_0) = \pi(\mathbf{r}_0) = p$), serat di atas setiap titik $p$ adalah sinar terbuka berdimensi satu yang diparameterisasi oleh grup perkalian bilangan real positif $\mathbb{R}^+ = ((0, \infty), \times)$:

Hal ini membawa konsekuensi geometris mendasar: jika kita menerapkan dilatasi radial $\mathbf{r} \mapsto \lambda \mathbf{r}$ yang berpusat di mata ($\lambda \in \mathbb{R}^+$) pada potongan kaku 3D $\tilde{Q}_i \subset \mathbb{R}^3 \setminus \{\mathbf{0}\}$, seluruh sudut siku-siku ($90^\circ$) tetap terjaga dan bayangan retinanya $\pi(\lambda \tilde{Q}_i) = \pi(\tilde{Q}_i)$ tetap 100% identik! Dalam proyeksi paralel ortografis $\pi_{\text{orth}}(x,y,z) = (x,y)$, kebebasan ini berupa translasi kedalaman $z \mapsto z + c$ oleh grup penjumlahan $(\mathbb{R}, +)$, yang isomorfik secara kanonik dengan $(\mathbb{R}^+, \times)$ melalui logaritma $\ln: (\mathbb{R}^+, \times) \xrightarrow{\sim} (\mathbb{R}, +)$.

2.2 Kalkulus Pelabelan Garis Huffman–Clowes (1971)

Untuk memecahkan masalah invers 3D, sistem visual menerapkan tiga asumsi: planaritas permukaan, ortogonalitas ($90^\circ$), dan asumsi sudut pandang umum. Pada tahun 1971, David A. Huffman dan Max B. Clowes memformulasikan analisis gambar polihedral dengan memberi setiap tepi salah satu dari empat label: $+$ (tepi cembung), $-$ (tepi cekung), dan $\rightarrow, \leftarrow$ (kontur oklusi).

Secara mengejutkan, Segitiga Penrose lulus 100% uji kombinatorial Huffman–Clowes! Setiap titik temu (L, Y/Fork, Arrow, dan T) valid secara lokal. Kemustahilan Segitiga Penrose bukan berasal dari kontradiksi kombinatorial lokal, melainkan dari kegagalan global (kohomologis) dalam menutup koordinat kedalaman kontinu mengelilingi lintasan tertutup tak terkontraksi.

3. Konsistensi Lokal vs. Kontradiksi Global: Penyambungan pada Liputan Terbuka

Misalkan $Q \subset \mathbb{R}^2$ adalah gambar 2D Segitiga Penrose yang ekuivalen homotopi dengan lingkaran ($Q \simeq S^1$). Kita tutupi $Q$ dengan tiga himpunan terbuka $\mathcal{U} = \{U_1, U_2, U_3\}$, masing-masing memuat satu sudut $C_1, C_2, C_3$ beserta sebagian besar dua balok di dekatnya:

1. Setiap $U_i$ ($i=1,2,3$) terhubung sederhana (terkontraksi / Contractible).
2. Irisan berpasangan $U_{12} = U_1 \cap U_2$, $U_{23} = U_2 \cap U_3$, dan $U_{31} = U_3 \cap U_1$ adalah segmen terkontraksi tak kosong di tengah setiap balok.
3. Irisan rangkap tiga kosong: $U_1 \cap U_2 \cap U_3 = \emptyset$. Maka saraf liputan (Nerve of the Cover) $N(\mathcal{U})$ adalah batas segitiga $\partial \Delta^2 \cong S^1$.

Di atas setiap $U_i$, terdapat model 3D standar $\tilde{Q}_i^{\text{std}}$, dan setiap angkatan 3D kaku yang valid berbentuk $\tilde{Q}_i(d_i) = d_i \cdot \tilde{Q}_i^{\text{std}}$ dengan faktor skala kedalaman positif $d_i \in \mathbb{R}^+$.

Agar $\tilde{Q}_1(d_1)$ dan $\tilde{Q}_2(d_2)$ menyambung mulus pada irisan $U_{12} = U_1 \cap U_2$, perspektif balok menuntut rasio tetap $f_{12} = r > 1$. Berdasarkan simetri rotasi lipat tiga, pada ketiga irisan berlaku:

Mengalikan ketiga persamaan mengelilingi siklus tertutup $1 \to 2 \to 3 \to 1$ menghasilkan kontradiksi aljabar langsung:

  flowchart TD
    subgraph Cover["Liputan Terbuka U = {U1, U2, U3} dari Gambar 2D Q ≃ S¹"]
        U1["Himpunan Terbuka U1 (Sudut C1)<br/>Angkatan 3D Lokal Q̃1(d1): Sambungan 90° Valid"]
        U2["Himpunan Terbuka U2 (Sudut C2)<br/>Angkatan 3D Lokal Q̃2(d2): Sambungan 90° Valid"]
        U3["Himpunan Terbuka U3 (Sudut C3)<br/>Angkatan 3D Lokal Q̃3(d3): Sambungan 90° Valid"]
    end

    U1 -->|"Irisan U12 = U1 ∩ U2 Syarat Penyambungan<br/>d1 / d2 = f12 = r > 1"| U2
    U2 -->|"Irisan U23 = U2 ∩ U3 Syarat Penyambungan<br/>d2 / d3 = f23 = r > 1"| U3
    U3 -->|"Irisan U31 = U3 ∩ U1 Syarat Penyambungan<br/>d3 / d1 = f31 = r > 1"| U1

    U1 & U2 & U3 --> Holonomy["Holonomi Siklik Mengelilingi Simpal 1 → 2 → 3 → 1<br/>Φ(f) = f12 · f23 · f31 = r³ > 1 ≠ 1"]
    Holonomy --> Obstruction["Rintangan Kohomologi Global!<br/>Kelas Non-trivial [f] ∈ Ȟ¹(Q; ℝ⁺) ≅ ℝ<br/>⇒ Tidak Ada Penugasan Kedalaman Global (d1, d2, d3)"]

4. Formulasi Sir Roger Penrose (1992): Berkas dan Kohomologi Čech

Dalam “On the Cohomology of Impossible Figures” (1992), Roger Penrose mendefinisikan grup ambiguitas (Ambiguity Group) $G = (\mathbb{R}^+, \times)$ dan membangun kompleks korantai Čech dari berkas konstan lokal $\mathcal{F}$ pada liputan baik $\mathcal{U} = \{U_1, U_2, U_3\}$:

• 0-korantai $C^0(\mathcal{U}, \mathbb{R}^+) = (\mathbb{R}^+)^3$: Penugasan kedalaman lokal $d = (d_1, d_2, d_3)$.
• 1-korantai $C^1(\mathcal{U}, \mathbb{R}^+)$: Rasio transisi $f = (f_{12}, f_{23}, f_{31})$ pada irisan $U_{ij}$ dengan $f_{ji} = f_{ij}^{-1}$.
• Operator kobatas (Coboundary Operators): $(\delta^0 d)_{ij} = d_i / d_j$ dan $(\delta^1 f)_{ijk} = f_{ij} f_{jk} f_{ki}$, memenuhi $\delta^1 \circ \delta^0 = 1$.

Karena $U_1 \cap U_2 \cap U_3 = \emptyset$, setiap 1-korantai otomatis merupakan 1-kosiklus ($Z^1(\mathcal{U}, \mathbb{R}^+) = \ker \delta^1 \cong (\mathbb{R}^+)^3$). Objek 3D global yang konsisten ada jika dan hanya jika $f$ adalah 1-kobatas ($f \in B^1(\mathcal{U}, \mathbb{R}^+) = \operatorname{Im} \delta^0$), yaitu $f_{ij} = d_i / d_j$.

Grup Kohomologi Čech Pertama didefinisikan sebagai grup kuosien:

di mana homomorfisme holonomi $\Phi(f) = f_{12} f_{23} f_{31}$ memiliki kernel tepat $B^1(\mathcal{U}, \mathbb{R}^+)$. Pada Segitiga Penrose, $\Phi(f) = r^3 \neq 1$ ($\ln \Phi(f) = 3\ln r \neq 0$), yang membuktikan Teorema Penrose (1992): bangun mustahil secara harfiah adalah elemen non-trivial $[f] \neq 1$ dalam grup kohomologi Čech pertama $\check{H}^1(Q; G)$!

Jika segitiga dipotong di satu titik, ruang menjadi interval terkontraksi $Q_{\text{cut}} \simeq [0, 1]$ yang kohomologinya lenyap ($\check{H}^1([0, 1]; \mathbb{R}^+) = \{1\}$). Itulah sebabnya patung fisik (seperti di East Perth, Australia) dapat dibangun sebagai kait 3D terbuka yang kedua ujungnya berimpit pada satu sinar pandang $\pi^{-1}(p)$ dari satu sudut pandang aksidental.

5. Patung Kokichi Sugihara dan Paradigma Universal Kohomologi

5.1 Aljabar Linear “Impossible Motion” Kokichi Sugihara

Matematikawan Jepang Kokichi Sugihara (杉原厚吉) membuktikan dalam Machine Interpretation of Line Drawings (MIT Press, 1986) bahwa gambar garis dapat diwujudkan sebagai polihedron 3D kontinu berbidang datar jika dan hanya jika sistem persamaan linear insidensi dan pertidaksamaan kedalaman

memiliki solusi $\mathbf{w}$. Sementara otak manusia secara tak sadar menambahkan syarat kesikuan $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ (sehingga sistem tak punya solusi karena $\check{H}^1 \neq 0$), Sugihara membuang $C_{\text{rect}} \mathbf{w} = \mathbf{0}$ dan membangun benda padat 3D tertutup $\mathbf{w}^*$ dari bidang trapesium miring. Karena korteks visual tetap memaksakan asumsi sudut siku-siku, bidang miring yang secara fisik menurun dipersepsikan menanjak, sehingga bola kayu tampak menggelinding naik melawan gravitasi!

5.2 Paradigma Universal Berkas dan Kohomologi dalam Sains

  flowchart TD
    Root["Arsitektur Universal Berkas (Sheaves) & Kohomologi H¹(X, F)<br/>Mengukur Rintangan Global Saat Menyambung Data yang Konsisten Secara Lokal"]

    Root --> Dom1["1. Geometri Bangun Mustahil<br/>(Penrose, 1992)"]
    Root --> Dom2["2. Geometri Diferensial & Kohomologi de Rham<br/>(H¹_dR(M) = Bentuk Tertutup / Eksak)"]
    Root --> Dom3["3. Fisika Tera & Efek Aharonov–Bohm<br/>(Koneksi Datar pada Bundel U(1))"]
    Root --> Dom4["4. Kontekstualitas Kuantum & Non-Lokalitas Bell<br/>(Abramsky & Brandenburger, 2011)"]
    Root --> Dom5["5. Topologi Terapan & Peringkat Hodge<br/>(Ghrist; Jiang–Lim–Yao–Ye)"]

    Dom1 --> Obs1["Lokal: Sudut 3D 90° valid Q̃_i(d_i)<br/>Rintangan Global: Hasil kali siklik Φ = ∏ f_ij ≠ 1<br/>⇒ Mustahil dibangun sebagai benda 3D ortogonal tertutup"]
    Dom2 --> Obs2["Lokal: 1-bentuk tak berotasi dω = 0 (ω = df_i lokal)<br/>Rintangan Global: Integral lintasan ∮_γ ω ≠ 0 (mis. dθ)<br/>⇒ Tidak ada potensial skalar global f pada bidang berlubang"]
    Dom3 --> Obs3["Lokal: Medan magnet nol B = ∇×A = 0 (A = ∇χ_i)<br/>Rintangan Global: Fluks magnetik terkurung ∮ A·dl ≠ 0<br/>⇒ Pergeseran fase kuantum terukur di ruang bebas medan"]
    Dom4 --> Obs4["Lokal: Distribusi klasik pada tiap konteks pengukuran<br/>Rintangan Global: Kohomologi tak nol sepanjang siklus konteks<br/>⇒ Tidak ada model variabel tersembunyi non-kontekstual global"]
    Dom5 --> Obs5["Lokal: Perbandingan berpasangan konsisten (A > B, B > C)<br/>Rintangan Global: Siklus Condorcet (C > A) di H¹(G; ℝ)<br/>⇒ Mustahil ada peringkat transitif global atau sinkronisasi"]

Rasa takjub saat mata kita mengelilingi Segitiga Penrose atau tangga Escher adalah bukti nyata bahwa korteks visual kita menghitung transpor paralel mengelilingi simpal tertutup dan mendeteksi secara langsung kelas kohomologi non-trivial dalam $\check{H}^1(Q; \mathbb{R}^+)$.

Referensi

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.