オイラー標数
提供: miniwiki
2018/6/27/ (水) 16:30時点におけるja>RGAMTAによる版 (Category:レオンハルト・オイラーを追加 (HotCat使用))
オイラー標数(オイラーひょうすう、英: Euler characteristic)とは、位相空間のもつある種の構造を特徴付ける位相不変量のひとつ。オイラーが多面体の研究においてこの不変量を用いたことからこの名がある。オイラー数と呼ばれることもある[1]が、オイラー数は別の意味で使われることも多い[2]。
定義
位相空間 X のホモロジー群 Hi(X) (i = 0, 1, 2, ...) について、オイラー標数 χ(X) は
- [math]\chi(X) = \sum_{i = 0}^{\infty} (-1)^ib_i[/math]
で定義される[3]。ただし、bi は X の i 次のベッチ数、すなわち Hi(X) のアーベル群としての階数である。
性質
ホモロジー群は位相不変量であるため、オイラー標数も位相不変量である。閉曲面の分類定理により、連結かつ向き付け可能な閉曲面においてはオイラー数は位相同型に関する完全不変量になっている。
n次元CW複体 K に含まれる i 次元単体の個数を qi とすると、
- [math]\chi(K) = \sum_{i = 0}^{n} (-1)^iq_i[/math]
である。つまり、この場合はホモロジー群を計算しないで含まれている単体さえわかればオイラー標数を計算できる。特に K が多面体であった場合、頂点数 V = q0, 辺の数 E = q1, 面の数 F = q2 として
- [math]\chi(K) = q_{0} - q_{1} + q_{2} = V - E + F[/math]
とも書かれる。凸多面体ならばこれは常に 2 に等しく、これをオイラーの多面体定理という。
脚注
参考文献
- 田村一郎 『トポロジー』 岩波書店〈岩波全書276〉、1972-04-27。
- 田村一郎 『トポロジー』 岩波書店、2015-08-11、オンデマンド出版。ISBN 978-4-00-730257-2。
関連項目
外部リンク
- Weisstein, Eric W. “Euler Characteristic”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Weisstein, Eric W. “Euler Number”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。