Templat:Infobox mathematical statement
 Untuk permukaan dimensi 2 kompak tanpa adanya batas, jika setiap gelung dapat dikencangkan terus-menerus ke sebuah titik, maka permukaannya secara topologis homeomorfik ke bola-2 (atau umumnya disebut bola). Konjektur Poincaré merupakan sebuah konjektur yang dibuktikan oleh Grigori Perelman, yang mengatakan bahwa hal yang sama berlaku untuk ruang dimensi 3. | |
| Jenis | Teorema |
|---|---|
| Cabang | Topologi geometrik |
| Pernyataan | Untuk setiap ruang terhubung sederhana, manifold-3 tertutup homeomorfik ke bola-3. |
| Pertama kali diduga oleh | Henri Poincaré |
| Pertama kali diduga pada | 1904 |
| Pertama kali dibuktikan oleh | Grigori Perelman |
| Pertama kali dibuktikan pada | 2006 |
| Bagian dari | |
| Masalah terbuka | Bukan |
| Perumuman | Konjektur Poincaré rampat |
Cara memakai
[sunting sumber]Templat:Infobox mathematical statement adalah sebuah templat yang menghasilkan kotak info yang terletak di sebelah kanan, yang terdiri dari parameter yang spesifik. Cara memakai templat ini adalah dengan menyalin kode-kode di bawah ke artikel dan sesuaikan isinya:
{{Infobox mathematical statement
| name =
| image =
| caption =
| type =
| field =
| statement =
| symbolic statement =
| conjectured by =
| conjecture date =
| first stated by =
| first stated in =
| first proof by =
| first proof date =
| open problem =
| known cases =
| implied by =
| equivalent to =
| generalizations =
| consequences =
}}
Parameter
[sunting sumber]Semua parameter bersifat opsional.
name- Dipakai untuk menyatakan nama pernyataan yang akan ditulis di atas kotak info, sebagai contoh:
Lema Zorn, dsb. image- Dipakai untuk meletakkan berkas gambar, sebagai contoh:
xxx.svg. caption- Dipakai untuk menjelaskan deskripsi singkat pada sebuah gambar.
type- Jenis pernyataan untuk saat ini, seperti
Teorema,Konjektur,Lema,Postulat,Aksioma. field- Dipakai untuk menyatakan cabang matematika yang dimiliki suatu pernyataan, e.g.
Teori bilangan,Geometri aljabar dan topologi aljabar. statement- Dipakai untuk menjelaskan pernyataan matematika dalam bentuk simbol
symbolic statement- Dipakai untuk menjelaskan pernyataan
conjectured by- Nama tokoh yang pertama kali mengajukan pernyataan.
conjecture date- Tanggal ketika pernyataan diajukan untuk pertama kali.
first stated by- Nama tokoh yang pertama kali mengajukan pernyataan (alternative to using the word "conjectured").
first stated in- Tanggal ketika pernyataan diajukan untuk pertama kali (alternative to using the word "conjectured").
first proof by- Nama tokoh yang pertama kali membuktikan pernyataan.
first proof date- Tanggal ketika pernyataan dibuktikan pertama kali.
open problem- Apakah masalah ini merupakan masalah terbuka? Ada beberapa pilihan:
YaatauBukan, walaupun ini dapat ditulis jika ada masalah yang lebih spesifik (sebagai contoh,Hanya ada satu contoh yang terkenal, etc.) known cases- Kasus untuk pernyataan yang terkenal (sebagai contoh,
Untuk semua medan fungsiatauUntuk semua r > 3). implied by- Pernyataan yang menyiratkan pernyataan saat ini.
equivalent to- Pernyataan yang menyiratkan dan disiratkan oleh pernyataan saat ini.
generalizations- Pernyataan yang diperumum ke pernyataan saat ini.
consequences- Pernyataan yang disiratkan dengan pernyataan saat ini.