Template:Infobox mathematical statement/doc
![]() | 此頁面是Template:Infobox mathematical statement的Template文档。 此頁面可能包含了模板的使用說明、分類和其他内容。 |
![]() | 此模板使用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
Yes
orNo
, 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 fields
orFor 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