代数的トポロジーにおけるオイラー指標
定義 1
シンプレックス が与えられているとする。 の頂点の数を、エッジの数を、フェイスの数を としたとき、 のオイラー指標euler Characteristic は以下のように定義される。
定理
位相空間 に対して、単体複体 から作られる単体的ホモロジー群が与えられたとき、オイラー指標は以下のように一般化され、計算される。
オイラー・ポアンカレの定理euler-Poincaré theorem
ホモロジー群の 番目のベッチ数 の交代和を のオイラー指標と呼ぶ。 したがって、オイラー指標はトポロジカル・インバリアント(位相的不変量)である。2
オイラー・ポアンカレ公式euler-Poincaré formula
スミス標準形である境界行列 と が与えられたとき、のゼロ列の数 と の対角成分の中で の数 に対して以下のように求めることができる。
導出
オイラー・ポアンカレの定理の詳細な証明は省略する。[Munkres2] を参照のこと。
ホモロジー群の効率的な計算可能性: のベッチ数を の番目のベッチ数betti numberと呼ぶ。有限複体 の は以下の通りである。
ホモロジー群のベッチ数は、スミス標準形の境界行列を通じて効率的に計算することができるため、オイラー・ポアンカレの定理からオイラー・ポアンカレの公式を導く。
説明
位相空間のオイラー指標は、キャラクタリスティックという表現からわかるように、位相的に変化しない、つまり位相空間の本質とつながっている数である。これは一般に知られている位相数学のコンセプトを見たとき、かなり説得力があり、直感的な説明であるが、例えば立方体でも球でも、粘土のようにこねて互いに作り変えることができる―ホメオモルフであれば は同じである。
- 立方体は 個の頂点、 個のエッジ、 個のフェイスを持つため
- 球体は赤道を作るために始点と終点が同じリングが1つ必要で、 個の頂点、 個のエッジを持ち、その赤道を基準に北半球と南半球を持つため 個のフェイスを持つ。
ベッチ数との関係
オイラー・ポアンカレの定理により、シンプレックスで定義されたオイラー指標の概念は一般的な位相空間に拡張され、オイラー・ポアンカレ公式により具体的に計算することができる。
オイラー指標がベッチ数の交代和として表されるという事実は、そのもの自体が興味深い文であり、ベッチ数はオイラー指標だけでは把握できない位相空間の特性を説明し、同時にオイラー指標の直感的な理解をカバーするためである。ある意味で、オイラー指標は各次元のベッチ数に分解されたもので、学者たちは当然ながらオイラー指数が同じであってもベッチ数が異なる場合の現象に関心を持つ。
グラフ理論でのオイラー標数
もともとオイラー標数はグラフ理論で最も有名で、オイラーの多面体定理またはオイラー公式は、連結平面グラフに対してというグラフ理論の定理である。多面体がシンプレックスのように単純でなかったり、容易に想像できる凸多面体でない場合、この記事で紹介した一般化された定義が必要になる。
幾何学でのオイラー指標
ガウス・ボンネの定理の方程式を満たす整数として定義される。
代数的位相幾何学でのオイラー指標
各次元のベッチ数の交代和として定義される。