Plantilla:Ficha de declaración matemática/doc

Conjetura de Poincaré
Para superficies bidimensionales compactas sin fronteras, si cada bucle se puede comprimir continuamente en un punto, entonces la superficie es topológicamente homeomórfica a una 2-esfera (generalmente llamada simplemente esfera). La conjetura de Poincaré, probada por Grigori Perelmán, afirma que lo mismo es cierto para los espacios tridimensionales.
Tipo	Teorema
Campo	Topología geométrica
Declaración	Cada 3-variedad simplemente conexa y cerrada es un homeomorfismo respecto a la 3-esfera.
Conjeturado por	Henri Poincaré
Conjeturado en	1904
Demostrado por	Grigori Perelmán
Demostrado en	2006
Implícito por	Conjetura de geometrización Conjetura de eliptización de Thurston
Problema abierto	No
Generalizaciones	Conjetura generalizada de Poincaré

Uso

La Plantilla: Ficha de declaración matemática genera un cuadro de información en el lado derecho, basado en los parámetros especificados. Para usar esta plantilla, copie el siguiente código en su artículo y complete según corresponda:

En inglés: {{Ficha de declaración matemática | name = | image = | caption = | type = | field = | 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 = }}

En español: {{Ficha de declaración matemática | nombre = | imagen = | pie = | tipo = | campo = | declaración = | conjeturado por = | fecha conjetura = | descubierto por = | fecha descubierto= | demostrado por = | fecha demostrado = | problema abierto = | casos conocidos = | implicado por = | equivalente a = | generalizaciones = | consecuencias = }}

Parámetros

Todos los parámetros son opcionales.

name//nombre

nombre en la parte superior del cuadro de información; debe ser el nombre de la declaración, por ejemplo Primer teorema de multiplicidad fuerte, Lema de Zorn. Por defecto es el nombre de la página.

image//imagen

imagen, por ejemplo, xxx.svg.

caption//pie

Subtítulo.

type//tipo

el tipo de declaración actual, por ejemplo Teorema, Conjetura, Lema, Postulado, Axioma.

field//campo

La(s) rama(s) de las matemáticas a las que pertenece la declaración, por ejemplo Teoría de números, Geometría algebraica y topología algebraica.

statement//declaración

El enunciado matemático.

conjectured by//conjeturado por

Nombre de la(s) persona(s) que plantearon la declaración por primera vez.

conjectured date//conjeturado fecha

Fecha(s) de cuando se planteó la declaración por primera vez.

first stated by//descubierto por

Nombre de la(s) persona(s) que plantearon por primera vez la declaración (alternativa al uso de la palabra "conjeturado").

first stated date//descubierto fecha

Fecha(s) de cuando se planteó la declaración por primera vez (alternativa al uso de la palabra "conjeturado").

first proof by//demostrado por

Nombre de la(s) persona(s) que primero demostraron la declaración.

first proof date//demostrado fecha

Fecha(s) de cuando la declaración fue demostrada por primera vez.

open problem//problema abierto

¿Es este un problema abierto? Los valores típicos son Sí o No, aunque se podría poner aquí algo más específico (por ejemplo, Solo un ejemplo conocido, etc.)

known cases//casos conocidos

Los casos para los que se conoce la declaración (por ejemplo, Para todos los grupos de función o Para todo r > 3).

implied by//implicado por

Declaraciones que implica la actual.

equivalent to//equivalente a

Declaraciones implicadas o implícitas en la actual.

generalizations//generalizaciones

Declaraciones que generalizan la actual.

consequences//consecuencias

Declaraciones implicadas por la actual.

Véase también

• Plantilla:Ficha