オイラー標数

オイラー標数（オイラーひょうすう、）とは、位相空間のもつある種の構造を特徴付ける位相不変量のひとつ。オイラーが多面体の研究においてこの不変量を用いたことからこの名がある。オイラー数と呼ばれることもあるが、オイラー数は別の意味で使われることも多いWeisstein。

 定義 
位相空間  のオイラー標数  は交代和

で定義される十分先でベッチ数は  になるので、和は実際は有限和である。。ただし、 は位相空間  の  次元ベッチ数、すなわちホモロジー群  のアーベル群としての階数である。

 性質 
+例：正多面体 多面体  頂点  辺  面 オイラー標数  40px464240px8126240px6128240px203012240px1230202
ホモロジー群は位相不変量であるため、オイラー標数も位相不変量である。閉曲面の分類定理により、向き付け可能な連結閉曲面においてはオイラー標数は位相同型に関する完全不変量になっている。

有限CW複体  に含まれる  次元単体の個数を  とすると、

である。つまり、この場合はホモロジー群を計算しないで含まれている単体さえわかればオイラー標数を計算できる。特に  が有限連結グラフである場合、 頂点の数を , 辺の数を  としてオイラー標数は  と書ける。もしグラフ  が閉路をもたないならば  である。また  が多面体である場合、頂点の数を , 辺の数を , 面の数を  としてオイラー標数は

と書ける。凸多面体ならばこれは常に 2 に等しく、これをオイラーの多面体定理という。

 オイラーの多面体定理の証明 
 双対グラフによる証明 
サムネイル| 正十二面体の多面体グラフ（青）とその双対（赤）。双対グラフの頂点の一つは無限遠に存在する。
サムネイル|正十二面体の多面体グラフの全域木（青）とその双対（赤）。グラフの全域木とその双対が持つ関係からオイラーの多面体定理が導かれる。

まず、多面体の頂点や辺の関係は平面グラフに落とし込むことができることに着目する。これは次のようにして可能である。まず多面体の面の一つを取り除き、空いた穴を広げて残りの面を平面に近づけていく。こうしてできたグラフの外側の領域を最初に取り除いた面と対応させれば、多面体の頂点と辺の関係を持つ平面グラフが得られる。
次に、平面グラフの全域木とその双対を考える。グラフの全域木とはグラフのすべての頂点を接続し、なおかつ閉路を含まないようなグラフである。また、双対グラフとは、元となるグラフの面に対応する頂点をもち、元グラフの面どうしを繋ぐ辺に対応する辺をもつグラフである。全域木の双対は、元グラフの双対のうち、全域木に含まれない辺に対応する辺を含むグラフである。全域木の双対は元グラフの双対の全域木となることは、以下のようにしてわかる。

いま、平面グラフとその双対を考える。の全域木に対し、のうち に含まれないグラフをとする。また、のうちに対応するグラフをとする。は閉路を持たないため、の各々の面を囲む辺のうち、少なくとも1つはに含まれる。このことを双対の世界で言い直すと、の各頂点は必ずがもつ辺により連結されるということになる。ここでもしが閉路を持つとすると、同様の議論によって、の頂点のうち少なくとも1つがにより連結されないことになる。しかし、これはが全域木であることと相容れないため、は閉路を持たない。よって、はの全ての頂点を連結し、閉路を持たない。すなわちはの全域木である。

このことから、平面グラフの全ての辺は全域木と、グラフの双対の全域木に対応する辺に分解することができる。

木グラフは一つの頂点から初めて、頂点と辺をそれぞれ一つずつグラフに付け加えていくことによって作ることができる。このため、木グラフの頂点の数と辺の数は、 という関係をもつ。
いま、グラフについてその全域木が与えられたとする。の辺の数をとすると、 が成り立つ。またの双対の辺の数をとすると、は の全域木であるため、の頂点の数、すなわちの面の数について同様な関係 が成り立つ。の辺の数との辺の数を足すとの辺の数に等しく、またの各辺はの各辺に一対一に対応するため、


が成り立つ。これはオイラーの多面体定理に他ならない。

脚注

 参考文献 



 他の読み物 
 佐久間一浩：『トポロジー集中講義：オイラー標数をめぐって』、培風館、ISBN 4-563-00365-4 (2006年7月20日).

 関連項目 

位相幾何学
オイラーの多面体定理
ガウス・ボネの定理
曲面
複体
不変量
ポアンカレ・ホップの定理
ホモロジー

 外部リンク 

Category:位相幾何学
Category:位相幾何学的グラフ理論
Category:数学に関する記事
Category:レオンハルト・オイラー
Category:数学のエポニム