※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・数学の恒星群、派生分野(後半水準)。規格 §16.2 / 生産規定 §16.4 / 出典規律 §16.5 準拠。水準五〜六(専門書の入門〜中級)。
> 隣接: BOOK-0025(幾何学・かたちの学問の源流)/ BOOK-0056(3Dモデリング・オイラーの多面体公式の先行使用)/ BOOK-0077(離散数学・グラフ理論とケーニヒスベルクの橋)。専門用語は初出説明+「(水準n: 定義)」注記。
# BOOK-0089 数学派生・位相幾何学 — かたちを崩さずに変える学問(第1巻)
> 学問の宇宙・数学の恒星群、派生分野(後半水準)。規格 §16.2 / 生産規定 §16.4 / 出典規律 §16.5 準拠。水準五〜六(専門書の入門〜中級)。
> 隣接: BOOK-0025(幾何学・かたちの学問の源流)/ BOOK-0056(3Dモデリング・オイラーの多面体公式の先行使用)/ BOOK-0077(離散数学・グラフ理論とケーニヒスベルクの橋)。専門用語は初出説明+「(水準n: 定義)」注記。
---
## 入口の物語 — コーヒーカップとドーナツは「同じ」
幾何学(BOOK-0025)では、三角形の内角の和や、円の面積、直線と直線のなす角度など、「長さ」「角度」「面積」といった、物差しと分度器で測れる量を扱ってきた。二つの図形が「合同」であるとは、重ね合わせてぴったり一致することを意味し、「相似」であるとは、拡大縮小すれば重なることを意味した。いずれも、測った数値がどこまで一致するかという基準で図形を比べている。
ところが数学には、もっと大胆な発想で図形を比べる分野がある。想像してほしい。粘土でできた一つのコーヒーカップがある。取っ手が一つ付いた、ごく普通のマグカップだ。この粘土を、切ったり貼ったりせず、ただ押したり伸ばしたり曲げたりするだけで自由に変形できるとしたら、最終的にどんな形まで作り替えられるだろうか。
答えは、意外にも「ドーナツ(浮き輪のような形、専門的には**トーラス**と呼ぶ)」である。カップの本体をどんどん潰して平たい円盤にし、取っ手の部分はそのまま太い輪として残す。すると、円盤状の生地に一つだけ穴が開いた、ドーナツとまったく同じ形に行き着く。逆にドーナツから出発しても、生地の一部をこねて凹ませ、コーヒーを注げるくぼみを作れば、カップに戻せる。切ったり貼ったりを一切せず、連続的に(滑らかに、途切れることなく)変形するだけで、片方からもう片方へ行き来できる——この意味で、コーヒーカップとドーナツは「同じ形」なのだ、と考えるのが本巻のテーマ、**位相幾何学(いそうきかがく、水準五: 図形を連続的に〈切ったり貼ったりせずに〉変形しても変わらない性質だけに注目する幾何学の分野。英語ではtopology〈トポロジー〉と呼ぶ)**である。
この発想は、幾何学が大切にしてきた「長さ」「角度」を丸ごと無視する、という点で過激に見えるかもしれない。カップとドーナツでは、取っ手の長さも本体の曲がり具合もまるで違う。にもかかわらず、位相幾何学はその違いを「変形で解消できる些末な差」として切り捨て、変形してもなお残る本質——**穴の数**や**繋がり方**——だけを見つめる。本巻では、この「近さ」を距離なしで語る発想から出発し、連続・同相(コーヒーカップとドーナツの厳密な言い方)・不変量(オイラー標数・種数・連結性)・ケーニヒスベルクの橋とグラフ理論の接続・メビウスの帯とクラインの壺・基本群の入口・現代の応用(データ解析・DNAの絡み目)までを一気にたどる。
この巻で扱う言葉: 位相幾何学(水準五)・開集合・近傍(水準五)・連続写像(水準五)・同相(水準五)・オイラー標数(水準五)・種数(水準六)・連結性(水準五)・基本群(水準六)・メビウスの帯・クラインの壺(水準五)。それぞれ初出の箇所で必ず説明を添える。
---
## 第一章 「近さ」を距離なしで語る — 開集合という発想(水準五)
### 物差しを取り上げられたら、どう「近い」を語るか
幾何学では、二点の「近さ」を語るのに物差しを使う。点Aと点Bの距離が1センチメートルなら近く、10メートルなら遠い、という具合だ。しかし位相幾何学は、伸び縮みする変形を許すという立場を取る以上、この「距離」という道具そのものを一旦手放さねばならない。ゴム膜を伸ばせば1センチメートルの隔たりは10メートルにも100メートルにもなり得るからだ。距離が変わってしまう以上、距離を基準にした「近さ」の定義は、位相幾何学の土台には使えない。
では、物差しなしにどうやって「近さ」を語るのか。ここで使われるのが**開集合(かいしゅうごう、水準五: ある集合の内部にあるすべての点について、その点のまわりに〈その点を完全に含み、集合からはみ出さない〉小さな範囲がとれる、という性質を持つ集合)**という考え方である。少しかみ砕こう。平面上に丸い円盤の領域があるとする。この円盤から、境界線(ふち)そのものを除いた「内側だけ」を考えると、内側のどの点を選んでも、その点を中心にした「ごく小さい丸」を、円盤からはみ出さないように必ず描ける。境界に近づけば近づくほど、その「ごく小さい丸」は小さくせざるを得ないが、それでも常に描ける限り、この「境界を含まない円盤の内側」は開集合である。逆に境界線を含めてしまうと、境界上の点では、どんなに小さい丸を描いても必ず領域の外にはみ出してしまう部分ができるため、開集合とは呼ばない。
この「その点のまわりに、集合内に収まる小さな範囲が取れる」という性質を、ある点の**近傍(きんぼう、水準五: ある点を含み、その点の周辺の様子を調べるために考える、その点を包む小さな範囲の集合)**という言葉でも表現する。「点Aの近くにある点」を、物差しの数値ではなく「点Aを含むある開集合の中に一緒に入っている点」として定義し直す——これが位相幾何学の出発点となる発想の転換である。距離という具体的な物差しを、開集合という「集合の内と外の構造」に置き換えることで、伸び縮みしても保たれる「近さ」の概念が手に入る。
### なぜこれが「伸び縮みに強い」のか
ゴム膜を伸ばしたとき、円盤の内側の点はやはり内側のままであり、「その点を包む小さな範囲が集合内に収まる」という性質そのものは、伸び縮みによって壊れない。小さな範囲の実際の大きさ(半径何センチか)は変わっても、「収まる範囲が存在する」という事実——あるかないかという構造——は変形を通じて保存される。距離の数値は変わるが、開集合という構造は変わらない。これが、位相幾何学が「距離を使わずに近さを語る」ことに成功している理由である。
### 休憩所
位相幾何学は、距離という物差しの代わりに開集合(その点を包む小さな範囲が必ず集合内に取れる)という構造で「近さ」を語る。距離の数値は伸縮で変わっても、開集合の構造は変わらないため、ゴム膜のような連続変形に耐える土台になる。
---
## 第二章 連続写像と同相 — コーヒーカップとドーナツを数学の言葉にする(水準五)
### 連続とは何か、位相の言葉で言うと
日常語で「連続的な変化」といえば、途切れず滑らかに変わる様子を指す。位相幾何学ではこれを厳密に、**連続写像(れんぞくしゃぞう、水準五: ある図形の点を別の図形の点に対応づける規則〈写像〉のうち、近くにある点同士を対応させたとき、対応先でも近くにあり続けるという性質を持つもの)**として定義する。かみ砕けば、「入力側でわずかに動かした点は、出力側でもわずかにしか動かない」という性質だ。逆に言えば、入力側でほんの少ししか動いていない点が、出力側で突然遠くへ飛んでしまうような対応づけは、連続ではない——どこかで「切れて」しまっている。
粘土のカップをドーナツに変形する作業を思い出そう。粘土の各点は、変形の前後で「隣り合っていた点は、変形後も隣り合っている」という関係を保ち続ける。押したり伸ばしたりする操作は、まさにこの「近くの点は近くのまま」という性質を満たす連続写像の具体例なのである。逆に、粘土を途中でちぎってしまえば、ちぎれた断面のすぐ両側にあった点同士が、変形後には遠く離れてしまう——これは連続写像ではない。「切ったり貼ったりしない変形」という直感的な説明は、この「連続写像」という言葉で厳密に言い換えられる。
### 同相 — 「同じ形」の正式な定義
もう一歩進めよう。ある図形Aから図形Bへの連続写像があり、しかもその逆向き(BからAへ戻す対応)もまた連続写像になっているとき、AとBは**同相(どうそう、水準五: 二つの図形の間に、連続写像とその逆写像がともに存在し、互いに元の形へ戻せる対応がつけられる関係。英語ではhomeomorphic〈同相〉と呼ぶ)**であるという。同相であるとは、平たく言えば「行きも帰りも滑らかに変形できる」ということだ。コーヒーカップからドーナツへの変形は連続写像であり、その逆(ドーナツからカップへ)も連続写像として実現できるため、コーヒーカップとドーナツは同相である。位相幾何学は、同相な図形同士を「本質的に同じ図形」とみなして分類する学問だと言い換えることができる。
一方で、ドーナツ(穴が一つ)とボール(穴が一つもない球体)は同相ではない。ボールの表面をどれだけこねくり回しても、切ったり貼ったりせずに穴を一つ開けることはできないからだ(穴を開ける操作は、生地をちぎる=連続写像を壊す操作にほかならない)。この「穴が開けられるかどうか」という直感を、次章では数値として厳密に扱う。
### 休憩所
連続写像とは「近くの点は対応先でも近くのまま」という、切ったり貼ったりしない変形を数学的に言い換えたもの。行きと帰りの両方が連続写像で結べる図形同士を同相と呼び、位相幾何学はこの同相な図形をひとまとめに分類する。コーヒーカップとドーナツは同相、ドーナツとボールは同相ではない。
---
## 第三章 不変量 その一 — オイラー標数(水準五)
### BOOK-0056で見た公式との再会
3Dモデリング(BOOK-0056)第十二章で、立方体の頂点数V・辺数E・面数Fについて、`V − E + F = 2` という関係を検算した。これは**オイラーの多面体公式**と呼ばれ、単純な(穴の開いていない)多面体であれば形状によらず常に成り立つ関係だった。位相幾何学では、この `V − E + F` という値そのものに**オイラー標数(おいらーひょうすう、水準五: 図形を頂点・辺・面〈あるいはより高次の単体〉に分割したとき、頂点数V・辺数E・面数Fについて `V − E + F` として計算される数値。図形を細かく分割し直しても値が変わらない、位相的な不変量)**という名前をつけ、図形を分類するための**不変量(ふへんりょう、水準五: 図形を連続変形しても値が変わらない量。位相幾何学における「指紋」のような役割を果たす)**として扱う。
不変量という考え方が重要なのは、これがまさに「同相かどうかを見分ける道具」になるからだ。もし二つの図形のオイラー標数が異なれば、その二つは決して同相ではない、と即座に言い切れる。逆にオイラー標数が同じだからといって必ず同相とは限らないが(オイラー標数だけでは分類しきれない場合もある)、「違えば同相でない」という一方向の判定には強力に使える。
### 検算1: 立方体とオイラー標数
3Dモデリング巻の内容を、位相幾何学の言葉で検算し直そう。立方体は頂点8・辺12・面6を持つ。
```
χ(立方体) = V − E + F = 8 − 12 + 6 = 2
```
（χはギリシャ文字「カイ」で、オイラー標数を表す記号として広く使われる。）球体を、頂点・辺・面に分割してから同じ計算をしても(分割の仕方によらず)必ず2になることが知られている。つまり球面という「穴のない閉じた曲面」のオイラー標数は常に2である。
### 検算2: トーラス(ドーナツ形)のオイラー標数
ではドーナツ形、すなわちトーラス(とーらす、水準五: ドーナツや浮き輪のような、中央に穴が一つ開いた輪っか状の曲面)のオイラー標数はどうなるか。トーラスの表面を、頂点・辺・面の網目で分割する最も単純な例の一つは、頂点1・辺2・面1という分割である(トーラスを一枚の四角い紙の対辺同士を貼り合わせて作ると考えるとイメージしやすい。上下の辺同士、左右の辺同士をそれぞれ貼り合わせると、4つの角は1つの頂点に、上下の辺と左右の辺はそれぞれ1本の辺にまとまり、面は元の四角形1枚が残る)。
```
χ(トーラス) = V − E + F = 1 − 2 + 1 = 0
```
もう少し細かい、格子状の分割で確かめても値は変わらない。例えば頂点4・辺8・面4に分割した場合、
```
χ(トーラス) = V − E + F = 4 − 8 + 4 = 0
```
となり、やはり0になる。**分割の仕方を変えても値が変わらない**というのが不変量の名に恥じないところであり、球面のオイラー標数2とトーラスのオイラー標数0が異なることから、「球面とトーラスは同相ではない」——すなわち、球を切ったり貼ったりせずに変形してもドーナツにはできない——と数値の比較だけで断言できる。これはまさに、感覚的には当たり前に思える「球には穴がなく、ドーナツには穴がある」という違いを、厳密な計算で裏付けたことになる。
### 休憩所
オイラー標数 `χ = V − E + F` は、図形をどう分割しても変わらない位相的な不変量。球面はχ=2、トーラスはχ=0(検算1・2)。値が異なれば同相でないと断言できる、位相幾何学の基本的な「指紋」である。
---
## 第四章 種数と穴の数(水準六)
### 「穴がいくつあるか」を数値化する
トーラスに穴が一つあるのに対し、浮き輪を二つくっつけたような形(穴が二つ)や、さらに穴が三つ、四つと増えていく曲面を考えることもできる。この「穴の数」を**種数(しゅすう、水準六: 閉じた曲面にいくつの穴〈厳密には「取っ手」の数〉が空いているかを表す整数。英語ではgenus〈ジーナス〉と呼ぶ)**と呼ぶ。球面は穴が一つもないので種数0、トーラス(ドーナツ)は穴が一つなので種数1、穴が二つの曲面は種数2、というように数える。
種数とオイラー標数の間には、次の関係が成り立つことが知られている(向き付け可能な閉曲面の場合)。
```
χ = 2 − 2g (gは種数)
```
この式に球面(g=0)を当てはめると `χ = 2 − 0 = 2`、これは検算1の球面のオイラー標数2と一致する。トーラス(g=1)を当てはめると `χ = 2 − 2 = 0`、これも検算2のトーラスのオイラー標数0と一致する。
### 検算3: 種数2の曲面(穴が二つの浮き輪)
穴が二つある曲面(種数g=2)のオイラー標数を、上の式から計算してみよう。
```
χ = 2 − 2×2 = 2 − 4 = −2
```
つまり、穴が二つの曲面のオイラー標数は−2になると予想される。実際に頂点・辺・面を細かく分割して数え上げても(専門的な分割の手続きを経れば)、確かに `V − E + F = −2` になることが確認できる。オイラー標数が負の数になる、というのは一見奇妙に思えるかもしれないが、「穴が増えるほどχは2ずつ減っていく」という規則的な関係が背景にあるだけであり、計算自体に矛盾はない。
種数という一つの整数だけで、向き付け可能な閉曲面(メビウスの帯のような裏表のない曲面を除く、通常の裏表がある閉じた曲面)を完全に分類できる、というのは位相幾何学の初期の大きな達成の一つである。長さも角度も無視して、ただ「穴が何個あるか」だけを数えれば、曲面の位相的な種類がすべて言い当てられてしまう——これは、幾何学が細部にこだわる学問だとすれば、位相幾何学は骨格だけを見る学問だ、ということを象徴する結果と言える。
### 休憩所
種数gは閉曲面の穴の数を表す整数。オイラー標数との間に `χ = 2 − 2g` という関係があり、球面(g=0,χ=2)・トーラス(g=1,χ=0)・種数2の曲面(g=2,χ=−2、検算3)のように、種数が1増えるごとにχは2ずつ減る。
---
## 第五章 連結性 — 図形がひとつながりか、バラバラか(水準五)
### つながっているとはどういうことか
不変量にはオイラー標数のほかにも様々な種類がある。もっとも素朴なものの一つが**連結性(れんけつせい、水準五: 図形が一つのひとかたまりとして繋がっているか、それとも複数のバラバラな部分に分かれているかを表す性質)**である。一枚の紙は連結だが、紙を真っ二つに切り離せば、連結でない(2つの連結成分を持つ)図形になる。連続変形——切ったり貼ったりしない変形——は、連結な図形を非連結にすることも、非連結な図形を連結にすることもできない。切り離すには「切る」操作が、くっつけるには「貼る」操作が必要であり、いずれも連続写像の枠から外れるからだ。
したがって「いくつの連結成分に分かれているか」という数もまた、位相的な不変量の一つである。連結成分の数が異なれば、同相ではあり得ない。これは種数やオイラー標数よりもさらに粗い(大雑把な)分類基準だが、それだけに揺るぎなく成り立つ、もっとも基礎的な位相不変量だと言える。
### グラフの連結性とBOOK-0077との接続
離散数学(BOOK-0077)第四章で見た**グラフ(頂点と辺だけでできた、繋がりの構造を表す図)**を思い出そう。グラフにおいても「すべての頂点が、辺をたどって互いに行き来できるか」という連結性の概念が定義される。実は、グラフの連結性と、曲面の連結性は、同じ「位相的な繋がり方」という土台の上に立つ、同じ発想の異なる現れである。ケーニヒスベルクの橋の問題では、4つの陸地(頂点)がいずれも橋(辺)で行き来可能だったため、そのグラフ自体は連結だった。オイラーが問うたのは「一筆書きできるか」であって「行き来できるか」ではなかったが、そもそも行き来すらできない(非連結な)グラフでは、一筆書き以前に橋を渡る散歩道そのものが成立しない。連結性は、より複雑な問い(一筆書き・彩色・不変量の計算)を立てるための、いわば最初の前提条件を確認する作業なのである。
さらに言えば、離散数学のグラフ理論と位相幾何学は、歴史的にも深く結びついている。1736年にオイラーがケーニヒスベルクの橋の問題を「頂点と辺だけの繋がりの構造」として捉え直したという発想の転換——地図の正確な形や距離を無視し、繋がり方だけに注目する——は、まさに本巻の主題である「距離を無視して繋がり方だけを見る」という位相幾何学の精神そのものである。この意味で、オイラーの橋の問題は、位相幾何学という分野が産声を上げる、ごく初期の重要な一歩だったと位置づけられている(ただし「グラフ理論」と「位相幾何学」がそれぞれ独立した学問分野として明確に確立されるのは、オイラー以後さらに時代を経てからのことであり、オイラーの論文自体が現代的な意味での「位相幾何学」を体系的に創始したと断言することはできない点には注意したい)。
### 休憩所
連結性は「図形がひとかたまりか、バラバラか」を表す最も基礎的な位相不変量。連続変形では連結成分の数は変わらない。グラフの連結性(BOOK-0077・ケーニヒスベルクの橋)と曲面の連結性は同じ発想の異なる現れであり、オイラーが繋がり方だけに注目した発想の転換は位相幾何学の精神の先駆けとされる。
---
## 第六章 メビウスの帯とクラインの壺 — 裏表のない世界(水準五)
### 帯をひねって貼り合わせると
細長い紙のテープを用意し、両端を貼り合わせて輪にすると、ごく普通の筒状の輪ができる。この輪には表と裏の区別があり、表面にペンで線を引き続けても、裏側に移ることなく元の位置に戻ってくる。
ところが、貼り合わせる前に紙のテープを半回転(180度)ひねってから両端を貼り合わせると、まったく様子の異なる図形ができる。これを**メビウスの帯(めびうすのおび、水準五: 細長い帯を半回転ひねってから両端を貼り合わせてできる、表と裏の区別がない曲面)**と呼ぶ。メビウスの帯の表面にペンで線を引きながらなぞっていくと、一周してもとの位置に戻ってきたとき、なんと最初にペンを置いた面の「反対側」に来ている。さらにもう一周すると、ようやく最初の位置と面に戻る。つまりメビウスの帯には、表も裏もない——一枚の面が、ひねりによって表裏を接続してしまっているのだ。
メビウスの帯という名前は、19世紀ドイツの数学者アウグスト・フェルディナント・メビウス(1790年 - 1868年)にちなむ。ただし、同時期に別の数学者ヨハン・ベネディクト・リスティング(1808年 - 1882年)も独立にこの図形を研究していたと伝えられており、発見の先後関係については資料によって記述に幅がある(諸説あることを明記しておく)。このリスティングは、本巻の主題である「位相幾何学」という学問名にも深く関わる人物である。1847年頃、リスティングは自身の著作の中で、ドイツ語で「Topologie(トポロジー)」という言葉を用いたと伝えられ、これが現在の学問名の語源になったとされる(この著作の刊行年や用語の初出の厳密な文脈については、数学史の資料によって細部の記述が異なる場合があり、確実に裏付けられる大枠——19世紀半ばに「Topologie」という語が用いられ始めたこと——のみをここでは断言し、詳細な逸話は「伝聞・諸説」として扱う)。
### クラインの壺 — 裏表のない立体
メビウスの帯をさらに発展させた図形に**クラインの壺(くらいんのつぼ、水準五: 表と裏の区別がなく、内側と外側の区別もない曲面。壺の首の部分を、壺自身の内側を通り抜けさせて底に繋げるようなイメージで作られる)**がある。名前は19世紀の数学者フェリックス・クライン(1849年 - 1925年)にちなむ。壺の形をした容器の首の部分を長く伸ばし、それを壺の胴体の壁を突き抜けさせて内側から底に接続する——という説明がよくなされるが、これは私たちが暮らす三次元空間の中では、壁を実際に「突き抜けさせる」ことなしには物理的に作ることができない図形である。クラインの壺を矛盾なく実現するには四次元以上の空間が必要になる、というのが数学的な事実であり、私たちが目にする「クラインの壺の模型」は、あくまで三次元空間内での近似的な表現(どこかで表面が自己交差してしまっている)にすぎない。
メビウスの帯やクラインの壺が示しているのは、「表と裏」「内と外」という、私たちが直感的に当たり前だと思っている区別さえも、実は図形の作り方次第では成立しなくなり得る、という驚くべき事実である。位相幾何学は、こうした直感の裏をかく図形を通じて、私たちの空間認識そのものを問い直す分野でもある。
### 休憩所
メビウスの帯は帯を半回転ひねって貼り合わせた、表裏の区別がない曲面。クラインの壺は内外の区別もない曲面で、三次元空間内では自己交差なしに作れない(実現には四次元以上が必要)。リスティングが1847年頃「Topologie」という語を用いたと伝えられることが、学問名の由来とされる(詳細は諸説あり)。
---
## 第七章 基本群への入口 — 輪ゴムで穴を検知する(水準六)
### 縮められる輪、縮められない輪
図形の「穴」を、種数やオイラー標数とは別の角度から捉える道具として、**基本群(きほんぐん、水準六: 図形上のある一点から出発してその点に戻ってくる輪〈ループ〉を、連続変形で移り合えるかどうかで分類し、その分類にループを繋げる操作を組み合わせた、群〈ぐん〉と呼ばれる数学的構造を持たせたもの)**という考え方がある。本格的な定義は代数的な群論の知識を要するため次巻以降に譲るが、ここでは入口となる直感だけを掴んでおこう。
球の表面に輪ゴムを置いたとする。輪ゴムをどこに置いても、球面上を滑らせながら少しずつ縮めていけば、最終的には一点に潰すことができる。これを、球面上のどんなループも「縮められる(専門的には可縮、または自明であるという)」と表現する。
ところが、トーラス(ドーナツ)の表面に輪ゴムを置いた場合はどうか。ドーナツの穴を貫くように輪ゴムをかけると、この輪ゴムをドーナツの表面上だけを滑らせて縮めようとしても、必ず穴の部分に引っかかってしまい、どうしても一点には潰せない。この「輪ゴムが穴に引っかかって縮められない」という現象こそが、トーラスに穴があることの、また別の言い方による証拠なのである。
### 基本群という「輪ゴムの分類台帳」
基本群とは、大まかに言えば「その図形の上に置ける輪ゴムを、互いに連続変形で移り合えるものは同じグループとしてまとめ、そのグループ全体に、輪ゴム同士を繋げる〈まず一周してからもう一周する〉という操作を演算として与えた、分類のための構造」である。球面の基本群は「すべての輪ゴムが縮められる」ため、もっとも単純な(自明な)ものになる。一方トーラスの基本群は、穴を何周するか・どちらの穴をどちら向きに何周するかによって無数に異なる輪ゴムの種類が生じるため、より豊かな(複雑な)構造を持つ。
基本群が異なれば、それらの図形は同相ではない——これもまた、オイラー標数と同様に「同相かどうかを判定するための不変量」としての役割を果たす。実際、基本群はオイラー標数よりも細かく図形を見分けられる場合が多く、より強力な分類の道具として、現代の位相幾何学で中心的な役割を担っている。本巻ではこの直感的な入口までにとどめ、群という代数的構造の厳密な扱いや、より高次の不変量(ホモロジー群など)は次巻(水準七以降)に譲る。
### 休憩所
基本群は、図形上のループ(輪ゴム)を、連続変形で縮められるかどうかで分類する構造。球面ではすべてのループが縮められるが、トーラスでは穴を貫くループが縮められない。基本群が異なれば同相でないと言える、オイラー標数よりも精密な不変量である。
---
## 第八章 ポアンカレ予想 — 100年を超えて解かれた問い(水準六)
### 三次元の「球らしさ」を問う
フランスの数学者アンリ・ポアンカレ(1854年 - 1912年)は、1895年頃に発表した論文を皮切りに、位相幾何学(当時は「解析situs」というラテン語風の呼び名も使われていた)の基礎を大きく築いたことで知られる、この分野における最重要人物の一人である。ポアンカレは、図形を「穴の数」や「連結性」だけでなく、基本群のような、より精密な道具立てで分類する枠組みを整備した。
ポアンカレが投げかけた問いの一つに、次のようなものがある。「三次元の空間の中にある、閉じた・果てのない・向き付け可能な図形(三次元多様体と呼ばれる)があり、しかもその上のどんな輪ゴム(ループ)も必ず一点に縮められる(基本群が自明である)としたら、その図形は本当に三次元の球面(通常の球の表面を三次元に一段拡張したもの)と同相だと言い切れるだろうか」。この問いは**ポアンカレ予想**と呼ばれ、直感的には「当然そうだろう」と思わせながらも、厳密な証明は極めて困難であることが判明し、20世紀を通じて数学の最重要未解決問題の一つであり続けた。
### ペレルマンによる解決
この予想は、2002年から2003年にかけて、ロシアの数学者グリゴリー・ペレルマンがインターネット上に投稿した一連の論文によって、証明されたと広く認められるに至った。ペレルマンの証明は、リチャード・ハミルトンが開発した「リッチフロー」と呼ばれる、図形を熱の伝わり方に似た方程式に従って徐々に滑らかにしていく手法を土台にしたものであった。この証明は複数の数学者チームによる長期にわたる検証を経て確認され、ポアンカレ予想は解決済みの定理となった。これは、2000年にアメリカのクレイ数学研究所が発表した、7つの「ミレニアム懸賞問題」のうち、本稿執筆時点で唯一解決された問題としても広く知られている。ペレルマンはこの功績に対して数学の最高栄誉とされるフィールズ賞を授与されることが決定したが、彼は受賞を辞退したと広く報じられている。
ポアンカレ予想の解決は、19世紀末にポアンカレが投げかけた「距離を無視して繋がり方だけで図形を見分ける」という位相幾何学の根本的な問いが、100年以上の時を経て、20世紀末に開発された全く別分野(微分方程式・幾何解析)の道具によって解かれた、という点で、数学の諸分野が長い時間軸を越えて繋がり合っていることを示す象徴的な出来事として広く語られている。
### 休憩所
ポアンカレは1895年頃から位相幾何学の基礎を整備し、「基本群が自明な三次元の図形は三次元球面と同相か」というポアンカレ予想を残した。この予想は2002-2003年にペレルマンによって解決されたことが確立した事実であり、ミレニアム懸賞問題のうち唯一解決済みの問題である。
---
## 第九章 現代の応用 — データの形を読む・DNAのもつれを測る(水準六)
### トポロジカルデータ解析(TDA)の入口
位相幾何学は、20世紀末から21世紀にかけて、純粋数学の枠を超えた実用的な応用分野を切り開きつつある。その代表例が**トポロジカルデータ解析(とぽろじかるでーたかいせき、水準六: 大量のデータを点の集まりとして捉え、その点の集まりが持つ「形」——連結成分の数や穴の数といった位相的な特徴——を調べることで、データに潜む構造を見つけ出す解析手法。TDAと略される)**である。
大量のデータ(例えば、多数のセンサーから得られた測定値の組)を、高次元の空間上に散らばる点の集まりとして表現し、近くにある点同士を辺で結んでいくと、そのデータ全体が一つの「図形」として立ち現れる。この図形に、本巻で見てきたオイラー標数・連結成分の数・穴の数といった位相的な特徴を計算すると、「データにいくつの塊(クラスター)があるか」「データの中にループ状の周期的なパターンが隠れていないか」といった、従来の統計的な平均や分散だけでは見えにくかった構造が浮かび上がることがある。この手法はまだ発展途上の分野であり、具体的な適用範囲や有効性の限界については研究が進行中であるため、ここでは「位相幾何学の考え方がデータ解析の新しい道具として応用されつつある」という大枠の紹介にとどめ、個別の技術的細部への深入りは避ける。
### DNAの絡み目 — 概略
もう一つの応用分野として、生物学におけるDNAの構造の研究がある。DNAは細胞の中で、非常に長い鎖状の分子が複雑に折りたたまれ、絡まり合った状態で存在している。この「絡まり方」を数学的に扱う分野の一つに、位相幾何学の一分野である**結び目理論(むすびめりろん、水準六: 輪になったひもが、どのように絡まったり結ばれたりしているかを、連続変形しても変わらない性質によって分類する理論)**がある。DNAが複製・修復される過程で生じる絡まりやねじれを、結び目理論の枠組みを使って記述し、その絡まりを解く酵素(トポイソメラーゼと呼ばれる酵素群)の働きを理解する研究が行われていることが知られている。ただし、この分野は生物学・化学・数学が交差する専門性の高い研究領域であり、本巻では「位相幾何学の考え方が生命科学の現象の記述にも応用されている」という概略の紹介にとどめる。具体的な酵素の反応機構や、個々の研究成果の詳細については、専門の生命科学分野の資料を参照されたい(本巻の守備範囲を超えるため、未確定な細部への断定は避ける)。
### 休憩所
位相幾何学は現代において、データの塊や穴を検出するトポロジカルデータ解析(TDA)や、DNAの絡まりを記述する結び目理論のように、純粋数学を超えた応用分野にも広がりつつある。いずれも発展途上の研究領域であり、本巻では概略の紹介にとどめる。
---
## 次への一歩 — 水準七以降で待っているもの
本巻は「近さを距離なしで語る」発想から出発し、連続写像・同相・オイラー標数・種数・連結性・メビウスの帯とクラインの壺・基本群の入口・ポアンカレ予想・現代応用までを一気にたどった。次巻(水準七以降)では、基本群をより厳密な代数的対象として扱う技法、ホモロジー群という基本群よりもさらに計算しやすい不変量、多様体(空間そのものを一般化した概念)の分類理論など、専門書のさらに先の領域へと歩みを進める。位相幾何学は、幾何学(BOOK-0025)が測った「量」を手放す代わりに、離散数学(BOOK-0077)が扱った「繋がりの構造」を空間そのものにまで拡張した分野であり、両者の交わる場所に立つ学問だと言える。
---
## 章末図 — 立方体とトーラスのオイラー標数比較(ASCII)
```
[立方体] [トーラス(四角形の対辺貼り合わせで表現)]
E───────F ┌───────────────┐
╱│ ╱│ │ 上下の辺→1本の辺 │
H───────G │ │← 左右の辺→1本の辺 →│
│ │ │ │ │ 4つの角→1個の頂点 │
│ A─────│─B └───────────────┘
│╱ │╱ この四角形の上下を貼り合わせ、
D───────C さらに左右を貼り合わせるとトーラスになる
V=8, E=12, F=6 V=1, E=2, F=1
χ = 8-12+6 = 2 χ = 1-2+1 = 0
（穴なし・球面と同じ仲間） （穴が1つ・g=1）
```
---
## 章末参照文献
- Poincaré, H.『Analysis Situs』(1895年、位相幾何学の基礎を築いた初期の代表的論文とされる。本巻では年代のみを確実な範囲として記載した)
- Listing, J. B. 関連の数学史一般解説(19世紀半ばに「Topologie」の語が用いられ始めたとされる経緯。刊行年・文脈の細部は資料により記述に幅があるため、本巻では大枠のみを断定した)
- Perelman, G. のリッチフローに関するポアンカレ予想証明に関する数学史・報道の一般解説(2002-2003年の証明公開、その後の検証過程、フィールズ賞辞退の経緯を含む)
- オイラーの多面体公式・グラフ理論に関する初等的な数学史解説(→BOOK-0056第十二章・BOOK-0077第四章の記述と接続)
- トポロジカルデータ解析・結び目理論に関する一般向け科学解説(応用分野の概略紹介にとどめ、専門的細部は未確定として扱った)
# BOOK-0089 数学派生・位相幾何学 — かたちを崩さずに変える学問(第1巻)