単体的ホモロジーのソースを表示

{{出典の明記|date=2021年9月}}
[[代数的位相幾何学|代数位相幾何学]]において、'''単体ホモロジー'''とはある[[単体的複体]]の[[ホモロジー群]]の系列のことである。これは、複体の特定の次元の穴の数の概念を形式化する。これにより、連結成分の数（次元0の場合がいわゆる連結成分の数）が一般化される。

単体的ホモロジーは、''n-''[[単体 (数学)|単体]]を構成要素として[[位相空間]]を研究する方法として生じた。n-単体とは三角形のn-次元アナログであり、点（0-単体）、線分（1-単体）、三角形（2-単体）、および四面体（3-単体）が含まれる。定義上、そのような空間は[[単体的複体|単体的]][[複体]]に[[位相同型]]である（より正確には、[[集合族|集合の族]]に対応する[[:en:Abstract_simplicial_complex|抽象的単体的複体]]の幾何学的実現に位相同型である)。このような[[同相写像]]は、与えられた空間の''[[:en:Triangulation_(topology)|三角化]]と呼ばれる。すべての滑らかな''[[多様体]]を含む、対象として興味深い多くの位相空間は三角化可能である(Cairns and [[:en:J.H.C._Whitehead|Whitehead]]).<ref>{{Citation|last1=Prasolov|first1=V. V.|title=Elements of combinatorial and differential topology|year=2006|publisher=[[American Mathematical Society]]|isbn=0-8218-3809-1|mr=2233951}}</ref>{{Rp|sec.5.3.2}}。

任意の抽象的単体的複体に対して、その単体的ホモロジーは、単純な計算方法によって定義される。単体的ホモロジーが関連する位相空間にのみ依存して定まることは注目に値する事実である。 <ref>{{Citation|last=Armstrong|first1=M. A.|title=Basic topology|year=1983|publisher=[[Springer-Verlag]]|isbn=0-387-90839-0|mr=0705632}}</ref> {{Rp|sec.8.6}}この事実のお蔭で、あるスペースと別のスペースとを区別するための計算可能な方法が得られる。

== 定義 ==
[[ファイル:Simplicial homology - exactness of boundary maps.svg|サムネイル|左は2-単体(三角形)の境界のそのさらに境界を取る様子。右は1-チェーン(３つの1-単体(線分)の集まり)の境界を取る様子。左右ともに、最終的に0となる。0-単体(点)の正と負の両方が1回ずつ生じており、それらの合計は0である。ちなみに、境界の境界を取るとその結果は必ず0である。自明でないサイクルは閉じる。その閉じる様子は、単体の境界と似ている。しかしながら、サイクルの境界は0となり、サイクル自体は、単体の境界でも、単体的複体から得られるチェーンでもない。実際、自明な1-サイクルは<math>H_1</math> で0に等しいが、図の右中央の1-サイクルは、図の左の2-単体の境界に見られる和と相同である。]]

=== 向き ===
単体的ホモロジーを定義する際の重要な概念は、単体の[[向き付け可能性|向きの概念]]である。定義により、 ''k-単体の向きは、単体の頂点にある順序を定め、''(''v''<sub>0</sub>,...,''v<sub>k</sub>'')として書くこととし、頂点の順列を２通りに分けることで定める。2つの頂点順序は、[[偶置換]]で入れ替わるなら同じ向き、[[置換の符号|奇置換]]ならば異なる向きとして２分する。したがって、すべての単体にはちょうど2つの向きがあり、2つの頂点の順序を入れ替えると、単体の向きが反転する。たとえば、1-単体の向きを選択することは、線分(1-単体)が持ちうる2つの向きのいずれかを選択することを意味し、2-単体の向きを選択することは、「反時計回り」が三角形をどちら向きに回ることに相当するかを決めることを意味する。

=== チェーン ===
''Sを単体的''複体とする。Sの[[:en:Chain_(algebraic_topology)|単体的k-チェーン]]は有限な[[自由アーベル群|形式和]]

: <math>\sum_{i=1}^N c_i \sigma_i, \,</math>

のことである。ただし、各''c<sub>i</sub>''は整数であり、σ<sub>''i''</sub>指は向きつけられた''k''-単体である。この定義により、向きつけられた単体は、反対向きの単体の反対方向の単体の[[反数]](負数)に等しいと言える。例えば、

: <math> (v_0,v_1) = -(v_1,v_0).</math>

''S''の''k''-チェーンの群を''C<sub>k</sub>''と書く。''C<sub>k</sub>''は[[自由アーベル群]]''であり、この自由アーベル群は基底は、Sに含まれるk-単体''の集合と1対1対応する。この基底を明示的に定義するには、Sの各単体の向きを選べばよい。この向き選びの標準的な方法の1つは、まず、すべての頂点の順序を1つ選ぶ。その後、各単体の向きは、その単体の頂点の順序を全頂点の順序に揃えることとし、それにより、各単体の向きを決める。

=== 境界とサイクル ===
σ = (''v''<sub>0</sub>,...,''v<sub>k</sub>'')''を向き付けられたk-単体とし、自由アーベル群C <sub>k</sub>''と基底の１つとみなす。'''境界演算子'''

: <math>\partial_k: C_k \rightarrow C_{k-1}</math>

は次のように定義される[[準同型]]である。

: <math>\partial_k(\sigma)=\sum_{i=0}^k (-1)^i (v_0, \dots, \widehat{v_i}, \dots ,v_k),</math>

ここで、向き付けられた単体

: <math>(v_0, \dots, \widehat{v_i}, \dots ,v_k)</math>

は''σのi''番目の面であり''、σからそのi''番目の頂点を削除することによって得られる。

''C <sub>k</sub>''の亜群の要素

: <math>Z_k := \ker \partial_k</math>

は、'''サイクル'''と呼ばれ、亜群

: <math>B_k := \operatorname{im} \partial_{k+1}</math>

は'''境界'''で構成されていると言われる。

=== 境界の境界 ===
直接、計算することで∂<sup>2</sup> = 0を示すことができる。幾何学的に言えば、これは何かの境界には境界がないことを意味する。これはアーベル群

: <math>(C_k, \partial_k)</math>

が[[鎖複体]]を形成すると言うのと同じことであり、また、別の言い方をして、''B <sub>k</sub>はZ <sub>k</sub>の''中に含まれるとも表現できる。

例を挙げる。四面体を考え、その頂点にw,x,y,zという順序を与える。定義上、その境界はxyz-wyz + wxz-wxyで与えられる。境界の境界は次の式で与えられ、（yz-xz + xy）-（yz-wz + wy）+（xz-wz + wx）-（xy-wy + wx）実際に計算すると０になる(（yz-xz + xy）-（yz-wz + wy）+（xz-wz + wx）-（xy-wy + wx）=0)。
[[ファイル:Triangles for simplical homology.jpg|サムネイル|272x272ピクセル|2個の1-穴を持つ単体的複体]]

=== ホモロジー群 ===
''S''の''k次''ホモロジー群''H<sub>k</sub>を''アーベル群の[[商群|商]]群(剰余群)として定義する。

: <math>H_k(S) = Z_k/B_k\, .</math>

したがって、ホモロジー群''H<sub>k</sub>''(''S'')が0にならないのは、境界ではない''k-''サイクルが''S''上にある場合に限ることとなる。境界ではないk-サイクルは、''k次元の穴に相当するので、ある意味で、単体的複体にk次元の穴の存在を意味する。''たとえば、図に示されているように、内部のない２つの三角形が１辺で張り合わさっている単体的''複体S''について考える。各三角形のエッジは、サイクルを形成するように方向付けることができる。この単体的複体の作り方から言って、これらの2つのサイクルは境界ではない（すべての2チェーンがゼロであるため）。ホモロジー群''H''<sub>1</sub>(''S'')''は、前記2サイクルを基底とする'''''Z'''<sup>2</sup>と準同型であることを計算することができる。''これにより、Sに''は2つの「1次元の穴」があるという曖昧な考えを数学的に正確に述べることができる。

穴の次元はさまざまである。 ''k''次ホモロジー群の[[アーベル群のランク|ランク]]は

: <math>\beta_k = \operatorname{rank} (H_k(S))\,</math>

''という数であり、Sのk''次[[ベッチ数]]と呼ばれる。''これによりSのk''次元の穴の数の測ることができるようになる。

== 実装 ==
* パーシステントホモロジーを計算するための[[MATLAB]]ツールボックス, Plex（Vin de Silva 、 Gunnar Carlsson ）は、[https://web.archive.org/web/20070222070444/http://math.stanford.edu/comptop/programs/ このサイト]で入手できる。
* [[C++|C ++]]のスタンドアロン実装は[http://www.sas.upenn.edu/~vnanda/perseus/index.html Perseus]および[http://www.mrzv.org/software/dionysus/ Dionysus]ソフトウェアプロジェクトの一部として利用できる。

== 参照 ==
* [[:en:Simplicial homotopy|Simplicial homotopy]]

== 参考文献 ==
{{reflist}}

== 外部リンク ==

* [http://math.stanford.edu/comptop/ Topological methods in scientific computing]
* [http://www.math.gatech.edu/~chomp/ Computational homology (also cubical homology)]

{{デフォルトソート:たんたいてきほもろしい}}
[[Category:代数的位相幾何学]]
[[Category:位相幾何学]]
[[Category:数学に関する記事]]