 Sebuah permukaan dua dimensi yang kompak dan tanpa batas adalah homeomorfik dengan bola dua dimensi bila setiap lintasannya dapat disusutkan secara kontinu hingga menjadi sebuah titik. Konjektur Poincaré menyatakan bahwa hal yang sama berlaku bagi ruang berdimensi tiga. | |
| Cabang | Topologi geometris |
|---|---|
| Pertama kali diduga oleh | Henri Poincaré |
| Pertama kali diduga pada | 1904 |
| Pertama kali dibuktikan oleh | Grigori Perelman |
| Pertama kali dibuktikan pada | 2002 |
| Bagian dari | |
| Perumuman | Konjektur Poincaré Tergeneralisasi |
| Masalah Milenium |
|---|
Dalam ranah matematika khususnya topologi geometris, Konjektur Poincaré (UK /ˈpwæ̃kæreɪ/,[2] US /ˌpwæ̃kɑːˈreɪ/,[3][4] Prancis: [pwɛ̃kaʁe]) adalah sebuah teorema mengenai karakterisasi dari bola-3, yakni hipersfera yang menjadi batas dari bola satuan di dalam ruang empat dimensi.
Awalnya dikemukakan sebagai sebuah konjektur oleh Henri Poincaré pada tahun 1904, teorema ini membahas ruang-ruang yang secara lokal tampak seperti ruang tiga dimensi biasa, tetapi terbatas dan tidak tak-hingga. Poincaré mengajukan dugaan bahwa bila sebuah ruang seperti itu memiliki sifat tambahan, yakni setiap lingkaran di dalamnya dapat disusutkan secara kontinu hingga menjadi sebuah titik, maka ruang tersebut niscaya adalah sebuah bola tiga dimensi. Upaya untuk membuktikan konjektur ini menjadi motor penggerak penting bagi kemajuan topologi geometris sepanjang abad ke-20.
Bukti akhirnya bertumpu pada program Richard S. Hamilton yang menggunakan aliran Ricci untuk menyelesaikan persoalan ini. Dengan mengembangkan berbagai teknik dan hasil baru dalam teori aliran Ricci, Grigori Perelman berhasil menyempurnakan dan menyelesaikan program Hamilton. Dalam serangkaian makalah yang ia unggah ke repositori arXiv pada tahun 2002 dan 2003, Perelman memaparkan karyanya yang membuktikan Konjektur Poincaré (serta konjektur geometrisasi yang lebih luas dari William Thurston). Selama beberapa tahun berikutnya, sejumlah matematikawan menelaah karya tersebut dan menyusunnya kembali dalam uraian yang lebih sistematis.
Karya Hamilton dan Perelman mengenai konjektur ini diakui luas sebagai tonggak bersejarah dalam penelitian matematika. Hamilton dianugerahi Shaw Prize pada tahun 2011 dan Leroy P. Steele Prize for Seminal Contribution to Research pada tahun 2009. Jurnal Science menobatkan bukti Perelman atas Konjektur Poincaré sebagai Terobosan Ilmiah Tahun Ini pada 2006.[5] Clay Mathematics Institute, yang sebelumnya telah memasukkan Konjektur Poincaré dalam daftar bergengsi Masalah Hadiah Milenium, menawarkan hadiah sebesar US$1 juta pada tahun 2010 atas keberhasilan penyelesaiannya.[6] Namun, ia menolak penghargaan tersebut, dengan alasan bahwa kontribusi Hamilton sama besarnya dengan miliknya.[7][8]
Ikhtisar
sunting
Konjektur Poincaré merupakan sebuah persoalan besar dalam bidang topologi geometris. Dengan bahasa khas bidang tersebut, isi konjektur ini dapat dirumuskan demikian:
Konjektur Poincaré.
Setiap lipatan topologis berdimensi tiga yang tertutup, terhubung, dan mempunyai grup fundamental trivial adalah homeomorfik dengan bola berdimensi tiga.
Bentuk-bentuk yang familiar, seperti permukaan sebuah bola (yang dalam matematika disebut sebagai sfera berdimensi dua) atau sebuah torus, sesungguhnya adalah dua dimensi. Permukaan bola memiliki grup fundamental trivial, artinya setiap lintasan pada permukaan dapat disusutkan secara kontinu hingga menjadi satu titik. Sebaliknya, permukaan torus memiliki grup fundamental nontrivial, sebab ada lintasan-lintasan yang tidak dapat disusutkan demikian. Keduanya sama-sama lipatan topologis yang tertutup (tidak memiliki batas dan terbatas ruangnya) serta terhubung (tersusun dari satu kesatuan utuh). Dua lipatan tertutup disebut homeomorfik bila titik-titik dari yang satu dapat dipetakan ke titik-titik dari yang lain secara kontinu. Karena trivialitas grup fundamental diketahui tetap terjaga di bawah homeomorfisme, maka sfera dua dimensi dan torus jelas tidaklah homeomorfik.
Analogi dua dimensi dari Konjektur Poincaré menyatakan bahwa setiap lipatan topologis dua dimensi yang tertutup dan terhubung, tetapi tidak homeomorfik dengan sfera dua dimensi, pasti memiliki sebuah lintasan yang tidak bisa disusutkan menjadi titik. (Hal ini tergambar dari contoh torus di atas.) Analogi tersebut diketahui benar, melalui klasifikasi lipatan topologis dua dimensi yang tertutup dan terhubung, suatu hasil yang telah dipahami dalam berbagai bentuk sejak dekade 1860-an. Namun, pada dimensi lebih tinggi, lipatan topologis tertutup dan terhubung tidak memiliki klasifikasi yang mudah, sehingga penyelesaian Konjektur Poincaré pun tidak dapat ditempuh dengan cara sederhana.
Sejarah
suntingPertanyaan Poincaré
suntingPada abad ke-19, Bernhard Riemann dan Enrico Betti memulai kajian tentang invarian topologi dari lipatan.[9][10] Mereka memperkenalkan bilangan Betti, yang mengaitkan pada setiap lipatan sebuah daftar bilangan bulat tak-negatif. Riemann menunjukkan bahwa sebuah lipatan dua dimensi yang tertutup dan terhubung dapat sepenuhnya ditentukan melalui bilangan Betti-nya. Sebagai bagian dari makalahnya pada tahun 1895 Analysis Situs (yang pertama kali diumumkan pada 1892), Poincaré menunjukkan bahwa hasil Riemann tidak dapat diperluas begitu saja ke dimensi yang lebih tinggi.[11][12][13] Untuk itu, ia memperkenalkan grup fundamental sebagai invarian topologis baru, dan menunjukkan contoh lipatan tiga dimensi yang memiliki bilangan Betti sama tetapi grup fundamental berbeda. Di sinilah ia mengajukan pertanyaan: apakah grup fundamental cukup untuk mengkarakterisasi sebuah lipatan (pada dimensi tertentu)? Namun, ia tidak mencoba menjawab pertanyaan itu, hanya menegaskan bahwa jawabannya akan “menuntut kajian panjang dan sukar”.[12][13][14]
Tujuan utama makalah Poincaré adalah menafsirkan bilangan Betti melalui grup homologi yang baru diperkenalkannya, bersama dengan teorema dualitas Poincaré tentang simetri bilangan Betti. Setelah menerima kritik atas kelemahan argumennya, ia menerbitkan sejumlah “tambahan” (supplements) untuk memperbaiki dan memperdalam pekerjaannya. Pada penutup tambahan keduanya, yang terbit tahun 1900, ia menulis:[13][15]
Agar tulisan ini tidak berlarut-larut, saya batasi diri hanya menyatakan teorema berikut, yang pembuktiannya akan menuntut pengembangan lebih lanjut:
Setiap polihedron yang seluruh bilangan Bettinya sama dengan 1 dan semua tabelnya Tq dapat diorientasikan adalah sederhana terhubung, yakni homeomorfik dengan sebuah hipersfera.
(Dengan bahasa modern, mengingat Poincaré menggunakan istilah sederhana terhubung dengan makna yang berbeda dari sekarang,[16] maksudnya adalah: sebuah lipatan terhubung dan tertutup yang terorientasi, dengan homologi sama seperti sfera, haruslah homeomorfik dengan sfera.[14]) Rumusan ini mengubah generalisasi negatifnya atas karya Riemann dengan dua cara. Pertama, kini ia menggunakan grup homologi penuh, bukan sekadar bilangan Betti. Kedua, ia mempersempit ruang masalah dari pertanyaan apakah lipatan sebarang dapat ditentukan oleh invarian topologis, menjadi apakah sfera dapat dikarakterisasi demikian.
Namun, setelah dipublikasikan ia menyadari bahwa teorema yang ia umumkan itu keliru. Dalam tambahan kelimanya, yang terbit pada 1904, ia membuktikan kekeliruan tersebut lewat contoh tandingan berupa sfera homologi Poincaré, yakni lipatan tiga dimensi tertutup dan terhubung yang memiliki homologi sama seperti sfera, tetapi grup fundamentalnya terdiri atas 120 elemen. Contoh ini memperlihatkan dengan jelas bahwa homologi saja tidak cukup kuat untuk mengkarakterisasi topologi sebuah lipatan. Dalam penutup tambahan kelima itu, Poincaré merevisi teorema keliru tersebut dengan mengganti homologi menggunakan grup fundamental:[13][17]
Satu pertanyaan tersisa: mungkinkah grup fundamental dari V mereduksi menjadi identitas tanpa V itu sendiri sederhana terhubung? [...] Namun, pertanyaan ini akan membawa kita terlalu jauh.
Dalam pernyataan itu, sebagaimana juga pada penutup tambahan keduanya, Poincaré menggunakan istilah “sederhana terhubung” dengan cara yang tidak sejalan dengan pemakaian modern, bahkan berbeda dengan definisinya sendiri pada 1895.[12][16] (Menurut penggunaan modern, pertanyaan Poincaré adalah tautologi, seolah bertanya apakah mungkin sebuah lipatan sederhana terhubung tanpa benar-benar sederhana terhubung.) Namun, dari konteks dapat dipahami,[18] bahwa Poincaré sejatinya menanyakan: apakah trivialitas grup fundamental cukup untuk mengkarakterisasi sfera?[14]
Sepanjang karya Riemann, Betti, dan Poincaré, gagasan topologis yang mereka gunakan belumlah didefinisikan atau dipakai dengan ketepatan seperti dalam pandangan modern. Bahkan istilah kunci “lipatan” sendiri tidak konsisten digunakan Poincaré, dan kerap terjadi kekaburan antara lipatan topologis, lipatan PL, dan lipatan mulus.[16][19] Karena itu, pertanyaan Poincaré tidak bisa dibaca secara gamblang tanpa ambiguitas. Baru melalui formalisasi dan perbendaharaan istilah topologi yang dikembangkan matematikawan kemudianlah pertanyaan penutup Poincaré dipahami sebagai “Konjektur Poincaré” seperti yang telah dirumuskan dalam bagian sebelumnya.
Namun, meski lazim dikenal sebagai sebuah konjektur — yakni usulan bahwa semua lipatan dengan sifat tertentu adalah homeomorfik dengan sfera — Poincaré sendiri sejatinya hanya mengajukan pertanyaan terbuka, tanpa pernah berani menebak jawabannya. Lebih jauh, tidak ada bukti yang menunjukkan arah jawaban mana yang sebenarnya ia yakini.[14]
Referensi
sunting- ^ Matveev, Sergei (2007). "1.3.4 Zeeman's Collapsing Conjecture". Algorithmic Topology and Classification of 3-Manifolds. Algorithms and Computation in Mathematics. Vol. 9. Springer. hlm. 46–58. ISBN 978-3540458999.
- ^ "Poincaré, Jules-Henri". Lexico UK English Dictionary. Oxford University Press. Diarsipkan dari asli tanggal 2022-09-02.
- ^ "Poincaré". The American Heritage Dictionary of the English Language (Edisi 5th). Boston: Houghton Mifflin Harcourt. 2014.
- ^ "Poincaré". Merriam-Webster Dictionary. Diakses tanggal 9 August 2019.
- ^ Mackenzie, Dana (2006-12-22). "The Poincaré Conjecture – Proved". Science. 314 (5807): 1848–1849. doi:10.1126/science.314.5807.1848. PMID 17185565. S2CID 121869167.
- ^ "Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman" (Press release). Clay Mathematics Institute. March 18, 2010. Diarsipkan dari asli (PDF) tanggal March 22, 2010. Diakses tanggal November 13, 2015.
The Clay Mathematics Institute (CMI) announces today that Dr. Grigoriy Perelman of St. Petersburg, Russia, is the recipient of the Millennium Prize for resolution of the Poincaré conjecture.
- ^ "Последнее 'нет' доктора Перельмана" [Penolakan terakhir Dr. Perelman]. Interfax (dalam bahasa Rusia). July 1, 2010. Diakses tanggal 5 April 2016. Google Translated archived link at [1] (archived 2014-04-20)
- ^ Ritter, Malcolm (1 July 2010). "Matematikawan Rusia menolak hadiah satu juta dolar". The Boston Globe.
- ^ Riemann, Bernhard (1851). Grundlagen für eine allgemeine Theorie der Functionen (Thesis). University of Göttingen. English translation: Riemann, Bernhard (2004). "Foundations for a general theory of functions of a complex variable". Collected Papers: Bernhard Riemann. Diterjemahkan oleh Baker, Roger; Christenson, Charles; Orde, Henry. Heber City, UT: Kendrick Press. hlm. 1–41. ISBN 0-9740427-2-2. MR 2121437. Zbl 1101.01013.
- ^ Betti, Enrico (1870). "Sopra gli spazi di un numero qualunque di dimensioni". Annali di Matematica Pura ed Applicata. 4: 140–158. doi:10.1007/BF02420029. JFM 03.0301.01.
- ^ Poincaré, H. (1892). "Sur l'Analysis situs". Comptes Rendus des Séances de l'Académie des Sciences. JFM 24.0506.02.
- ^ a b c Poincaré, H. (1895). "Analysis situs". Journal de l'École Polytechnique. 2e Série. 1: 1–121. JFM 26.0541.07.
- ^ a b c d Poincaré, Henri (2010). Papers on Topology: Analysis Situs and Its Five Supplements. History of Mathematics. Vol. 37. Diterjemahkan oleh Stillwell, John. American Mathematical Society and London Mathematical Society. doi:10.1090/hmath/037. ISBN 978-0-8218-5234-7. MR 2723194. Zbl 1204.55002.
- ^ a b c d Gray, Jeremy (2013). Henri Poincaré: A Scientific Biography. Princeton, NJ: Princeton University Press. ISBN 978-0-691-15271-4. JSTOR j.ctt1r2fwt. MR 2986502. Zbl 1263.01002.
- ^ Poincaré, H. (1900). "Second complément à l'analysis situs". Proceedings of the London Mathematical Society. 32 (1): 277–308. doi:10.1112/plms/s1-32.1.277. JFM 31.0477.10. MR 1576227.
- ^ a b c cf. komentar Stillwell dalam (Poincaré 2010)
- ^ Poincaré, H. (1904). "Cinquième complément à l'analysis situs". Rendiconti del Circolo Matematico di Palermo. 18: 45–110. doi:10.1007/bf03014091. JFM 35.0504.13.
- ^ Paragraf awal dalam (Poincaré 1904) menyebut “sederhana terhubung dalam arti sejati kata itu” sebagai kondisi homeomorfik dengan sfera.
- ^ Dieudonné, Jean (1989). A History of Algebraic and Differential Topology, 1900–1960. Boston, MA: Birkhäuser Boston, Inc. doi:10.1007/978-0-8176-4907-4. ISBN 0-8176-3388-X. MR 0995842. Zbl 0673.55002.
Pranala luar
sunting- "The Poincaré Conjecture" – BBC Radio 4 programme In Our Time, 2 November 2006. Contributors June Barrow-Green, Lecturer in the History of Mathematics at the Open University, Ian Stewart, Professor of Mathematics at the University of Warwick, Marcus du Sautoy, Professor of Mathematics at the University of Oxford, and presenter Melvyn Bragg.
