푸앵카레 추측
| 밀레니엄 문제 |
|---|
푸앵카레 추측(영어: Poincaré conjecture)은 4차원 초구의 경계인 3차원 구면의 위상학적 특징에 관한 정리이다. 이 정리의 구체적 내용은 '모든 경계가 없는 단일 연결 콤팩트 3차원 다양체는 3차원 구면과 위상동형이다'이다.
이 명제는 프랑스의 저명한 수학자 앙리 푸앵카레의 1904년 논문에 처음 등장하는 추측이다. 이 추측이 제기된 이래로 100여 년이 지난 후, 2002년, 2003년에 러시아의 저명한 수학자 그리고리 페렐만이 발표한 출간되지 않은 논문들에서 증명되었다. 밀레니엄 문제 중 최초로 해결되었다.
푸앵카레 추측
위상기하학에서 2차원 구면과 1차원 구면(원주)은 단일 연결이라는 근본적인 특징을 가지고 있는데, 3차원 표면에서도 구에 대해서 그러한 사실이 성립하는지에 대한 것이다. 구체적으로 어떤 하나의 닫힌 3차원 공간에서 모든 폐곡선이 수축되어서 하나의 점이 될 수 있다면, 이 공간은 반드시 원구로 변형될 수 있다는 것이다.
역사
먼저 원래 문제의 차원인 3차원보다 고차원인 경우에 추측이 증명되기 시작하였다. 5차원 이상인 경우를 미국의 저명한 수학자 스티븐 스메일이 증명해서 1966년 필즈상을 수상하였으며, 4차원에 대한 문제는 마이클 프리드먼이 증명해서 1986년 필즈상을 수상하였다. 3차원에 대한 문제는 3-다양체 분류 문제의 중추인데, 윌리엄 서스턴 박사가 3-다양체의 분류에 대한 연구로 1982년 필즈상을 수상해서, 이 추측이 3차원에서도 풀릴 수 있음을 간접적으로 증명하였다. 리처드 S. 해밀턴이 리치 흐름이라는 미분 기하학과 미분 방정식을 도입한 방식을 제안하였고 많은 부분을 해결하였으나 증명이 안되는 부분이 있었고, 최종적으로는 리치 흐름기법에 기반해 있으면서 이 추측의 해법이 포함된 논문을 2002년 러시아의 저명한 수학자 그리고리 페렐만이 arXiv에 발표하였다.[1][2][3] 국제 수학 연맹(IMU)이 3년간의 분석 끝에 페렐만의 풀이를 인정해서 페렐만을 2006년 필즈상 수상자로 선정하였으나, 페렐만은 수상을 거부하였다. 같은 업적으로 페렐만은 2010년 3월 18일 밀레니엄상의 수상자로도 선정되었으나[4], 밀레니엄상 역시 거부하였다.[5]
대중적 오해
위상수학의 오랜 난제였던 푸앵카레 추측을 설명하는 많은 교양 매체들을 통해 이 추측이 우주의 대역적 모양을 알아내는 것과 연관이 있다는 설이 대중적으로 퍼져있다.
푸앵카레 추측은 "모든 경계가 없는 단일 연결 콤팩트 3차원 다양체는 3차원 구면과 위상동형이다."라는 추측이다. 그러나, 다음 이유들로 인해 푸앵카레 추측이 우주의 모양을 알아내는 일과 별로 관련이 없다.
- 학계에서 우주를 본격적으로 4차원 다양체로 보고 대역적 모양에 대한 연구를 시작한 것은 최소한 일반 상대성 이론의 탄생 이후이다. 그러나, 이 추측이 제기된 당시는 일반 상대성 이론이 탄생하기 이전이다. 따라서, 푸앵카레 추측은 우주의 모양 연구와 무관하게 제기된 추측이다.
- 푸앵카레 추측을 우주의 모양 연구에 쓰려면 일단 물리적 우주가 단일 연결이고 경계가 없는 콤팩트 다양체로 수학적 모델링 될 수 있는지 실험과 탐사로 알아내야 한다. 그러나 이를 알아내기란 불가능에 가깝다. 당장에, 인류는 관측 가능한 우주 바깥에 대한 물리적 정보를 얻을 수 없어 보이므로 물리적 우주 전체에 대한 탐사는 불가능해 보인다. 따라서, 푸앵카레 추측의 명제를 이용해 우주의 대역적 모양에 대한 어떤 결론을 내기 어렵다.
같이 보기
각주
- ↑ Perelman, Grigori (2002). “The entropy formula for the Ricci flow and its geometric applications”. arXiv:math/0211159.
- ↑ Perelman, Grigori (2003). “Ricci flow with surgery on three-manifolds”. arXiv:math/0303109.
- ↑ Perelman, Grigori (2003). “Finite extinction time for the solutions to the Ricci flow on certain three-manifolds”. arXiv:math/0307245.
- ↑ “Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman” (PDF). 2010년 3월 31일에 원본 문서 (PDF)에서 보존된 문서. 2010년 4월 8일에 확인함.
- ↑ Worlds cleverest man turns down $1million prize
모듈:Authority_control 159번째 줄에서 Lua 오류: attempt to index field 'wikibase' (a nil value).
| 파일:Circle-icons-calculator.svg | 이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |
- 스크립트 오류가 있는 문서
- 영어 표기를 포함한 문서
- 위키데이터 속성 P18을 사용하는 문서
- 위키데이터 속성 P41을 사용하는 문서
- 위키데이터 속성 P94를 사용하는 문서
- 위키데이터 속성 P117을 사용하는 문서
- 위키데이터 속성 P154를 사용하는 문서
- 위키데이터 속성 P213을 사용하는 문서
- 위키데이터 속성 P227을 사용하는 문서
- 위키데이터 속성 P242를 사용하는 문서
- 위키데이터 속성 P244를 사용하는 문서
- 위키데이터 속성 P245를 사용하는 문서
- 위키데이터 속성 P268을 사용하는 문서
- 위키데이터 속성 P269를 사용하는 문서
- 위키데이터 속성 P271을 사용하는 문서
- 위키데이터 속성 P347을 사용하는 문서
- 위키데이터 속성 P349를 사용하는 문서
- 위키데이터 속성 P350을 사용하는 문서
- 위키데이터 속성 P373을 사용하는 문서
- 위키데이터 속성 P380을 사용하는 문서
- 위키데이터 속성 P396을 사용하는 문서
- 위키데이터 속성 P409를 사용하는 문서
- 위키데이터 속성 P428을 사용하는 문서
- 위키데이터 속성 P434를 사용하는 문서
- 위키데이터 속성 P435를 사용하는 문서
- 위키데이터 속성 P436을 사용하는 문서
- 위키데이터 속성 P454를 사용하는 문서
- 위키데이터 속성 P496을 사용하는 문서
- 위키데이터 속성 P549를 사용하는 문서
- 위키데이터 속성 P650을 사용하는 문서
- 위키데이터 속성 P651을 사용하는 문서
- 위키데이터 속성 P691을 사용하는 문서
- 위키데이터 속성 P716을 사용하는 문서
- 위키데이터 속성 P781을 사용하는 문서
- 위키데이터 속성 P791을 사용하는 문서
- 위키데이터 속성 P864를 사용하는 문서
- 위키데이터 속성 P865를 사용하는 문서
- 위키데이터 속성 P886을 사용하는 문서
- 위키데이터 속성 P902를 사용하는 문서
- 위키데이터 속성 P906을 사용하는 문서
- 위키데이터 속성 P947을 사용하는 문서
- 위키데이터 속성 P950을 사용하는 문서
- 위키데이터 속성 P966을 사용하는 문서
- 위키데이터 속성 P982를 사용하는 문서
- 위키데이터 속성 P1003을 사용하는 문서
- 위키데이터 속성 P1004를 사용하는 문서
- 위키데이터 속성 P1005를 사용하는 문서
- 위키데이터 속성 P1006을 사용하는 문서
- 위키데이터 속성 P1015를 사용하는 문서
- 위키데이터 속성 P1045를 사용하는 문서
- 위키데이터 속성 P1048을 사용하는 문서
- 위키데이터 속성 P1053을 사용하는 문서
- 위키데이터 속성 P1146을 사용하는 문서
- 위키데이터 속성 P1153을 사용하는 문서
- 위키데이터 속성 P1157을 사용하는 문서
- 위키데이터 속성 P1186을 사용하는 문서
- 위키데이터 속성 P1225를 사용하는 문서
- 위키데이터 속성 P1248을 사용하는 문서
- 위키데이터 속성 P1273을 사용하는 문서
- 위키데이터 속성 P1315를 사용하는 문서
- 위키데이터 속성 P1323을 사용하는 문서
- 위키데이터 속성 P1330을 사용하는 문서
- 위키데이터 속성 P1362를 사용하는 문서
- 위키데이터 속성 P1368을 사용하는 문서
- 위키데이터 속성 P1375를 사용하는 문서
- 위키데이터 속성 P1407을 사용하는 문서
- 위키데이터 속성 P1556을 사용하는 문서
- 위키데이터 속성 P1584를 사용하는 문서
- 위키데이터 속성 P1695를 사용하는 문서
- 위키데이터 속성 P1707을 사용하는 문서
- 위키데이터 속성 P1736을 사용하는 문서
- 위키데이터 속성 P1886을 사용하는 문서
- 위키데이터 속성 P1890을 사용하는 문서
- 위키데이터 속성 P1907을 사용하는 문서
- 위키데이터 속성 P1908을 사용하는 문서
- 위키데이터 속성 P1960을 사용하는 문서
- 위키데이터 속성 P1986을 사용하는 문서
- 위키데이터 속성 P2041을 사용하는 문서
- 위키데이터 속성 P2163을 사용하는 문서
- 위키데이터 속성 P2174를 사용하는 문서
- 위키데이터 속성 P2268을 사용하는 문서
- 위키데이터 속성 P2349를 사용하는 문서
- 위키데이터 속성 P2418을 사용하는 문서
- 위키데이터 속성 P2456을 사용하는 문서
- 위키데이터 속성 P2484를 사용하는 문서
- 위키데이터 속성 P2558을 사용하는 문서
- 위키데이터 속성 P2750을 사용하는 문서
- 위키데이터 속성 P2980을 사용하는 문서
- 위키데이터 속성 P3223을 사용하는 문서
- 위키데이터 속성 P3233을 사용하는 문서
- 위키데이터 속성 P3348을 사용하는 문서
- 위키데이터 속성 P3372를 사용하는 문서
- 위키데이터 속성 P3407을 사용하는 문서
- 위키데이터 속성 P3430을 사용하는 문서
- 위키데이터 속성 P3544를 사용하는 문서
- 위키데이터 속성 P3562를 사용하는 문서
- 위키데이터 속성 P3563을 사용하는 문서
- 위키데이터 속성 P3601을 사용하는 문서
- 위키데이터 속성 P3723을 사용하는 문서
- 위키데이터 속성 P3788을 사용하는 문서
- 위키데이터 속성 P3829를 사용하는 문서
- 위키데이터 속성 P3863을 사용하는 문서
- 위키데이터 속성 P3920을 사용하는 문서
- 위키데이터 속성 P3993을 사용하는 문서
- 위키데이터 속성 P4038을 사용하는 문서
- 위키데이터 속성 P4055를 사용하는 문서
- 위키데이터 속성 P4114를 사용하는 문서
- 위키데이터 속성 P4143을 사용하는 문서
- 위키데이터 속성 P4186을 사용하는 문서
- 위키데이터 속성 P4423을 사용하는 문서
- 위키데이터 속성 P4457을 사용하는 문서
- 위키데이터 속성 P4534를 사용하는 문서
- 위키데이터 속성 P4535를 사용하는 문서
- 위키데이터 속성 P4581을 사용하는 문서
- 위키데이터 속성 P4613을 사용하는 문서
- 위키데이터 속성 P4955를 사용하는 문서
- 위키데이터 속성 P5034를 사용하는 문서
- 위키데이터 속성 P5226을 사용하는 문서
- 위키데이터 속성 P5288을 사용하는 문서
- 위키데이터 속성 P5302를 사용하는 문서
- 위키데이터 속성 P5321을 사용하는 문서
- 위키데이터 속성 P5368을 사용하는 문서
- 위키데이터 속성 P5504를 사용하는 문서
- 위키데이터 속성 P5587을 사용하는 문서
- 위키데이터 속성 P5736을 사용하는 문서
- 위키데이터 속성 P5818을 사용하는 문서
- 위키데이터 속성 P6213을 사용하는 문서
- 위키데이터 속성 P6734를 사용하는 문서
- 위키데이터 속성 P6792를 사용하는 문서
- 위키데이터 속성 P6804를 사용하는 문서
- 위키데이터 속성 P6829를 사용하는 문서
- 위키데이터 속성 P7293을 사용하는 문서
- 위키데이터 속성 P7303을 사용하는 문서
- 위키데이터 속성 P7314를 사용하는 문서
- 위키데이터 속성 P7902를 사용하는 문서
- 위키데이터 속성 P8034를 사용하는 문서
- 위키데이터 속성 P8189를 사용하는 문서
- 위키데이터 속성 P8381을 사용하는 문서
- 위키데이터 속성 P8671을 사용하는 문서
- 위키데이터 속성 P8980을 사용하는 문서
- 위키데이터 속성 P9070을 사용하는 문서
- 위키데이터 속성 P9692를 사용하는 문서
- 위키데이터 속성 P9725를 사용하는 문서
- 위키데이터 속성 P9984를 사용하는 문서
- 위키데이터 속성 P10020을 사용하는 문서
- 위키데이터 속성 P10299를 사용하는 문서
- 위키데이터 속성 P10608을 사용하는 문서
- 위키데이터 속성 P10832를 사용하는 문서
- 위키데이터 속성 P11249를 사용하는 문서
- 위키데이터 속성 P11646을 사용하는 문서
- 위키데이터 속성 P11729를 사용하는 문서
- 위키데이터 속성 P12204를 사용하는 문서
- 위키데이터 속성 P12362를 사용하는 문서
- 위키데이터 속성 P12754를 사용하는 문서
- 위키데이터 속성 P13049를 사용하는 문서
- 잘못된 파일 링크가 포함된 문서
- 수학에 관한 토막글
- 큰 토막글 문서
- 모든 토막글 문서
- 기하학적 위상수학
- 위상수학 정리
- 밀레니엄 문제
- 3-다양체