Шаблон:Картка математичного твердження

Документація шаблону[перегляд] [редагувати] [історія] [очистити кеш]

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
Випливає з	Geometrization conjecture Thurston elliptization conjecture
Відкрита проблема	No
Узагальнення	Generalized Poincaré conjecture

Використання

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:

{{Картка математичного твердження
| назва                   = 
| зображення              = 
| розмір_зображення       = 
| альт                    = 
| підпис                  = 
| тип                     = 
| сфера                   = 
| твердження              = 
| символічне твердження   = 
| припущено               = 
| дата припущення         = 
| вперше зазначено        = 
| дата першого зазначення = 
| вперше доведено         = 
| дата першого доведення  = 
| випливає з              = 
| відкрита проблема       = 
| відомі випадки          = 
| еквівалентне до         = 
| узагальнення            = 
| наслідки                = 
}}

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 style	стиль_назви titlestyle	Inline CSS to style the title parameter.	Рядок	необов'язковий
Name	назва name	Name of the mathematical statement that appears at the top of the infobox. Автоматичне значення {{PAGENAMEBASE}}	Назва сторінки	пропонований
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 Пропоновані значення [[Theorem]] [[Conjecture]] [[Lemma]] [[Postulate]] [[Axiom]]	Вміст	пропонований
Field	сфера field	One or more branch that the mathematical statement falls under Приклад Convex geometry, algebraic topology	Невідомо	пропонований
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. Пропоновані значення Yes No Only one example known Приклад Only one example known	Рядок	пропонований
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.	Вміст	пропонований

Див. також

• WP:Infobox
• {{Infobox mathematical function}}