※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・新形式パイロット第1号(v1.0・ACAD帯開設書)。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)。
> 規格: SYSTEM.md §16.4(検定・本書は学術辞書のため読者検定は枠外の史料的性格を持つが、末尾に参考四択を付す)/ §16.5(出典)/ §16.19(辞書型の作法を継承しつつ和英併記・研究者引用・現代動向を追加した新形式)/ §14.5(語彙統制)準拠。
> 接続先: BOOK-0089(数学派生・位相・第1巻/水準五〜六の物語的入門)を土台とし、専門家水準(ホモロジー・ホモトピー論・多様体・ファイバー束)まで拡張する。DIC-0001(数学算術用語辞典)と同じ「通読/逆引き」両対応の型を継承しつつ、和英併記・実在研究者名の引用・原論文年号・2026年時点の最先端動向を新規に追加した学術辞書形式である。
> **本書の新規性(既存2形式との違い)**: BOOK-0089は「コーヒーカップとドーナツ」の物語的直感の伝達を主眼とし水準六までで止まる。DIC-0001は見出し語の逆引き辞典だが和英併記・研究者引用・現代動向の記述を持たない。本書ACAD-0001はこの二つを土台にしつつ、①見出し語ごとの英語術語併記、②実在する主要研究者名と原論文・発表年の明記、③「2026年現在の知見として」と明記した現代動向、④水準一〜十二相当の階層的解説、の4点を備えた第三の形式である。
> 誇張防止規約(§16.5準拠): 最先端・未確定の記述には必ず「〜とされる」「諸説」「研究が進行中」等の直正な表現を用いる。捏造した論文・研究者名は一切使用しない。
# ACAD-0001 数学・位相幾何学 学術辞書(Topology: An Academic Dictionary)
> 学問の宇宙・新形式パイロット第1号(v1.0・ACAD帯開設書)。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)。
> 規格: SYSTEM.md §16.4(検定・本書は学術辞書のため読者検定は枠外の史料的性格を持つが、末尾に参考四択を付す)/ §16.5(出典)/ §16.19(辞書型の作法を継承しつつ和英併記・研究者引用・現代動向を追加した新形式)/ §14.5(語彙統制)準拠。
> 接続先: BOOK-0089(数学派生・位相・第1巻/水準五〜六の物語的入門)を土台とし、専門家水準(ホモロジー・ホモトピー論・多様体・ファイバー束)まで拡張する。DIC-0001(数学算術用語辞典)と同じ「通読/逆引き」両対応の型を継承しつつ、和英併記・実在研究者名の引用・原論文年号・2026年時点の最先端動向を新規に追加した学術辞書形式である。
> **本書の新規性(既存2形式との違い)**: BOOK-0089は「コーヒーカップとドーナツ」の物語的直感の伝達を主眼とし水準六までで止まる。DIC-0001は見出し語の逆引き辞典だが和英併記・研究者引用・現代動向の記述を持たない。本書ACAD-0001はこの二つを土台にしつつ、①見出し語ごとの英語術語併記、②実在する主要研究者名と原論文・発表年の明記、③「2026年現在の知見として」と明記した現代動向、④水準一〜十二相当の階層的解説、の4点を備えた第三の形式である。
> 誇張防止規約(§16.5準拠): 最先端・未確定の記述には必ず「〜とされる」「諸説」「研究が進行中」等の直正な表現を用いる。捏造した論文・研究者名は一切使用しない。
---
## 冒頭 — この学術辞書の使い方
本書は数学の一分野「位相幾何学(いそうきかがく、英語: topology、トポロジー)」を対象にした学術辞書である。通常の用語辞典(DIC-0001)や物語的入門書(BOOK-0089)とは異なり、以下の4つの要素を必ず備える。
1. **和英併記**: すべての見出し語に英語術語を併記する。国際的な文献を読む際、日本語の教科書だけでは通じない場面が多いため、最初から英語表現を身につけられるようにする。
2. **主要研究者・論文の引用**: 各概念には、それを最初に定式化した、あるいは大きく発展させた実在の研究者名と、判明している範囲での発表年・論文名を添える。捏造は行わず、不確実な部分は「〜とされる」「諸説あり」と明記する。
3. **2026年時点の最先端動向**: 各分野の末尾には、2026年現在の研究動向を「2026年現在の知見として」と明記した上で紹介する。未解決問題や発展途上の分野は、誇張せず正直にその旨を書く。
4. **階層的説明**: 既存のgakumon数学BOOK群に倣い、水準一〜十二の段階表現を用いる。水準が低いほど前提知識が少なく、水準が上がるほど専門家向けの内容になる。後の水準の説明は、必ず前の水準の言葉だけで理解できるように書く。
### 統一エントリ型
```
【見出し語(読み)/ English term/水準N】
定義: 下位水準の言葉だけで説明した簡潔な一文。
詳細解説: 歴史的背景(実在研究者・年号)+2026年現在の最先端動向(不確実な場合は正直に明記)。
関連用語・派生概念: → の形で他の見出し語への道を示す。
参考研究者・理論: 実在する人物・理論のみ(捏造禁止)。
```
### 水準の地図(本書が登る山道)
```
水準一〜二 距離を手放す 距離空間・開集合・近傍・位相空間
水準二〜三 写像で図形を繋ぐ 連続写像・同相写像・埋め込み
水準三〜四 不変量の基礎 連結性・コンパクト性・オイラー標数・種数
水準四〜五 直感の壁を壊す メビウスの帯・クラインの壺・射影平面
水準五〜六 輪ゴムで穴を測る 基本群・被覆空間・ホモトピー同値
水準六〜七 代数の道具で測る ホモロジー群・コホモロジー・チェイン複体
水準七〜八 空間そのものを一般化 多様体・接空間・微分構造
水準八〜九 分類の頂点 ポアンカレ予想・幾何化予想・リッチフロー
水準九〜十 ねじれの構造化 ファイバー束・特性類・ゲージ理論への接続
水準十〜十一 現代の応用 トポロジカルデータ解析(TDA)・持続ホモロジー
水準十一〜十二 物質の中の位相 位相的物質・量子ホール効果・位相的量子計算(未踏部類)
```
水準の数字は「これより下の言葉が分かれば読める」という順序の目印であり、優劣ではない。BOOK-0089は水準五〜六(基本群の入口とポアンカレ予想の紹介)までを扱った。本書はそこから出発し、水準十二相当まで到達する。
---
## 本体 — 見出し語エントリ
### 【位相幾何学(いそうきかがく)/ Topology / 水準一】
定義: 図形を連続的に(切ったり貼ったりせずに)変形しても変わらない性質だけに注目する、数学の一分野。
詳細解説: 「トポロジー」という語そのものの起源は、19世紀ドイツの数学者ヨハン・ベネディクト・リスティング(Johann Benedikt Listing、1808年-1882年)が1847年頃の著作でドイツ語の「Topologie」という語を用いたことに遡るとされる(この著作の正確な刊行年や用語使用の文脈細部については数学史資料によって記述に幅があり、確実に裏付けられる大枠——19世紀半ばに「Topologie」の語が使われ始めたこと——のみをここでは断定する)。より現代的な意味での位相幾何学の体系化は、フランスの数学者アンリ・ポアンカレ(Henri Poincaré、1854年-1912年)が1895年に発表した論文『Analysis Situs(位置の解析)』によって大きく進んだとされ、ポアンカレはこの分野における最重要人物の一人とされる。英語ではtopologyと呼び、ギリシャ語の「topos(場所)」と「logos(学問・言葉)」を組み合わせた語源を持つ。
2026年現在の知見として、位相幾何学は純粋数学の一分野であることを超えて、データ解析(トポロジカルデータ解析)・物性物理(位相的物質)・機械学習(トポロジカル機械学習)など、応用分野への広がりを見せている分野であるとされる。ただし本エントリで扱うのはあくまで純粋数学としての位相幾何学の骨格であり、応用分野の詳細は水準十以降の各エントリに譲る。
関連用語・派生概念: → 距離空間、→ 開集合、→ 位相空間
参考研究者・理論: リスティング(Topologieの語の使用)/ ポアンカレ(Analysis Situs、1895年)
---
### 【距離空間(きょりくうかん)/ Metric space / 水準一】
定義: 二点間の「距離」という数値を定めることで、点同士の近さを測れるようにした集合。
詳細解説: 距離空間は、位相幾何学が「距離を手放す」ための出発点として、まず「距離とは何か」を厳密に定式化した概念である。ある集合の任意の二点x, yに対して、距離d(x,y)という非負の実数を対応させる規則があり、以下の3条件を満たすとき、その集合を距離空間と呼ぶ。①d(x,y)=0となるのはx=yのときに限る(同一点の距離はゼロ、異なる点は必ず正の距離を持つ)。②d(x,y)=d(y,x)(対称性・AからBまでの距離とBからAまでの距離は等しい)。③d(x,z)≤d(x,y)+d(y,z)(三角不等式・遠回りは近道より短くならない)。
距離空間という概念の現代的な定式化は、フランスの数学者モーリス・フレシェ(Maurice Fréchet、1878年-1973年)が1906年の学位論文の中で導入したとされる。フレシェの仕事は、それまで個別に研究されていた「関数の空間」や「点の集合」を、距離という統一的な言葉で扱えるようにした点で画期的だったとされる。
2026年現在の知見として、距離空間の考え方は純粋数学の枠を超えて、機械学習における「埋め込み空間」(単語や画像を数ベクトルとして表現し、その距離で類似度を測る手法)の理論的基盤としても使われているとされる。ただし機械学習分野での応用の詳細は本書の守備範囲を超えるため、ここでは「距離空間の考え方が応用分野の土台になっている」という大枠の紹介にとどめる。
検算(自己検算): 平面上の2点(0,0)と(3,4)のユークリッド距離は `d = √(3²+4²) = √(9+16) = √25 = 5`。これは3-4-5の直角三角形の斜辺の長さと一致する(ピタゴラスの関係、既刊DIC-0001「座標」エントリ参照)。三角不等式の確認: 点(0,0)から点(3,4)までの距離5は、点(0,0)から点(1,1)を経由して点(3,4)に至る経路の距離の和(`d((0,0),(1,1))=√2≈1.414`、`d((1,1),(3,4))=√(4+9)=√13≈3.606`、合計≈5.020)より短い、すなわち`5 ≤ 5.020`が成立し、三角不等式が満たされていることが確認できる。
関連用語・派生概念: → 位相幾何学、→ 開集合、→ 位相空間、→ ユークリッド距離
参考研究者・理論: フレシェ(距離空間の定式化、1906年学位論文)
---
### 【開集合(かいしゅうごう)/ Open set / 水準一】
定義: 集合内のどの点についても、その点を中心とした小さな範囲を集合からはみ出さずに取れる、という性質を持つ集合。
詳細解説: 開集合はDIC-0001およびBOOK-0089でも扱われた基礎概念だが、本書ではこれを距離空間の言葉から出発して再構成する。距離空間において、点xを中心とした半径εの「開球(かいきゅう)」B(x,ε)={y : d(x,y)<ε}を定義できる。集合Uが開集合であるとは、Uに属するすべての点xについて、ある正の数εが存在してB(x,ε)⊆Uが成り立つことをいう。すなわち、集合の内部にある点は、その点を包む十分小さな球ごと集合の中に収まっているということである。
開集合という概念を距離空間の枠組みから抽出し、より抽象的な「位相空間」の公理として採用する、という発想の転換は、20世紀前半にドイツの数学者フェリックス・ハウスドルフ(Felix Hausdorff、1868年-1942年)が1914年の著書『Grundzüge der Mengenlehre(集合論の基礎)』で行った仕事に大きく依拠するとされる。ハウスドルフは、距離という具体的な数値を使わずに、開集合の満たすべき性質だけを公理として位相空間を定義する道を開いたとされる。
2026年現在の知見として、開集合の公理化(後述の位相空間の定義)は、現代数学のほぼ全分野——解析学・代数幾何学・微分幾何学など——で共有される基本言語になっているとされる。
関連用語・派生概念: → 距離空間、→ 位相空間、→ 近傍、→ 閉集合
参考研究者・理論: ハウスドルフ(位相空間の公理化、1914年『Grundzüge der Mengenlehre』)
---
### 【近傍(きんぼう)/ Neighborhood / 水準一】
定義: ある点を含み、その点の周辺の様子を調べるために考える、その点を包む集合。
詳細解説: 点xの近傍とは、xを内部に含む開集合(あるいは、xを内部に含むある開集合を部分集合として含む集合)のことをいう。「点Aの近くにある点」を、距離の数値ではなく「点Aを含むある開集合の中に一緒に入っている点」として定義し直すことで、伸び縮みしても保たれる「近さ」の概念が手に入る、という発想はBOOK-0089第一章でも扱われた通りである。本書ではこれを一般の位相空間の言葉で捉え直す。
2026年現在の知見として、近傍という概念は位相空間論の教科書的な基礎であり続けており、新規性のある研究対象というよりは、より高度な概念(コンパクト性・連結性・収束など)を定義するための共通基盤として機能しているとされる。
関連用語・派生概念: → 開集合、→ 位相空間、→ 収束
参考研究者・理論: ハウスドルフ(位相空間論の基礎、1914年)
---
### 【位相空間(いそうくうかん)/ Topological space / 水準二】
定義: 集合に「どの部分集合を開集合と呼ぶか」という規則(位相)を定めることで、距離を使わずに近さや連続性を語れるようにした数学的構造。
詳細解説: 位相空間は、集合Xと、その部分集合の集まりτ(タウ、開集合系と呼ばれる)の組(X, τ)として定義される。τは次の3条件を満たさなければならない。①空集合と全体集合Xがτに属する。②τに属する任意の(有限個でも無限個でも良い)集合の和集合がτに属する。③τに属する有限個の集合の共通部分がτに属する。この3条件を満たすτを「位相」と呼び、τに属する集合を「開集合」と呼ぶ。
距離空間から定義される開集合の全体は、必ずこの3条件を満たす位相になることが確認できる(距離空間は位相空間の特別な場合である、と言い換えられる)。逆に、距離を使わずに直接τを指定することで、距離の概念を持たない、より抽象的な位相空間を作ることもできる——これがハウスドルフによる公理化の核心である。
2026年現在の知見として、位相空間の公理は1914年のハウスドルフの定式化からほとんど変更されておらず、現代数学の共通言語として安定して使われ続けているとされる。一方で、位相空間の一般化(点の代わりに「層」や「トポス」を基本対象とする圏論的な一般化など)は、現代の代数幾何学・数理論理学の最前線で研究が進行中であるとされるが、これは本書の水準を大きく超える専門領域であるため、ここでは名前の紹介にとどめる。
検算(自己検算): 3条件の確認例として、実数直線ℝ上の通常の位相(開区間の和集合として得られる開集合系)を考える。開区間(0,1)と(0.5,1.5)はいずれも開集合であり、その和集合(0,1)∪(0.5,1.5)=(0,1.5)も開区間なので開集合であり条件②を満たす。共通部分(0,1)∩(0.5,1.5)=(0.5,1)も開区間なので開集合であり条件③を満たす。空集合∅と全体ℝもこの位相に属するので条件①も満たす(自己検算済み・3条件すべて具体例で確認)。
関連用語・派生概念: → 開集合、→ 距離空間、→ 閉集合、→ ハウスドルフ空間
参考研究者・理論: ハウスドルフ(位相空間の公理、1914年)
---
### 【連続写像(れんぞくしゃぞう)/ Continuous map / 水準二】
定義: ある位相空間の点を別の位相空間の点に対応づける規則のうち、対応先の任意の開集合の逆像が、常に開集合になるという性質を持つもの。
詳細解説: BOOK-0089では連続写像を「近くの点は対応先でも近くのまま」という直感的な言葉で説明したが、本書ではこれを位相空間の言葉で厳密に定式化する。写像f: X→Yが連続であるとは、Yの任意の開集合Vについて、その逆像f⁻¹(V)={x∈X : f(x)∈V}が常にXの開集合になることをいう。この定義は、距離空間における「入力側でわずかに動かした点は出力側でもわずかにしか動かない」というε-δ論法(19世紀にオーギュスタン=ルイ・コーシー(Augustin-Louis Cauchy、1789年-1857年)やカール・ワイエルシュトラス(Karl Weierstrass、1815年-1897年)らによって整備されたとされる、微分積分学の厳密化の手法)による連続性の定義と、距離空間の枠組みにおいては数学的に同値であることが証明できる。
2026年現在の知見として、連続写像の逆像による定義(位相的な連続性の定義)は、距離を持たない一般の位相空間でも連続性を語れるようにした、位相幾何学の中核をなす道具であり続けているとされる。
関連用語・派生概念: → 位相空間、→ 開集合、→ 同相写像、→ 埋め込み
参考研究者・理論: コーシー・ワイエルシュトラス(ε-δ論法の整備)/ ハウスドルフ(位相的定式化)
---
### 【同相写像(どうそうしゃぞう)/ Homeomorphism / 水準二】
定義: 二つの位相空間の間に存在する、連続でありかつ逆写像も連続であるような全単射(1対1で対応が過不足なくつく写像)。
詳細解説: 二つの図形AとBの間に同相写像が存在するとき、AとBは「同相(どうそう、homeomorphic)である」といい、位相幾何学ではこれを「本質的に同じ図形」とみなす。BOOK-0089で扱われた「コーヒーカップとドーナツは同相である」という例がその代表である。同相という関係は、反射律(自分自身とは常に同相)・対称律(AとBが同相ならBとAも同相)・推移律(AとBが同相でBとCが同相ならAとCも同相)を満たす、数学的な「同値関係」の一種になっている。この性質により、位相幾何学は図形全体を「同相類(どうそうるい)」というグループに分類する営みだと言い換えることができる。
2026年現在の知見として、二つの図形が同相かどうかを判定する一般的なアルゴリズムは、次元が低い場合(2次元・3次元の一部)には確立されているが、高次元の一般の場合には計算量的に極めて困難、あるいは決定不能であることが知られているとされる(この決定不能性の詳細は計算可能性理論と交わる専門領域であり、本書では大枠の紹介にとどめる)。
関連用語・派生概念: → 連続写像、→ 位相不変量、→ 同値関係
参考研究者・理論: ポアンカレ(同相の概念の初期の体系化)
---
### 【位相不変量(いそうふへんりょう)/ Topological invariant / 水準三】
定義: 図形を連続変形しても値が変わらない量。二つの図形が同相かどうかを判定するための道具として使われる。
詳細解説: BOOK-0089第三章・第四章・第五章で扱われたオイラー標数・種数・連結性は、いずれも位相不変量の代表例である。位相不変量の使い方の要点は「値が異なれば同相でないと断言できるが、値が同じだからといって必ず同相とは限らない」という一方向の判定力にある。これは、指紋の一致が「同一人物である可能性」を強く示唆するが、指紋のカテゴリだけでは細部までは決められないのと似た構造である。
より強力な(=より精密に図形を見分けられる)位相不変量を求める探求は、位相幾何学の歴史を貫く主題の一つである。オイラー標数(整数一つ)→連結性(整数一つ)→基本群(代数的構造、水準五で詳述)→ホモロジー群(水準六で詳述)という順に、扱う数学的構造は複雑になるが、その分だけ図形を見分ける精度は上がっていく。
2026年現在の知見として、「完全な位相不変量」(同相かどうかを完全に判定できる不変量の組)を三次元・高次元の多様体に対して具体的に構成する試みは、現在も活発な研究領域であるとされる。
関連用語・派生概念: → オイラー標数、→ 種数、→ 連結性、→ 基本群、→ ホモロジー群
参考研究者・理論: ポアンカレ(不変量による分類という発想の先駆)
---
### 【オイラー標数(おいらーひょうすう)/ Euler characteristic / 水準三】
定義: 図形を頂点・辺・面に分割したとき、`V − E + F`(頂点数−辺数+面数)として計算される、分割の仕方によらず一定の整数値。
詳細解説: オイラー標数の起源は、スイスの数学者レオンハルト・オイラー(Leonhard Euler、1707年-1783年)が18世紀に多面体について発見した関係式`V − E + F = 2`(単純な凸多面体の場合)に遡る。この式自体は「オイラーの多面体公式」として広く知られ、既刊BOOK-0056(3Dモデリングの基礎)第十二章でも扱われている。位相幾何学ではこの`V − E + F`という値そのものを一般の曲面に拡張し、χ(カイ、ギリシャ文字)という記号で表す位相不変量として体系化した。
BOOK-0089第三章で検算された通り、球面のオイラー標数はχ=2、トーラス(ドーナツ形)のオイラー標数はχ=0である。
検算(自己検算・再掲+新規): 正四面体は頂点4・辺6・面4を持つ。`χ = 4 − 6 + 4 = 2`(自己検算: 正四面体も球面と同じ位相的種類=穴のない閉曲面であるため、χ=2は正しい)。正八面体は頂点6・辺12・面8を持つ。`χ = 6 − 12 + 8 = 2`(自己検算: 正八面体も同様に穴のない凸多面体であり、χ=2で一致する。オイラー標数が多面体の具体的な形——四面体か八面体か——によらず、穴のない凸多面体であれば常に2になるという普遍性が、この2例の比較からも確認できる)。
2026年現在の知見として、オイラー標数の一般化(高次元多様体に対する「特性数」の理論)は、現代の代数トポロジー・微分幾何学において基礎的な道具であり続けているとされる。
関連用語・派生概念: → 位相不変量、→ 種数、→ ポアンカレ・ホップの定理
参考研究者・理論: オイラー(多面体公式、18世紀)/ ポアンカレ(一般の曲面への拡張の体系化)
---
### 【種数(しゅすう)/ Genus / 水準三】
定義: 閉じた曲面にいくつの穴(取っ手)が空いているかを表す整数。
詳細解説: BOOK-0089第四章で扱われた通り、種数gとオイラー標数χの間には`χ = 2 − 2g`という関係が成り立つ(向き付け可能な閉曲面の場合)。球面はg=0でχ=2、トーラスはg=1でχ=0である。
種数という整数一つだけで、向き付け可能な閉曲面を完全に分類できるという事実は、「閉曲面の分類定理」として知られる位相幾何学の初期の重要な成果である。この分類定理の厳密な証明の歴史的経緯には、19世紀後半から20世紀初頭にかけて複数の数学者(メビウス、ヨルダンなど)の貢献が積み重なったとされ、単一の論文で一挙に確立されたわけではないと考えられている(この点、証明の完成時期や寄与の配分については数学史の資料によって記述の詳細が異なるため、本書では「複数の貢献の積み重ねによって19世紀後半から20世紀初頭にかけて確立された」という大枠のみを断定する)。
検算(自己検算): 種数3の曲面(穴が3つ)のオイラー標数を`χ = 2 − 2g`の式から計算すると`χ = 2 − 2×3 = 2 − 6 = −4`。種数が1増えるごとにχが2ずつ減るという規則性(BOOK-0089第四章検算3で種数2の場合χ=−2が確認済み)から、種数3ではさらに2減って−4になるという予測と一致する。
2026年現在の知見として、種数の概念は結び目理論(水準十)における「結び目の種数」など、他分野への拡張概念としても使われ続けているとされる。
関連用語・派生概念: → オイラー標数、→ 閉曲面の分類定理、→ 結び目理論
参考研究者・理論: メビウス、ヨルダン(閉曲面の分類定理への貢献、19世紀後半)
---
### 【連結性(れんけつせい)/ Connectedness / 水準三】
定義: 図形が一つのひとかたまりとして繋がっているか、それとも複数のバラバラな部分に分かれているかを表す性質。
詳細解説: 位相空間Xが連結であるとは、Xを二つの空でない開集合の非交和(共通部分を持たない和)として表すことができない、という性質を指す(この定式化は、直感的な「一つに繋がっている」という感覚を、開集合の言葉だけで厳密に言い換えたものである)。BOOK-0089第五章で扱われた「一枚の紙は連結だが真っ二つに切ると連結でなくなる」という直感を、位相空間論の言葉で書き直したのがこの定義である。
連結性には、より強い性質として「弧状連結性(こじょうれんけつせい、path-connectedness)」というものもある。これは、空間内の任意の2点を、連続な経路(パス)で結べるという性質であり、多くの「普通の」図形では連結性と弧状連結性は一致するが、病理的な反例(位相幾何学の教科書で「くし空間」などと呼ばれる特殊な構成)では連結だが弧状連結でない空間が存在することが知られているとされる。
2026年現在の知見として、連結性は現代のグラフ理論・ネットワーク科学(BOOK-0070・BOOK-0119)における「連結グラフ」の概念とも直接つながっており、インターネットの経路網や交通網の頑健性を評価する道具としても応用されているとされる。
関連用語・派生概念: → 位相不変量、→ 弧状連結性、→ グラフの連結性(BOOK-0077)
参考研究者・理論: (連結性の位相的定式化は20世紀初頭の一般位相空間論の整備の一部として確立されたとされる)
---
### 【コンパクト性(こんぱくとせい)/ Compactness / 水準三】
定義: 図形を覆う開集合の集まりがどんなものであっても、その中から必ず有限個だけを選んで図形全体を覆いきれる、という性質。
詳細解説: コンパクト性は位相幾何学の中でもとりわけ抽象的だが強力な概念である。距離空間の枠組みでは、コンパクト性は「有界(はんい・限られた範囲に収まっている)かつ閉じている(境界を含む)」という、より直感的な条件と同値になることが知られている(ハイネ・ボレルの定理と呼ばれる)。この定理は、19世紀後半から20世紀初頭にかけて、ドイツの数学者エドゥアルト・ハイネ(Eduard Heine、1821年-1881年)とフランスの数学者エミール・ボレル(Émile Borel、1871年-1956年)らの仕事にちなんで名付けられたとされる。
たとえば、閉区間[0,1]はコンパクトだが、開区間(0,1)はコンパクトではない(境界の0や1に限りなく近づく点列を含む開集合の覆い方を工夫すると、有限個では覆いきれない構成ができる)。平面全体ℝ²も、有界でないためコンパクトではない。
コンパクト性が重要視される理由の一つは、「コンパクトな空間から実数への連続関数は、必ず最大値と最小値を持つ」という定理(最大値最小値定理)が成り立つためである。これは、既刊BOOK-0063(微分積分)で扱われた極値問題の存在保証の土台にもなっている。
2026年現在の知見として、コンパクト性の一般化(局所コンパクト性・パラコンパクト性など)は、微分幾何学・関数解析学の基礎として現在も標準的に使われ続けているとされる。
関連用語・派生概念: → 距離空間、→ 有界、→ 閉集合、→ 最大値最小値定理
参考研究者・理論: ハイネ・ボレル(ハイネ・ボレルの定理)
---
### 【閉集合(へいしゅうごう)/ Closed set / 水準二】
定義: その補集合(全体から取り除いた残り)が開集合であるような集合。
詳細解説: 閉集合は開集合の「裏返し」として定義される。境界線を含む円盤(円周も含めた円の内側)は閉集合の典型例であり、これは境界線を含まない開円盤の補集合(円の外側の全体)が開集合になっていることから確認できる。位相空間論では開集合と閉集合は表裏一体の関係にあり、片方の性質さえ公理化すればもう片方は自動的に定まる。
2026年現在の知見として、開集合と閉集合という二つの基礎概念の組は、ハウスドルフによる位相空間の公理化(1914年)以来ほとんど変更なく使われ続けており、現代数学の共通言語の一部であるとされる。
関連用語・派生概念: → 開集合、→ 位相空間、→ コンパクト性
参考研究者・理論: ハウスドルフ(位相空間の公理化、1914年)
---
### 【メビウスの帯(めびうすのおび)/ Möbius strip / 水準四】
定義: 細長い帯を半回転(180度)ひねってから両端を貼り合わせてできる、表と裏の区別がない曲面。
詳細解説: BOOK-0089第六章で扱われた通り、メビウスの帯の名は19世紀ドイツの数学者アウグスト・フェルディナント・メビウス(August Ferdinand Möbius、1790年-1868年)にちなむ。ただし同時期にドイツの数学者ヨハン・ベネディクト・リスティング(1808年-1882年、前出のTopologieの語の使用者と同一人物)も独立にこの図形を研究していたと伝えられており、発見の先後関係については資料によって記述に幅がある(諸説あることをここでも明記する)。
メビウスの帯は「向き付け不可能(オリエンタブルでない)」曲面の最も基本的な例である。向き付け可能性(むきつけかのうせい、orientability)とは、曲面上のどの経路を通っても「時計回り」と「反時計回り」の区別が一貫して保たれる、という性質を指す。メビウスの帯では、帯の一周を回る経路をたどると「時計回り」が「反時計回り」に反転してしまうため、向き付け不可能とされる。
2026年現在の知見として、メビウスの帯の構造は、純粋数学の教育教材としてだけでなく、ベルトコンベアの摩耗を両面均等にする工学的な応用(メビウス状のベルトを使うと表裏が入れ替わりながら循環するため摩耗が偏らないとされる)や、分子化学における「メビウス芳香族性」という、環状分子がメビウスの帯状にねじれた構造を持つ場合の特殊な安定性を扱う研究分野でも言及される概念であるとされる。ただし工学応用・化学応用の詳細な効果の大きさは個別の実装・実験条件に強く依存するため、本書では「メビウス状の構造が応用分野でも参照される」という大枠の紹介にとどめる。
関連用語・派生概念: → 向き付け可能性、→ クラインの壺、→ 射影平面
参考研究者・理論: メビウス、リスティング(独立発見・諸説)
---
### 【クラインの壺(くらいんのつぼ)/ Klein bottle / 水準四】
定義: 表と裏の区別がなく、内側と外側の区別もない曲面。三次元空間内では自己交差なしに実現できない。
詳細解説: BOOK-0089第六章で扱われた通り、名は19世紀ドイツの数学者フェリックス・クライン(Felix Klein、1849年-1925年)にちなむ。クラインの壺は、メビウスの帯を二つ、境界線同士で貼り合わせることによっても構成できる、という関係がある。私たちが暮らす三次元空間の中でクラインの壺を作ろうとすると、壺の首の部分を胴体の壁を突き抜けさせる必要があり、実際にはどこかで表面が自己交差してしまう近似的な模型しか作れない。数学的に矛盾なくクラインの壺を実現するには四次元以上の空間が必要である、というのが確立された事実である。
2026年現在の知見として、クラインの壺やメビウスの帯といった向き付け不可能な曲面の研究は、より高次元の非向き付け可能多様体の分類理論(水準七以降の多様体論)の入り口として、現代の位相幾何学の教科書でも標準的に扱われ続けているとされる。
関連用語・派生概念: → メビウスの帯、→ 向き付け可能性、→ 射影平面、→ 多様体
参考研究者・理論: クライン(19世紀後半のドイツ数学界における幾何学の体系化・エルランゲン目録(1872年)でも知られる人物)
---
### 【射影平面(しゃえいへいめん)/ Projective plane / 水準四】
定義: 通常の平面に、無限遠にある点(すべての平行線が集まって交わる、と考えられる仮想的な点)を付け加えて得られる、向き付け不可能な閉曲面。
詳細解説: 射影平面(実射影平面、real projective planeとも呼ばれる)は、球面の対蹠点(たいせきてん・球の中心を挟んで正反対にある2点のペア)を同一視する(同じ点とみなす)ことによっても構成できる。この構成法により、射影平面はメビウスの帯と円盤を境界線同士で貼り合わせた曲面と同相であることが示される。
射影平面という概念のルーツは、ルネサンス期の画家たちが遠近法(透視図法)を研究する中で経験的に見出した「無限遠点で平行線が交わって見える」という現象を、17世紀のフランスの数学者ジラール・デザルグ(Girard Desargues、1591年-1661年)らが射影幾何学として数学的に定式化したことに遡るとされる。射影幾何学がのちに位相幾何学的な観点(射影平面の位相不変量)から再解釈されるのは、19世紀後半以降のこととされる。
2026年現在の知見として、射影平面のオイラー標数はχ=1であることが知られており(球面χ=2、トーラスχ=0との比較で、向き付け不可能な閉曲面は向き付け可能な閉曲面とは異なるオイラー標数の系列を持つ)、この事実は閉曲面の分類定理(向き付け可能な系列と不可能な系列を統一的に扱う)の一部として現代の教科書でも標準的に扱われているとされる。
検算(自己検算): 射影平面はメビウスの帯(χ=0、境界を持つため通常の閉曲面のオイラー標数の公式とは別扱いになる点に注意)と円盤(χ=1)を境界線同士で貼り合わせて得られる。貼り合わせの際、境界の円(1つの閉じた辺・オイラー標数への寄与は貼り合わせで頂点1・辺1に潰れる分を調整する必要があるため単純な加算では出せないが)、標準的な結果として射影平面のχ=1になることは、多くの位相幾何学の教科書で確立された数値として引用されている。
関連用語・派生概念: → メビウスの帯、→ 向き付け可能性、→ オイラー標数、→ 閉曲面の分類定理
参考研究者・理論: デザルグ(射影幾何学の基礎、17世紀)
---
### 【基本群(きほんぐん)/ Fundamental group / 水準五】
定義: 図形上のある基点から出発してその点に戻ってくるループを、連続変形で移り合えるかどうかで分類し、ループを繋げる操作を演算として持たせた、群と呼ばれる代数的構造。
詳細解説: BOOK-0089第七章で扱われた「輪ゴムで穴を検知する」直感を、本書では厳密な代数的構造として定式化する。位相空間Xの基点x₀を固定し、x₀から出発してx₀に戻るループ(連続写像γ: [0,1]→X で γ(0)=γ(1)=x₀を満たすもの)全体を考える。二つのループが「ホモトピック(homotopic、連続的に移り合える)」であるとき同一視し、その同値類の集合に「まず一つのループを回り、続けてもう一つのループを回る」という連結(concatenation)を演算として定めると、この集合は群の公理(結合法則・単位元の存在・逆元の存在)を満たすことが示される。これを基本群と呼び、π₁(X, x₀)という記号で表す。
基本群という構造を明示的に導入し体系化したのはポアンカレであり、1895年の『Analysis Situs』およびその後の一連の補完論文の中で展開されたとされる。球面の基本群は自明群(単位元だけからなる群、すべてのループが縮められることに対応)であり、これをπ₁(S²)=1と書く。トーラスの基本群は、独立な2方向のループの組み合わせで生成される、より複雑な群(2つの生成元が可換な群、いわゆる自由アーベル群ℤ×ℤと同型)になることが知られている。
2026年現在の知見として、基本群は「単連結性(たんれんけつせい、simply-connectedness・基本群が自明であること)」という性質を通じて、ポアンカレ予想(水準八で詳述)の記述に不可欠な役割を果たし続けており、また現代のロボット工学における「経路計画」(障害物を避けてどのような経路が取れるかを、配置空間の位相的な性質として分析する研究)にも応用される概念であるとされる。
関連用語・派生概念: → ホモトピー同値、→ 被覆空間、→ ホモロジー群、→ 単連結性
参考研究者・理論: ポアンカレ(基本群の導入、1895年前後)
---
### 【ホモトピー同値(ほもとぴーどうち)/ Homotopy equivalence / 水準五】
定義: 二つの図形が、連続変形によって互いに「潰したり伸ばしたりして移り合える」という、同相よりも緩やかな同値関係。
詳細解説: 同相は「切ったり貼ったりせず変形できる」という関係だったが、ホモトピー同値はさらに緩やかで、たとえば次元を潰すような変形(円盤を一点に縮める、など)も許容する。ドーナツ(トーラスの表面のみ、中身は詰まっていない)と、中身の詰まった円柱の表面はホモトピー同値ではないが、円盤(2次元の詰まった円)は一点とホモトピー同値である——円盤全体を中心の一点に向かって連続的に縮めていくことができるためである。この「一点に縮められる」という性質を「可縮(かしゅく、contractible)」と呼ぶ。
ホモトピー同値な図形は、基本群を含む多くの位相不変量(ホモロジー群など)が一致することが知られている。このため、複雑な図形の不変量を計算する際、その図形とホモトピー同値な、より単純な図形に置き換えて計算するという実践的な戦略が、現代の代数トポロジーで頻繁に使われるとされる。
2026年現在の知見として、ホモトピー論(ホモトピー同値を中心とした理論体系)は、20世紀後半に「ホモトピー型理論(Homotopy Type Theory、HoTT)」という、数学の基礎付け(集合論に代わる代替的な基礎)を巡る現代的な研究分野にも接続しているとされる。これは2010年代以降、計算機科学(証明支援システム)との融合が進む発展途上の研究領域であるとされ、本書では名前の紹介にとどめる。
関連用語・派生概念: → 基本群、→ 同相写像、→ 可縮、→ ホモトピー型理論
参考研究者・理論: ポアンカレ(初期の基礎)/ ホモトピー型理論はヴォエヴォドスキー(Vladimir Voevodsky、1966年-2017年)らの2010年代の仕事とされる
---
### 【被覆空間(ひふくくうかん)/ Covering space / 水準五】
定義: ある位相空間の上に、局所的には何枚もの「シート」が重なって覆っているような構造を持つ、別の位相空間。
詳細解説: 被覆空間の身近な例は、実数直線ℝから円周S¹への写像p(x) = (cos x, sin x)である。この写像は、円周上の各点の近くを見ると、実数直線側では無限に多くの区間(周期2πごと)がそれぞれ独立に対応しており、あたかも円周の上に実数直線という「らせん階段」が何重にも巻きついて覆っているように見える。この構造を被覆空間と呼び、実数直線ℝは円周S¹の「普遍被覆(ふへんひふく、universal covering)」と呼ばれる特別な被覆空間になっている。
被覆空間の理論は、基本群と密接な関係を持つ。ある空間Xの被覆空間の分類は、Xの基本群の部分群の分類と対応することが知られており(被覆空間の理論の基本定理)、この対応関係を通じて、幾何学的な対象(被覆空間)と代数的な対象(部分群)を行き来できるようになる。この理論体系の整備には、20世紀前半の複数の数学者(特にドイツ・フランスの代数トポロジー学派)の貢献が積み重なったとされる。
2026年現在の知見として、被覆空間の理論は現代の代数トポロジーの標準的な教育内容であり続けており、物理学における「ゲージ理論」(水準九で扱う)の文脈でも、対称性の記述に関連する概念として言及されるとされる。
関連用語・派生概念: → 基本群、→ 普遍被覆、→ ホモトピー同値
参考研究者・理論: (被覆空間論は20世紀前半の代数トポロジー学派の体系化による)
---
### 【ホモロジー群(ほもろじーぐん)/ Homology group / 水準六】
定義: 図形の「穴」の構造を、次元ごとに分類して代数的な群として表現した、基本群よりも計算しやすい位相不変量。
詳細解説: 基本群は強力だが、一般に計算が難しい(非可換な群になることが多く、具体的な構造を求める手続きが複雑になりやすい)という弱点がある。ホモロジー群はこの弱点を補う、より計算しやすい不変量として発展した。ホモロジー群の考え方の起源はポアンカレの『Analysis Situs』(1895年)にまで遡るとされるが、現代的な形での厳密な代数的定式化(チェイン複体・境界作用素を用いた公理的な構成)は、20世紀前半、特に1920年代から1940年代にかけて、複数の数学者(エミー・ネーター(Emmy Noether、1882年-1935年)による代数的な視点の導入、サミュエル・アイレンベルグ(Samuel Eilenberg、1913年-1998年)とノーマン・スティーンロッド(Norman Steenrod、1910年-1971年)による公理的な体系化、1945年前後の一連の仕事)を経て確立されたとされる。
ホモロジー群は、n次元の「穴」の数を、Hₙ(X)という群として次元ごとに割り当てる。たとえばトーラスのホモロジー群は、H₀(X)=ℤ(連結成分が1つであることに対応)、H₁(X)=ℤ×ℤ(1次元の穴が独立に2種類あることに対応、経度方向と緯度方向のループ)、H₂(X)=ℤ(2次元の穴、すなわち中身が詰まっていない曲面全体を1つの「殻」として囲む構造に対応)となることが知られている。
このホモロジー群の階数(自由部分の次元数)を「ベッチ数(べっちすう、Betti number)」と呼ぶ。ベッチ数の名は、19世紀イタリアの数学者エンリコ・ベッチ(Enrico Betti、1823年-1892年)にちなむとされる。ベッチ数とオイラー標数の間には、`χ = Σ(-1)ⁿ bₙ`(各次元のベッチ数の交代和がオイラー標数に等しい)という関係があることが知られている。
検算(自己検算): トーラスのベッチ数はb₀=1, b₁=2, b₂=1である。オイラー標数を交代和の公式で計算すると`χ = b₀ - b₁ + b₂ = 1 - 2 + 1 = 0`となり、これはBOOK-0089第三章検算2で確認されたトーラスのオイラー標数χ=0(頂点・辺・面の直接計算による値)と完全に一致する。この一致は、二つの全く異なる計算方法(頂点・辺・面を数える組み合わせ論的な方法と、ホモロジー群の階数を代数的に求める方法)が同じ答えに収束するという、位相幾何学の内部整合性を示す実例になっている。
2026年現在の知見として、ホモロジー群(とその双対概念であるコホモロジー群)は、現代の代数トポロジー・代数幾何学の最も基本的な計算道具であり続けている。さらに2026年現在、この理論を有限個のデータ点の集まりに適用する「持続ホモロジー(パーシステント・ホモロジー)」の理論が、トポロジカルデータ解析(水準十で詳述)の中核技術として活発に研究・応用されているとされる。
関連用語・派生概念: → チェイン複体、→ ベッチ数、→ コホモロジー、→ 持続ホモロジー
参考研究者・理論: ポアンカレ(起源、1895年)/ ネーター(代数的視点の導入)/ アイレンベルグ・スティーンロッド(公理的体系化)/ ベッチ(ベッチ数)
---
### 【コホモロジー(こほもろじー)/ Cohomology / 水準六】
定義: ホモロジー群と双対的な関係にある、より豊かな代数的構造(積の演算)を持つ位相不変量。
詳細解説: コホモロジー群Hⁿ(X)は、ホモロジー群Hₙ(X)の「双対」として定義される(線形代数における、ベクトル空間とその双対空間の関係に類似する。既刊BOOK-0071・BOOK-0120で扱われた線形代数の考え方が、ここで再登場する)。ホモロジー群と比べたコホモロジーの大きな利点は、「カップ積(cup product)」と呼ばれる、二つのコホモロジー類を掛け合わせて新しいコホモロジー類を作る演算が定義できる点にある。この演算により、コホモロジー群の集まりは単なる群の列ではなく、環(かん、ring・足し算と掛け算の両方が定義された代数的構造)としての構造を持つようになり、ホモロジー群だけでは区別できない図形同士を、コホモロジー環の違いによって区別できる場合があるとされる。
コホモロジー理論の体系化は、1930年代から1940年代にかけて、複数の数学者(アンドレイ・コルモゴロフ(Andrei Kolmogorov、1903年-1987年)やジェームズ・アレクサンダー(James Alexander、1888年-1971年)らが独立に近い時期に関連する構成を提案したとされる)の仕事が積み重なって確立されたとされる。
2026年現在の知見として、コホモロジー理論は代数幾何学(層コホモロジーなど、より抽象化された形)・微分幾何学(ド・ラームコホモロジー、微分形式を用いた構成)・数理物理学(場の理論における異常項の記述)など、極めて広い分野で応用され続けている、現代数学の中核的な道具であるとされる。
関連用語・派生概念: → ホモロジー群、→ カップ積、→ ド・ラームコホモロジー
参考研究者・理論: コルモゴロフ・アレクサンダー(1930年代の体系化への貢献)
---
### 【多様体(たようたい)/ Manifold / 水準七】
定義: 局所的には(拡大して見れば)通常のユークリッド空間と見分けがつかないが、全体としては曲がっていたり、有限の広がりに閉じていたりする空間。
詳細解説: 多様体は位相幾何学が扱う空間そのものを一般化した概念であり、n次元多様体とは、その上のどの点の近傍も、n次元のユークリッド空間の開集合と同相になっているような位相空間のことをいう。球面は2次元多様体の代表例である——地球の表面上のどんな地点でも、十分に狭い範囲だけを見れば(拡大すれば)平らな平面と区別がつかない、という直感がこれに対応する。しかし球面全体は、平面のように無限に広がっているわけではなく、有限の面積を持ち、閉じている。
多様体の概念を体系的に定式化したのは、19世紀ドイツの数学者ベルンハルト・リーマン(Bernhard Riemann、1826年-1866年)であり、1854年の講演(教授資格取得講演、通称「リーマンの就任講演」)『幾何学の基礎をなす仮説について』の中で、後に「リーマン多様体」と呼ばれることになる考え方の原型を示したとされる。ただし、この講演で示されたのはあくまで初期の直感的な素描であり、多様体の現代的で厳密な公理的定式化(局所座標系・座標変換の滑らかさなど)は、20世紀に入ってから複数の数学者の仕事によって整備されたとされる。
多様体には、単に位相構造だけを持つ「位相多様体」と、その上でさらに微分(BOOK-0063・BOOK-0114で扱われた微分積分の概念)を定義できるようにした「微分可能多様体」の区別がある。微分可能多様体の上では、接空間(せっくうかん、tangent space・ある点における「接線・接平面」の一般化)や、リーマン計量(距離や角度を測る道具の一般化)を定義できるようになる。
2026年現在の知見として、多様体の理論は現代物理学の一般相対性理論(時空を4次元のリーマン多様体、正確には計量の符号が異なるローレンツ多様体として記述する)の数学的土台であり続けており、また高次元多様体の分類理論(水準八以降)は現在も活発な研究領域であるとされる。
関連用語・派生概念: → 位相空間、→ 接空間、→ リーマン計量、→ ポアンカレ予想
参考研究者・理論: リーマン(1854年の講演・多様体概念の原型)
---
### 【接空間(せっくうかん)/ Tangent space / 水準七】
定義: 多様体上のある一点において、その点で多様体に「接する」方向の全体を集めた、その点における局所的な一次近似の空間。
詳細解説: 球面上のある一点における接空間は、その点で球面に接する平面(接平面)として直感的にイメージできる。より一般の多様体では、接空間は「その点を通る曲線の、その点における速度ベクトルの全体」として厳密に定義される。接空間は、多様体そのものは曲がっていても、各点における接空間は通常のベクトル空間(線形代数、BOOK-0071・BOOK-0120で扱われた概念)になる、という点が重要である。これにより、曲がった空間の上でも、各点ごとに線形代数の道具(内積・線形写像など)を適用できるようになる。
接空間という考え方の起源は、微分積分学における「接線」「接平面」の概念(ニュートン・ライプニッツ以来の微分の基礎、BOOK-0063で扱われた内容)を、曲がった空間一般へと拡張したものであり、19世紀後半から20世紀初頭にかけての微分幾何学の発展(リーマン、後述のエリ・カルタン(Élie Cartan、1869年-1951年)ら)の中で整備されたとされる。
2026年現在の知見として、接空間の概念は機械学習分野における「多様体学習(manifold learning)」——高次元データが実は低次元の多様体上に分布しているという仮定のもとで、データの構造を接空間の情報を使って解析する手法——にも応用されているとされるが、この応用分野の詳細な技術的有効性については研究が進行中であり、本書では概略の紹介にとどめる。
関連用語・派生概念: → 多様体、→ 微分可能多様体、→ リーマン計量
参考研究者・理論: リーマン、カルタン(微分幾何学の体系化)
---
### 【リーマン計量(りーまんけいりょう)/ Riemannian metric / 水準七】
定義: 多様体の各点の接空間に内積を与えることで、多様体上の曲線の長さや、二つの方向のなす角度を測れるようにする道具。
詳細解説: 通常のユークリッド空間では、距離や角度はピタゴラスの定理から自然に定まるが、曲がった多様体の上では「まっすぐな物差し」を単純に当てはめることができない。リーマン計量は、各点ごとに(その点の接空間の上で)内積を定め、それを多様体全体になめらかに変化させることで、曲がった空間の上でも長さ・角度・体積を測れるようにする。この道具の名は、前出のベルンハルト・リーマンの1854年の講演にちなむ。
リーマン計量を備えた多様体を「リーマン多様体」と呼ぶ。リーマン多様体の上では、二点間の「最短経路」(測地線、そくちせん、geodesic)を定義できるようになる。地球儀の上での最短経路(大圏航路)は、地球の表面というリーマン多様体上での測地線の身近な例である。
2026年現在の知見として、リーマン計量・リーマン多様体の理論は、一般相対性理論における「時空の曲がり」の記述(アルベルト・アインシュタイン(Albert Einstein、1879年-1955年)が1915年に発表した一般相対性理論は、リーマン幾何学の枠組み——正確には計量の符号が異なるローレンツ多様体——を土台にしているとされる、既刊BOOK-0086参照)や、後述する「リッチフロー」(ポアンカレ予想の解決に使われた手法)の土台としても中核的な役割を果たしているとされる。
関連用語・派生概念: → 多様体、→ 接空間、→ 測地線、→ リッチフロー
参考研究者・理論: リーマン(1854年講演)/ アインシュタイン(一般相対性理論、1915年)
---
### 【ポアンカレ予想(ぽあんかれよそう)/ Poincaré conjecture / 水準八】
定義: 「基本群が自明な(単連結な)、閉じた三次元多様体は、三次元球面と同相であるはずだ」という、20世紀数学における最重要未解決問題の一つだった予想。
詳細解説: BOOK-0089第八章で扱われた通り、この予想はアンリ・ポアンカレが1904年頃(『Analysis Situs』の一連の補完論文の中で)に提起したとされる。予想の主張自体は、次元を下げた類似の主張(2次元の場合、単連結な閉曲面は球面と同相である、という事実)から類推すれば直感的に「当然そうだろう」と思わせるものでありながら、厳密な証明は極めて困難であることが判明し、20世紀を通じて数学の最重要未解決問題の一つとして扱われ続けた。
驚くべきことに、次元が4以上の高次元版のポアンカレ予想(一般化ポアンカレ予想)は、3次元よりも先に解決されている。5次元以上の場合はアメリカの数学者スティーヴン・スメイル(Stephen Smale、1930年- )が1961年に、4次元の場合はアメリカの数学者マイケル・フリードマン(Michael Freedman、1951年- )が1982年に、それぞれ証明したとされる。フリードマンとスメイルはこの功績によりそれぞれフィールズ賞を受賞している(フリードマンは1986年、スメイルは1966年)。皮肉なことに、最も直感に近いはずの3次元の場合が最後まで残った、という経緯がこの問題の難しさを物語っている。
2002年から2003年にかけて、ロシアの数学者グリゴリー・ペレルマン(Grigori Perelman、1966年- )がインターネット上に投稿した一連の論文により、3次元のポアンカレ予想がついに証明されたと広く認められるに至った(BOOK-0089第八章参照)。
2026年現在の知見として、ポアンカレ予想の解決は2000年にアメリカのクレイ数学研究所が発表した7つの「ミレニアム懸賞問題」のうち、本書執筆時点で唯一解決された問題であり続けているとされる。他の6問(P対NP問題、リーマン予想、ヤン・ミルズ方程式の質量ギャップ問題、ナビエ・ストークス方程式の解の存在と滑らかさ、ホッジ予想、バーチ・スウィンナートン=ダイアー予想)はいずれも2026年現在も未解決であるとされる。
関連用語・派生概念: → 基本群、→ 多様体、→ 幾何化予想、→ リッチフロー
参考研究者・理論: ポアンカレ(予想の提起、1904年頃)/ スメイル(5次元以上、1961年)/ フリードマン(4次元、1982年)/ ペレルマン(3次元、2002-2003年)
---
### 【幾何化予想(きかかよそう)/ Geometrization conjecture / 水準八】
定義: 「任意の閉じた三次元多様体は、決まった8種類の標準的な幾何構造の断片に分解できる」という、ポアンカレ予想を特別な場合として含む、より広く強い予想。
詳細解説: アメリカの数学者ウィリアム・サーストン(William Thurston、1946年-2012年)が1970年代後半に提起したとされるこの予想は、三次元多様体を分類するための壮大な枠組みを提供するものだった。三次元多様体は、球面幾何・ユークリッド幾何・双曲幾何など、決まった8種類の「標準模型」のいずれかの幾何構造を持つ断片に、決まった手続きで分解できる、という主張である。ポアンカレ予想(単連結な三次元多様体は球面と同相)は、この幾何化予想が真であれば自動的に系として導かれる、特別な場合にあたる。
グリゴリー・ペレルマンによる2002-2003年の一連の証明は、実はポアンカレ予想単体ではなく、この幾何化予想全体を証明するものだったとされる。サーストン自身はこの功績とは別の三次元多様体論への貢献により1982年にフィールズ賞を受賞している。
2026年現在の知見として、幾何化予想の解決以降、三次元多様体の分類理論は「解決済みの体系」として確立されているとされ、現在の研究の関心は四次元多様体論(3次元とは対照的に、まだ未解決の問題が数多く残っているとされる分野)へと重心が移っているとされる。
関連用語・派生概念: → ポアンカレ予想、→ リッチフロー、→ 双曲幾何
参考研究者・理論: サーストン(幾何化予想の提起、1970年代後半)/ ペレルマン(証明、2002-2003年)
---
### 【リッチフロー(りっちふろー)/ Ricci flow / 水準八】
定義: リーマン多様体の計量を、その空間の「曲がり具合(リッチ曲率)」に応じて熱の伝わり方に似た方程式に従って徐々に変形させ、より均一に滑らかにしていく手法。
詳細解説: リッチフローは、アメリカの数学者リチャード・ハミルトン(Richard Hamilton、1943年- )が1982年の論文で導入したとされる手法である。基本的な方程式は`∂g/∂t = -2Ric(g)`(計量gの時間変化が、その計量から計算されるリッチ曲率テンソルの−2倍に等しい)という形をしており、これは熱伝導方程式(既刊BOOK-0125微分方程式第2巻で扱われたフーリエの熱伝導の理論と同じ数学的な型)と類似した構造を持つ。曲がった部分の曲率を熱のように「拡散」させ、時間の経過とともに空間全体を滑らかにしていく、というイメージである。
ハミルトン自身はこの手法を使ってポアンカレ予想・幾何化予想の解決を目指したが、リッチフローの過程で生じる「特異点(曲率が発散してしまう箇所)」の扱いに関する技術的な困難を完全には解決できなかったとされる。ペレルマンの2002-2003年の証明の核心的な貢献は、この特異点の解析(特に「手術(surgery)」と呼ばれる、特異点が生じる直前に多様体を切り貼りして計算を継続する技法)を完成させた点にあるとされる。
2026年現在の知見として、リッチフローの手法は、ポアンカレ予想・幾何化予想の解決という金字塔的な成果を挙げた後も、微分幾何学における他の未解決問題(高次元での類似の幾何学的流れの研究など)への応用が引き続き研究されている、活発な研究分野であるとされる。
関連用語・派生概念: → リーマン計量、→ ポアンカレ予想、→ 幾何化予想、→ 熱方程式
参考研究者・理論: ハミルトン(リッチフローの導入、1982年)/ ペレルマン(特異点の解析・手術の技法、2002-2003年)
---
### 【ファイバー束(ふぁいばーそく)/ Fiber bundle / 水準九】
定義: ある空間(底空間)の各点に、決まった種類の別の空間(ファイバー)を貼り付け、局所的にはその積(直積)のように見えるが、大域的には捻じれていることがある構造。
詳細解説: ファイバー束の身近な例は、メビウスの帯である。メビウスの帯は、円周(底空間)の各点に、短い線分(ファイバー)を貼り付けた構造とみなせる。局所的には(円周のごく短い弧の範囲だけを見れば)円周と線分の直積(すなわち平らな帯)と見分けがつかないが、一周してくると半回転のひねりが生じている——これが「大域的には捻じれている」ということの具体例である。もしひねりが全くなければ、単なる円柱(円周×線分の直積そのもの)になる。
ファイバー束の理論の体系化は、20世紀前半、特に1930年代から1940年代にかけて、フランスの数学者エレスマン(Charles Ehresmann、1905年-1979年)や、前出のスティーンロッドらの仕事によって整備されたとされる。ファイバー束は「捻じれ」の度合いを測る道具として、後述する「特性類」という位相不変量を生み出す土台になる。
2026年現在の知見として、ファイバー束の概念は現代物理学の「ゲージ理論」(素粒子物理学の標準模型を記述する数学的枠組み)において中心的な役割を果たしているとされる。ゲージ場は、ファイバー束の上の「接続(connection)」という構造として数学的に定式化される、という対応関係が、1970年代以降の物理学と数学の交流(特に物理学者チェン・ニン・ヤン(楊振寧、1922年- )とロバート・ミルズ(Robert Mills、1927年-1999年)による1954年のヤン・ミルズ理論と、数学のファイバー束理論の関係性の再発見)を通じて明らかになったとされる。
関連用語・派生概念: → 特性類、→ 被覆空間、→ ゲージ理論
参考研究者・理論: エレスマン・スティーンロッド(ファイバー束理論の体系化)/ ヤン・ミルズ(物理学との接続、1954年)
---
### 【特性類(とくせいるい)/ Characteristic class / 水準九】
定義: ファイバー束がどれだけ「捻じれているか」を測る、コホモロジー群の要素として表現される位相不変量。
詳細解説: 特性類は、ファイバー束に対して定義される、より抽象化されたオイラー標数の親戚のような不変量である。代表的なものに「オイラー類」「チャーン類」「ポントリャーギン類」などがあり、それぞれ異なる種類のファイバー束(実ベクトル束・複素ベクトル束など)に対して定義される。チャーン類の名は、中国系アメリカ人の数学者陳省身(チャーン・シンシェン、Shiing-Shen Chern、1911年-2004年)にちなみ、1940年代の一連の仕事で体系化されたとされる。
2026年現在の知見として、特性類の理論は代数トポロジー・微分幾何学の枠を超えて、後述する「位相的物質(トポロジカル絶縁体)」の理論的記述——特にチャーン数と呼ばれる整数不変量が、電子系のバンド構造の「捻じれ」を特徴づけ、量子ホール効果におけるホール伝導度の量子化を説明する——において、物性物理学の最前線でも中心的な役割を果たしているとされる。
関連用語・派生概念: → ファイバー束、→ コホモロジー、→ 位相的物質、→ 量子ホール効果
参考研究者・理論: 陳省身(チャーン類、1940年代)
---
### 【量子ホール効果(りょうしほーるこうか)/ Quantum Hall effect / 水準十一】
定義: 極低温・強磁場下に置かれた二次元電子系において、ホール伝導度が特定の整数(あるいは特定の分数)の倍数にきわめて精密に量子化される現象。
詳細解説: 量子ホール効果は、1980年、ドイツの物理学者クラウス・フォン・クリッツィング(Klaus von Klitzing、1943年- )によって実験的に発見されたとされる(整数量子ホール効果)。この功績によりフォン・クリッツィングは1985年のノーベル物理学賞を単独受賞している。その後、分数の値に量子化される「分数量子ホール効果」も発見され(1982年、崔琦(ダニエル・ツイ、Daniel Tsui、1939年- )とホルスト・シュテルマー(Horst Störmer、1949年- )らによる実験的発見とされ、理論的説明はロバート・ラフリン(Robert Laughlin、1950年- )によって与えられたとされる)、この3名は1998年のノーベル物理学賞を共同受賞している。
整数量子ホール効果におけるホール伝導度の量子化は、電子系のバンド構造に付随する「チャーン数」(前出の特性類の一種)という位相不変量によって説明できることが、1982年、デイヴィッド・サウレス(David Thouless、1934年-2019年)らの理論的研究によって明らかにされたとされる。このチャーン数は整数値しか取れないため、ホール伝導度が不純物や欠陥の影響を受けにくい、極めて精密な整数倍(あるいは分数倍)に量子化される、という現象が位相幾何学の言葉で説明される。サウレスは、この位相的な観点からの物性物理学への貢献により、2016年のノーベル物理学賞を、ダンカン・ホールデン(Duncan Haldane、1951年- )、マイケル・コステリッツ(Michael Kosterlitz、1942年- )とともに共同受賞したとされる。
2026年現在の知見として、量子ホール効果の位相的な理解は、次項で扱う「位相的物質」全般の研究の出発点となった歴史的な成果であるとされ、位相幾何学と物性物理学が交わる分野(トポロジカル物性物理学)は2026年現在も活発な研究領域であり続けているとされる。
関連用語・派生概念: → 特性類、→ 位相的物質、→ ゲージ理論
参考研究者・理論: フォン・クリッツィング(整数量子ホール効果、1980年発見・1985年ノーベル賞)/ 崔琦・シュテルマー・ラフリン(分数量子ホール効果、1982年発見・1998年ノーベル賞)/ サウレス・ホールデン・コステリッツ(位相的理解、2016年ノーベル賞)
---
### 【位相的物質(いそうてきぶっしつ)/ Topological matter / 水準十一】
定義: 物質のバンド構造が持つ位相不変量(チャーン数など)によって、その電気的・磁気的な性質が特徴づけられる物質の総称。位相的絶縁体(トポロジカル絶縁体)がその代表例。
詳細解説: 位相的絶縁体は、物質の内部(バルク)は電気を通さない絶縁体でありながら、その表面(あるいは端)だけは金属のように電気を通す、という一見矛盾した性質を持つ物質である。この性質は、物質内部のバンド構造が持つ位相不変量が、真空(自明な位相を持つ「絶縁体」とみなせる)のそれと異なるために、境界(物質と真空の境目)で必ず「位相の不整合」を解消するための伝導状態が生じる、という位相幾何学的な理由によって説明されるとされる。
理論的な先駆けとしては、1988年にダンカン・ホールデンが、磁場を用いずに量子ホール効果に似た現象が起こりうる理論模型(「ホールデン模型」と呼ばれる)を提案したとされる。その後、2005年前後にチャールズ・ケイン(Charles Kane)とユージン・メレ(Eugene Mele)らによる理論的研究、および2007年前後の複数の実験グループによる具体的な物質(テルル化ビスマスなど)での実証を経て、位相的絶縁体という物質群の研究が本格化したとされる。
2026年現在の知見として、位相的物質の研究は、位相的超伝導体・ワイル半金属・高次位相絶縁体など多様な派生概念へと広がりを見せているとされ、これらの一部は将来的な量子コンピュータの構成要素(トポロジカル量子計算・マヨラナ粒子を利用した誤り耐性の高い量子ビットの実現など)への応用が期待されているとされるが、実用化の時期や技術的な実現可能性については研究者の間でも見解が分かれており、確立した知見とはまだ言えない発展途上の段階であることを正直に記しておく。
関連用語・派生概念: → 量子ホール効果、→ 特性類、→ 位相的量子計算
参考研究者・理論: ホールデン(理論模型、1988年)/ ケイン・メレ(理論的研究、2005年前後)
---
### 【トポロジカルデータ解析(とぽろじかるでーたかいせき)/ Topological Data Analysis(TDA)/ 水準十】
定義: 大量のデータを点の集まりとして捉え、その位相的な特徴(連結成分の数・穴の数など)を、データが存在するスケール(距離の目盛り)を連続的に変えながら追跡することで、データに潜む構造を見つけ出す解析手法。
詳細解説: BOOK-0089第九章で紹介された通り、トポロジカルデータ解析(TDA)は位相幾何学の考え方をデータ解析に応用する分野である。本書ではその中核技術である「持続ホモロジー(パーシステント・ホモロジー、persistent homology)」をより詳しく扱う。
持続ホモロジーの手続きは次のようなものである。まずデータ点の集まりに対し、点同士を結ぶ距離のしきい値εを0から徐々に大きくしていく。εが小さいうちは孤立した点ばかりだが、εを大きくするにつれて点同士が繋がり始め、やがて大きな塊(連結成分)や、輪のような構造(1次元の穴)が現れては消えていく。この「いつ現れて、いつ消えたか(εのどの範囲で存在し続けたか)」を記録したものを「パーシステンス図」または「バーコード」と呼び、長く存続した特徴(バーコードの長い棒)は、データの本質的な構造を反映している可能性が高く、短命な特徴はノイズである可能性が高い、と解釈される。
持続ホモロジーの理論的な基礎は、2000年代前半、アメリカの数学者ハーバート・エーデルズブルナー(Herbert Edelsbrunner)、デイヴィッド・レツキー(David Letscher)、アフラ・ズォマロディアン(Afra Zomorodian)らによる一連の計算幾何学の論文(2000年前後)、およびロシア出身の数学者グンナー・カールソン(Gunnar Carlsson)による2000年代後半の一連の体系化の仕事によって整備されたとされる。
2026年現在の知見として、トポロジカルデータ解析は、材料科学(結晶構造やガラスの原子配置の分類)・生物学(タンパク質の構造解析・脳のニューロンネットワークの構造解析)・時系列データ解析(周期的なパターンの検出)など、幅広い応用分野で実用化が進みつつある発展途上の技術であるとされる。ただし、高次元・大規模データに対する計算コストの高さは2026年現在も技術的な課題として残っており、この計算効率化に関する研究(近似アルゴリズム・並列計算手法の開発など)が現在も活発に進められているとされる。
関連用語・派生概念: → ホモロジー群、→ 持続ホモロジー、→ バーコード、→ 位相幾何学
参考研究者・理論: エーデルズブルナー・レツキー・ズォマロディアン(持続ホモロジーの初期の定式化、2000年前後)/ カールソン(体系化、2000年代後半)
---
### 【結び目理論(むすびめりろん)/ Knot theory / 水準十】
定義: 三次元空間内で輪になったひもが、どのように絡まったり結ばれたりしているかを、連続変形しても変わらない性質によって分類する理論。
詳細解説: 結び目理論は位相幾何学の一分野であり、BOOK-0089第九章でDNAの絡み目の文脈で紹介された。数学的には、結び目は三次元空間内の(自己交差のない)閉じた曲線として定式化され、二つの結び目が「同じ」であるとは、一方を空間内で連続的に変形(ひもを切らずに動かす)して他方に一致させられることをいう。
結び目理論の起源は、19世紀後半、イギリスの物理学者ケルヴィン卿(ウィリアム・トムソン、William Thomson, Lord Kelvin、1824年-1907年)が「原子は結び目状に絡まったエーテルの渦である」という(現在では誤りとされる)物理的仮説を提唱し、これに触発されてスコットランドの物理学者ピーター・ガスリー・テイト(Peter Guthrie Tait、1831年-1901年)が結び目の分類表(結び目の交差数ごとの一覧)を作成したことに遡るとされる。エーテル理論そのものは後に否定されたが、この過程で作られた結び目の分類の枠組みは、純粋数学の一分野として独立に発展を続けた。
結び目を区別するための不変量として、「アレクサンダー多項式」(前出のジェームズ・アレクサンダーが1928年に導入したとされる)、「ジョーンズ多項式」(ニュージーランド出身の数学者ヴォーン・ジョーンズ(Vaughan Jones、1952年-2020年)が1984年に発見したとされ、この功績により1990年のフィールズ賞を受賞している)などが知られている。ジョーンズ多項式の発見は、当初作用素環論(数理物理学に関連する抽象代数の一分野)の研究から偶然に近い形で見出されたとされ、純粋数学の異なる分野同士が予期せぬ形で結びつく好例として広く語られている。
2026年現在の知見として、結び目理論は前述のDNAのトポロジー(複製・組換えの過程での絡み目の生成と、トポイソメラーゼによる解消の記述)のほか、量子計算理論における「トポロジカル量子計算」(結び目の性質を利用して、外部からのノイズに強い量子ビットを構成しようとする理論的アプローチ)の数学的土台としても研究が進行中であるとされる。
関連用語・派生概念: → 種数(結び目の種数)、→ ジョーンズ多項式、→ 位相的量子計算
参考研究者・理論: テイト(初期の分類表、19世紀後半)/ アレクサンダー(アレクサンダー多項式、1928年)/ ジョーンズ(ジョーンズ多項式、1984年・1990年フィールズ賞)
---
### 【位相的量子計算(いそうてきりょうしけいさん)/ Topological quantum computation / 水準十二(未踏部類)】
定義: 準粒子(マヨラナ粒子など)の位相的な性質(交換・組み紐(braiding)の履歴)を利用して量子情報を符号化し、局所的なノイズに対して原理的に頑健な量子ビットを実現しようとする、理論段階の量子計算方式。
詳細解説: 位相的量子計算の理論的な提案は、1997年、ロシア出身の物理学者アレクセイ・キタエフ(Alexei Kitaev、1963年- )による一連の論文に遡るとされる。この方式のアイデアは、量子ビットの情報を、単一の粒子の内部状態としてではなく、複数の準粒子(エニオン、anyonと呼ばれる、通常のボース粒子・フェルミ粒子とは異なる統計に従う準粒子)が空間内をどのように「組み紐(braiding)」を描いて交換されたか、という大域的な(局所的な擾乱では容易に変化しない)位相的・トポロジカルな情報として符号化する点にある。この「組み紐」の記述そのものが、前述の結び目理論・基本群と数学的に深く関連しているとされる。
2026年現在の知見として、位相的量子計算はいまだ理論と実験の両面で発展途上の段階にある——エニオンの一種とされる「マヨラナ粒子」(1937年にイタリアの物理学者エットーレ・マヨラナ(Ettore Majorana、1906年-没年不詳)が理論的に予言した、自分自身が反粒子でもある特殊な粒子)を固体物理系(超伝導体とナノワイヤの接合系など)で実現し、その存在を確定的に実証する試みは、2010年代から2020年代にかけて複数の実験グループによって報告されてきたが、観測結果の解釈や再現性を巡る議論が継続しており、2026年現在の時点で「決定的な実証が確立された」と断言できる段階には至っていない、という点を正直に記す必要がある。本書はこの分野を「本書の水準地図における最先端・未踏部類」として位置づけ、確立した数学的土台(結び目理論・基本群・組み紐群)と、実験的に係争中の物理的実証の状況を明確に区別して紹介する。
関連用語・派生概念: → 結び目理論、→ 位相的物質、→ 基本群
参考研究者・理論: キタエフ(理論提案、1997年)/ マヨラナ(マヨラナ粒子の理論的予言、1937年)
---
## 章末 — 水準別索引
```
水準一: 位相幾何学・距離空間・開集合・近傍
水準二: 位相空間・連続写像・同相写像・閉集合
水準三: 位相不変量・オイラー標数・種数・連結性・コンパクト性
水準四: メビウスの帯・クラインの壺・射影平面
水準五: 基本群・ホモトピー同値・被覆空間
水準六: ホモロジー群・コホモロジー
水準七: 多様体・接空間・リーマン計量
水準八: ポアンカレ予想・幾何化予想・リッチフロー
水準九: ファイバー束・特性類
水準十: トポロジカルデータ解析・結び目理論
水準十一: 量子ホール効果・位相的物質
水準十二(未踏部類): 位相的量子計算
```
## 章末 — 関連語ネットワーク(ASCII図・抜粋)
```
距離空間 → 開集合 → 位相空間 → 連続写像 → 同相写像
│
├→ 位相不変量 ┬→ オイラー標数 → 種数
│ ├→ 連結性
│ └→ コンパクト性
│
├→ 基本群 ┬→ ホモトピー同値
│ └→ 被覆空間
│
├→ ホモロジー群 → コホモロジー
│ │
│ └→ (現代応用)→ 持続ホモロジー → TDA
│
├→ 多様体 → 接空間 → リーマン計量 → リッチフロー → ポアンカレ予想/幾何化予想
│
└→ ファイバー束 → 特性類 ┬→ 量子ホール効果 → 位相的物質 → 位相的量子計算
│
メビウス・クライン・射影平面 ┘（向き付け不可能の系譜）
結び目理論 ←（種数・アレクサンダー/ジョーンズ多項式）← 位相的量子計算（組み紐）
```
## 章末参照文献(§16.5準拠・PD/確立知識のみ)
- Poincaré, H.『Analysis Situs』(1895年、および1899-1904年の一連の補完論文。基本群・ポアンカレ予想の起源とされる)
- Listing, J. B. 関連の数学史一般解説(1847年頃「Topologie」の語の使用に関する経緯。刊行年・文脈の細部は資料により記述に幅があるため大枠のみ断定)
- Hausdorff, F.『Grundzüge der Mengenlehre』(1914年、位相空間の公理化)
- Fréchet, M. の1906年学位論文に関する数学史一般解説(距離空間の定式化)
- Riemann, B. の1854年講演『幾何学の基礎をなす仮説について』に関する数学史一般解説(多様体概念の原型)
- Hamilton, R. のリッチフローに関する1982年論文についての数学史一般解説
- Perelman, G. のリッチフローに関するポアンカレ予想・幾何化予想証明に関する数学史・報道の一般解説(2002-2003年)
- Thurston, W. の幾何化予想(1970年代後半)に関する数学史一般解説
- von Klitzing, K. の整数量子ホール効果発見(1980年)・ノーベル物理学賞(1985年)に関する一般解説
- Tsui, D./Störmer, H./Laughlin, R. の分数量子ホール効果(1982年発見)・ノーベル物理学賞(1998年)に関する一般解説
- Thouless, D./Haldane, D./Kosterlitz, M. の位相的物性理論・ノーベル物理学賞(2016年)に関する一般解説
- Kane, C./Mele, E. の位相的絶縁体の理論的研究(2005年前後)に関する一般解説
- Kitaev, A. の位相的量子計算の理論提案(1997年)に関する一般解説
- Jones, V. のジョーンズ多項式発見(1984年)・フィールズ賞(1990年)に関する一般解説
- Edelsbrunner, H./Zomorodian, A./Carlsson, G. らの持続ホモロジー・トポロジカルデータ解析に関する一般解説(2000年代)
- BOOK-0089(数学派生・位相・第1巻)・BOOK-0056(3Dモデリングの基礎)・BOOK-0063/0114(微分積分)・BOOK-0071/0120(線形代数)・BOOK-0077(離散数学)・BOOK-0086(相対論)・BOOK-0125(微分方程式第2巻)・DIC-0001(数学算術用語辞典)— いずれもgakumon既刊、本書内の相互参照先
---
## 付録 — 参考四択(本書は学術辞書のため読者検定の対象外・史料的性格。理解確認用の参考問題として付す)
以下は読者自身の理解確認のための参考問題であり、通常のBOOK帯quiz(§16.4)のような公式検定の対象ではない。正答は各設問の直後に括弧で示す(公開版として鍵を分離する必要がある場合は、別途quiz_public/answersのペアをBOOK帯規約に準じて生成できる)。
1. 球面のオイラー標数はいくつか。 A.−2 B.0 C.1 D.2 → 正答D(本文「オイラー標数」エントリの検算参照、χ=2)
2. トーラスの種数はいくつか。 A.0 B.1 C.2 D.3 → 正答B(トーラスは穴が1つ、g=1)
3. ポアンカレ予想を証明したとされる数学者は誰か。 A.ハミルトン B.サーストン C.ペレルマン D.スメイル → 正答C(2002-2003年、ハミルトンのリッチフロー・サーストンの幾何化予想を土台に完成)
4. 量子ホール効果を1980年に実験的に発見したのは誰か。 A.フォン・クリッツィング B.ラフリン C.ホールデン D.サウレス → 正答A(1985年ノーベル物理学賞受賞)
5. メビウスの帯とクラインの壺に共通する性質は何か。 A.コンパクトである B.向き付け不可能である C.単連結である D.オイラー標数が2である → 正答B(いずれも表裏または内外の区別がない曲面)
# ACAD-0001 数学・位相幾何学 学術辞書(Topology: An Academic Dictionary)