ポアンカレ予想とは？わかりやすく｜ペレルマンが解いた・リッチフロー・ミレニアム問題

ポアンカレ予想とは？（ひとことで）

ポアンカレ予想とは、「穴のない、閉じた3次元の図形は、3次元の球と同じ形だと言えるか」という問題です。1904年にフランスの数学者ポアンカレの業績と生涯が問いかけました。それから約100年後の2002〜2003年に、ロシアの数学者ペレルマンの業績と生涯が解決しました。「正しい」と証明されたので、今は「ポアンカレ予想」でも「ポアンカレ予想の定理」ともよばれます。

クレイ数学研究所が2000年に選んだ7つの「ミレニアム懸賞問題」のうち、解決したと認められたのは、この問題だけです（2026年10月時点）。リーマン予想をはじめ、ほかの6問は未解決です。

この問題は、トポロジー（位相幾何学）という分野の問題です。トポロジーは「ちぎったり、くっつけたりしないで、のばしたり、ちぢめたりして変えられる形は、同じ形とみなす」数学です。ここでは、長さや角度は気にしません。「穴がいくつあるか」のような、つながり方だけに注目します。ドーナツとコーヒーカップが「同じ形」になるという話は、聞いたことがあるかもしれません。

問題の意味は、ひもと風船のたとえで、中学生にも伝わります。このページでは、まず2次元の球で考えて、それから3次元へと進み、ペレルマンの証明のアイデア（熱がひろがるように形がなめらかになる様子）まで、図を使って説明します。

ポアンカレ予想の意味をやさしく解説

ステップ1：「ひも」で穴を調べる

図形に穴があるかどうかを、ひもで調べる方法があります。図形の表面に、ひもを輪にしてのせます。そのひもを、表面にそって、ちぎらずに少しずつちぢめていき、最後に1点にできるでしょうか。

• 球の表面：どんな輪のひもでも、1点までちぢめられます。
• ドーナツの表面：穴のまわりをぐるりと一周するひもは、穴にひっかかって、1点にはちぢめられません。

数学では、どんな輪のひもも1点までちぢめられる図形を「単連結」とよびます。球は単連結で、ドーナツは単連結ではありません。

ステップ2：2次元では答えが分かっている

ここで「2次元の曲面（紙のように表面だけの世界）で、有限の大きさで、はしっこがなくて、しかも単連結なものは何？」と考えてみましょう。答えは球面です。この事実は、19世紀から知られています。実は、ふつうの球だけでなく、卵の形でも、ジャガイモの形でも、ちぎらずにのばしたりちぢめたりして球にできる形なら、同じ仲間です。

表面の形の仲間わけは、穴の数で決まります。穴が0個なら球、1個ならドーナツ、2個なら二重ドーナツ…。これはオイラーの多面体定理（V−E+F）ともつながっています。多面体の頂点の数 $V$、辺の数 $E$、面の数 $F$ について、穴のない立体では $V-E+F=2$ ですが、穴の数を $g$ 個とすると、$V-E+F=2-2g$ になります。

ステップ3：3次元になるとどうなる？

ポアンカレは、これをひとつ次元をあげた世界で考えました。「3次元の世界（たて・よこ・高さのある世界そのもの）で、有限の大きさで、はしっこがなくて、しかも単連結なものは、3次元の球面だけなのか」。これがポアンカレ予想です。

2次元の球面は、「3次元空間の中のボールの表面」として見えます。同じように、3次元の球面は、「4次元空間の中のボールの表面」のことです。私たちは4次元を見ることができませんが、式で書くのはかんたんです。

• 円（1次元の球面）：$x^2+y^2=1$
• ふつうの球面（2次元の球面）：$x^2+y^2+z^2=1$
• 3次元の球面：$x^2+y^2+z^2+w^2=1$

文字が1つ増えるだけです。円の方程式を知っていれば、考え方は同じです。

ステップ4：たとえ話「宇宙飛行士のロープ」

数学者がよく使うたとえを紹介します。宇宙飛行士が、地球から長いロープをのばしながら、宇宙のあちこちをぐるっと旅して、地球にもどってきたとしましょう。ロープの両はしは、地球に残したままです。もし、どんな旅のロープでも、宇宙のどこにもひっかからずに回収できるならば、その宇宙には「穴」がありません。ポアンカレ予想は、「そんな宇宙は、3次元の球面と同じ形に限られる」と言っているのです。

これはあくまでたとえです。私たちの宇宙の本当の形はまだ分かっておらず、このたとえは、予想の意味を伝えるためのものです。

ステップ5：ドーナツとマグカップは同じ形

トポロジーでは、ちぎらず、くっつけずにのばしたりちぢめたりして、重ねられる形は「同じ形」とみなします。ドーナツ（穴1個）は、粘土のようにのばしていくと、取っ手のあるマグカップ（取っ手の穴1個）にできます。だから、トポロジーでは同じ形です。

ポアンカレ予想の歴史と年表

1895〜1904年：ポアンカレがトポロジーを作る

アンリ・ポアンカレは、19世紀末の数学と物理の第一人者でした。1895年に、図形をつながり方だけで調べる新しい数学「位相幾何学（アナリシス・シチュス）」の論文を発表します。これがトポロジーの出発点です。ポアンカレは最初、図形の「穴の様子」を表す数（ホモロジー）が球と同じなら、その図形は球と同じ形だろうと考えていました。ところが1904年に、自分でその考えの反例（のちに「ポアンカレのホモロジー球面」とよばれる形）を見つけます。そのあとの論文の最後に、「では、ひもの輪がすべて1点にちぢめられるという性質（基本群が自明という性質）なら、球と同じ形と言えるだろうか」とたずねました。これがポアンカレ予想です。ポアンカレ自身は答えをつけませんでした。

20世紀：次元を変えて考える

3次元はなかなか手がつかなかったので、数学者は「次元を変えた同じ問い」に挑みました。

• 5次元以上：アメリカのスティーヴン・スメールが1960年代のはじめに解決しました。スメールはこの業績などで1966年にフィールズ賞を受けています。
• 4次元：アメリカのマイケル・フリードマンが1981〜82年に解決（位相的な意味で）しました。1986年にフィールズ賞を受けています。

つまり、3次元だけが最後まで残ったのです。逆説的ですが、高い次元のほうが「自由に動かせる余地が多い」ので、かんたんだったのです。

1982年：サーストンとハミルトン

1982年に、2つの大きな進展がありました。ひとつは、アメリカのウィリアム・サーストン（サーストンの業績と生涯）が幾何化予想を発表したことです。これは「どんな3次元の図形も、8種類の基本の形のかけらに分けられる」という予想で、ポアンカレ予想をその特別な場合として含みます。もうひとつは、アメリカのリチャード・ハミルトンがリッチフローという方法を発表したことです。図形をなめらかにする「熱のひろがり」に似た変化を、式で表すものでした。

2002〜2003年：ペレルマンの論文

ロシアの数学者グリゴリー・ペレルマンは、2002年11月と2003年に、あわせて3本の論文をインターネット上の論文サイト（arXiv）に公開しました。ハミルトンのリッチフローをさらに発展させ、ポアンカレ予想と幾何化予想の両方を解決するアイデアが書かれていました。論文は雑誌に投稿されず、ネット上で公開されただけでしたが、世界中の数学者が読み、確かめる作業を始めました。

2006年〜：確認と受賞

世界の数学者チームが、数年かけてペレルマンの論文の細かい部分をうめた解説書や論文を出しました（クライナーとロット、モーガンとティアン、曹懐東と朱熹平らのグループなど）。2006年の国際数学者会議（マドリード）で、ペレルマンはフィールズ賞に選ばれましたが、辞退したと報じられました。2010年3月にはクレイ数学研究所が、ペレルマンがミレニアム懸賞の条件を満たしたと発表しました。ペレルマンがこの賞を受け取らない意向だったと、当時報じられています。数学の業績の評価と、本人の考え方とは別のことですから、ここでは報じられた事実だけを書きます。

ポアンカレ予想はいつ・だれが解いた？

ポアンカレ予想は、2002〜2003年にグリゴリー・ペレルマンが解決しました。ペレルマンの論文は、ハミルトンが始めたリッチフローという方法と、サーストンの幾何化予想という大きな枠組みの上に立っています。クレイ数学研究所も、ペレルマンが「ハミルトンのリッチフローの理論」の上に解決したこと、ポアンカレ予想がサーストンの幾何化予想の特別な場合であることを明記しています。

証明の考え方（ざっくり）

ペレルマンの証明は、おおまかに次のような流れです。

1. 単連結な3次元の図形を用意し、そこに「長さや曲がり方のものさし」を入れる。
2. リッチフローで、ものさしを少しずつ変える。曲がりの強いところは弱まり、でこぼこがなめらかになっていく（熱が高いところから低いところへひろがり、温度がならされるのに似ています）。
3. ときどきくびれ（細い首）ができて、そこで形がつぶれそうになる。そこを切ってふさぐ「手術」をして、また流れを続ける。
4. 単連結なら、これを続けると、最後は丸い球だけが残る。つまり、もとの図形は3次元の球面だった。

ハミルトンは、1980年代から「リッチフローで3次元のポアンカレ予想を解く」という計画を進めていましたが、くびれのところで式が使えなくなる（特異点とよばれます）問題を越えられませんでした。ペレルマンは、「エントロピー」という量を新しく考え出し、くびれがどうできるかを細かくコントロールすることで、この壁を突破したとされます。

「ほんとうに正しいか」の確認

証明があまりにも長く、新しい方法を使っていたため、数学者たちは数年かけて確かめました。クライナーとロット、モーガンとティアン、曹と朱のチームなどが、ペレルマンの論文の細かいところをうめる解説書を発表し、いずれもペレルマンの証明は正しいという結論になりました。2026年10月時点で、証明は数学界で広く受け入れられています。

賞のこと

ペレルマンはフィールズ賞（2006年）に選ばれましたが、辞退したと報じられました。2010年3月にはクレイ数学研究所が、ペレルマンがミレニアム懸賞問題の条件を満たしたと発表しました。ペレルマンが賞金100万ドルを受け取らない意向を示した、と報じられています。ペレルマンはハミルトンの貢献の大きさにも言及した、とも伝えられています。受賞や辞退の理由については、さまざまな憶測が流れていますが、本人の言葉として確かめられたものは限られるため、ここでは書きません。

まだ残っている問題

ポアンカレ予想が解決しても、トポロジーの問題がなくなったわけではありません。たとえば4次元の「なめらかな」ポアンカレ予想は、2026年時点でも未解決とされています。フリードマンが解いたのは、なめらかさを問わない「位相的な」版でした。次元が上がるほど不思議な現象が出てくるのは、トポロジーのおもしろいところです。

ポアンカレ予想はなぜ難しかったのか

1. 3次元の図形は、見ることも描くこともできない

2次元の曲面なら、紙の上に描いて、手で動かして調べられます。でも3次元の図形全体は、私たちは「内側から」しか見られません。表面を外から眺めるように調べることができないのです。この「見えない」というハンディは、数学者にとって大きな壁でした。

2. 低い次元のほうが自由度が少ない

5次元以上の空間は、ひもや面を動かす余裕が多いため、絡まったひもをほどきやすくなります。3次元・4次元は、その余裕がなくて、ひもが絡まりやすいのです。だから、次元が高い問題のほうが、かえって先に解けました。

3. 「ひもで調べる」と「形を決める」の間に大きなすき間

予想が言っているのは、「ひもがちぢめられる」という簡単そうな性質から、「図形の形が決まる」という強い結論が出るということです。これは、数学の中でも大きな飛躍です。ひもの性質から形全体を決める橋をかけるのに、新しい道具――リッチフローという「時間の流れ」――が必要でした。

4. くびれ（特異点）でつぶれてしまう

リッチフローを使う方法は、1982年にハミルトンが始めてから20年以上、途中で止まっていました。流れの途中で、図形の一部が極端に細くなって、式が成り立たなくなる（特異点ができる）からです。ペレルマンの論文は、特異点の形を調べ上げて、手術によって乗りこえられることを示しました。

よくある誤解：「ポアンカレ予想は4次元宇宙の話」？

ポアンカレ予想が考えるのは、「3次元の図形」です。私たちの住む空間（たて・よこ・高さ）と同じ次元ですが、宇宙の本当の形を決める定理ではありません。宇宙の形は観測や物理の理論で調べる問題で、ポアンカレ予想は「3次元の図形がどんな形になりうるか」という数学の可能性を整理した定理です。「宇宙は球の形だと証明された」というのは誤解です。

もうひとつ、「ドーナツとマグカップが同じ」というのも、形が似ているのではなく、穴の数などの「つながり方」が同じという意味です。大きさや曲がり方は、トポロジーでは気にしません。

受験・勉強とポアンカレ予想のつながり

中学受験：立体の頂点・辺・面

中学受験の算数には、立体の頂点・辺・面の数を調べる問題があります。たとえば立方体は、頂点8個、辺12本、面6個です。$8-12+6=2$ になりますね。この関係は、穴のない立体ならいつでも成り立ちます（オイラーの多面体定理、正多面体とは）。この定理が、トポロジーの出発点でもあります。展開図の問題（立方体の展開図）も、立体を「つながり方」で見る練習になります。

中学受験・高校受験：一筆書き

一筆書きの問題は、図形を「点と線のつながり」だけで見る考え方で、トポロジーの仲間です。オイラーが解いたケーニヒスベルクの橋の問題がその始まりで、四色問題にもつながっていきます。

高校数学：球と空間図形

高校数学では、球の方程式 $x^2+y^2+z^2=r^2$、球の体積や表面積（球の体積と表面積の公式）、回転体の体積（回転体とは）を習います。ポアンカレ予想の「3次元の球面」は、この球の方程式に文字をひとつ足した式で表されます。高校の空間図形の勉強は、ポアンカレ予想を理解する下地になります。

大学入試：位相の考え方は出る？

入試でトポロジーの用語そのものが出ることは、あまりありません。ただ、「ある図形の性質は、のばしたりちぢめたりしても変わらないか」を考える問題や、多面体の頂点・辺・面の関係を使う問題は出題されています。大学の数学科では、トポロジーは基本の科目になります。

勉強法として：「次元を下げて考える」

ポアンカレ予想から学べる大事な考え方は、「むずかしい問題は、次元（条件）を下げて同じ問題を考える」ことです。3次元の問題が難しければ、まず2次元で。立体の問題が難しければ、まず平面で。入試の空間図形でも、断面図や展開図で平面にして考えるのは、まさにこの方法です。数学の勉強の進め方は数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。

自由研究にも：ドーナツとマグカップを粘土で

粘土でドーナツをつくり、ちぎらず・くっつけずにマグカップの形にしてみましょう。次に、穴が2つの「二重ドーナツ」を作って、取っ手が2つのカップにしてみましょう。穴の数が変わらないことが、手でさわって確かめられます。これは立派なトポロジーの実験です。算数の自由研究のネタとして、数学オリンピックの問題（長方形に詰めた正方形）のような図形パズルとあわせて取り組むのもおすすめです。

ポアンカレ予想が数学・社会にあたえた影響

• 幾何化予想の解決：ペレルマンの仕事は、ポアンカレ予想だけでなく、サーストンの幾何化予想も解決しました。これで、3次元の図形が何種類の基本の形でできているかが、完全に分かりました。
• リッチフローの発展：リッチフローは、数学の世界で大きな研究分野になり、物理学（一般相対性理論）や、コンピューターグラフィックス、画像処理など、形をなめらかにする技術にも関わりがあるとされます。
• 数学の研究スタイルの変化：ペレルマンの論文が、雑誌ではなくインターネットの論文サイトで公開されたことは、数学の研究の発表のしかたに大きな話題をよびました。多くの数学者が、論文を分担して検証する新しいやり方も生まれました。
• 宇宙の形の議論：宇宙全体の形がどうなっているかを考えるとき、3次元の図形の分類は基礎になります。ただし、宇宙の本当の形は、ポアンカレ予想では決まらず、観測で調べる問題です。
• ミレニアム問題の最初の解決：2000年に出された7つの問題のうち、最初に決着がついた問題として、数学の歴史に残りました。

数学者のリーマンが考えた「曲がった空間」の幾何学も、リッチフローの土台になっています。同じヒルベルトの23の問題のように、難問が数学を前に進めることを実感させてくれる問題です。算術の無矛盾性の問題やケプラー予想など、ほかの決着した難問とあわせて読むと、数学が積み上がっていくようすが見えてきます。

ポアンカレ予想に挑戦！練習問題

ポアンカレ予想と関係する数学者・難問

• ポアンカレ（予想を出した数学者）：1904年に問いかけました。位相幾何学やカオス理論でも知られます。
• ペレルマン（予想を解決した数学者）：2002〜2003年の論文で、ポアンカレ予想と幾何化予想を解決しました。
• サーストン（幾何化予想の提案者）：3次元の図形を8つの基本の形で分類する予想を出しました。
• オイラー：多面体の頂点・辺・面の関係（V−E+F）を発見し、トポロジーの先がけとなりました。
• リーマン：曲がった空間の幾何学を作り、リッチフローの土台を築きました。
• メビウス（メビウスの帯）：裏表のない曲面の例で、トポロジーの代表的な題材です。
• ケーニヒスベルクの橋の問題・四色問題・リーマン予想・ケプラー予想：形やつながり方、ミレニアム問題でつながる難問です。

ほかの解かれた難問・決着した問題

• 三大作図問題とは（不可能・決められないと証明）
  定規とコンパスだけで、円と同じ面積の正方形・体積2倍の立方体・角の三等分を作図できるか。どれも不可能と証明された
• 平行線公準の問題とは（不可能・決められないと証明）
  ほかの公理から平行線の公理を証明できるか。証明できず、成り立たない幾何学（非ユークリッド幾何学）もあると分かった
• 5次方程式の解の公式とは（不可能・決められないと証明）
  2次・3次・4次方程式のような、四則と累乗根だけの解の公式が5次方程式にもあるか。一般にはないと証明された
• ケプラー予想とは（解決）
  同じ大きさの球をいちばん密に詰める方法は、八百屋のみかんの積み方か。コンピューターで証明
• ケーニヒスベルクの橋の問題とは（解決）
  7つの橋を1回ずつ渡って元にもどれるか。できないと示し、グラフ理論が生まれた
• 四色問題とは（解決）
  どんな地図も4色でぬり分けられるか。コンピューターを使った初めての大きな証明
• 連続体仮説とは（不可能・決められないと証明）
  自然数と実数の「あいだの大きさ」の無限はあるか。今の集合論の公理からは決められないと証明された
• ABC予想とは（解決と発表・評価が分かれる）
  a＋b＝c のとき、c は abc の素因数の積よりめったに大きくならない。望月新一の証明は2021年に論文掲載、評価が分かれている

← 前の時代：連続体仮説とは（不可能・決められないと証明）　｜　次の時代：コラッツ予想とは（未解決） →

数学の難問・未解決問題の一覧（いつ・だれが解いたか）　｜　有名な数学者一覧

読みもの（合格大作戦の数学の記事）

• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• 数学オリンピックの問題（長方形に詰めた正方形）
  中学生でも解ける本番の問題
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 京大理系数学の出題分析（1999〜2026年度）
  大問別一覧と頻出分野ランキング
• フェルマーの最終定理とは？わかりやすく解説
  n＝2と3以上の違い、ワイルズの証明

よくある質問

あわせて読みたい

• 数学の難問・未解決問題の一覧
• 有名な数学者一覧
• 算数・数学の公式一覧（公式辞典）