オイラー標数
オイラー標数(オイラーひょうすう、英: Euler characteristic)とは、位相空間のもつある種の構造を特徴付ける位相不変量のひとつ。オイラーが多面体の研究においてこの不変量を用いたことからこの名がある。オイラー数と呼ばれることもある[2]が、オイラー数は別の意味で使われることも多い[3]。
定義編集
で定義される[4]。ただし、bn は位相空間 X の n 次元ベッチ数、すなわちホモロジー群 Hn(X) のアーベル群としての階数である。
性質編集
多面体 K |
頂点 V |
辺 E |
面 F |
オイラー標数 V − E + F |
---|---|---|---|---|
4 | 6 | 4 | 2 | |
8 | 12 | 6 | 2 | |
6 | 12 | 8 | 2 | |
20 | 30 | 12 | 2 | |
12 | 30 | 20 | 2 |
ホモロジー群は位相不変量であるため、オイラー標数も位相不変量である。閉曲面の分類定理により、向き付け可能な連結閉曲面においてはオイラー標数は位相同型に関する完全不変量になっている。
有限CW複体 K に含まれる n 次元単体の個数を qn とすると、
である[5]。つまり、この場合はホモロジー群を計算しないで含まれている単体さえわかればオイラー標数を計算できる。特に K が有限連結グラフである場合、 頂点の数を V = q0, 辺の数を E = q1 としてオイラー標数は と書ける。もしグラフ K が閉路をもたないならば である。また K が多面体である場合、頂点の数を V = q0, 辺の数を E = q1, 面の数を F = q2 としてオイラー標数は
と書ける。凸多面体ならばこれは常に 2 に等しく、これをオイラーの多面体定理という。
オイラーの多面体定理の証明編集
双対グラフによる証明編集
まず、多面体の頂点や辺の関係は平面グラフに落とし込むことができることに着目する。これは次のようにして可能である。まず多面体の面の一つを取り除き、空いた穴を広げて残りの面を平面に近づけていく。こうしてできたグラフの外側の領域を最初に取り除いた面と対応させれば、多面体の頂点と辺の関係を持つ平面グラフが得られる。 次に、平面グラフの全域木とその双対を考える。グラフの全域木とはグラフのすべての頂点を接続し、なおかつ閉路を含まないようなグラフである。また、双対グラフとは、元となるグラフの面に対応する頂点をもち、元グラフの面どうしを繋ぐ辺に対応する辺をもつグラフである。全域木の双対は、元グラフの双対のうち、全域木に含まれない辺に対応する辺を含むグラフである。全域木の双対は元グラフの双対の全域木となることは、以下のようにしてわかる。
いま、平面グラフGとその双対G*を考える。Gの全域木Sに対し、GのうちS に含まれないグラフを~Sとする。また、G*のうち~Sに対応するグラフを~S*とする。Sは閉路を持たないため、Gの各々の面を囲む辺のうち、少なくとも1つは~Sに含まれる。このことを双対の世界で言い直すと、G*の各頂点は必ず~S*がもつ辺により連結されるということになる。ここでもし~S*が閉路を持つとすると、同様の議論によって、Gの頂点のうち少なくとも1つがSにより連結されないことになる。しかし、これはSが全域木であることと相容れないため、~S*は閉路を持たない。よって、~S*はG*の全ての頂点を連結し、閉路を持たない。すなわち~S*はG*の全域木である。
このことから、平面グラフの全ての辺は全域木と、グラフの双対の全域木に対応する辺に分解することができる。
木グラフは一つの頂点から初めて、頂点と辺をそれぞれ一つずつグラフに付け加えていくことによって作ることができる。このため、木グラフの頂点の数Vと辺の数Eは、E = (V − 1) という関係をもつ。 いま、グラフGについてその全域木Sが与えられたとする。Sの辺の数をESとすると、ES = (V − 1) が成り立つ。またSの双対~S*の辺の数をE~S*とすると、~S*はG* の全域木であるため、G*の頂点の数、すなわちGの面の数Fについて同様な関係 E~S* = (F − 1)が成り立つ。Sの辺の数と~Sの辺の数を足すとGの辺の数に等しく、また~Sの各辺は~S*の各辺に一対一に対応するため、
- E = (V − 1) + (F − 1)
が成り立つ。これはオイラーの公式に他ならない。
脚注編集
- ^ Hirsch, M. W. (1976). Differential Topology. Springer. ISBN 978-1-4684-9451-8. Zbl 0356.57001. "Theorem 9.3.5"
- ^ 田村 1972, p. 102
- ^ Weisstein
- ^ 十分先でベッチ数は 0 になるので、和は実際は有限和である。
- ^ Bredon, G. E. (1993). Topology and Geometry. Springer. ISBN 3-540-97926-3. Zbl 0791.55001 . "Theorem 13.3 (Euler-Poincaré)"
参考文献編集
- 田村一郎『トポロジー』岩波書店〈岩波全書276〉、1972年4月27日、102頁。ISBN 4-00-021413-6。
- 田村一郎『トポロジー』(オンデマンド出版)岩波書店、2015年8月11日、102頁。ISBN 978-4-00-730257-2。
関連項目編集
外部リンク編集
- 世界大百科事典『オイラー標数』 - コトバンク
- Weisstein, Eric W. "Euler Characteristic". MathWorld (英語).
- Weisstein, Eric W. "Euler Number". MathWorld (英語).
- Hazewinkel, Michiel, ed. (2001), "Euler characteristic", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。