Pendahuluan: Tiga Keajaiban Sehari-hari dari Keniscayaan Topologi

Bayangkan menuangkan kopi panas ke dalam cangkir silinder, menambahkan sedikit krim, lalu mengaduknya kuat-kuat dengan sendok. Pusaran air (vorteks) yang kacau dan lipatan laminar mengocok cairan tersebut. Ketika cairan kopi akhirnya berhenti bergerak, intuisi kita mengatakan bahwa setiap tetes kopi telah berpindah jauh dari posisi awalnya. Namun pada tahun 1911, matematikawan Belanda Luitzen Egbertus Jan Brouwer (1881–1966) membuktikan Teorema Titik Tetap Brouwer (Brouwer’s Fixed-Point Theorem) yang menjamin dengan kepastian matematis mutlak hal berikut:

[!IMPORTANT] Keajaiban 1: Titik yang Tidak Bergerak di Dalam Cangkir Kopi yang Diaduk Seberapa kuat atau rumit pun Anda mengaduk kopi—asalkan tidak ada cairan yang tumpah keluar cangkir, tidak ada gelembung kavitasi yang membuka lubang permanen, dan kontinum fluida tidak robek—ketika cairan kembali diam, dijamin ada setidaknya satu titik (molekul kopi dalam batas kontinum) yang menempati koordinat ruang tiga dimensi $(x^*, y^*, z^*)$ yang sama persis seperti sebelum Anda menyentuh sendok!

[!TIP] Keajaiban 2: Peta Kusut yang Dijatuhkan di Atas Peta Datar Ambil dua peta identik dari wilayah yang sama (Peta A dan Peta B). Bentangkan Peta A secara datar di atas meja, remas Peta B menjadi bola kertas kusut (tanpa merobeknya), lalu jatuhkan di mana saja sepenuhnya di dalam batas Peta A. Maka, setidaknya ada satu titik geografis $x^*$ pada Peta B yang kusut yang berada tepat vertikal di atas titik geografis $x^*$ yang sama persis pada Peta A yang datar di bawahnya!

Demikian pula, Teorema Bola Berbulu (Hairy Ball Theorem) dari Poincaré-Brouwer pada permukaan bola $S^2$ menjelaskan mengapa setiap kepala manusia pasti memiliki setidaknya satu pusar rambut (uyeng-uyeng) dan mengapa pada setiap saat di permukaan Bumi selalu ada setidaknya satu titik di mana kecepatan angin horizontal tepat nol (mata siklon/topan).

Pernyataan Formal Teorema Titik Tetap Brouwer (1911)

Misalkan $K \subset \mathbb{R}^n$ adalah himpunan bagian yang tak-kosong, kompak (tertutup dan terbatas), dan konveks (cembung) di $\mathbb{R}^n$ (atau ruang topologi yang homeomorfik dengan bola satuan tertutup $D^n = \{x \in \mathbb{R}^n : \|x\|_2 \le 1\}$). Untuk setiap pemetaan kontinu $f: K \to K$, terdapat setidaknya satu titik tetap (fixed point) $x^* \in K$ sedemikian sehingga:

1. Mengapa Setiap Hipotesis Tak Tergantikan: Empat Contoh Penyangkal

Berdasarkan Teorema Heine-Borel, kekompakan di $\mathbb{R}^n$ setara dengan sifat terbatas dan tertutup. Jika kita menghapus salah satu saja dari empat syarat (terbatas, tertutup, konveks/tanpa lubang, kontinu), titik tetap langsung lenyap:

1. Tanpa Keterbatasan (Unbounded): Pada $K = \mathbb{R}$ (tertutup dan konveks), translasi kontinu $f(x) = x + 1$ tidak memiliki titik tetap ($x^* + 1 = x^*$ mustahil) karena semua titik lari menuju $+\infty$.
2. Tanpa Ketertutupan (Not Closed): Pada interval terbuka $K = (0, 1)$ (terbatas dan konveks), $f(x) = \frac{x+1}{2}$ kontinu tetapi satu-satunya titik tetap aljabar $x^* = 1$ berada pada batas yang hilang $\partial K \setminus K$.
3. Tanpa Kekonveksan / Keterhubungan Sederhana (Berlubang): Pada lingkaran satuan $S^1$ atau cincin tertutup (annulus) $A = \{x \in \mathbb{R}^2 : \frac{1}{2} \le \|x\|_2 \le 1\}$, rotasi $f(x) = R_\theta x$ sebesar sudut $\theta \in (0, 2\pi)$ tidak memiliki titik tetap karena pusat rotasi $(0, 0)$ jatuh di dalam lubang tengah ($(0, 0) \notin A$).
4. Tanpa Kekontinuan (Discontinuous): Pada $K = [0, 1]$, fungsi tangga $f(x) = 1$ pada $[0, \frac{1}{2}]$ dan $f(x) = 0$ pada $(\frac{1}{2}, 1]$ melompati garis diagonal $y = x$ secara diskontinu di $x = \frac{1}{2}$.

2. Bukti Pertama: Kasus 1D ($n = 1$) melalui Teorema Nilai Antara (IVT)

Dalam dimensi $n = 1$, setiap himpunan kompak konveks tak-kosong adalah interval tertutup $K = [a, b]$. Untuk fungsi kontinu $f: [a, b] \to [a, b]$, definisikan fungsi perpindahan $g(x) = f(x) - x$. Karena $f(a) \ge a$ dan $f(b) \le b$, pada kedua ujung berlaku:

Menurut Teorema Nilai Antara (Intermediate Value Theorem, IVT) Bolzano, terdapat setidaknya satu $x^* \in [a, b]$ di mana $g(x^*) = 0 \iff f(x^*) = x^*$. Pada dimensi $n \ge 2$, ruang $\mathbb{R}^n \setminus \{\mathbf{0}\}$ masih terhubung-lintasan sehingga medan vektor dapat memutari titik nol; oleh karena itu diperlukan topologi aljabar atau kombinatorial.

3. Bukti Kedua: Topologi Aljabar dan Teorema Non-Retraksi Borsuk (1931)

Pada tahun 1931, matematikawan Polandia Karol Borsuk membuktikan bahwa Teorema Brouwer setara dengan Teorema Non-Retraksi: tidak ada retraksi kontinu $r: D^n \to S^{n-1}$ dari bola satuan tertutup $D^n$ ke bola batasnya $S^{n-1} = \partial D^n$ yang mempertahankan setiap titik batas tetap diam ($r|_{S^{n-1}} = \text{id}_{S^{n-1}}$).

Langkah 1: Pemetaan Tanpa Titik Tetap Membangun Retraksi Kontinu $r: D^n \to S^{n-1}$

Andaikan demi kontradiksi ada pemetaan kontinu $f: D^n \to D^n$ dengan $f(x) \ne x$ untuk semua $x \in D^n$. Maka vektor $u(x) = x - f(x) \ne \mathbf{0}$ tidak pernah nol. Sinar yang ditembakkan dari $f(x)$ melewati $x$, yaitu $\gamma_x(t) = x + s u(x)$ ($s = t - 1 \ge 0$), memotong bola batas $S^{n-1}$ di titik tunggal:

Karena $\|u(x)\|_2^2 > 0$, $r: D^n \to S^{n-1}$ kontinu di seluruh $D^n$, dan untuk $x \in S^{n-1}$ ($\|x\|_2^2 = 1$), $s^*(x) = 0$ sehingga $r(x) = x$. Jadi $r$ adalah retraksi kontinu!

Langkah 2: Kontradiksi melalui Funktor Homologi $\tilde{H}_{n-1}$ dan Teorema Stokes

1. Bukti melalui Homologi Tereduksi $\tilde{H}_{n-1}$: Terapkan funktor homologi singular tereduksi $\tilde{H}_{n-1}(-; \mathbb{Z})$ pada $S^{n-1} \xrightarrow{\iota} D^n \xrightarrow{r} S^{n-1}$ ($r \circ \iota = \text{id}_{S^{n-1}}$). Karena bola padat $D^n$ dapat dikontraksi ($\tilde{H}_{n-1}(D^n) \cong 0$) sedangkan $\tilde{H}_{n-1}(S^{n-1}) \cong \mathbb{Z}$, kita peroleh: $$ \mathbb{Z} \xrightarrow{\;\iota_*\;} 0 \xrightarrow{\;r_*\;} \mathbb{Z} $$ Setiap homomorfisma yang melewati grup trivial $0$ adalah pemetaan nol ($1 \mapsto 0$), tetapi $(r \circ \iota)_* = \text{id}_{\mathbb{Z}}$ memetakan $1 \mapsto 1$, menghasilkan kontradiksi mutlak $1 = 0$ di $\mathbb{Z}$!
2. Bukti Analitik melalui Teorema Stokes: Untuk retraksi mulus $r: D^n \to S^{n-1}$ dan $(n-1)$-form volume $\omega$ pada $S^{n-1}$ ($\int_{S^{n-1}} \omega = \text{Vol}(S^{n-1}) > 0$ dan $d\omega = 0$), Teorema Stokes memberikan: $$ 0 < \int_{S^{n-1}} \omega = \int_{\partial D^n} r^*\omega = \int_{D^n} d(r^*\omega) = \int_{D^n} r^*(d\omega) = 0 $$

  flowchart TD
    A["Asumsi Kontradiksi:<br/>Ada pemetaan kontinu f : D^n → D^n<br/>tanpa titik tetap (∀x ∈ D^n, f(x) ≠ x)"] --> B["Proyeksi Sinar r : D^n → S^{n-1}:<br/>Sinar dari f(x) melalui x memotong S^{n-1} di<br/>r(x) = x + s*(x)(x - f(x))"]
    B --> C["Adanya Retraksi Kontinu:<br/>r : D^n → S^{n-1} kontinu pada D^n<br/>dan identik di batas (r ∘ ι = id_{S^{n-1}})"]
    C --> D1["Topologi Aljabar:<br/>Funktor Homologi Tereduksi H̃_{n-1}(-; Z)<br/>menginduksi Z → 0 → Z sama dengan id_Z"]
    C --> D2["Topologi Diferensial (Teorema Stokes):<br/>Pullback form volume ω (dω = 0)<br/>∫_{S^{n-1}} ω = ∫_{D^n} d(r*ω) = ∫_{D^n} r*(dω) = 0"]
    D1 --> E["Kontradiksi Mutlak:<br/>1 = 0 di Z (atau Vol(S^{n-1}) = 0)"]
    D2 --> E
    E --> F["Kesimpulan (Teorema Brouwer):<br/>Asumsi salah; setiap f : D^n → D^n kontinu<br/>memiliki setidaknya satu titik tetap f(x*) = x*"]

4. Bukti Ketiga: Kombinatorika Konstruktif melalui Lema Sperner (1928)

Sebagai pendiri intuisionisme matematika, Brouwer menolak buktinya sendiri yang non-konstruktif karena tidak memberikan algoritma untuk menghitung koordinat $x^*$.

Pada tahun 1928, Emanuel Sperner membuktikan Lema Sperner: untuk setiap triangulasi simpleks $\Delta^n = \text{conv}\{v_0, \dots, v_n\}$ dengan pewarnaan Sperner $\ell: V(\mathcal{T}) \to \{0, 1, \dots, n\}$ ($\ell(v_i) = i$ dan setiap sisi batas $\text{conv}\{v_{i_0}, \dots, v_{i_k}\}$ hanya memakai warna dari $\{i_0, \dots, i_k\}$), jumlah sub-simpleks «pelangi» (yang memuat semua $n+1$ warna berbeda) selalu ganjil, sehingga setidaknya ada satu!

Dengan mewarnai setiap titik sudut $w$ dengan indeks $i$ yang memenuhi $\lambda_i(w) > 0$ dan $\lambda_i(f(w)) \le \lambda_i(w)$ dalam koordinat barisentrik, ketika ukuran jaring menuju $0$, kekompakan (Bolzano-Weierstrass) dan kekontinuan menjamin barisan simpleks pelangi konvergen ke titik $x^*$ dengan $\lambda_i(f(x^*)) \le \lambda_i(x^*)$ untuk semua $i$, yang berarti $f(x^*) = x^*$. Pada tahun 1967, Herbert Scarf mengubah penelusuran jalur ini menjadi Algoritma Simplisial Scarf.

5. Hierarki Agung Teorema Titik Tetap: Banach, Brouwer, Schauder, dan Kakutani

1. Teorema Pemetaan Kontraksi Banach (1922): Pada ruang metrik lengkap tak-kosong $(X, d)$, kontraksi tegas $d(Tx, Ty) \le L d(x, y)$ ($0 \le L < 1$) memiliki titik tetap tunggal (unik) $x^*$, dan iterasi Picard $x_{k+1} = T(x_k)$ konvergen secara geometris (fondasi Teorema Picard-Lindelöf untuk PDB, Iterasi Nilai Bellman dalam Reinforcement Learning, dan Google PageRank).
2. Jebakan Dimensi Tak-Hingga & Teorema Schauder (1930): Pada bola satuan tertutup $B_{\ell^2}$ di ruang Hilbert $\ell^2$, pemetaan kontinu $f(x_1, x_2, \dots) = (\sqrt{1 - \|x\|_2^2}, x_1, x_2, \dots)$ tidak memiliki titik tetap karena $B_{\ell^2}$ tidak kompak! Schauder (1930) memulihkan teorema di ruang Banach untuk operator kompak $T: K \to K$ (kunci bagi PDP nonlinier seperti Navier-Stokes).
3. Teorema Titik Tetap Shizuo Kakutani (1941): Menggeneralisasi Brouwer ke korespondensi bernilai-himpunan $\Phi: K \rightrightarrows K$ pada himpunan kompak konveks $K \subset \mathbb{R}^n$. Jika $\Phi(x)$ tak-kosong dan konveks untuk setiap $x$ dan $\Phi$ memiliki grafik tertutup (semikontinuitas atas), maka terdapat $x^* \in K$ sehingga $x^* \in \Phi(x^*)$.

6. Bagaimana Topologi Merevolusi Ekonomi dan Teori Permainan: Nash (1950) dan Arrow-Debreu (1954)

6.1 John Nash (1950, 1951): Eksistensi Ekuilibrium Nash

Dalam permainan berhingga $N$ pemain, ruang profil strategi campuran $K = \Delta_1 \times \dots \times \Delta_N$ bersifat kompak dan konveks.

• Bukti via Kakutani (1950): Korespondensi Respons Terbaik (Best-Response Correspondence) $BR_i(\sigma_{-i}) = \arg\max_{\tau_i \in \Delta_i} U_i(\tau_i, \sigma_{-i})$ memiliki nilai tak-kosong dan konveks (karena linearitas ekspektasi imbalan $U_i$ terhadap $\tau_i$) serta grafik tertutup. Berdasarkan Teorema Kakutani, terdapat $\sigma^* \in BR(\sigma^*)$, yang merupakan Ekuilibrium Nash!
• Bukti Langsung via Brouwer (1951): Dengan mendefinisikan keuntungan berlebih $\varphi_{ij}(\sigma) = \max\{0, U_i(s_{ij}, \sigma_{-i}) - U_i(\sigma_i, \sigma_{-i})\}$, pemetaan kontinu $$ f_{ij}(\sigma) = \frac{\sigma_{ij} + \varphi_{ij}(\sigma)}{1 + \sum_{k=1}^{m_i} \varphi_{ik}(\sigma)} $$ memiliki titik tetap $f(\sigma^*) = \sigma^*$ menurut Brouwer, yang memaksa $\varphi_{ij}(\sigma^*) = 0$ untuk semua $i, j$.

6.2 Arrow dan Debreu (1954): Ekuilibrium Umum Kompetitif Walras

Pada simpleks harga $\Delta^{L-1} = \{p \in \mathbb{R}_+^L : \sum_{\ell=1}^L p_\ell = 1\}$, fungsi kelebihan permintaan agregat $z(p)$ memenuhi Hukum Walras $\sum_{\ell=1}^L p_\ell z_\ell(p) = 0$. Pemetaan penyesuaian harga $g_\ell(p) = \frac{p_\ell + \max\{0, z_\ell(p)\}}{1 + \sum_{k=1}^L \max\{0, z_k(p)\}}$ memiliki titik tetap $g(p^*) = p^*$ menurut Brouwer. Mengalikan dengan $z_\ell(p^*)$ dan menjumlahkan terhadap $\ell$ bersama Hukum Walras menghasilkan:

Seluruh pasar mencapai keseimbangan secara bersamaan!

  flowchart TD
    T1["Analisis 1D: Teorema Nilai Antara Bolzano (1817)<br/>Pembuat nol g(x) = f(x) - x pada interval [a, b]"] --> T2["Topologi n-D: Teorema Titik Tetap Brouwer (1911)<br/>Setiap f : K → K kontinu pada kompak konveks K ⊂ R^n memiliki f(x*) = x*"]
    S1["Topologi Kombinatorial: Lema Sperner (1928) & Scarf (1967)<br/>Paritas ganjil simpleks pelangi & penelusuran jalur"] --> T2
    B1["Topologi Aljabar: Non-Retraksi Borsuk (1931)<br/>Homologi H̃_{n-1}(S^{n-1}) ≅ Z ≠ 0 & Teorema Stokes"] --> T2
    T2 --> K1["Perluasan Bernilai-Himpunan: Teorema Kakutani (1941)<br/>Korespondensi Φ : K ⇒ K dengan grafik tertutup & nilai konveks: x* ∈ Φ(x*)"]
    T2 --> SC1["Perluasan PDP Dimensi Tak-Hingga: Teorema Schauder (1930)<br/>Operator kompak di ruang Banach & Navier-Stokes"]
    T2 --> BA1["Kontraksi Metrik: Teorema Banach (1922)<br/>Titik tetap unik & iterasi Picard (PDB, Bellman RL, PageRank)"]
    K1 --> N1["Revolusi Teori Permainan: Ekuilibrium Nash (1950/1951)<br/>Titik tetap respons terbaik σ* ∈ BR(σ*)"]
    K1 --> AD1["Ekonomi Matematika: Ekuilibrium Umum Arrow-Debreu (1954)<br/>Titik tetap penyesuaian harga Walras g(p*) = p* menyeimbangkan semua pasar"]
    T2 --> N1
    T2 --> AD1