特異ホモロジー
数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 "X" ののある種の集合、いわゆるホモロジー群 (homology group) formula_1 の研究のことである。直感的に言えば、特異ホモロジーは、各次元 "n" に対して、空間の "n" 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。
手短に言えば、特異ホモロジーは標準 "n"-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群は位相空間の圏から次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。
特異 "n"-単体 (singular "n"-simplex) は標準 "n"-単体 formula_2 から位相空間 "X" への連続写像 formula_3 である。記号では formula_4 と書く。この写像は単射である必要はなく、"X" における像が同じであっても同じ特異単体とは限らない。
formula_5 の境界は、formula_6 と表記され、標準 "n"-単体の面への formula_7 の制限によって表現される特異 ("n" − 1)-単体の形式和 に向き付けを考慮した符号をつけたものと定義される。（形式和は単体上の自由アーベル群の元である。この群の基底は標準単体のあらゆる像の無限集合である。群の演算は「加法」であり、像 "a" と像 "b" の和は通常単に "a" + "b" と表されるが、"a" + "a" = 2"a" など。すべての像 "a" は負 −"a" をもつ。）したがって、formula_3 の値域を標準 "n"-単体 formula_2 の頂点 formula_10 によってその頂点
によって表せば（これはもちろん formula_3 によって生み出された標準単体の像を完全には特定しない）、
は具体的に示された単体の像の面の形式和である。（つまり、個々の面はその頂点がリストされる順番に依存する formula_2 の面の指定に適用される formula_3 の像でなければならない。）したがって、例えば、formula_16 の境界（formula_17 から formula_18 へ行く曲線）は形式和（あるいは「形式差」） formula_19 である。
特異ホモロジーの通常の構成は次のように進行する。単体の形式和を定義する。これは自由アーベル群の元として理解できる。そしてある種の群、位相空間のホモロジー群を、バウンダリ作用素を含めて、定義できることを示す。
まず位相空間 "X" 上のあらゆる特異 "n"-単体 formula_5 の集合を考える。この集合は自由アーベル群の基底として使うことができ、各 formula_5 はその群の生成元である。単体を位相空間に写像する方法はたくさんあるので生成元のこの集合はもちろん普通は無限で、しばしば非可算である。この基底によって生成された自由アーベル群は一般に formula_22 と表記される。formula_22 の元は特異 "n"-チェイン (singular "n"-chain) と呼ばれる。それらは整数係数の特異単体の形式和である。理論がしっかりした基礎におかれるためには、一般にチェインは有限個だけの単体の和であることが要求される。
境界 formula_24 はただちに特異 "n"-チェインに作用するように拡張される。この拡張は、バウンダリ作用素と呼ばれ、
と書かれ、群の準同型である。バウンダリ作用素は、formula_26 とともに、アーベル群のチェイン複体をなし、特異複体 (singular complex) と呼ばれる。しばしば formula_27 やよりシンプルに formula_28 と表記される。
バウンダリ作用素の核は formula_29 であり特異 "n"-サイクルの群 (group of singular "n"-cycles) と呼ばれる。バウンダリ作用素の像は formula_30 であり特異 "n"-バウンダリの群 (group of singular "n"-boundaries) と呼ばれる。
formula_31 であることを示すことができる。そして formula_32 の formula_33 次ホモロジー群は剰余群
で定義される。formula_1 の元はホモロジー類 (homology class) と呼ばれる。
"X" と "Y" がホモトピー同値な2つの位相空間であれば、すべての "n" ≥ 0 に対して、
である。これはホモロジー群が位相的不変量であることを意味する。
とくに、"X" が連結可縮空間であれば、formula_37 を除いて、すべてのそのホモロジー群は 0 である。
特異ホモロジー群のホモトピー不変性の証明の概略は以下のようである。連続写像 "f": "X" → "Y" は次の準同型を誘導する。
次のことが直ちにわかる。
すなわち "f" はチェイン写像であり、次のホモロジーの準同型を得る。
"f" と "g" がホモトピー同値ならば "f" = "g" であることを示そう。そうすれば "f" がホモトピー同値ならば "f" は同型であることがわかる。
"F" : "X" × [0, 1] → "Y" を "f" から "g" へのホモトピーとする。チェインのレベルで、幾何学的に言えば、基底元 σ: Δ → "X" of "C"("X") を 「プリズム」 "P"(σ): Δ × "I" → "Y" にうつす準同型
を定義する。"P"(σ) の境界は次のように表現できる。
よって "α" ∈ "C"("X") が "n"-サイクルであれば、"f"("α" ) と "g"("α") は境界だけ異なる。
すなわちそれらは homologous である。これで主張が証明された。
上記の構成は任意の位相空間に対して定義でき、連続写像の作用によって保たれる。この一般性により特異ホモロジー論は圏論の言葉で言い直すことができる。とくに、ホモロジー群は位相空間の圏 Top からアーベル群の圏 Ab への関手であると理解することができる。
まず formula_44 は位相空間から自由アーベル群への写像と考える。Top の射上のその作用を理解できるとすればこのことによって formula_22 を関手であるようにとれる。さて、Top の射は連続写像であるので、formula_46 が位相空間の連続写像であれば、群の準同型
と定義することで拡張できる、ただし formula_49 は特異単体で formula_50 は特異 "n"-チェイン、すなわち、formula_22 の元。このことは formula_26 は位相空間の圏からアーベル群の圏への関手
であることを示している。
バウンダリ作用素は連続写像と交換するので、formula_54。これによってチェイン複体全体を関手として扱うことができる。とくに、このことは写像 formula_55 が位相空間の圏からアーベル群の圏への関手
であることを示している。ホモトピーの公理によって formula_57 はまた関手であり、ホモロジー関手と呼ばれ、hTop, 商、に作用する。
これは特異ホモロジーを他のホモロジー論から区別する。formula_57 はなお関手であるが、Top のすべてで定義されている必要はない。ある意味、特異ホモロジーは「最大の」ホモロジー論である。Top の部分圏上のすべてのホモロジー論はその部分圏上の特異ホモロジーと一致するということである。一方で、特異ホモロジーは最もcleanな圏論的性質を持っていない。そのようなcleanupはのような他のホモロジー論の発達をモチベートする。
より一般的に、ホモロジー関手はアーベル圏の関手として、あるいは、チェイン複体の関手として、公理的に定義される。短完全列を長完全列に変えるバウンダリ射を要求する公理を満たす。特異ホモロジーの場合には、ホモロジー関手を2つのピースに分解できる。位相的なピースと代数的なピースである。位相的なピースは
で与えられる。位相空間を formula_61 として写し、連続関数を formula_62 として写す。すると、ここで、formula_63 は特異チェイン関手と理解され、これは位相空間を Comp (or Kom) に写す。チェイン複体の圏は対象としてチェイン複体をもち射としてチェイン写像をもつ。
次に、代数的な部分はホモロジー関手
で写しチェイン写像をアーベル群の写像に写す。公理的に定義されるのはこのホモロジー関手であり、それはそれ自身にチェイン複体の圏上の関手として基づいている。
ホモトピー写像はホモトピー同値なチェイン写像を定義することによって再び絵に入る。したがって、 hComp あるいは K、、を定義できる。
任意の単位的 環 "R" が与えられると、ある位相空間上の特異 "n"-単体全体の集合が自由 "R"-加群 の生成元であるようにとることができる。つまり、上記の構成を自由アーベル群から始めるのではなく、かわりに自由 "R"-加群を使うのである。構成のすべては、ほとんどあるいは全く変更することなしにできる。この結果は
でありこれは"R"-加群である。もちろん、普通は自由加群では"ない"。普通のホモロジー群は環を整数環にとるときに
に注意することによって再び得られる。表記 "H"("X", "R") をよく似た表記 "H"("X", "A") と混同してはならない。これは相対ホモロジー（下記）を表す。
部分空間 formula_68 に対し、 "H"("X", "A") はチェイン複体の商のホモロジーとして理解される。つまり、
ただしチェイン複体の商は短完全列
によって与えられる。
ホモロジーチェイン複体を双対化することによって（すなわち "R" を任意の環として関手 Hom(-, "R") を適用することによって）コバウンダリ写像 formula_71 をもったコチェイン複体を得る。"X" のコホモロジー群 (cohomology group) はこの複体のコホモロジー群として定義される。軽口に言えば、「コホモロジーは コ [双対複体] のホモロジーである。」
コホモロジー群はより豊富な、あるいは少なくともよりよく知られた、代数的構造をホモロジー群よりももつ。まず、それらは以下のように次数付き微分代数をなす。
これらは付加的なであり、コホモロジー代数は付加構造 mod "p" をもつ（前の通り、mod "p" コホモロジーは mod "p" コチェイン複体のコホモロジーであり、コホモロジーの mod "p" での還元ではない）、とくに の構造をもつ。
ホモロジー論の数が多くなってきたので（参照）、特異理論に対してベッチホモロジー (Betti homology) とベッチコホモロジー (Betti cohomology) という用語が（特に代数幾何について書く著者によって）ときどき使用される。単体的複体や閉多様体といった最もよく知られた空間のベッチ数を生じるからである。
ホモロジー論を公理的に（を通じて）定義して、公理の1つ（"次元公理"）を緩めれば、 と呼ばれる一般化された理論を得る。これらはもともと の形で、すなわち K-理論とにおいて生じた。この文脈において、特異ホモロジーは ordinary homology と呼ばれる。