オイラー標数のソースを表示

[[File:Triple torus array.png|200px|thumb|[[種数]] {{mvar|g}} の[[向き付け可能]]な[[連結空間|連結]][[閉多様体|閉]][[曲面]] {{mvar|&Sigma;{{sub|g}}}} のオイラー標数は {{math|''&chi;''(''&Sigma;{{sub|g}}'') {{=}} 2 &minus; 2''g''}} である<ref>{{cite book
|title=Differential Topology
|last=Hirsch
|first=M. W.
|year=1976
|publisher=Springer
|quote={{google books quote|id=emTmBwAAQBAJ|page=204|Theorem 9.3.5}}
|isbn=978-1-4684-9451-8
|zbl=0356.57001
}}</ref>。]]
'''オイラー標数'''（オイラーひょうすう、{{Lang-en-short|Euler characteristic}}）とは、[[位相空間]]のもつある種の構造を特徴付ける[[位相幾何学#位相的性質|位相不変量]]のひとつ。[[レオンハルト・オイラー|オイラー]]が[[多面体]]の研究においてこの不変量を用いたことからこの名がある。[[オイラー数]]と呼ばれることもある<ref>{{Harvnb|田村|1972|p=102}}</ref>が、オイラー数は別の意味で使われることも多い<ref>[[#Reference-Mathworld-Euler Number|Weisstein]]</ref>。

== 定義 ==
[[位相空間]] {{mvar|X}} のオイラー標数 {{math|''&chi;''(''X'')}} は[[交項級数|交代和]]
:<math>\chi(X) = \sum_{n = 0}^{\infty} (-1)^n b_n</math>

で定義される<ref>[[ほとんど (数学)#ほとんど全ての|十分先]]でベッチ数は {{math|0}} になるので、和は実際は有限和である。</ref>。ただし、{{mvar|b<sub>n</sub>}} は位相空間 {{mvar|X}} の {{mvar|n}} 次元[[ベッチ数]]、すなわち[[ホモロジー群]] {{math|''H''<sub>''n''</sub>(''X'')}} の[[アーベル群]]としての[[アーベル群の階数|階数]]である。

== 性質 ==
{| class="wikitable floatright"
|+例：[[正多面体]]
!style="width:3em" | 多面体<br /> {{mvar|K}}
!style="width:2em" | 頂点<br /> {{mvar|v}}
!style="width:2em" | 辺<br /> {{mvar|e}}
!style="width:2em" | 面<br /> {{mvar|f}}
!style="width:6em" |オイラー標数<br /> {{math|''v'' &minus; ''e'' + ''f''}}
|- align=center
| [[Image:tetrahedron.png|40px]]
|4
|6
|4
|2
|- align=center
|[[Image:hexahedron.png|40px]]
|8
|12
|6
|2
|- align=center
|[[Image:octahedron.png|40px]]
|6
|12
|8
|2
|- align=center
|[[Image:dodecahedron.png|40px]]
|20
|30
|12
|2
|- align=center
|[[Image:icosahedron.png|40px]]
|12
|30
|20
|2
|}
[[ホモロジー群]]は[[位相不変量]]であるため、オイラー標数も位相不変量である。[[曲面|閉曲面の分類定理]]により、[[向き付け可能]]な[[連結空間|連結]][[閉多様体|閉]][[曲面]]においてはオイラー標数は[[位相同型]]に関する[[完全不変量]]になっている。

有限[[CW複体]] {{mvar|K}} に含まれる {{mvar|n}} 次元単体の個数を {{mvar|q<sub>n</sub>}} とすると、
:<math>\chi(K) = \sum_{n = 0}^\infty (-1)^n q_n</math>

である<ref>{{cite book
|title=Topology and Geometry
|last=Bredon
|first=G. E.
|year=1993
|publisher=Springer
|url={{google books|wuUlBQAAQBAJ|plainurl=yes}}
|quote=Theorem 13.3 (Euler-Poincaré)
|isbn=3-540-97926-3
|zbl=0791.55001
}}</ref>。つまり、この場合はホモロジー群を計算しないで含まれている単体さえわかればオイラー標数を計算できる。特に {{mvar|K}} が有限[[連結グラフ]]である場合、 頂点の数を {{math|''v'' {{=}} ''q''<sub>0</sub>}}, 辺の数を {{math|''e'' {{=}} ''q''<sub>1</sub>}} としてオイラー標数は <math>\chi(K) = v - e</math> と書ける。もしグラフ {{mvar|K}} が[[木 (数学)|閉路をもたない]]ならば <math>\chi(K) = 1</math> である。また {{mvar|K}} が[[多面体]]である場合、頂点の数を {{math|''v'' {{=}} ''q''<sub>0</sub>}}, 辺の数を {{math|''e'' {{=}} ''q''<sub>1</sub>}}, 面の数を {{math|''f'' {{=}} ''q''<sub>2</sub>}} としてオイラー標数は
:<math>\chi(K) = v - e + f</math>

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

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

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

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

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

木グラフは一つの頂点から初めて、頂点と辺をそれぞれ一つずつグラフに付け加えていくことによって作ることができる。このため、木グラフの頂点の数''{{mvar|v}}''と辺の数''{{mvar|e}}''は、{{math|1=''e'' = (''v'' &minus; 1)}} という関係をもつ。
いま、グラフ{{math|''G''}}についてその全域木{{math|''S''}}が与えられたとする。{{math|''S''}}の辺の数を{{math|''e''{{sub|''S''}}}}とすると、{{math|1=''e''{{sub|''S''}} = (''v'' &minus; 1)}} が成り立つ。また{{math|''S''}}の双対''{{mvar|~S*}}''の辺の数を{{math|''e''{{sub|~''S''*}}}}とすると、''{{mvar|~S*}}''は''{{mvar|G*}}'' の全域木であるため、''{{mvar|G*}}''の頂点の数、すなわち{{math|''G''}}の面の数''{{mvar|f}}''について同様な関係 {{math|1=''e''{{sub|~''S''*}} = (''f'' &minus; 1)}}が成り立つ。{{math|''S''}}の辺の数と''{{mvar|~S}}''の辺の数を足すと{{math|''G''}}の辺の数に等しく、また''{{mvar|~S}}''の各辺は''{{mvar|~S*}}''の各辺に一対一に対応するため、
: <math>e = (v - 1) + (f - 1) </math>

が成り立つ。これはオイラーの公式に他ならない。

==脚注==
{{脚注ヘルプ}}
{{reflist|2}}

== 参考文献 ==
* {{Cite book|和書|author=田村一郎|authorlink=田村一郎|date=1972-04-27|title=トポロジー|series=[[岩波全書]]276|publisher=[[岩波書店]]|page=102|isbn=4-00-021413-6|ref={{Harvid|田村|1972}}}}
** {{Cite book|和書|author=田村一郎|date=2015-08-11|title=トポロジー|edition=[[オンデマンド印刷|オンデマンド出版]]|publisher=岩波書店|page=102|isbn=978-4-00-730257-2|ref={{Harvid|田村|2015}}}}

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

== 関連項目 ==
<!--項目の50音順-->
{{Div col}}
*[[位相幾何学]]
*[[オイラーの多面体定理]]
*[[ガウス・ボネの定理]]
*[[曲面]]
*[[複体]]
*[[不変量]]
*[[ポアンカレ・ホップの定理]]
*[[ホモロジー (数学)|ホモロジー]]
{{Div col end}}

== 外部リンク ==
*{{Kotobank|オイラー標数|2=世界大百科事典}}
*{{MathWorld|title=Euler Characteristic|urlname=EulerCharacteristic}}
*{{MathWorld|title=Euler Number|urlname=EulerNumber}}
*{{SpringerEOM|title=Euler characteristic|id=Euler_characteristic}}

{{DEFAULTSORT:おいらあひようすう}}
[[Category:位相幾何学]]
[[Category:位相幾何学的グラフ理論]]
[[Category:数学に関する記事]]
[[Category:レオンハルト・オイラー]]
[[Category:数学のエポニム]]