Apa itu manifold?

• Manifold adalah konsep matematika tentang ruang yang secara lokal tampak seperti bidang datar, tetapi secara keseluruhan memiliki struktur yang lebih kompleks
• Konsep yang diajukan oleh Bernhard Riemann pada abad ke-19 ini memperluas ruang dari sekadar latar fisik menjadi objek kajian yang mandiri
• Dengan memanfaatkan sifat yang tampak seperti ruang Euclidean di setiap titik, para matematikawan menghitung luas, volume, dan gerak menggunakan alat kalkulus tradisional
• Melalui chart dan atlas, ruang yang kompleks dibagi menjadi beberapa bagian untuk dianalisis, lalu hasilnya digabungkan guna memahami struktur keseluruhannya
• Kini manifold telah menjadi bahasa dasar matematika yang memainkan peran penting dalam relativitas umum, topologi, analisis data, dan fisika

---

Pembentukan gagasan

• Sejak zaman kuno, geometri adalah bidang yang mempelajari garis lurus dan bidang dalam ruang Euclidean
  • Di ruang ini, jarak terpendek antara dua titik adalah garis lurus, dan jumlah sudut dalam segitiga adalah 180 derajat
• Pada awal abad ke-19, para matematikawan mulai meneliti ruang melengkung dan menemukan gejala seperti garis sejajar yang bertemu atau jumlah sudut dalam segitiga yang berubah
• Riemann memperluas penelitian Gauss tentang permukaan lengkung dan mengajukan teori umum yang memungkinkan geometri didefinisikan pada ruang dengan dimensi sebarang
  • Ia mempresentasikan konsep ini dalam kuliah di Universitas Göttingen pada 1854, yang kemudian menjadi dasar bagi topologi modern dan teori relativitas
• Pada masanya konsep ini diabaikan karena terlalu abstrak, tetapi melalui penelitian Poincaré dan Einstein, pada pertengahan abad ke-20 manifold menjadi konsep standar dalam matematika

Definisi dan struktur manifold

• “Manifold” berasal dari istilah Jerman yang dipakai Riemann, Mannigfaltigkeit
• Manifold adalah ruang yang secara lokal tampak seperti ruang Euclidean; sebagai contoh, lingkaran adalah manifold berdimensi satu
  • Seekor semut di atas lingkaran tidak akan menyadari bahwa ia berada di atas kurva
  • Sebaliknya, kurva berbentuk angka 8 bukan manifold karena pada titik perpotongannya ia tidak tampak seperti garis lurus
• Permukaan bumi adalah manifold dua dimensi, tetapi puncak kerucut ganda (double cone) bukan
• Inti dari manifold adalah berfokus pada sifat intrinsik
  • Alih-alih sifat yang berubah bergantung pada dimensi ruang atau bentuk luarnya, analisis dilakukan dengan memakai pendekatan Euclidean di setiap titik
• Untuk itu, para matematikawan membagi ruang menjadi beberapa patch dan menyatakan tiap patch dengan sistem koordinat (chart)
  • Aturan transformasi koordinat pada area yang saling tumpang tindih kemudian didefinisikan, dan keseluruhan himpunan ini disebut atlas
• Melalui atlas, ruang yang kompleks dapat dipecah menjadi potongan-potongan Euclidean kecil untuk dihitung, lalu hasilnya digabungkan guna memahami struktur keseluruhannya
• Pendekatan ini kini digunakan secara standar di seluruh matematika dan fisika

Pemanfaatan manifold

• Dalam relativitas umum, ruang-waktu adalah manifold empat dimensi, dan gravitasi dinyatakan sebagai kelengkungannya
• Ruang tiga dimensi yang kita rasakan juga merupakan manifold; secara lokal ia tampak datar, tetapi bentuk keseluruhannya masih belum sepenuhnya dipahami
• Para fisikawan mengubah persoalan ke dalam bahasa manifold untuk memanfaatkan sifat geometris
  • Contoh: jika semua keadaan yang mungkin dari pendulum ganda (double pendulum) dinyatakan dengan dua sudut, maka ruang keadaannya menjadi manifold berbentuk donat (torus)
  • Gerak pendulum dinyatakan sebagai lintasan di atas torus ini, sehingga gerak yang kompleks bisa dianalisis secara geometris
• Dengan cara serupa, himpunan solusi persamaan aljabar yang kompleks atau data berdimensi tinggi (misalnya aktivitas neuron otak) juga dapat ditafsirkan sebagai manifold untuk memahami strukturnya
• Manifold adalah bahasa dasar bagi matematika dan sains secara luas, dipandang sebagai alat yang “sama universalnya dengan menggunakan angka”

[GN⁺]

Komentar Hacker News

• Saya pertama kali belajar manifold dari Introduction to Smooth Manifolds karya John M. Lee
  Bukunya padat, tetapi strukturnya disusun dengan indah, sehingga menghubungkan topologi dasar ke pemetaan mulus dan ruang singgung secara logis
  Butuh konsentrasi, tetapi setiap definisi berkontribusi untuk mengungkap hakikat geometri. Sangat direkomendasikan
  • Menurut saya ini benar-benar buku terbaik. Namun, jika ingin pendekatan yang lebih lembut, saya merekomendasikan buku Loring Tu
    Topological Manifolds karya Lee juga bagus, dan untuk edisi terbaru Riemannian Manifolds sebaiknya baca bagian yang memang dibutuhkan saja
  • Sejujurnya, saya kurang paham mengapa buku John M. Lee dinilai setinggi itu
    Bukan buruk, tetapi saya merasa kurang dalam hal ketelitian. Sebagai gantinya, Manifolds and Differential Geometry karya Jeffrey M. Lee jauh lebih baik
• Tulisan yang membahas sejarah dan pentingnya manifold ini sangat informatif
  Bukan sekadar definisi sederhana, tetapi juga menjelaskan dengan menarik bagaimana konsep matematika berkembang
  • Situsnya memang punya feed RSS, tetapi sulit ditemukan karena tag header-nya disetel salah
    Feed yang sebenarnya adalah https://www.quantamagazine.org/feed/
  • Secara pribadi, saya tidak merasa artikelnya sehebat itu
    Misalnya, artikel itu menjelaskan ruang semua keadaan yang mungkin dari pendulum ganda (double pendulum) sebagai manifold, tetapi tidak jelas mengapa harus dilihat sebagai manifold
    Penjelasan tentang konsep atlas juga kurang. Bahkan bola sederhana pun tidak bisa ditutupi oleh satu bidang saja, jadi kita harus memakai beberapa sistem koordinat, dan menangani bagian yang saling tumpang tindih itulah intinya
    Sebagai catatan, ruang-waktu dalam relativitas bukanlah Riemannian, melainkan ruang Minkowski
  • Saya heran banyak orang tidak mengenal Quanta Magazine
    Menurut saya, ini salah satu media jurnalisme sains dengan kualitas tertinggi saat ini.
    Serius tanpa clickbait, dan perpaduan diagram teknis serta ilustrasi artistik-nya sangat bagus
    Podcast-nya juga lumayan, tetapi akan lebih baik jika ada versi yang membacakan semua artikelnya
    Selain itu, sama sekali tidak ada paywall, popup cookie, atau provokasi politik
  • Saya bukan matematikawan, dan sebelumnya saya hanya akrab dengan manifold sebagai komponen mesin
    Berkat tulisan dan gambarnya, saya jadi jauh lebih paham konsep ini
• Ketika orang mengatakan dalam ruang representasi jaringan saraf bahwa “data berada di atas manifold berdimensi rendah”, saya penasaran apakah itu bermakna sama dengan manifold dalam definisi matematika
  Atau apakah itu hanya ungkapan kiasan untuk subruang intrinsik
  • Ini disebut hipotesis manifold (manifold hypothesis)
    Menganggap bahwa sebagian besar data memang berada di atas manifold adalah asumsi yang masuk akal
    Misalnya, meskipun angka tulisan tangan ‘6’ diubah secara halus, kita tetap mengenalinya sebagai ‘6’
    Namun, jika memakai fungsi aktivasi ReLU, kemulusan akan rusak sehingga ruang representasi jaringan saraf bukan manifold sejati
    Sebaliknya, jika memakai fungsi aktivasi mulus seperti Swish, strukturnya bisa dipertahankan
  • Ada bidang yang disebut Information Geometry
    Ada penelitian menarik yang menerapkan analisis geometris pada proses pelatihan jaringan saraf
    Katanya mereka menemukan fenomena yang mirip dengan transisi fase (phase transition) selama pelatihan
    Information Geometry of Evolution of Neural Network Parameters While Training
  • Dalam praktiknya, ini bisa dipandang sebagai manifold + noise
    Misalnya, data seperti y=sin(x)+noise bisa dilihat sebagai manifold 1 dimensi
    Namun, karena kutukan dimensi, saya ragu definisi seperti ini berguna secara algoritmik
• Saat membaca buku teori string, saya pertama kali melihat manifold Calabi–Yau
  Tautan Wikipedia
  Sejujurnya saya tidak memahami semuanya, tetapi gambarnya benar-benar indah
  Pencarian gambar Google
  • Dulu saya pernah mempelajari manifold Calabi–Yau, dan sampai sekarang masih ingat betapa sulitnya
    Ini adalah ruang khusus yang mulus dan simetris, yang secara lokal datar tetapi secara keseluruhan melengkung dengan kompleks
    Kelengkungannya seimbang sempurna sehingga secara keseluruhan tidak mengembang maupun menyusut
    Dalam teori string, manifold ini dipakai untuk menjelaskan dimensi tersembunyi, dan bentuknya memengaruhi sifat partikel dan gaya
• Saya teringat bagaimana para fisikawan mendefinisikan tensor sebagai “objek yang berubah dengan cara tertentu saat sistem koordinat berubah”
  Sekilas ini tampak seperti logika melingkar, tetapi sebenarnya sifat transformasi itulah yang membedakan tensor dari sekadar susunan angka lain
  Jika dilihat secara abstrak, ini justru memudahkan karena tidak perlu terpaku pada visualisasi
  • Terkadang sulit dibaca karena fisikawan cenderung berfokus pada transformasi koordinat
    Namun, esensinya adalah struktur geometris yang tidak bergantung pada sistem koordinat
    Misalnya, ruang Minkowski dalam relativitas khusus bisa didefinisikan tanpa koordinat
    Tensor akan jauh lebih jelas jika dipahami sebagai pemetaan multilinear yang menerima vektor dan kovektor lalu menghasilkan bilangan real
  • Definisi ala fisikawan justru terasa membingungkan
    Kita hanya mempelajari aturan transformasinya, tanpa penjelasan yang cukup tentang mengapa demikian
    Sementara itu, definisi matematis memberikan pemahaman yang jauh lebih mendasar melalui bentuk diferensial dan kovektor
  • Kalimat “tensor orde kedua adalah objek yang berubah seperti tensor orde kedua” jelas merupakan definisi melingkar
    Karena definisinya memasukkan dirinya sendiri
• Manifold bisa dipahami sebagai “ruang tempat Anda bisa meletakkan cakram berbentuk CD di atas titik mana pun pada permukaan”
  Jari-jarinya hanya perlu lebih besar dari 0
  • Awalnya terasa aneh karena kekakuan CD, tetapi untuk manifold 2 dimensi itu analogi yang tepat
  • “Meletakkan benda berbentuk CD” pada dasarnya berarti sebuah himpunan terbuka (open set)
• Saya teringat frasa Lobachevsky: “topologi analitik dan aljabar dari metrik Euclidean lokal pada manifold Riemann yang dapat didiferensialkan tak hingga kali”
  • Saya jadi teringat lelucon “Plagiarize!”
• Menarik bahwa konsep manifold hampir tidak diterapkan pada proyeksi peta (cartographic projection)
  Padahal itu tampak seperti salah satu contoh manifold, jadi saya penasaran mengapa demikian
  • Jika hanya membahas masalah membentangkan bola ke bidang datar, teori manifold adalah alat yang terlalu berat
    Kartografer terutama menangani distorsi, jadi metodologi yang sesuai sebenarnya sudah ada
    Selain itu, manifold didefinisikan dengan koordinat lokal (local charts), bukan sistem koordinat global (global coordinates), sehingga koordinat dari wilayah yang berbeda tidak harus cocok
    Secara historis juga, kartografi sudah ada jauh sebelum konsep manifold muncul
• Menarik bahwa dalam istilah matematika berbahasa Inggris, “sesuatu yang secara lokal tampak seperti Rⁿ” dibedakan sebagai manifold, sedangkan “himpunan nol dari polinomial” disebut variety
  Dalam bahasa lain, keduanya kadang memakai kata yang sama. Misalnya, dalam bahasa Italia keduanya adalah varietà
  • “manifold” berasal dari Mannigfaltigkeit milik Riemann, yang dalam bahasa Jerman berarti “variety” atau “multiplicity”
  • Dalam bahasa Inggris, tidak semua variety adalah manifold
    Untuk penjelasan terkait, lihat jawaban math.stackexchange
• Menarik bahwa manifold pada mobil dan manifold dalam matematika memakai kata yang sama, tetapi etimologinya berbeda
  • Setelah saya cari, ternyata keduanya sama-sama berasal dari bahasa Inggris Kuno/Jermanik “many + fold”
  • Tumpang tindih nama seperti ini membingungkan saat mempelajari konsep baru
    Makna yang sudah dikenal sebelumnya tertinggal di pikiran dan mengganggu pemahaman konsep baru
    Akan sangat membantu jika etimologi istilahnya juga dijelaskan
  • Manifold otomotif berarti struktur di mana ruang yang dikelilingi dinding tipis terhubung ke beberapa port
    Sering kali ada dua ruang yang saling terkait, seperti pada saluran masuk dan buang