ポアンカレ予想（読み）ポアンカレヨソウ（その他表記）Poincaré conjecture

デジタル大辞泉

ポアンカレ‐よそう〔‐ヨサウ〕【ポアンカレ予想】

フランスの数学者ポアンカレが提起した予測で、「単連結な三次元閉多様体は三次元球面S³に同相である」というもの。ミレニアム問題の一。1904年に発表されて以来未解決であったが、2003年にロシアの数学者グレゴリー＝ペレルマンが証明した。

出典　小学館

ブリタニカ国際大百科事典 小項目事典

ポアンカレ予想
ポアンカレよそう
Poincaré conjecture

1904年にフランスの数学者アンリ・ポアンカレが提唱した位相幾何学（→トポロジー）における予想。「コンパクトで単連結な 3次元多様体は 3次元球面と同相である」という予想で，すでに証明されている。同相とは連続的な変形で移り合うという位相の概念で，厳密には一方から他方への連続な一対一写像で逆写像も連続であるものが存在するということである（→位相同形）。3次元多様体は局所的には 3次元ユークリッド空間と同相になるような図形である。単連結とはその図形上の任意の閉曲線が連続的な変形で 1点に縮むことを意味する。コンパクトとは，どのような点列をとっても，その適当な部分列をとるとある点に収束するようにできるという性質である。2次元の場合は，閉曲面の分類定理に従う。つまり，単連結な閉曲面は球面と同相である。一般に n＋1次元ユークリッド空間において原点からの距離が 1であるような点の集合を n次元球面と呼ぶ。ポアンカレ予想は一般の次元では「n次元球面とホモトピー同値であるようなコンパクトn次元多様体は n次元球面と同相である」と定式化される。一般化されたポアンカレ予想は 1960年にアメリカ合衆国の数学者スティーブン・スメールによって 5次元以上の場合に解決された。4次元の場合は 1983年にアメリカの数学者マイケル・H.フリードマンによって解かれた。元来のポアンカレ予想である 3次元の場合は 2002年にロシアの数学者グリゴリー・ペレリマンがリッチフローと呼ばれる微分幾何学の手法を用いて解決した。2000年にアメリカのクレイ数学研究所が数学の七つの未解決問題をミレニアム問題として提出し，それぞれの問題に 100万ドルの懸賞金をかけた。ポアンカレ予想はこれらの問題の一つとしてあげられていた。ペレリマンは懸賞金の受け取りを辞退している。

出典　ブリタニカ国際大百科事典 小項目事典