Xem mã nguồn của Giả thuyết Poincaré

{{Các bài toán thiên niên kỷ}}[[Tập tin:P1S2all.jpg|nhỏ|Trong một 2-mặt cầu thông thường, bất kì một vòng kín nào có thể thu nhỏ một cách liên tục thành một điểm trên mặt cầu. Liệu điều kiện này có đặc trưng cho 2-mặt cầu? Câu trả lời là có, và nó đã được biết đến từ lâu. Giả thuyết Poincare cũng đặt ra câu hỏi tương tự cho 3-mặt cầu, mà hình dung khó hơn.]]
'''Giả thuyết Poincare''' <ref>{{cite encyclopedia | encyclopedia=The American Heritage Dictionary of the English Language | title=Poincaré, Jules Henri | url=http://www.bartleby.com/61/3/P0400300.html | access-date=ngày 5 tháng 5 năm 2007 | edition=fourth | year=2000 | publisher=Houghton Mifflin Company | location=Boston | isbn=0-395-82517-2 | date= | archive-date = ngày 9 tháng 6 năm 2008 | archive-url=https://web.archive.org/web/20080609113737/http://www.bartleby.com/61/3/P0400300.html | url-status=dead }}.</ref> là một trong những [[giả thuyết toán học]] nổi tiếng và quan trọng bậc nhất do [[Henri Poincaré|Jules-Henri Poincaré]] đưa ra năm 1904, và được [[Grigori Yakovlevich Perelman|Grigori Perelman]] chứng minh vào năm [[2002]], [[2003]]. Trong 100 năm tồn tại, nó trực tiếp và gián tiếp đem về 4 [[huy chương Fields]] cho [[Stephen Smale|Smale]] (1966), [[William Thurston|Thurston]] (1982), [[Michael Freedman|Freedman]] (1986) và [[Grigori Yakovlevich Perelman|Perelman]] (2006).

== Lịch sử ==
Cuối thế kỷ 19 đến đầu thế kỷ 20, [[Jules-Henri Poincaré|Jules Henri Poincaré]] có lẽ là [[nhà toán học]] vĩ đại nhất của nước [[Pháp]], thậm chí của cả thế giới ngày đó. Tác giả của rất nhiều công trình toán học, vật lý học, triết học từng đoạt được nhiều giải thưởng quốc tế, trở thành thành viên hay chủ tịch của biết bao hiệp hội bác học, thành viên [[Viện hàn lâm khoa học Pháp]], [[Henri Poincaré]] là hình ảnh tiêu biểu tốt đẹp nhất về sự thành đạt trí tuệ và xã hội mà giai cấp tư sản thế kỉ XIX có thể sản sinh. Đó cũng là nhà bác học "xuyên ngành" cuối cùng: như một triết gia về phương pháp luận, ông là tác giả những công trình kinh điển về nền tảng [[phương pháp khoa học]], về cơ cấu não trạng của quá trình khám phá; ở vị trí nhà vật lý, ông đã 12 lần được đề nghị [[giải Nobel]], và ngày nay được coi là đồng tác giả của thuyết tương đối "thu hẹp"; với tư cách nhà toán học, bên cạnh [[David Hilbert]], ông được coi là nhà toán học vĩ đại nhất, đồng thời là "bậc thầy phổ quát cuối cùng", bao trùm đại số học lẫn hình học, [[lý thuyết số]] và hình học. Chính ông, trong một công trình năm 1895, đã sáng lập ra một ngành mới của hình học mà ông đặt tên là "analysis situs", ngày nay gọi là tôpô học (topo, [[tiếng Hy Lạp]] có nghĩa: nơi, không gian).

Di sản đồ sộ của ông cho đến nay vẫn còn đang được hậu sinh khai thác. Đặc biệt giả thuyết Poincaré do ông đưa ra năm 1904 là một trong những thách thức lớn nhất của toán học thế kỷ 20.

== Phát biểu ==
''Nếu một [[đa tạp]] ba chiều [[compact]] không có biên là [[Không gian đơn liên|đơn liên]], thì nó [[Phép đồng phôi|đồng phôi]] với mặt cầu ba chiều''.

== Ý nghĩa trực quan ==
Để dễ hình dung, bạn hãy lấy một quả bóng (hoặc một vật hình cầu), vẽ trên đó một đường cong khép kín không có điểm cắt nhau, sau đó cắt quả bóng theo đường vừa vẽ: bạn sẽ nhận được hai mảnh bóng vỡ. Làm lại như vậy với một cái phao (hay một vật hình xuyến): lần này bạn không được hai mảnh phao vỡ mà chỉ được có một. Trong hình học topo, người ta gọi quả bóng -đối lập với cái phao- là một bề mặt liên thông đơn giản. Một điều rất dễ chứng minh là trong không gian 3 chiều, mọi bề mặt liên thông đơn giản hữu hạn và không có biên đều là bề mặt của một vật hình cầu. Vào năm 1904, Henri Poincaré đặt ra câu hỏi: Liệu tính chất này của các vật hình cầu có còn đúng trong không gian bốn chiều. Điều kỳ lạ là các nhà hình học topo đã chứng minh được rằng điều này đúng trong những không gian lớn hơn hoặc bằng 5 chiều, nhưng chưa ai chứng minh được tính chất này vẫn đúng trong không gian bốn chiều.

Chính xác hơn, những người nghiên cứu toán học định nghĩa hai [[không gian tôpô]] là đồng phôi nếu có một song ánh liên tục từ không gian này vào không gian kia sao cho [[ánh xạ]] ngược cũng liên tục, nghĩa là hai không gian giống như nhau về mặt tôpô. Một [[đa tạp ba chiều]] không có biên là một không gian tôpô mà mỗi điểm có một lân cận đồng phôi với một lân cận của [[không gian Euclide]] ba chiều <math>\mathbb{R}^3</math>, nghĩa là về mặt địa phương một đa tạp ba chiều không khác gì <math>\mathbb{R}^3</math>. Một không gian tôpô là đơn liên nếu mỗi đường cong đóng liên tục trên đó đều có thể được "thắt" một cách liên tục thành một điểm, nghĩa là nó đồng luân liên tục với một điểm, nói cách khác nhóm cơ bản của không gian chỉ chứa phần tử đơn vị.

== Chứng minh của Perelman ==
[[Tập tin:Perelman, Grigori (1966) Upright.jpg|nhỏ|Grigori Perelman, người đã chứng minh giả thuyết Poincaré]]
Giả thuyết Poincaré từng làm nhiều bộ óc toán học thế giới của thế kỉ 20 phải phát sốt và biết bao chứng minh sai (cũng như những "chứng minh" không được chú ý đến) đã từng được đưa ra. [[Viện Toán học Clay]] ([[Hoa Kỳ]]) đành xếp nó vào một trong 7 bài toán khó của thiên niên kỷ chưa giải được để thách đố thế kỉ 21 với giải thưởng lớn tới một triệu USD.

Rất may là không lâu sau đó, vào cuối năm 2002, nhà toán học Nga kỳ dị nhưng xuất sắc [[Grigori Perelman]] tại Viện toán học Steklov (thành phố St. Petersburg) đã công bố trên Internet hai bản nghiên cứu dài khoảng 61 trang viết tay. Perelman dường như đã chứng minh được định lý, nhưng ông chưa đưa ra một công trình đầy đủ trên các tạp chí khoa học. Nhiều nhóm chuyên gia hàng đầu đã bắt tay vào kiểm tra công trình rất phức tạp của Perelman. Trong một thời gian dài không ai dám đứng ra đoan chắc rằng công trình này là đúng, tuy rằng không có lỗi nghiêm trọng nào được phát hiện. Đến hè năm 2006 thì ba nhóm độc lập với nhau đã công bố kết quả công việc kiểm tra công phu của mình và sự đồng thuận đã được hình thành trong các chuyên gia là Perelman đã chứng minh Giả thuyết Poincaré, chấm dứt sự tồn tại của nó sau gần 1 thế kỷ. Còn việc Perelman chứng minh được toàn bộ Giả thuyết Hình học hóa hay chưa thì có lẽ còn chờ thêm thời gian.

=== Dòng Ricci và phẫu thuật hình học ===
Năm 1982, Hamilton đưa ra một chương trình để chứng minh giả thuyết Poincaré.<ref>{{chú thích tạp chí|last=Hamilton|first=Richard|authorlink=Richard S. Hamilton|date=1982|title=Three-manifolds with positive Ricci curvature|url=|journal=Journal of Differential Geometry|volume=17|issue=2|pages=255–306|doi=10.4310/jdg/1214436922|mr=0664497|zbl=0504.53034|via=|doi-access=}} Reprinted in: {{chú thích sách|title=Collected Papers on Ricci Flow|publisher=International Press|year=2003|isbn=1-57146-110-8|editor-last1=Cao|editor-first1=H. D.|editor1-link=Huai-Dong Cao|series=Series in Geometry and Topology|volume=37|place=Somerville, MA|pages=119–162|editor-last2=Chow|editor-first2=B.|editor-last3=Chu|editor-first3=S. C.|editor-last4=Yau|editor-first4=S.-T.|editor4-link=Shing-Tung Yau}}</ref> Ý tưởng của Hamilton là đặt một metric Riemann lên đa tạp ba chiều đóng đơn liên, sau đó tìm cách ''cải thiện'' metric này; ví dụ như nếu metric được cải thiện đến mức nó có độ cong dương hằng thì, theo các kết quả cổ điển trong [[hình học Riemann]], đa tạp ba chiều phải là một hình cầu. Hamilton sử dụng phương trình dòng Ricci để cải thiện metric:<blockquote><math>\partial_t g_{ij}=-2 R_{ij}</math></blockquote>trong đó ''g'' là metric và ''R'' là độ cong Ricci, và ta hi vọng rằng khi ''t'' tăng, đa tạp cùng với metric của nó sẽ trở nên dễ hiểu hơn.

Trong một số trường hợp, Hamilton chỉ ra rằng phương pháp này đủ hiệu quả, chẳng hạn như nếu đa tạp Riemann có độ cong Ricci dương mọi nơi. Tuy nhiên, với một metric Riemann bất kỳ, dòng Ricci tạo ra các kỳ dị phức tạp hơn.

Một thành tựu lớn của Perelman là chỉ ra rằng, trong một số trường hợp, các kỳ dị này sẽ trông giống như hình cầu hoặc hình trụ bị co lại. Với một mô tả định lượng của hiện tượng này, Perelman cắt đa tạp quanh các kỳ dị, chia đa tạp thành nhiều mảnh, và tiếp tục dòng Ricci trên mỗi mảnh nhỏ. Quá trình này được gọi là dòng Ricci với phẫu thuật.<ref>{{cite arXiv|last=Perelman|first=Grigori|title=Ricci flow with surgery on three-manifolds|eprint=math.DG/0303109|date=2003}}</ref>

== Giả thuyết hình học hóa ==
Vào khoảng những năm cuối thập kỉ 1970 nhà toán học Mỹ [[William Thurston]] có những quan sát theo một hướng mới. Ông nhận thấy là trong trường hợp hai chiều mặt cầu là mặt duy nhất mà trên đó có thể đặt hình học elliptic (tổng ba góc trong một [[tam giác]] lớn hẳn hơn 180 độ; hai đường thẳng bất kì đều cắt nhau; độ cong của mặt là hằng số dương), trên mặt xuyến một lỗ có hình học Euclide (tổng ba góc trong một [[tam giác]] bằng 180 độ; qua một điểm ở ngoài một đường thẳng chỉ có một đường thằng song song với đường thẳng đã cho; độ cong của mặt luôn luôn bằng không); với tất cả các mặt xuyến còn lại ta có hình học hyperpolic (tổng ba góc trong một [[tam giác]] nhỏ hơn 180 độ; qua một điểm ở ngoài một đường thẳng có thể vẽ được vô số đường thằng song song với đường thẳng đã cho; độ cong của mặt là hằng số âm). Thurston tổng quát hoá quan sát này lên không gian ba chiều, một cách nôm na, mỗi đa tạp không biên compact ba chiều đều có thể được cắt thành từng mảnh mà trên mỗi mảnh có một hình học duy nhất. Đây được gọi là Giả thuyết Hình học hoá; nó chứa Giả thuyết Poincaré như là trường hợp riêng. Thurston được tặng giải Fields năm 1982.

Giả thuyết Hình học hoá của Thurston mở ra một hướng mới để nghiên cứu Giả thuyết Poincaré. Vì độ cong của một đa tạp trơn được định nghĩa thông qua các đạo hàm bậc nhất và bậc hai nhất định (trong phép tính [[Vi tích phân|Vi Tích phân]] độ cong của một đường cong với toạ độ được tham số hóa được cho thông qua các đạo hàm bậc nhất và bậc hai của tọa độ) nên xuất hiện khả năng sử dụng những công cụ của [[Hình học vi phân]], Giải tích và Phương trình đạo hàm riêng. Một chương trình nhằm chứng minh Giả thuyết Hình học hoá đã được đề ra bởi nhà toán học Mỹ Richard Hamilton vào đầu thập kỉ 1980.

== Giả thuyết Poincaré mở rộng ==
{{Chính|Giả thuyết Poincaré mở rộng}}
Giả thuyết tổng quát hơn cho đa tạp n-chiều được gọi là Giả thuyết Poincaré mở rộng. Trong trường hợp n=2 người ta đã biết từ lâu và không quá khó để chứng tỏ rằng mặt cầu hai chiều là mặt không biên compact duy nhất mà là đơn liên. Những mặt xuyến là không đơn liên vì chúng có những "lỗ" và do đó có những đường cong đóng không thể thắt lại được.

Những cố gắng để nghiên cứu Giả thuyết Poincaré mở rộng đã dẫn đến những tiến bộ to lớn trong ngành Tôpô và trong Toán học nói chung. Năm 1960 nhà toán học lớn người Mỹ [[Stephen Smale]] đã chứng minh Giả thuyết Poincaré mở rộng cho mọi n lớn hơn hay bằng 5. Công cụ chủ yếu của ông là [[lý thuyết Morse]] trong Tôpô vi phân. Nhờ vậy Smale được trao giải Fields năm 1966. Mãi đến năm 1982 trường hợp n=4 mới được giải quyết nhờ công của nhà toán học Mỹ [[Michael Freedman]]. Công cụ của ông lại hoàn toàn là Tôpô Hình học, nghĩa là nói chung không sử dụng các cấu trúc vi phân hay đại số. Freedman rồi cũng được trao giải thưởng Fields năm 1986.

Đóng góp to lớn vào những công trình nghiên cứu dẫn đến các kết quả này và những tiến bộ sau đó phải kể đến John Milnor (giải Fields 1966), John Stallings, Papakyriapoulos, Sergey Novikov (giải Fields 1970), Robion Kirby, Simon Donaldson (giải Fields 1986) và nhiều người khác. Những phương pháp khác nhau đã được sử dụng: Tôpô vi phân, Tôpô đại số, Tôpô hình học, và cả những ý tưởng từ [[vật lý lý thuyết]].

== Tham khảo ==
{{tham khảo}}
== Liên kết ngoài ==
* [http://www.claymath.org/sites/default/files/poincare.pdf The Poincaré conjecture described] {{Webarchive|url=https://web.archive.org/web/20150607154740/http://www.claymath.org/sites/default/files/poincare.pdf |date=2015-06-07 }} by the Clay Mathematics Institute.
* [http://athome.harvard.edu/threemanifolds/ The Geometry of 3-Manifolds (video)] {{Webarchive|url=https://web.archive.org/web/20100127081050/http://athome.harvard.edu/threemanifolds/ |date = ngày 27 tháng 1 năm 2010}} A public lecture on the Poincaré and geometrization conjectures, given by C. McMullen at Harvard in 2006.
* Bruce Kleiner (Yale) and John W. Lott (University of Michigan): [http://www.math.lsa.umich.edu/~lott/ricciflow/perelman.html "Notes & commentary on Perelman's Ricci flow papers"].
*Stephen Ornes, [http://www.seedmagazine.com/news/2006/08/what_is_the_poincar_conjecture.php What is The Poincaré Conjecture?] {{Webarchive|url=https://web.archive.org/web/20081204092709/http://www.seedmagazine.com/news/2006/08/what_is_the_poincar_conjecture.php |date = ngày 4 tháng 12 năm 2008}}, ''Seed Magazine'', ngày 25 tháng 8 năm 2006.
*[http://www.bbc.co.uk/radio4/history/inourtime/inourtime_20061102.shtml "The Poincaré Conjecture"]&nbsp;– [[BBC Radio 4]] programme ''[[In Our Time (BBC Radio 4)|In Our Time]]'', ngày 2 tháng 11 năm 2006. Contributors June Barrow-Green, Lecturer in the History of Mathematics at the [[Open University]], [[Ian Stewart (mathematician)|Ian Stewart]], Professor of Mathematics at the [[University of Warwick]], [[Marcus du Sautoy]], Professor of Mathematics at the [[University of Oxford]], and presenter [[Melvyn Bragg]].
*[http://www.npr.org/templates/story/story.php?storyId=6682439 "Solving an Old Math Problem Nets Award, Trouble"]&nbsp;– NPR segment, ngày 26 tháng 12 năm 2006.
*{{chú thích báo | last = Nasar | first = Sylvia |others = and Gruber, David | title = Manifold Destiny: A legendary problem and the battle over who solved it | work = [[The New Yorker]] | date = ngày 21 tháng 8 năm 2006 | url = http://www.newyorker.com/fact/content/articles/060828fa_fact2 | access-date = ngày 24 tháng 8 năm 2006 |archiveurl=https://archive.today/20120903235521/http://www.newyorker.com/fact/content/articles/060828fa_fact2|archive-date = ngày 3 tháng 9 năm 2012}}
*[http://www.map.mpim-bonn.mpg.de/Poincar%C3%A9%27s_conjecture Poincaré's conjecture] at the Manifold Atlas

===Video===
*{{Youtube|AUoaTrQTM5o|The Poincaré Conjecture}}, Brief visual overview of the Poincaré Conjecture, background and solution.
*{{chú thích web|last=Steckles|first=Katie|last2=Isenberg|first2=James A|author2-link=James A. Isenberg|title=Poincaré Conjecture|url=https://www.youtube.com/watch?v=GItmC9lxeco|publisher=[[Brady Haran]]|access-date =ngày 23 tháng 4 năm 2014|format=video}}

{{sơ khai toán học}}
{{Kiểm soát tính nhất quán}}
{{Tô pô}}

[[Thể loại:Định lý tôpô học|Poincaré]]