Lihat sumber Konjektur Poincaré

Dalam ranah [[matematika]] khususnya [[topologi geometris]], '''Konjektur Poincaré''' (,<ref>[http://www.lexico.com/definition/Poincar%C3%A9,+Jules-Henri Poincaré, Jules-Henri]. Oxford University Press.</ref> ,<ref>[https://id.wikipedia.org/w/index.php?title=Konjektur+Poincar%C3%A9&oldid=28769215 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Konjektur+Poincar%C3%A9&oldid=28769215 sumber pada Wikipedia bahasa Indonesia]</ref> ) adalah sebuah [[teorema]] mengenai [[karakterisasi (matematika)|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 Euklides|ruang tiga dimensi]] biasa, tetapi terbatas dan tidak tak-hingga. Poincaré mengajukan dugaan bahwa bila sebuah ruang seperti itu memiliki sifat tambahan, yakni setiap [[lintasan (topologi)|lingkaran]] di dalamnya dapat disusutkan secara kontinu hingga menjadi sebuah titik, maka ruang tersebut niscaya adalah sebuah [[bola-3|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 (jurnal)|Science]]'' menobatkan bukti Perelman atas Konjektur Poincaré sebagai [[Terobosan Ilmiah Tahun Ini]] pada 2006.<ref>Dana Mackenzie. ''The Poincaré Conjecture – Proved''. ''Science''. 2006-12-22. Vol. 314 (5807). hlm. 1848–1849. doi:10.1126/science.314.5807.1848.</ref> [[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.<ref>[http://www.claymath.org/sites/default/files/millenniumprizefull.pdf Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman]. Clay Mathematics Institute. March 18, 2010.</ref> Namun, ia menolak penghargaan tersebut, dengan alasan bahwa kontribusi Hamilton sama besarnya dengan miliknya.<ref>[http://www.interfax.ru/society/txt.asp?id=143603 Последнее 'нет' доктора Перельмана]. ''Interfax''. July 1, 2010. Google Translated archived link at [https://translate.google.com/translate?sl=ru&tl=en&js=y&prev=_t&hl=en&ie=UTF-8&u=http%3A%2F%2Fweb.archive.org%2F20140420191351%2Fhttp%3A%2F%2Fwww.interfax.ru%2Frussia%2F143603&edit-text=] (archived 2014-04-20)</ref><ref>Malcolm Ritter. [http://www.boston.com/news/science/articles/2010/07/01/russian_mathematician_rejects_1_million_prize/?p1=Well_MostPop_Emailed1 Matematikawan Rusia menolak hadiah satu juta dolar]. ''The Boston Globe''. 1 July 2010.</ref>

== Ikhtisar ==
Konjektur Poincaré merupakan sebuah persoalan besar dalam bidang [[topologi geometris]]. Dengan bahasa khas bidang tersebut, isi konjektur ini dapat dirumuskan demikian:
<blockquote>'''Konjektur Poincaré'''.Setiap [[lipatan topologis]] berdimensi tiga yang [[lipatan tertutup|tertutup]], [[ruang terhubung|terhubung]], dan [[terhubung sederhana|mempunyai grup fundamental trivial]] adalah [[homeomorfik]] dengan [[bola-3|bola berdimensi tiga]].</blockquote>

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 ==
=== Pertanyaan Poincaré ===
Pada abad ke-19, [[Bernhard Riemann]] dan [[Enrico Betti]] memulai kajian tentang [[invarian topologi]] dari [[lipatan (matematika)|lipatan]].<ref>Bernhard Riemann. ''Grundlagen für eine allgemeine Theorie der Functionen''. University of Göttingen. 1851. English translation: ''Foundations for a general theory of functions of a complex variable''. Kendrick Press. 2004. hlm. 1–41. ISBN 0-9740427-2-2.</ref><ref>Enrico Betti. [https://rcin.org.pl/dlibra/publication/edition/35231/content Sopra gli spazi di un numero qualunque di dimensioni]. ''Annali di Matematica Pura ed Applicata''. 1870. Vol. 4. hlm. 140–158. doi:10.1007/BF02420029.</ref> 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 (paper)|Analysis Situs]]'' (yang pertama kali diumumkan pada 1892), Poincaré menunjukkan bahwa hasil Riemann tidak dapat diperluas begitu saja ke dimensi yang lebih tinggi.<ref>H. Poincaré. [https://gallica.bnf.fr/ark:/12148/bpt6k3071t/f633.item.zoom# Sur l'Analysis situs]. ''Comptes Rendus des Séances de l'Académie des Sciences''. 1892.</ref><ref>H. Poincaré. [http://gallica.bnf.fr/ark:/12148/bpt6k4337198/f7.image Analysis situs]. ''Journal de l'École Polytechnique''. 1895. Vol. 1. hlm. 1–121.</ref><ref>Henri Poincaré. ''Papers on Topology: ''Analysis Situs'' and Its Five Supplements''. American Mathematical Society and London Mathematical Society. 2010. Vol. 37. doi:10.1090/hmath/037. ISBN 978-0-8218-5234-7.</ref> 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”.<ref>H. Poincaré. [http://gallica.bnf.fr/ark:/12148/bpt6k4337198/f7.image Analysis situs]. ''Journal de l'École Polytechnique''. 1895. Vol. 1. hlm. 1–121.</ref><ref>Henri Poincaré. ''Papers on Topology: ''Analysis Situs'' and Its Five Supplements''. American Mathematical Society and London Mathematical Society. 2010. Vol. 37. doi:10.1090/hmath/037. ISBN 978-0-8218-5234-7.</ref><ref>Jeremy Gray. [https://archive.org/details/henripoincaresci0000gray Henri Poincaré: A Scientific Biography]. Princeton University Press. 2013. ISBN 978-0-691-15271-4.</ref>

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:<ref>Henri Poincaré. ''Papers on Topology: ''Analysis Situs'' and Its Five Supplements''. American Mathematical Society and London Mathematical Society. 2010. Vol. 37. doi:10.1090/hmath/037. ISBN 978-0-8218-5234-7.</ref><ref>H. Poincaré. [https://zenodo.org/record/1447744 Second complément à l'analysis situs]. ''Proceedings of the London Mathematical Society''. 1900. Vol. 32 (1). hlm. 277–308. doi:10.1112/plms/s1-32.1.277.</ref>
<blockquote>
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  dapat diorientasikan adalah sederhana terhubung, yakni homeomorfik dengan sebuah hipersfera.
</blockquote>

(Dengan bahasa modern, mengingat Poincaré menggunakan istilah [[sederhana terhubung]] dengan makna yang berbeda dari sekarang,<ref>cf. komentar Stillwell dalam</ref> maksudnya adalah: sebuah lipatan terhubung dan tertutup yang terorientasi, dengan homologi sama seperti sfera, haruslah homeomorfik dengan sfera.<ref>Jeremy Gray. [https://archive.org/details/henripoincaresci0000gray Henri Poincaré: A Scientific Biography]. Princeton University Press. 2013. ISBN 978-0-691-15271-4.</ref>) 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:<ref>Henri Poincaré. ''Papers on Topology: ''Analysis Situs'' and Its Five Supplements''. American Mathematical Society and London Mathematical Society. 2010. Vol. 37. doi:10.1090/hmath/037. ISBN 978-0-8218-5234-7.</ref><ref>H. Poincaré. [https://zenodo.org/record/1428448 Cinquième complément à l'analysis situs]. ''Rendiconti del Circolo Matematico di Palermo''. 1904. Vol. 18. hlm. 45–110. doi:10.1007/bf03014091.</ref>
<blockquote>
Satu pertanyaan tersisa: mungkinkah grup fundamental dari  mereduksi menjadi identitas tanpa  itu sendiri sederhana terhubung? [...] Namun, pertanyaan ini akan membawa kita terlalu jauh.
</blockquote>

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.<ref>H. Poincaré. [http://gallica.bnf.fr/ark:/12148/bpt6k4337198/f7.image Analysis situs]. ''Journal de l'École Polytechnique''. 1895. Vol. 1. hlm. 1–121.</ref><ref>cf. komentar Stillwell dalam</ref> (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,<ref>Paragraf awal dalam menyebut “sederhana terhubung dalam arti sejati kata itu” sebagai kondisi homeomorfik dengan sfera.</ref> bahwa Poincaré sejatinya menanyakan: apakah trivialitas grup fundamental cukup untuk mengkarakterisasi sfera?<ref>Jeremy Gray. [https://archive.org/details/henripoincaresci0000gray Henri Poincaré: A Scientific Biography]. Princeton University Press. 2013. ISBN 978-0-691-15271-4.</ref>

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]].<ref>cf. komentar Stillwell dalam</ref><ref>Jean Dieudonné. [https://archive.org/details/historyofalgebra0000dieu_g9a3 A History of Algebraic and Differential Topology, 1900–1960]. Birkhäuser Boston, Inc. 1989. doi:10.1007/978-0-8176-4907-4. ISBN 0-8176-3388-X.</ref> 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.<ref>Jeremy Gray. [https://archive.org/details/henripoincaresci0000gray Henri Poincaré: A Scientific Biography]. Princeton University Press. 2013. ISBN 978-0-691-15271-4.</ref>

== Pranala luar ==
* [http://www.bbc.co.uk/radio4/history/inourtime/inourtime_20061102.shtml "The Poincaré Conjecture"]&nbsp;– [[:en:BBC Radio 4|BBC Radio 4]] programme ''[[:en:In Our Time (BBC Radio 4)|In Our Time]]'', 2 November 2006. Contributors June Barrow-Green, Lecturer in the History of Mathematics at the [[:en:Open University|Open University]], [[:en:Ian Stewart (mathematician)|Ian Stewart]], Professor of Mathematics at the [[:en:University of Warwick|University of Warwick]], [[:en:Marcus du Sautoy|Marcus du Sautoy]], Professor of Mathematics at the [[:en:University of Oxford|University of Oxford]], and presenter [[:en:Melvyn Bragg|Melvyn Bragg]].

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Konjektur+Poincar%C3%A9&oldid=28769215 Wikipedia bahasa Indonesia], revisi 28769215 (2026-01-02T02:03:36Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->