Template: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 编辑