位相幾何学は、引き伸ばしや曲げのような連続変形では保たれるが、切断や貼り合わせでは保たれない空間の性質を扱う数学の分野である。近さ、連続性、連結性といった直感的な概念を形式化し、抽象的なレベルで形や空間を比較するための言語を与える。広い概観については 位相幾何学 を参照。
基本概念
位相幾何学の中心にあるのは 位相空間 という概念である。これは、開集合と呼ばれる部分集合の集まりを備えた集合であり、和集合、共通部分、全体集合と空集合の包含に関する公理を満たす。この基本枠組みは、距離を用いずに連続性の考え方を捉える。これに関連する、より具体的な対象としては、距離によって定義される 位相空間（計量空間）や、多様体へとつながる滑らかな構造がある。
位相幾何学で扱われる主な性質と概念には次のようなものがある。
- 連続性 — 近い点を近い点へ写す写像。
- 同相 — 逆写像も連続な全単射で、二つの空間が位相的に同じであることを表す。
- 連結性 と コンパクト性 — 空間を部分に分けたり、開集合で覆ったりする仕方に対する定性的な制約。
- 収束、分離公理、位相の基底、可算性条件 — さまざまな位相的ふるまいを分類するための概念。
主要な分野
位相幾何学には、異なる手法と目的を重視する専門分野がある。
- 点集合位相（一般位相） — 位相空間の言語を整備し、連続性、コンパクト性、連結性、収束を研究する。
- 代数的位相幾何学 — ホモトピー群やホモロジー群のような代数的不変量（群、環）を空間に対応させ、穴や高次元のループのような性質を捉える。
- 微分位相幾何学 — 滑らかな多様体と滑らかな写像を研究し、滑らかな変形の下で不変な性質に注目する。
- 幾何位相幾何学・低次元位相幾何学 — 多様体上の具体的な幾何構造、結び目理論、曲面や 3 次元多様体の位相を調べる。
歴史的発展
のちに位相的と認識される考え方は、古典的な解析学と幾何学から生まれた。レオンハルト・オイラーによるケーニヒスベルクの橋の問題の解法や、19世紀の連続性と収束に関する研究が基礎を形づくった。19世紀末から20世紀初頭にかけては、リーマン、カントール、ポアンカレなどの数学者が、現代位相幾何学へとつながる概念の整理に貢献した。この分野は、集合論的な厳密定義と幾何学的直観を結びつけながら発展した。
例と図式的理解
一般に知られる「ゴムシート」のたとえは、位相の直感をよく表している。円と正方形は、連続的に変形できるので同等とみなされる一方、自己交差をもつ8の字は、切らずに単純な円へは同等ではない。より形式的な例としては、実数直線、平面、球面、トーラス（ドーナツ形）、そして幾何学的直観に挑戦する特殊な構成がある。
応用と意義
位相幾何学は数学および科学の他分野と広く結びついている。現代解析学、微分方程式、幾何学の基盤を成し、物理学や宇宙論における多様体の分類にも道具を提供する。応用面では、位相的発想がデータ解析に用いられ、トポロジカルデータ解析は高次元データの中の形を識別する。さらに、ロボティクスでは運動計画が配置空間を用いて行われ、材料科学では欠陥や相の研究に役立つ。代数的不変量は、定性的な特徴を計算可能にし、ノイズに対して頑健にする。
他分野との違いと注目点
距離や角度に依存する幾何学と異なり、位相幾何学は連続変化の下で不変な性質に焦点を当てる。そのため、幾何学的な計量が失われても、大まかな定性的不変量は残ることがあり、力強い一方で直感に反する結果も生む。この分野は今も発展を続け、純粋理論と実用的応用の境界を次第に曖昧にしている。