قالب:جدول عبارة رياضية
| Uses Lua: |
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. | |
| النوع | Theorem |
|---|---|
| المجال | Geometric topology |
| العبارة | Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere. |
| حدسها | Henri Poincaré |
| حدسية في | 1904 |
| أول من برهنها | Grigori Perelman |
| أول برهان في | 2006 |
| متضمنة في | |
| مسألة مفتوحة | No |
| تعميمات | Generalized Poincaré conjecture |
Usage
The Template:Infobox mathematical statement generates a right-hand side infobox, based on the specified parameters. To use this template, copy the following code in your article and fill in as appropriate:
{{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 =
}}
Parameters
All parameters are optional.
name- Name at the top of the infobox; should be the name of the statement, e.g.
Strong multiplicity one theorem,Zorn's lemma. Defaults to page name. image- Image, e.g.
xxx.svg. caption- Caption.
type- The current type of statement, e.g.
Theorem,Conjecture,Lemma,Postulate,Axiom. field- The branch(es) of mathematics to which the statement belong(s), e.g.
Number theory,Algebraic geometry and algebraic topology. statement- The mathematical statement.
symbolic statement- A symbolic version of the mathematical statement when a prose version is already given.
conjectured by- Name of person(s) who first posed the statement.
conjectured date- Date(s) of when the statement was first posed.
first stated by- Name of person(s) who first posed the statement (alternative to using the word "conjectured").
first stated date- Date(s) of when the statement was first posed (alternative to using the word "conjectured").
first proof by- Name of person(s) who first proved the statement.
first proof date- Date(s) of when the statement was first proven.
open problem- Is this an open problem? Typical values are
YesorNo, though something more specific could be put here (e.g.Only one example known, etc.) known cases- The cases for which the statement is known (e.g.
For all function fieldsorFor all r > 3). implied by- Statement(s) that imply the current one.
equivalent to- Statement(s) that both imply and are implied by the current one.
generalizations- Statement(s) that generalize the current one.
consequences- Statement(s) that are implied by the current one.
Template data
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.
| وسيط | وصف | نوع | حالة | |
|---|---|---|---|---|
| Title style | titlestyle | Inline CSS to style the title parameter. | نص | اختياري |
| Name | name | Name of the mathematical statement that appears at the top of the infobox.
| اسم الصفحة | مقترح |
| Image | image | Image representing the mathematical statement. | ملف | مقترح |
| Image size | image_size imagesize | How large the image should be. | نص | مقترح |
| Alternative text | alt | Alternative text describing an image, which is spoken out loud by screen reader devices | نص | مقترح |
| Caption | caption | Descriptive text that appears below the image. | غير معروف | مقترح |
| Type | type | Type of mathematical statement
| محتوى | مقترح |
| Field | field | One or more branch that the mathematical statement falls under
| غير معروف | مقترح |
| Statement | statement | The mathematical statement. | محتوى | مقترح |
| Symbolic statement | symbolic statement | A symbolic version of the mathematical statement when a prose version is already given. | محتوى | مقترح |
| Conjectured by | conjectured by | Name of person(s) who first posed the statement. | محتوى | مقترح |
| Conjectured in | conjecture date | Date(s) of when the statement was first posed. | محتوى | مقترح |
| First stated by | first stated by | Name of person(s) who first posed the statement (alternative to using the word "conjectured"). | محتوى | مقترح |
| First stated in | first stated date | Date(s) of when the statement was first posed (alternative to using the word "conjectured"). | محتوى | مقترح |
| First proof by | first proof by | Name of person(s) who first proved the statement. | محتوى | مقترح |
| First proof in | first proof date | Date(s) of when the statement was first proven. | محتوى | مقترح |
| Implied by | implied by | Statement(s) that imply the current one. | محتوى | مقترح |
| Open problem | open problem | Is this an open problem? Typical values are Yes or No, though something more specific could be put here.
| نص | مقترح |
| Known cases | known cases | The cases for which the statement is known. | غير معروف | مقترح |
| Equivalent to | equivalent to | Statement(s) that both imply and are implied by the current one. | محتوى | مقترح |
| Generalizations | generalizations | Statement(s) that generalize the current one. | محتوى | مقترح |
| Consequences | consequences | Statement(s) that are implied by the current one. | محتوى | مقترح |
See also
| The above documentation is transcluded from قالب:جدول عبارة رياضية/doc. (edit | history) Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Please add categories to the /doc subpage. Subpages of this template. |