模板:Infobox mathematical statement/doc

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.
類別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英語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 or No, 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 or For 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 styletitlestyle

Inline CSS to style the title parameter.

字串非必填
Namename

Name of the mathematical statement that appears at the top of the infobox.

自動值
{{PAGENAMEBASE}}
頁面名稱建議
Imageimage

Image representing the mathematical statement.

檔案建議
Image sizeimage_size imagesize

How large the image should be.

字串建議
Alternative textalt

Alternative text describing an image, which is spoken out loud by screen reader devices

字串建議
Captioncaption

Descriptive text that appears below the image.

不明建議
Typetype

Type of mathematical statement

建議值
[[定理|Theorem]] [[猜想|Conjecture]] {{tsl|en|Lemma||Lemma}} [[公理|Postulate]] <!-- 页面不存在 -->[[Axiom]]
內容建議
Fieldfield

One or more branch that the mathematical statement falls under

範例
Convex geometry, algebraic topology
不明建議
Statementstatement

The mathematical statement.

內容建議
Symbolic statementsymbolic statement

A symbolic version of the mathematical statement when a prose version is already given.

內容建議
Conjectured byconjectured by

Name of person(s) who first posed the statement.

內容建議
Conjectured inconjecture date

Date(s) of when the statement was first posed.

內容建議
First stated byfirst stated by

Name of person(s) who first posed the statement (alternative to using the word "conjectured").

內容建議
First stated infirst stated date

Date(s) of when the statement was first posed (alternative to using the word "conjectured").

內容建議
First proof byfirst proof by

Name of person(s) who first proved the statement.

內容建議
First proof infirst proof date

Date(s) of when the statement was first proven.

內容建議
Implied byimplied by

Statement(s) that imply the current one.

內容建議
Open problemopen problem

Is this an open problem? Typical values are Yes or No, though something more specific could be put here.

建議值
Yes No Only one example known
範例
Only one example known
字串建議
Known casesknown cases

The cases for which the statement is known.

不明建議
Equivalent toequivalent to

Statement(s) that both imply and are implied by the current one.

內容建議
Generalizationsgeneralizations

Statement(s) that generalize the current one.

內容建議
Consequencesconsequences

Statement(s) that are implied by the current one.

內容建議

See also 編輯