ホモロジー (数学)
数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー (homology) （「同一である」ことを意味するギリシャ語のホモス (ὁμός) に由来）は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。より詳しい背景については ホモロジー論 を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については特異ホモロジーを、群についてのそれは群コホモロジーを、それぞれ参照されたい。
位相空間に対しては、ホモロジー群は一般にホモトピー群よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱えるものといえるだろう。
ホモロジー群は以下のような手続きを経て作られる。
数学的対象、たとえば位相空間 "X" が与えられたとき、まず "X" の情報を抽出したチェイン複体 "C"("X") を構成する。チェイン複体はアーベル群や加群 "C", "C", "C", ... を境界作用素とよばれる群準同型 ∂: "C" → "C" でつないだもの
である。ただし、0 は自明な群を表し、"i" < 0 に対しては "C" ≡ 0 と定義する。
さらに、境界作用素 2 つの合成はいつでも 0 であるという要求も付け加える。つまり、すべての "n" に対して、
であるとする。右辺の 0 は群 "C" の単位元への定数写像を意味する。このことは im(∂) ⊆ ker(∂) を意味する。
いま、各 "C" はアーベル群なので、im(∂) は ker(∂) の正規部分群である。さらに、この部分群を無視して考えたい。つまり、その差が im(∂) に属するような 2 つの元は同値とみなし、ker(∂) をその同値関係で分割するのである。"X" の "n" 次ホモロジー群 を剰余群（あるいは剰余加群）
によって定義する。また、ここでは ker(∂) = "Z"("X") と書き、im(∂) = "B"("X") と書く。すると、
である。ホモロジー群の元をホモロジー類という。
上の 2 つの群 "Z"("X") と "B"("X") は巨大な群であることが多く計算は難しい一方で、その商であるホモロジー群 "H"("X") を計算するには、さまざまな道具がある。
単体複体 "X" の 単体的ホモロジー群 "H"("X") は、各 "n" に対して "C"("X") を "X" の "n" 単体全体で生成される自由アーベル群として得られる単体的チェイン複体 "C"("X") によって定義される。特異ホモロジー群は任意の位相空間 "X" に対して定義され、単体複体については単体的ホモロジー群と一致する。
チェイン複体が完全系列であるとは、("n" + 1) 番目の写像の像が、常に "n" 番目の写像の核に一致することである。"X" のホモロジー群はしたがって、それから決まるチェイン複体が「どれだけ完全でないか」を測る量である。
コホモロジー群の定義も形式的には同様である。まず、コチェイン複体から始める。これはチェイン複体とほとんど同じものであるが、群のあいだをつなぐ矢印は "n" の減少方向ではなく "n" の増加方向を向いている。矢印を "d" で表すことにすると、群 ker("d") = "Z"("X") および群 im("d") = "B"("X") は同じように定義され、さらに同様にコホモロジー群
を得る。
ホモロジーを考える動機になる例は代数的位相幾何学に由来している。その例は単体複体 "X" の単体的ホモロジーである。ここで "A" は "X" の向き付けられた "n" 次元単体を生成元とする自由アーベル群である。写像は境界写像とよばれ、
を頂点とする単体を、和
に写す。ここでの右辺は、"n" = 0 のときには 0 であると考える。加群として、体上のものを取れば、"X" の "n" 次元ホモロジー群の次元は "X" の "n" 次元の「穴」の数であると考えることができる。
この例をモデルとして、任意の位相空間 "A" の特異ホモロジーを定義することができる。"X" に対するチェイン複体を "A" として
"n" 次元単体 から "X" への連続写像全体で生成される自由アーベル群（あるいは自由加群）をとることで定義できる。準同型 ∂ は単体の境界写像により誘導されるものである。
抽象代数においては、ホモロジーを用いて導来関手、たとえば Tor関手を定義できる。まず、加法的共変関手 "F" と加群 "X" から出発する。加群 "X" に対するチェイン複体は次のようにして定義される。
まず、自由加群 "F" と全射準同型 "p": "F" → "X" をえらぶ。次に自由加群 "F" と全射準同型 "p": "F" → ker("p") をえらぶ。このように繰り返してゆき、自由加群 "F" と準同型 "p" の列が定義できる。この列に関手 "F" を適用すると、チェイン複体が得られる。この複体のホモロジー "H" は "F" と "X" とのみに依存する。これを "F" の "n" 次導来関手の "X" における値であると定義する。
チェイン複体 formula_5 からチェイン複体 formula_6 への射を、準同型の列 formula_7 であって任意の "n" に対して formula_8 が成立するようなものとして定義する。このようにしてチェイン複体は圏をなす。"n" 次元ホモロジー群 "H" はチェイン複体の圏からアーベル群（あるいは加群）の圏への共変関手であるとみなせる。
チェイン複体が対象 "X" に共変的に依存するものとする（つまり、任意の射 "X" → "Y" は "X" のチェイン複体から "Y" のチェイン複体への射を誘導するものとする）。このとき、"H" は "X" が属している圏からアーベル群（あるいは加群）の圏への共変関手である。
ホモロジーとコホモロジーとのただひとつの違いは、コホモロジーにおいてはチェイン複体が "X" に反変的に依存するという点で、したがってホモロジー群（この文脈ではこれをコホモロジー群と呼んで "H" と表す）は "X" の属する圏からアーベル群あるいは加群の圏への反変関手となる。
チェイン複体 formula_9 において、有限個を除いて "A" がすべてゼロであり、ゼロでない "A" はすべて有限生成アーベル群（ないしは有限次元ベクトル空間であるとすると、そのチェイン複体のオイラー標数を
によって定義できる（右辺の rank は、アーベル群の場合はその階数を意味し、ベクトル空間の場合には次元を意味する）。オイラー標数は、実はホモロジー群だけで計算できることがわかる。つまり、
が成り立つ。これは、特に代数的位相幾何学においては、チェイン複体の元となった対象 "X" の重要な不変量 χ を計算する 2 つの方法を与えている。
チェイン複体の任意の短完全列
はホモロジー群の長完全列
を生み出す。この長完全列での一連の写像は、蛇の補題により与えられる連結準同型 formula_13 を例外として、チェイン複体の間の写像から誘導されたものである。
ホモロジー群の概念は エミー・ネーターにより見出された。また、これと独立に、レオポルト・ヴィートリスとヴァルター・マイヤーも1925年から28年にかけてホモロジー理論を発展させている。これより前の時代には、組合せ位相幾何学においてホモロジー類にあたるものはアーベル群をなすとは考えられていなかった。ホモロジー群の急速な普及により、用語が変更され、「組合せ位相幾何学」の立場から「代数的位相幾何学」への移行が起こった。