Poincaré conjecture

related topics
{math, number, function}
{math, energy, light}
{work, book, publish}
{theory, work, human}
{law, state, case}
{disease, patient, cell}
{specie, animal, plant}
{group, member, jewish}

In mathematics, the Poincaré conjecture ([pwɛ̃kaʁe],[1] English: /pwɛn.kɑˈreɪ/ pwen-kar-REY) is a theorem about the characterization of the three-dimensional sphere among three-dimensional manifolds that states:

Originally conjectured by Henri Poincaré, the theorem concerns a space that locally looks like ordinary three-dimensional space but is connected, finite in size, and lacks any boundary (a closed 3-manifold). The Poincaré conjecture claims that if such a space has the additional property that each loop in the space can be continuously tightened to a point, then it is necessarily a three-dimensional sphere. An analogous result has been known in higher dimensions for some time.

After nearly a century of effort by mathematicians, Grigori Perelman presented a proof of the conjecture in three papers made available in 2002 and 2003 on arXiv.org. The proof followed the program of Richard Hamilton. Several high-profile teams of mathematicians have verified that Perelman's proof is correct.

The Poincaré conjecture, before being proven, was one of the most important open questions in topology. It is one of the seven Millennium Prize Problems, for which the Clay Mathematics Institute offered a $1,000,000 prize for the first correct solution. Perelman's work survived review and was confirmed in 2006, leading to his being offered a Fields Medal, which he declined. Perelman was awarded the Millennium Prize on 18 March 2010.[2] On July 1, 2010 he turned down this 1 million dollar prize saying that he believes his contribution in proving the Poincaré conjecture was no greater than that of U.S. mathematician Richard Hamilton, who first suggested a program for the solution.[3][4] The Poincaré conjecture is the first and, as of 2010, only solved Millennium problem.

On December 22, 2006, the journal Science honored Perelman's proof of the Poincaré conjecture as the scientific "Breakthrough of the Year", the first time this had been bestowed in the area of mathematics.[5]

Contents

Full article ▸

related documents
Projective plane
Rice's theorem
Brute-force search
Logical connective
Field extension
Preadditive category
Isomorphism
Convergence of random variables
NP-complete
Axiom schema of specification
Horner scheme
Chinese remainder theorem
Euler–Mascheroni constant
Trace (linear algebra)
Cauchy–Schwarz inequality
Splay tree
Locally compact space
Division (mathematics)
Linear map
String (computer science)
Unlambda
Constructivism (mathematics)
Universal property
Transposition cipher
Miranda (programming language)
Elementary algebra
Ideal (ring theory)
Self-organizing map
Abel–Ruffini theorem
Bubble sort