Şablon:Matematiksel ifade bilgi kutusu
| Bu şablon şu Lua modüllerini kullanıyor: |
| Bu şablon şu Lua modüllerini kullanıyor: |
| Poincaré conjecture | |
|---|---|
For compact 2-dimensional surfaces without boundary, if every loop can be continuously tightened to a point, then the surface is topologically homeomorphic to a 2-sphere (usually just called a sphere). The Poincaré conjecture, proved by Grigori Perelman, asserts that the same is true for 3-dimensional spaces. | |
| Tür | Theorem |
| Alan | Geometric topology |
| İfade | Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere. |
| Varsayan | Henri Poincaré |
| Varsayılma zamanı | 1904 |
| İlk kanıtlayan | Grigori Perelman |
| İlk kanıtlanma zamanı | 2006 |
| İma eden | |
| Açık problem | No |
| Genelleştirmeler | Generalized Poincaré conjecture |
Kullanım
[kaynağı değiştir]Şablon:Matematiksel ifade bilgi kutusu, belirtilen parametrelere göre bir sağ taraf bilgi kutusu oluşturur. Bu şablonu kullanmak için aşağıdaki kodu makalenize kopyalayın ve uygun şekilde doldurun:
{{Matematiksel ifade bilgi kutusu
| 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 =
}}
Parametreler
[kaynağı değiştir]All parameters are optional.
name- Bilgi kutusunun üst kısmındaki ad; ifadenin adı olmalıdır, örn.
Bezout teoremi,Zorn lemması. Parametre verilmezse sayfa adını varsayar. image- Resim, örn.
xxx.svg. caption- Resim altyazısı.
type- Geçerli ifade türü, örn.
Teorem,Varsayım,Lemma,Postülat,Aksiyom. field- İfadenin ait olduğu matematik dal(lar)ı, örn.
Sayı teorisi,Cebirsel geometri ve cebirsel topoloji. statement- Matematiksel ifade.
symbolic statement- Metinsel ifadesi zaten verilen matematiksel ifadenin sembolik gösterim versiyonu.
conjectured by- İfadeyi ilk veren kişinin/kişilerin adı.
conjectured date- İfadenin ilk kez ortaya atıldığı tarih(ler).
first stated by- İfadeyi ilk ortaya atan kişi(ler)in adı ("varsayılma" kelimesini kullanmaya alternatif olarak).
first stated date- İfadenin ilk ortaya atıldığı tarih(ler) ("varsayılma" kelimesinin kullanılmasına alternatif olarak).
first proof by- İfadeyi ilk kanıtlayan kişinin/kişilerin adı.
first proof date- İfadenin ilk kez kanıtlandığı tarih(ler).
open problem- Bu açık bir problem mi? Tipik değerler
EvetveyaHayır'dır, ancak buraya daha spesifik bir şey yazılabilir (örn.Bilinen sadece bir örnek, vb.) known cases- İfadenin bilindiği durumlar (örn.
Tüm fonksiyon alanları içinveyaTüm r > 3 için). implied by- Mevcut ifadeyi ima eden ifade(ler).
equivalent to- Hem mevcut ifadeyi ima eden hem de mevcut ifade tarafından ima edilen ifade(ler).
generalizations- Mevcut ifadeyi genelleştiren ifade(ler).
consequences- Mevcut ifade tarafından ima edilen ifade(ler).
Şablon verisi
[kaynağı değiştir]Infobox for a logical statement in mathematics that can either be true or false. Can be used to describe theorems, conjectures, lemmas, postulates, and axioms.
| Parametre | Açıklama | Tür | Durum | |
|---|---|---|---|---|
| Title style | titlestyle | Inline CSS to style the title parameter. | Dize | isteğe bağlı |
| Name | name | Name of the mathematical statement that appears at the top of the infobox.
| Sayfa adı | önerilen |
| Image | image | Image representing the mathematical statement. | Dosya | önerilen |
| Image size | image_size imagesize | How large the image should be. | Dize | önerilen |
| Alternative text | alt | Alternative text describing an image, which is spoken out loud by screen reader devices | Dize | önerilen |
| Caption | caption | Descriptive text that appears below the image. | Bilinmiyor | önerilen |
| Type | type | Type of mathematical statement
| İçerik | önerilen |
| Field | field | One or more branch that the mathematical statement falls under
| Bilinmiyor | önerilen |
| Statement | statement | The mathematical statement. | İçerik | önerilen |
| Symbolic statement | symbolic statement | A symbolic version of the mathematical statement when a prose version is already given. | İçerik | önerilen |
| Conjectured by | conjectured by | Name of person(s) who first posed the statement. | İçerik | önerilen |
| Conjectured in | conjecture date | Date(s) of when the statement was first posed. | İçerik | önerilen |
| First stated by | first stated by | Name of person(s) who first posed the statement (alternative to using the word "conjectured"). | İçerik | önerilen |
| First stated in | first stated date | Date(s) of when the statement was first posed (alternative to using the word "conjectured"). | İçerik | önerilen |
| First proof by | first proof by | Name of person(s) who first proved the statement. | İçerik | önerilen |
| First proof in | first proof date | Date(s) of when the statement was first proven. | İçerik | önerilen |
| Implied by | implied by | Statement(s) that imply the current one. | İçerik | önerilen |
| Open problem | open problem | Is this an open problem? Typical values are Yes or No, though something more specific could be put here.
| Dize | önerilen |
| Known cases | known cases | The cases for which the statement is known. | Bilinmiyor | önerilen |
| Equivalent to | equivalent to | Statement(s) that both imply and are implied by the current one. | İçerik | önerilen |
| Generalizations | generalizations | Statement(s) that generalize the current one. | İçerik | önerilen |
| Consequences | consequences | Statement(s) that are implied by the current one. | İçerik | önerilen |