ホモロジー (数学)

数学、とくに代数的位相幾何学や抽象代数学において、**ホモロジー**（）は、与えられた数学的対象（位相空間や群など）に対してアーベル群や加群の列を対応させる一連の手続きを指す。直感的には、その対象に含まれる「穴」の数や、空間の「ねじれ」（torsion）といった位相的な情報を、代数的な不変量として取り出す手法である。ホモロジーの名は「同一である」ことを意味するギリシャ語のホモス（）に由来する。本記事では、ホモロジーの基本的な概念と、幾何学および代数学における主要な理論（単体的、特異、胞体的など）の相互関係について概説する。個々の理論のより詳細な構成や証明については、特異ホモロジーやホモロジー代数学、群コホモロジーなどの各専門記事を参照されたい。

位相空間に対して、ホモロジー群はホモトピー不変性（連続的な変形によって変化しない性質）を持ち、一般にホモトピー群よりも計算が容易である。そのため、空間の形状を分類し、その特徴を記述するための強力な道具として広く用いられる。

## ホモロジー群の定義と構成
ホモロジー群は、数学的対象から抽出されたチェイン複体（chain complex）をもとに、代数的な手続きを経て構成される。

### 鎖複体による定式化
数学的対象、たとえば位相空間  が与えられたとき、まず  の情報を抽出したチェイン複体 () を構成する。チェイン複体はアーベル群や加群 0, 1, 2, ... を**境界作用素**とよばれる群準同型 ∂: *C<sub>n</sub>* → -1 でつないだもの
: \dotsb\overset{\partial_{n+1}}{\longrightarrow\,}C_n
\overset{\partial_n}{\longrightarrow\,}C_{n-1}
\overset{\partial_{n-1}}{\longrightarrow\,}
\dotsb
\overset{\partial_2}{\longrightarrow\,}
C_1
\overset{\partial_1}{\longrightarrow\,}
C_0\longrightarrow 0,
である。ただし、0 は自明な群を表し、*i* i* ≡ 0 と定義する。

さらに、境界作用素 2 つの合成はいつでも 0 であるという要求も付け加える。つまり、すべての  に対して、

:<math> \partial_n \circ \partial_{n+1} = 0 </math>

であるとする。右辺の 0 は群 <sub>-1</sub> の単位元への定数写像を意味する。このことは im(∂<sub>+1</sub>) ⊆ ker(∂<sub></sub>) を意味する。

幾何学的には、この条件 <math>\partial \circ \partial = 0</math> は「*'境界の境界は存在しない**（空である）」という直感的な事実に対応している。例えば、中身の詰まった三角形（2次元単体）の境界をとると、その周囲を一周する閉じた折れ線（1次元単体の和）が得られる。この折れ線は閉じており、端点（境界）を持たないため、さらに境界をとると 0 になる。

いま、各 ''C<sub>n</sub>'' はアーベル群なので、im(∂<sub>+1</sub>) は ker(∂<sub></sub>) の正規部分群である。さらに、この部分群を無視して考えたい。つまり、その差が im(∂<sub>+1</sub>) に属するような 2 つの元は同値とみなし、ker(∂<sub></sub>) をその同値関係で分割するのである。** の  次ホモロジー群** を[[剰余群]]（あるいは[[群 (数学)#剰余類・剰余群|剰余加群]]）

: () = ker(∂<sub></sub>) / im(∂<sub>+1</sub>)

によって定義する。また、ここでは ker(∂<sub></sub>) = () と書き、im(∂<sub>+1</sub>) = () と書く。すると、

: () = () / ()

である。ホモロジー群の元を**ホモロジー類**という。

また、理論的な記述を簡素化するために、**被約ホモロジー群**（reduced homology group, <math>\tilde{H}_n(X)</math>）が用いられることも多い。これは通常のチェイン複体に対して、0次の項 <math>C_0</math> から整数群 <math>\mathbb{Z}</math> への付加的な境界作用素 <math>\epsilon: C_0 \to \mathbb{Z}</math> （各生成元を1に移す写像）を付け加えた
: <math> \dotsb \longrightarrow C_1 \xrightarrow{\partial_1} C_0 \xrightarrow{\epsilon} \mathbb{Z} \to 0 </math>
という増強された複体のホモロジーとして定義される。これにより、一点空間のホモロジー群がすべての次数で 0 となるように調整される（通常のホモロジーでは0次が <math>\mathbb{Z}</math> となる）。

この代数的な定義には、以下のような幾何学的意味がある。

; サイクル (<sub></sub>)
: 境界作用素で 0 になる要素（∂ ''c'' = 0）。これは端点や縁を持たない「閉じた」図形を表す（例：円周、閉曲面）。
; バウンダリ (<sub></sub>)
1つ上の次元の要素の境界となっている要素（''c'' = ∂ d）。これは内部が「埋まっている」図形の縁を表す（例：円板の縁としての円周）。
; ホモロジー群 (<sub></sub>): 「閉じた図形」全体を、「中身が詰まった図形の縁」で割ったもの。すなわち、「閉じているが、何かの縁にはなっていない（中身が詰まっていない）もの」を検出しており、これが直感的な「穴」に対応する。

また、2つのサイクル ''z''<sub>1</sub>, ''z''<sub>2</sub> の差がバウンダリである（''z''<sub>1</sub> - ''z''<sub>2</sub> ∈ <sub></sub>）とき、この2つは**ホモロガス**（homologous、同調）であるといい、<math>z_1 \sim z_2</math> と書く。幾何学的には、2つの閉じた図形が「膜」でつながり、連続的に移りあえる状態（穴の周りを回る回数が同じ状態など）を指す。

上の 2 つの群 () と () は巨大な群であることが多く計算は難しい一方で、その商であるホモロジー群 () を計算するには、さまざまな道具がある。

== 主要なホモロジー理論 ==
空間の構成方法や対象とする圏に応じて、いくつかの異なるホモロジー理論が存在する。代表的なものとして以下の理論が挙げられる。

; [[単体的ホモロジー]]
: [[複体|単体複体]]  に対して定義される。 の向き付けられた  次元[[単体 (数学)|単体]]を生成元とする[[自由アーベル群]] <math>C_n(X)</math> を考える。境界写像 <math>\partial_n</math> は、（頂点に順序が入れられた）単体 <math>\sigma = (v_0, v_1, \dots, v_n)</math> に対して
:: <math> \partial_n(\sigma) = \sum_{i=0}^n (-1)^i(v_0, \dots, \hat{v}_i, \dots, v_n) </math>
: と定義される。ここで <math>\hat{v}_i</math> は頂点 <math>v_i</math> を取り除くことを意味する。直感的には、 の  次元ホモロジー群の階数は  の  次元の「穴」の数に対応する。

; [[特異ホモロジー]]
: 任意の[[位相空間]]  に対して定義される。チェイン群 <math>C_n(X)</math> の生成元として、標準的な  次元単体 <math>\Delta^n = \{(t_0, \dots, t_n) \in \mathbb{R}^{n+1} \mid \sum t_i = 1, t_i \ge 0\}</math> から  への[[連続写像]] <math>\sigma: \Delta^n \to X</math> （特異単体）全体をとることで定義される。単体複体などのよい性質を持つ空間については単体的ホモロジー群と一致する。

; 
:[[CW複体]]（胞体複体）に対して定義される。
: 次元胞体（ 次元円板 <sup></sup>）の個数を階数とする自由アーベル群をチェイン群 <math>C_n^{CW}(X)</math> とする。このとき、境界作用素 <math>\partial_n</math> は、胞体の接着写像（attaching map）の[[写像度]]を用いて代数的に決定できるという特徴を持つ。
: 具体的には、<math>n</math> 次元胞体 <math>e_\alpha^n</math> の境界が、<math>(n-1)</math> 次元胞体 <math>e_\beta^{n-1}</math> にどれだけ巻き付いているかを表す整数（すなわち、接着写像と商写像の合成 <math>S^{n-1} \to X_{n-1} \to S^{n-1}</math> の写像度）<math>d_{\alpha\beta}</math> を係数として、
:: <math>\partial_n(e_\alpha^n) = \sum_\beta d_{\alpha\beta} \, e_\beta^{n-1}</math>
: という公式で計算される。単体的ホモロジーと比較して生成元の数を減らせるため、具体的な空間の計算においては標準的な手法となる。

=== 相対ホモロジー ===
位相空間  とその部分空間  の組 (, ) に対して定義される相対ホモロジー群 <sub>n</sub>(, ) は、トポロジーにおいて重要な役割を果たす。直感的には、「 を一点に押しつぶした空間」のホモロジーに近い情報を与える。

定義としては、まずチェイン複体のレベルで剰余群をとる。すなわち、相対チェイン群を
: <math> C_n(X, A) = C_n(X) / C_n(A) </math>
と定義する。境界作用素 ∂ はこの剰余群上にも自然に定義されるため、この複体から得られるホモロジー群を相対ホモロジー群と呼ぶ。
相対ホモロジーにおいては、サイクル（相対サイクル）とは「その境界がすべて部分空間  の中に含まれてしまっている（したがって  全体としては閉じていないように見える）もの」を指す。また、相対ホモロジー類としては、あるサイクルが  内の膜の境界となるとき、その膜の縁の一部が  に含まれていてもよい（ の中での変形や移動を無視する）とみなされる。

== 基本的な性質 ==
=== ホモロジーとホモトピー群の比較 ===
位相空間の不変量としては、ホモロジー群の他に[[ホモトピー群]] π<sub>n</sub>() が有名である。両者は密接に関係しているが（フレヴィッツの定理など）、以下のような対照的な特徴を持つ。

* ホモロジー群は常に[[アーベル群]]（可換群）であるのに対し、ホモトピー群はn=1（基本群）のとき一般に非可換である。ホモロジーは、空間の情報を「可換な範囲」で粗く捉えたものと言える。
* ホモロジー群は、マイヤー・ヴィートリス完全系列や胞体分割を用いることで、比較的容易に計算できる。一方、ホモトピー群の計算は極めて困難である。



=== 次数と空間の次元 ===
ホモロジー群の次数（degree） と、対象となる空間  の次元（dimension） の間には、一般に以下の関係が成り立つ。

*  次元の単体複体や  次元多様体  においては、 次より高い次数のホモロジー群は消滅する。
*: <math>H_k(X) = 0 \quad (k > n)</math>
* ホモロジー群を利用することで、ユークリッド空間の次元の違いを証明できる。例えば、<math>\mathbb{R}^m</math> と <math>\mathbb{R}^n</math> が同相である（位相的に同じとみなせる）ならば、= でなければならない。これは、一点を除いた空間 <math>\mathbb{R}^n \setminus \{0\}</math> が -1 次元球面 <math>S^{n-1}</math> とホモトピー同値であり、そのホモロジー群が  によって異なることから導かれる。

=== ホモロジー関手とホモトピー不変性 ===
チェイン複体 <math>(d_n \colon A_n \rightarrow A_{n-1})</math> からチェイン複体 <math>(e_n \colon B_n \rightarrow B_{n-1})</math> への射を、準同型の列 <math> f_n\colon A_n \rightarrow B_n </math> であって任意の  に対して <math>f_{n-1} \circ d_n = e_{n} \circ f_n </math> が成立するようなものとして定義する。このようにしてチェイン複体は[[圏 (数学)|圏]]をなす。 次元ホモロジー群  はチェイン複体の圏からアーベル群（あるいは加群）の圏への共変[[関手]]であるとみなせる。

チェイン複体が対象  に共変的に依存するものとする（つまり、任意の射  →  は  のチェイン複体から  のチェイン複体への射を誘導するものとする）。このとき、 は  が属している圏からアーベル群（あるいは加群）の圏への共変[[関手]]である。

位相空間論においては、2つの連続写像 , :  →  が[[ホモトピー|ホモトピック]]であるならば、それらが誘導するチェイン複体の間の射 <math>f_\#, g_\#</math> はとなり、結果としてホモロジー群の間には同一の準同型写像
: <math>f_* = g_* \colon H_n(X) \to H_n(Y)</math>
が誘導される。この事実により、ホモロジー群は空間の[[ホモトピー同値]]不変量となる。

一方、[[コホモロジー]]群  は、対象  に対して**反変**的に依存する。すなわち、射 :  →  に対して、コホモロジー群の間には逆向きの準同型
: <math>f^* \colon H^n(Y) \to H^n(X)</math>
が誘導される（引き戻し）。したがって、コホモロジー群は ''X'' の属する圏からアーベル群の圏への反変[[関手]]となる。

=== 完全系列と計算手法 ===
チェイン複体の任意の[[短完全列]]
: 0 →  →  →  → 0
はホモロジー群の[[長完全列]]
:<math> \cdots \rightarrow H_n(A) \rightarrow H_n(B) \rightarrow H_n(C) \rightarrow H_{n-1}(A) \rightarrow H_{n-1}(B) \rightarrow H_{n-1}(C) \rightarrow H_{n-2}(A) \rightarrow \cdots. \,</math>
を生み出す。この長完全列での一連の写像は、[[蛇の補題]]により与えられる**連結準同型** <math>H_n(C) \rightarrow H_{n-1}(A)</math> を例外として、チェイン複体の間の写像から誘導されたものである。

空間  を2つの開集合  の和集合（ =  ∪ ）として表したとき、それらのホモロジー群の間には[[マイヤー・ヴィートリス完全系列]]と呼ばれる以下の長完全列が存在する。
:<math> \cdots \rightarrow H_n(U \cap V) \xrightarrow{\Phi} H_n(U) \oplus H_n(V) \xrightarrow{\Psi} H_n(X) \xrightarrow{\partial} H_{n-1}(U \cap V) \rightarrow \cdots </math>
ここで、写像 Φ は共通部分からの包含写像によって誘導される <math>x \mapsto (x, -x)</math> という形（符号は向き付けに依存）の写像であり、Ψ は直和からの和 <math>(u, v) \mapsto u+v</math> として定義される自然な準同型である。
この系列を用いると、既知の空間（例えば半球面）を貼り合わせることで、より複雑な空間（球面など）のホモロジー群を帰納的に計算することができる。

また、2つの空間の[[直積集合|直積]]  ×  のホモロジー群を計算するには、[[キネットの定理]]が用いられる。係数が[[体 (数学)|体]]  の場合、以下の同型が成り立つ。
: <math> H_n(X \times Y; F) \cong \bigoplus_{i+j=n} H_i(X; F) \otimes_F H_j(Y; F) </math>
これを用いることで、例えばトーラス <math>T^2 = S^1 \times S^1</math> のホモロジー群を、円 <math>S^1</math> のホモロジー群から代数的に導出することができる。

=== ポアンカレ双対性とオイラー標数 ===
チェイン複体 <math>(d_n : A_n \rightarrow A_{n-1})</math> において、有限個を除いて ''A<sub>n</sub>'' がすべてゼロであり、ゼロでない ''A<sub>n</sub>'' はすべて[[アーベル群#有限アーベル群|有限生成アーベル群]]（ないしは有限次元ベクトル空間であるとすると、そのチェイン複体の[[オイラー標数]]を

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(A_n) </math>

によって定義できる（右辺の rank は、アーベル群の場合はその[[階数]]を意味し、ベクトル空間の場合には[[次元]]を意味する）。オイラー標数は、実はホモロジー群だけで計算できることがわかる。つまり、

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(H_n) </math>

が成り立つ。これは、特に代数的位相幾何学においては、チェイン複体の元となった対象  の重要な不変量 χ を計算する 2 つの方法を与えている。

また、向き付けられた  次元[[閉多様体]]（コンパクトかつ境界を持たない多様体） においては、そのホモロジー群とコホモロジー群の間に[[ポアンカレ双対性]]と呼ばれる同型
: <math> H_k(M) \cong H^{n-k}(M) </math>
が成り立つ。これにより、係数を体とした場合のホモロジー群の次元（[[ベッチ数]]）の間に対称性 β<sub></sub> = β<sub>-</sub> があることが導かれる。例えば、トーラス <sup>2</sup> において β<sub>0</sub> =1, β<sub>1</sub> =2, β<sub>2</sub> =1 と対称になっているのはこの定理による。

=== 数学的構造の相互関係 ===
ホモロジー論における様々な概念は、独立しているわけではなく、代数的な定理によって密接に結びついている。

; [[普遍係数定理]]
: 整数係数のホモロジー群 <math>H_n(X; \mathbb{Z})</math> が分かれば、任意のアーベル群 ''G'' を係数とするホモロジー群 <math>H_n(X; G)</math> およびコホモロジー群 <math>H^n(X; G)</math> は、代数的に完全に決定される。
: <math> H^n(X; G) \cong \mathrm{Hom}(H_n(X;\mathbb{Z}), G) \oplus \mathrm{Ext}(H_{n-1}(X;\mathbb{Z}), G) </math>
: この定理は、整数係数のホモロジー群が、空間の位相的情報を最も「圧縮」して保持していることを示している。

; カップ積とコホモロジー環
: コホモロジー群には、ホモロジー群にはない「積」の構造（[[カップ積]]）を導入できる。
: <math> \smile \colon H^k(X) \times H^l(X) \to H^{k+l}(X) </math>
: これにより、コホモロジー群の直和 <math>\bigoplus H^n(X)</math> は、[[次数付き環]]（コホモロジー環）となる。幾何学的には、カップ積はサイクルの「交差」に対応しており、空間の形状をより詳細に区別するための強力な不変量となる（例：ホモロジー群が同じでも、環構造が異なる空間が存在する）。

; [[フレヴィッツの定理]]
: [[ホモトピー群]] <math>\pi_n(X)</math> とホモロジー群 <math>H_n(X)</math> の関係をつなぐ定理。空間  が (n-1) 連結（n-1 次以下のホモトピー群が消えている）ならば、初めて非自明になる次元 n において、ホモトピー群とホモロジー群は同型になる（n=1 の場合はアーベル化で同型）。
: <math> \pi_n(X) \cong H_n(X) \quad (n \ge 2) </math>
: これにより、計算が難しいホモトピー群の情報を、計算しやすいホモロジー群から推測することが可能になる。

=== アイレンベルグ・スティーンロッドの公理系 ===
1940年代以降、ホモロジー理論は、特定の構成法（単体的ホモロジーや特異ホモロジーなど）に依存しない、公理的な定義によって整理された。[[サミュエル・アイレンベルグ]]と[[ノーマン・スティーンロッド]]は、位相空間の対 (, ) の圏からアーベル群の圏への関手の列 <sub></sub> が満たすべき性質をとして定式化した。

これによれば、ホモロジー論とは以下の公理を満たす**(F)共変関手**および自然変換の組のことである。

* **(H)ホモトピー公理**: ホモトピックな写像は同じ準同型を誘導する。
* **(E)切除公理**: 空間  の部分集合  の閉包が、部分集合  の内部に含まれているならば、相対ホモロジー群において  を取り除いても同型 <math>H_n(X, A) \cong H_n(X \setminus B, A \setminus B)</math> が成り立つ性質。これにより、ホモロジーの計算を局所的な問題に帰着させることが可能になる。
* **(D)次元公理**: 1点空間のホモロジー群は、0次以外では消滅する。
* **(P)完全性公理**: 対 (, ) に対して長完全列が存在する。

なお、これらに加えて「非交和のホモロジー群は各空間のホモロジー群の直和と同型である」という**加法性公理**が加えられることもある。これらの公理を満たす理論であれば、単体複体のような特定の空間上では、理論の違いによらず同じホモロジー群が得られることが保証される（一意性定理）。

=== 抽象代数学におけるホモロジー ===
[[抽象代数]]においては、ホモロジーを用いて[[導来関手]]を定義できる。導来関手の代表例として [[Tor関手]]や[[Ext関手]]がある。

ある加法的共変関手  の導来関手を定義するために、まず加群  に対する[[射影分解]]（チェイン複体の一種）を構成する。すなわち、自由加群（より一般には射影加群）''P''<sub>n</sub> と準同型 ''d<sub>n</sub>'' の列
:<math> \dots \to P_n \xrightarrow{d_n} P_{n-1} \to \dots \xrightarrow{d_1} P_0 \xrightarrow{\epsilon} X \to 0 </math>
であって、完全列となるものを用意する。この列の <math>X</math> を除いた部分（<math>P_\bullet</math>）に関手  を適用すると、新たなチェイン複体 <math>F(P_\bullet)</math> が得られる。この複体のホモロジー群 <math>H_n(F(P_\bullet))</math> は、最初に選んだ射影分解 <math>P_\bullet</math> の取り方によらず（自然な同型を除いて）一意に定まる。これを  の  次左導来関手の  における値と定義し、<math>L_n F(X)</math> などと書く。

例えば、ある加群  をテンソル積する関手 <math>F(-) = - \otimes A</math> の左導来関手が、Tor関手 <math>\mathrm{Tor}_n(-, A)</math> に相当する。なお、Ext関手はこれと双対的な右導来関手であり、単射的分解などを用いて定義される。

== ホモロジー群の構造 ==
ホモロジー群の定義において、アーベル群の代わりに可換環 ''R'' 上の[[加群]]を用いることもできる。これを ''R'' 係数のホモロジー群と呼び、<sub>n</sub>(; ''R'') と表記する。

=== 係数群と普遍係数定理 ===
係数を体（例えば有理数体 <math>\mathbb{Q}</math> や有限体 <math>\mathbb{F}_p</math>）に変えると、ホモロジー群は[[ベクトル空間]]となり、構造が単純になる。元の整数係数ホモロジー群と、任意の係数 ''R'' でのホモロジー群の関係は、代数的な[[普遍係数定理]]によって完全に記述される。

* 有理数係数(<math>\mathbb{Q}</math>)の場合は、ねじれ部分（トーション）が消滅するため、空間の「大まかな穴の数（ランク）」だけを知りたい場合に適している。計算が線形代数（行列のランク計算）に帰着されるため容易である。
* 有限体係数(<math>\mathbb{Z}/p\mathbb{Z}</math>)の場合は、特定の素数 ''p'' に関するねじれの情報を抽出できる。特に <math>\mathbb{Z}/2\mathbb{Z}</math> 係数は、「向き付け」の概念を無視できるため、射影平面などの向き付け不可能な空間を扱う際に計算が非常に単純になるという利点がある。

=== ベッチ数とねじれ係数 ===
空間  が有限の単体複体などの場合、整数係数のホモロジー群 <math>H_n(X; \mathbb{Z})</math> は、[[有限生成アーベル群]]となる。有限生成アーベル群の構造定理により、この群は「自由部分」と「ねじれ部分」の直和に一意的に分解される。
: <math> H_n(X; \mathbb{Z}) \cong \underbrace{\mathbb{Z} \oplus \dots \oplus \mathbb{Z}}_{\beta_n} \oplus \underbrace{\mathbb{Z}/k_1\mathbb{Z} \oplus \dots \oplus \mathbb{Z}/k_m\mathbb{Z}}_{T_n} </math>
ここで、自由部分の階数 β<sub>n</sub> を  次[[ベッチ数]]と呼び、ねじれ部分 T<sub>n</sub> をねじれ係数（torsion coefficients）と呼ぶ。

この分解は、計算機的には境界作用素を行列として表現し、[[スミス標準形]]に変形することで具体的に計算可能である。
境界行列に対して行・列の基本変形を行い、対角成分 <math>(d_1, d_2, \dots, d_r)</math> を持つ対角行列（スミス標準形）を得たとき、
* <math>d_i = 1</math> となる成分は自明な群として消滅し、
* <math>d_i > 1</math> となる成分がねじれ係数 <math>\mathbb{Z}/d_i\mathbb{Z}</math> に対応し、
* ゼロである成分の個数（と行列のサイズの差）からベッチ数が決定される。

幾何学的には、ベッチ数は直感的な「穴の数」に対応し、ねじれ係数は空間のねじれ（射影平面やクラインの壺などで現れる）を捉えている。

== 例 ==
ホモロジー群の各次数 n は、幾何学的に異なる種類の「穴」に対応している。
* <math>H_0(X)</math>: 0次元の穴、すなわち[[連結成分]]の個数（厳密には個数分のランクを持つ自由アーベル群）。
* <math>H_1(X)</math>: 1次元の穴、すなわちトンネルや閉路の数（円周 ''S''<sup>1</sup> 状の穴）。
* <math>H_2(X)</math>: 2次元の穴、すなわち空洞の数（球面 ''S''<sup>2</sup> 状の穴）。内部の空いたボールの中空部分に相当する。

以下に、整数係数ホモロジー群 <math>H_n(X; \mathbb{Z})</math> の具体的な計算例を挙げる。

=== 自明な空間 ===
* **一点** (<math>pt</math>) および **円板** (<math>D^n</math>):
*: 縮めて一点にできる空間（可縮な空間）は、ホモロジー的には一点と同じである。
*: <math> H_k(pt) \cong H_k(D^n) \cong \begin{cases} \mathbb{Z} & (k=0) \\ 0 & (k \neq 0) \end{cases} </math>
*: これは「穴」が一つも存在しない状態を表す。

=== 基本的な多様体 ===
* **球面** (<math>S^n</math>): <math>n</math> 次元球面 <math>S^n</math> は、内部が空洞なボールの表面のような空間である。
*: <math> H_k(S^n) \cong \begin{cases} \mathbb{Z} & (k=0, n) \\ 0 & (\text{otherwise}) \end{cases} </math>
*: 0次の <math>\mathbb{Z}</math> は連結成分が1つであることを、<math>n</math>次の <math>\mathbb{Z}</math> は <math>n</math> 次元の「穴」が1つあることを表している。

* **トーラス** (<math>T^2</math>): ドーナツの表面のような形状である。これは2つの円の直積 <math>S^1 \times S^1</math> としても表される。
*: <math> H_0(T^2) \cong \mathbb{Z} </math>
*: <math> H_1(T^2) \cong \mathbb{Z} \oplus \mathbb{Z} </math>
*: <math> H_2(T^2) \cong \mathbb{Z} </math>
*: 1次ホモロジー群が <math>\mathbb{Z}</math> 2つの直和であることは、トーラスには「独立した2種類の穴（メリディアンとロンジチュード）」があることに対応している。

* **種数 g の曲面** (<math>\Sigma_g</math>): <math>T^2</math> を <math>g</math> 個つなげた、穴が <math>g</math> 個ある浮き輪のような曲面（連結和）。
*: <math> H_0(\Sigma_g) \cong \mathbb{Z} </math>
*: <math> H_1(\Sigma_g) \cong \mathbb{Z}^{2g} </math>
*: <math> H_2(\Sigma_g) \cong \mathbb{Z} </math>
*: 1次のランクが <math>2g</math> となることから、ホモロジー群によって閉曲面の分類（穴の個数の判別）が可能であることがわかる。

=== 射影空間とトーション ===
* **実射影平面** (<math>\mathbb{R}P^2</math>): メビウスの帯の縁に円板を貼り合わせたような、向き付け不可能な曲面である。
*: <math> H_0(\mathbb{R}P^2) \cong \mathbb{Z} </math>
*: <math> H_1(\mathbb{R}P^2) \cong \mathbb{Z}/2\mathbb{Z} </math>
*: <math> H_2(\mathbb{R}P^2) = 0 </math>
*: 1次ホモロジー群に現れる <math>\mathbb{Z}/2\mathbb{Z}</math>（位数2の巡回群）は、空間の「ねじれ（torsion）」を表している。

* **クラインの壺** (<math>K</math>): 向き付け不可能な曲面のもう一つの例である。
*: <math> H_0(K) \cong \mathbb{Z} </math>
*: <math> H_1(K) \cong \mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} </math>
*: <math> H_2(K) = 0 </math>
*: 1次ホモロジー群に、円筒のような「穴」に対応する自由部分 <math>\mathbb{Z}</math> と、メビウスの帯のような「ねじれ」に対応する <math>\mathbb{Z}/2\mathbb{Z}</math> の両方が現れるのが特徴である。

* **レンズ空間** (<math>L(p, q)</math>): 3次元球面 <math>S^3</math> を巡回群 <math>\mathbb{Z}/p\mathbb{Z}</math> の作用で割った3次元多様体。
*: <math> H_0(L(p, q)) \cong \mathbb{Z} </math>
*: <math> H_1(L(p, q)) \cong \mathbb{Z}/p\mathbb{Z} </math>
*: <math> H_2(L(p, q)) = 0 </math>
*: <math> H_3(L(p, q)) \cong \mathbb{Z} </math>
*: 1次ホモロジー群には群の位数 <math>p</math> に由来するねじれが現れる。なお、パラメータ <math>q</math> が異なるとホモトピー同値にならない場合があるが、ホモロジー群は <math>q</math> に依存しないため、ホモロジー群だけでレンズ空間を完全に分類することはできない。

* **複素射影空間** (<math>\mathbb{C}P^n</math>): <math>2n</math> 次元の滑らかな多様体。
*: <math> H_k(\mathbb{C}P^n) \cong \begin{cases} \mathbb{Z} & (k \text{ is even}, 0 \le k \le 2n) \\ 0 & (k \text{ is odd}) \end{cases} </math>
*: 偶数次元ごとに <math>\mathbb{Z}</math> が現れる構造を持つ。

=== 空間の識別と限界 ===
* **8の字** (<math>S^1 \vee S^1</math>) とトーラス:
*: 8の字（2つの円周を1点で貼り合わせた空間）のホモロジー群は以下となる。
*: <math> H_1(S^1 \vee S^1) \cong \mathbb{Z} \oplus \mathbb{Z}, \quad H_2(S^1 \vee S^1) = 0 </math>
*: 1次ホモロジー群だけを見るとトーラス <math>T^2</math> と同じ（ランク2）だが、2次ホモロジー群が異なるため、これらは位相的に異なる空間であると識別できる。

* **結び目理論における補空間**: 3次元球面 <math>S^3</math> から結び目 <math>K</math> をくり抜いた空間 <math>X = S^3 \setminus K</math>。
*: <math> H_1(X) \cong \mathbb{Z} </math>
*: 結び目がどんなに複雑に絡み合っていても、1次ホモロジー群は常に整数群 <math>\mathbb{Z}</math>（円周と同じ）となり、結び目を区別することができない。これはホモロジー群が空間の「穴の数」という大まかな情報しか持たず、基本群 <math>\pi_1(X)</math> のように「穴の絡まり方（非可換性）」を捉えられないことに起因する。

=== 無限次元空間と分類空間 ===
有限次元の多様体の列の「極限」として構成される無限次元空間は、代数的トポロジーにおいて重要な役割を果たす。これらは特定の群の[[分類空間]]や、 <math>K(G, n)</math> のモデルとなる。

* 無限次元複素射影空間 (<math>\mathbb{C}P^\infty</math>):
*: 有限次元の複素射影空間の包含列 <math>\mathbb{C}P^1 \subset \mathbb{C}P^2 \subset \dots</math> の[[帰納的極限]]（和集合）として定義される。
*: <math> H_k(\mathbb{C}P^\infty) \cong \begin{cases} \mathbb{Z} & (k \text{ is even}) \\ 0 & (k \text{ is odd}) \end{cases} </math>
*: 任意の偶数次元において非自明なホモロジー群を持ち続ける。この空間は円周群（ユニタリ群）<math>U(1)</math> の分類空間 <math>BU(1)</math> であり、そのコホモロジー環は[[チャーン類]]の理論の基礎となる。

* 無限次元実射影空間 (<math>\mathbb{R}P^\infty</math>):
*: 実射影空間の列の帰納的極限。
*: <math> H_k(\mathbb{R}P^\infty) \cong \begin{cases} \mathbb{Z} & (k=0) \\ \mathbb{Z}/2\mathbb{Z} & (k \text{ is odd}) \\ 0 & (k \text{ is even}, k>0) \end{cases} </math>
*: 奇数次元において永遠にねじれ（torsion）が現れ続ける。これは群 <math>\mathbb{Z}/2\mathbb{Z}</math> の分類空間 <math>B(\mathbb{Z}/2\mathbb{Z})</math> に相当し、そのホモロジー群は群コホモロジー <math>H^*(\mathbb{Z}/2\mathbb{Z})</math> と同型になる。

== 双対概念としてのコホモロジー ==

ホモロジーと双対的な概念として、[[コホモロジー]]がある。定義は形式的にはホモロジーと同様であるが、[[コチェイン複体]]（cochain complex）から出発する点が異なる。コチェイン複体では、群のあいだをつなぐ矢印（コバウンダリ作用素）は次数の増加方向 <math>d^n \colon C^n \to C^{n+1}</math> を向いている。
ホモロジーと同様に <math>d \circ d = 0</math> を満たすとき、核を像で割った剰余群としてコホモロジー群
: <math>H^n(X) = \ker(d^n) / \mathrm{im}(d^{n-1})</math>
が定義される。

コホモロジーはホモロジーと比較して、[[カップ積]]と呼ばれる自然な積構造 <math>\smile \colon H^k(X) \times H^l(X) \to H^{k+l}(X)</math> を持ち、[[次数付き環]]（コホモロジー環）となる点が大きな特徴である。これにより、ホモロジー群としては区別できない空間（例えば <math>S^2 \vee S^4</math> と <math>\mathbb{C}P^2</math>）を、環構造の違いによって識別できる場合がある。

代表的なコホモロジー理論として以下がある。

; [[特異コホモロジー]]
: 特異ホモロジーの双対として定義されるコホモロジー。位相空間の不変量として広く用いられる。係数群を <math>\mathbb{Z}</math> や体 <math>F</math> などに取り換えることで、普遍係数定理を通じてホモロジー群と代数的に関係付けられる。

; [[ド・ラーム・コホモロジー]]
: [[可微分多様体]]に対して定義される、解析学（微積分）とトポロジーをつなぐ理論である。[[微分形式]]の空間をコチェイン群とし、[[外微分]]  をコバウンダリ作用素（余境界作用素）として用いる。ここで、作用素の合成について <math>d \circ d = 0</math>が成り立つ。これは、3次元ベクトル解析における「スカラー場の勾配の回転は常に 0 である (<math>\mathrm{rot}(\mathrm{grad}\, \phi) = 0</math>)」や「ベクトル場の回転の発散は常に 0 である (<math>\mathrm{div}(\mathrm{rot}\, \mathbf{A}) = 0</math>)」といった恒等式の高次元における一般化である。
: により、ド・ラーム・コホモロジー群は（実数係数の）特異コホモロジー群と同型になることが知られている。これにより、曲面上の積分や微分方程式の解の性質と、空間の「穴」の数とが密接に関係していることが保証される。

== 応用 ==
ホモロジー群は位相不変量であるため、ある性質を持つ写像が存在しないことを示す証明などに利用される。代表的な応用として以下のようなものがある。

; [[ブラウワーの不動点定理]]
: 「 次元円板 D<sup>n</sup> からそれ自身への連続写像 : D<sup>n</sup> → D<sup>n</sup> は、少なくとも1つの不動点を持つ」という定理。この証明において、もし不動点を持たない連続写像が存在すると仮定すると、球面 S<sup>n-1</sup> のホモロジー群（-1 次が <math>\mathbb{Z}</math>、他は0）と円板のホモロジー群（0次以外すべて0）の間に矛盾する可換図式が導かれることを利用する。

; [[写像度]]と[[毛玉の定理]]
:  次元球面 ''S''<sup></sup> からそれ自身への連続写像 f: ''S''<sup></sup> → ''S''<sup></sup> があるとき、これが誘導するホモロジー群の準同型 <math>f_*: H_n(S^n) \to H_n(S^n)</math> は、ある整数  倍の写像となる。この  を写像度という。これを応用すると、「偶数次元の球面上の連続な接ベクトル場は、必ず 0 となる点を持つ（とかした髪の毛には必ずつむじができる）」という[[毛玉の定理]]が証明できる。

;  (TDA)
: 21世紀に入り、ホモロジー論をデータ解析に応用する試みが発展している。点群データに対して、各点を中心とする球の半径を徐々に大きくしていくと、穴が生まれたり消えたりする。この穴の寿命（生成と消滅のタイミング）をホモロジー群の系列として追跡する手法を[[パーシステントホモロジー]]と呼ぶ。これにより、ノイズの多いデータから大域的な特徴を抽出することが可能となる。

; 物理学（電磁気学とゲージ理論）
: [[電磁気学]]において、電場 <math>\mathbf{E}</math> や磁場 <math>\mathbf{B}</math> は微分形式として解釈できる。[[マクスウェルの方程式]]において「磁場 <math>\mathbf{B}</math> の発散が 0 (<math>\mathrm{div} \mathbf{B} = 0</math>) ならば、ベクトルポテンシャル <math>\mathbf{A}</math> が存在して <math>\mathbf{B} = \mathrm{rot} \mathbf{A}</math> と書けるか」という問題は、まさにコホモロジー的な問（閉形式は完全形式か）である。
: 例えば、[[磁気モノポール]]が存在するような空間（中心の除かれた球体など）では、2次のコホモロジー群が非自明（<math>H^2 \neq 0</math>）となり、大域的なベクトルポテンシャル <math>\mathbf{A}</math> を定義することができない。
: 一方、無限に長い[[ソレノイド]]コイルの外部のような領域では、大域的なポテンシャル <math>\mathbf{A}</math> は存在するものの、1次のコホモロジー群が非自明（<math>H^1 \neq 0</math>、トンネル状の穴）であることに起因して、ポテンシャルが完全形式にならない（周回積分が0にならない）場合がある。これは[[アハラノフ＝ボーム効果]]として観測される。このように、ホモロジー・コホモロジーは場の量子論や[[ゲージ理論]]における基本的な言語となっている。

; ソフトウェア
有限の単体複体や胞体複体のホモロジー群を計算するためのソフトウェアパッケージが開発されている。CHomP, Kenzo, Gmshなど。

== 歴史 ==
=== リーマンと曲面の連結度 ===


1851年、[[ベルンハルト・リーマン]]は学位論文「複素一変数関数の一般論の基礎」の中で曲面の**連結度**（connectivity）というものを考えた。これは次のように定義される。まず、曲面の境界上の2点を結ぶ曲線を**横断線**と呼ぶことにする。曲面が円板のような形をしている場合には、横断線で曲面を切断すると曲面が2つに分かれる。どのような横断線で切断しても曲面が2つに分かれるとき、そのような曲面を**単連結**と呼ぶことにする（現代の定義とは異なる）。ある任意の曲面が  本の横断線によって切断したとき  個の単連結な領域に分割されるならば、その曲面の連結度を  と定義する。例えば円板の連結度は  であり、円板から小さな円板をくり抜いた[[円環]]の連結度は  である。

この論文では、考察対象の幾何学的対象に境界が存在することを仮定し、横断線を用いて連結度という位相的不変量を定義している。リーマンは切断のアイデアを[[カール・フリードリヒ・ガウス]]から学んだと、後に[[エンリコ・ベッチ]]に語っている。ガウス自身は位置の幾何学（現在のトポロジー）について研究成果を公式に発表することはなかったが、遺稿からは彼がこの分野に強い関心を持ち続けていたことが分かっており、その姿勢はリーマンにも影響を与えたとされる。



1857年、リーマンは「アーベル関数の理論」と題した論文を公表する。この論文で再び[[曲面]]の**連結性の数**（connectedness number）という概念を考える。これは次のように定義される。曲面の上に  本の閉曲線の族があり、どの閉曲線の組み合わせを取っても部分曲面の完全境界にならなかったとする。さらに、この族にどのような閉曲線を加えてもこの性質を満たさなくなるとする。このとき、この曲面を  重連結であると呼ぶ。例えば、円板は1重連結であり、円環は2重連結である。連結性の数は境界の無い曲面に対しても定義することができ、例えば球面の連結性の数は1である。連結性の数の定義に完全境界という概念を使ったのは正則関数を領域の境界に沿って[[複素線積分|線積分]]すると0になることによる。

ここには、曲面自体の境界ではなく、連結性を測るための曲線が境界となるかどうか着目するという視点が含まれており、現代のホモロジー群（サイクルの群をバウンダリの群で割る）の概念に通じる発想が見出される。

=== ベッチと連結度の高次元化 ===

リーマンは静養のため頻繁にイタリアを訪れ、その際に友人のベッチと数学的な交流を持った。

1863年、ベッチは同僚の Tardy に宛てた手紙の中で、リーマンとの議論を通じて空間の連結度についての着想を得た旨を記している。この手紙の中で、空間の連結度は次のように定義されている。まず単連結の概念を高次元化する。空間が単連結であるとは、すべての閉曲面がある部分空間の境界になり、すべての閉曲線がある部分曲面の境界になることとする（現代の定義とは異なる）。例えば中身の詰まった球は単連結である。そして、空間の連結度が  であるとは、空間を単連結にするために必要な曲面による切断が  回、曲線による切断が  回であることと定義する。例えば中身の詰まったドーナツ（トーラス体）は単連結ではないが、円板に沿って一度切断すれば単連結になるため、この空間の連結度は  となる。この定義は、リーマンの学位論文に見られるアイデアを高次元へ拡張したものと解釈される。

1866年にリーマンが没した後、1871年にベッチは "Sopra gli spazi di un numero qualunque di dimensioni" と題した論文を公表した。この論文では、高次元空間の  次元の連結度を「 次元部分空間の境界にならない  次元部分空間の最大数」として定義している。これは、リーマンの1857年の論文「アーベル関数の理論」における概念を一般化したものに相当する。

=== ポアンカレと「ホモロジー」の誕生 ===

1895年、ポアンカレは記念碑的な論文「位置解析」を公表する。この中でポアンカレは多様体の部分多様体の形式和にホモロジーという同値関係を定義し、これを基礎に多様体の連結度の新しい定義を与えた。そしてこれをベッチ数と呼んだ。ポアンカレは、ベッチ数は考えているがホモロジー群は考えていなかった（基本群は考えている）。ちなみに、「ホモロジー」（仏語原文ではhomologie）という言葉は、ポアンカレの「位置解析」において初めて導入された。

なお、ポアンカレの論文のタイトルにもなっている「位置解析」（Analysis Situs）という言葉は[[ゴットフリート・ライプニッツ]]による。

=== ネーターと「群」としての定式化 ===

ホモロジー群の概念は[[エミー・ネーター]]により見出された。ある伝承によれば、それは1926年、アクサンドロフとが[[レフシェッツ不動点定理]]の証明の難しい部分について研究していたときのことであったという。彼らがこれについてネーターと議論したとき、[[ベッチ数]]ではなくホモロジー群を考えその群の適当な[[自己準同型]]の[[跡 (線型代数学)|跡]]を考えれば証明が分かりやすくなることを彼女が指摘したという。また別の伝承によれば、彼女はベッチ数とねじれ係数（torsion coefficients）はあるアーベル群の標準的な[[不変量]]と見るべきもので、そのアーベル群こそがホモロジー的連結度の概念的定式化のための適切なツールだと単に見抜いたとされている。他の説によれば、それは1925年のことであったという。彼女が[[ドイツ数学会]]の年次報告で[[有限生成アーベル群の構造定理]]のベッチ数とねじれ係数への応用について言及し、そして[[ゲッティンゲン大学|ゲッティンゲン]]の講義においてホモロジーとは単にベッチ数やねじれ係数ではなくアーベル群なのだと指摘したという。彼女は、研究の主眼はホモロジー群に置くべきだと強調したと伝えられている。今となっては何が真実か定かではないが、はっきりしていることは、ネーターが1925年に有限生成アーベル群の構造定理のベッチ数・ねじれ係数への応用について言及したこと、1932年のアレクサンドロフの本『位相幾何学の基礎概念』の中でホモロジー**群*'が使われていること、1935年のアレクサンドロフとホップの共著『Topologie』の序文でネーターの助言に対して謝辞が述べられていることである。

また、これと独立に、[[レオポルト・ヴィートリス]]と[[ヴァルター・マイヤー (数学者)|ヴァルター・マイヤー]]も1925年から28年にかけてホモロジー理論を発展させている。これより前の時代には、[[組合せ位相幾何学]]においてホモロジー類にあたるものはアーベル群をなすとは考えられていなかった。ホモロジー群の[[急速]]な普及により、用語が変更され、「組合せ位相幾何学」の立場から「代数的位相幾何学」への移行が起こった。

== 関連項目 ==
* [[単体的ホモロジー]]
* [[特異ホモロジー]]
* 
* [[ホモロジー代数]]
* [[コホモロジー]]

== 脚注 ==

=== 注釈 ===

=== 出典 ===


== 参考文献 ==
* [[Henri Cartan|Cartan, Henri Paul]] and [[Samuel Eilenberg|Eilenberg, Samuel]] (1956) *Homological Algebra*, Princeton University Press, Princeton, NJ, [https://search.worldcat.org/ja/title/529171 OCLC 529171]
* Herbert Edelsbrunner and John L. Harer: *Computational Topology: An Introduction*, AMS (2010)
** Herbert Edelsbrunner、John L. Harer:「計算トポロジー入門」、共立出版、ISBN 978-4-32011494-4 (2023年9月12日）．
* Eilenberg, Samuel and Moore, J. C.  (1965) *Foundations of relative homological algebra* (Memoirs of the American Mathematical Society number 55) , American Mathematical Society, Providence, R.I., [https://search.worldcat.org/ja/title/1361982 OCLC 1361982]
* Hatcher, A., (2002) *Algebraic Topology*  Cambridge University Press, ISBN 0-521-79540-0. 単体複体や多様体のホモロジー理論や、特異ホモロジーなどについての詳しい解説を含む。
* Tomasz Kaczynski, Konstantin Mischaikow and Marian Mrozek: *Computational Homology'', Springer, ISBN 978-0-387-21597-6 (2004)
* 

*

### 歴史関連

*

*

* 

* 

* 

* 

* 

* 

*