Templat:Infobox mathematical statement/doc

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Konjektur Poincaré
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.
JenisTeorema
CabangTopologi geometrik
PernyataanUntuk setiap ruang terhubung sederhana, manifold-3 tertutup homeomorfik ke bola-3.
Pertama kali diduga olehHenri Poincaré
Pertama kali diduga pada1904
Pertama kali dibuktikan olehGrigori Perelman
Pertama kali dibuktikan pada2006
Bagian dari
Masalah terbukaBukan
PerumumanKonjektur 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: Ya atau Bukan, 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 fungsi atau Untuk 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.

Lihat pula[sunting sumber]