凸な多面体の頂点・辺・面の個数は多面体ごとに異なるが、三つの個数をそれぞれ、、とすると、つねにが成り立つ。有限 CW 複体についても、各次元の開胞体の個数の交代和として整数が定まる。この整数を Euler 標数という。ただし、この定義は胞体分解を用いるから、同じ空間に別の胞体分解を入れて同じ値が得られるかどうかは、定義だけからは明らかでない。実際には、Euler 標数はホモロジー群の自由部分の階数である Betti 数の交代和に等しい。この等式は有限生成加群の階数の加法性から従う。Betti 数の交代和は空間のホモロジー群だけで定まるから、Euler 標数は胞体分解のとり方に依らず、空間を区別する最も簡単な数値の一つとして広く用いられる。本記事では、Euler 標数と Betti 数を定義し、両者の基本的な性質や代表的な例について解説する。
1 Betti 数と捩れ係数
定義 1.1.が有限生成であるとする。有限生成アーベル群の構造定理§E6.53 定理 16.2による表示
において、一意に定まる非負整数を第Betti 数 (Betti number)、整数を第ホモロジーの 捩れ係数 (torsion coefficients) という。捩れ部分が零ならばとし、捩れ係数の列は空である。§E6.53 補題 14.3 (1)によりである。
例 1.2.§E21.24 命題 4.1 (1)により、実射影平面の整数係数ホモロジーは零次が、一次が、それ以外が零である。したがってであり、唯一の捩れ係数は一次のである。一点空間も同じ Betti 数を持つので、Betti 数だけから捩れ係数を復元することはできない。
2 Euler 標数とホモロジー
定義 2.1. 開胞体が有限個である CW 複体を 有限 CW 複体 (finite CW complex) という。有限 CW 複体の次元開胞体の個数をとするとき、
を Euler 標数 (Euler characteristic) という。この和では有限個の項だけが零でない。
定理 2.2. 有限 CW 複体について、すべてのでは有限生成であり、有限個の次数を除いてである。また、
が成り立つ。したがって Euler 標数は、位相空間に与えた有限 CW 複体の構造によらない。
証明.§E21.24 命題 5.1 (1)により各ホモロジー群は有限生成である。§E21.23 命題 1.1 (2)と§E21.23 命題 1.1 (3)により、胞体鎖群は個の胞体を基底とする自由アーベル群である。よってその階数はであり、この鎖複体は有限個の次数を除いて零である。
§E6.51 命題 1.3をとこの胞体鎖複体に適用し、§E21.24 定理 2.1 (2)の比較同型を用いると、
を得る。ならばその次数のホモロジーも零なので、右辺は有限和である。右辺は特異ホモロジーだけから定まり、胞体分解には依存しない。▨
系 2.3. 有限 CW 複体がホモトピー同値ならば、である。
証明.§E21.13 系 3.3により各次数の整数係数ホモロジーが同型になる。構造定理の一意性からである。定理 2.2の交代和に代入すると結論を得る。▨
注意 2.4.には、境界上の一点、そこを除いた境界の開弧、円板の内部をそれぞれ零・一・二胞体とする分解がある。一胞体の特性写像は両端をその一点へ送る境界円周の一周、二胞体の特性写像はの恒等写像である。§E21.22 系 3.2により、これは有限 CW 複体であり、である。実射影平面も§E21.22 命題 4.2 (2)の分解によりである。一次ホモロジーの捩れ係数は、Betti 数の交代和には現れない。
命題 2.5. 体と有限 CW 複体に対して、各は有限次元であり、有限個の次数を除いて零である。また、
が成り立つ。
証明. 証明は問題 4.1 (1)の演習とする。解答は解答にある。▨
3 多面体の Euler 公式
定理 3.1 (多面体の Euler 公式).
- と同相な有限 CW 複体はを満たす。三次元以上の胞体がなければである。
- を内点を持つコンパクト凸集合とする。有限点集合、の相異なる二点を端点とする線分の有限集合、有限集合が与えられ、各はあるアフィン平面内で内点を持つコンパクト凸集合であるとする。さらに次の条件を仮定する。
このときである。
- 各のその平面内での境界は、のいくつかの元の和集合である。
- 、、各線分の両端を除いた開線分、各のその平面内での内部は、互いに交わらず、その和集合がである。
証明.主張 (1)を示す。§E21.18 定理 2.2 (2)によりの Betti 数は、そのほかは零である。同相はホモロジー同型を誘導するので、定理 2.2により主張 (1)を得る。
主張 (2)を示す。、、と置く。各辺には閉区間から線分へのアフィン同相を特性写像として与える。各面の平面をとアフィン同一視し、§E21.2 補題 3.1 (2)を適用すると、からその面への同相で、境界を面の境界へ、内部を面の内部へ送るものを得る。第一の条件により面の境界はに写り、辺の境界はに写る。第二の条件により開胞体は互いに交わらずを覆う。
は Hausdorff であり、胞体は有限個なので、§E21.22 系 3.2によりこれらは CW 複体構造を定める。§E21.2 補題 3.1 (1)をに適用するとである。主張 (1)により、零・一・二胞体の個数の交代和はとなる。▨
系 3.2. 球面、円環面および実射影平面の Euler 標数は、、、である。それぞれの標準胞体分解のは、、であり、Betti 数の組は、、である。
証明. 球面のホモロジーは§E21.18 定理 2.2 (2)による。円環面では§E21.7 命題 4.4 (1)の同相と§E21.24 命題 4.4 (1)を用い、実射影平面では§E21.24 命題 4.1 (1)を用いると、表示した Betti 数を得る。定理 2.2により各 Euler 標数を得る。
胞体数は、球面と実射影平面について§E21.22 命題 4.2 (1)と§E21.22 命題 4.2 (2)、円環面についての§E21.22 命題 4.2 (5)による。それらの交代和も同じ値になる。▨
4 演習
問題 4.1.
- 体と有限 CW 複体について、命題 2.5を証明せよ。有限自由鎖複体の階数の交代和と、係数付きの胞体比較を用いてよい。
- 、に対して前項の等式を確かめ、各次数のとを比較せよ。
解答.
- 係数付きの胞体鎖群はであり、§E6.12 定理 10.1により次元のベクトル空間である。有限個の次数を除いて零なので、§E6.51 命題 1.3をとして適用することができる。§E6.53 補題 14.3 (2)により階数は次元に等しい。§E21.24 定理 3.4 (1)の比較同型は係数の準同型について自然であり、各の乗法と可換なので線形である。したがって である。有限生成性と零になる次数も、同じ有限鎖複体から従う。
- §E21.24 命題 4.1 (2)により、零・一・二次の次元はすべて、そのほかは零である。よって交代和はとなる。一方、整数係数の Betti 数はであり、一次と二次では体係数の次元と異なる。等しいのはこの場合の交代和であって、各次数の値ではない。
▨
問題 4.2.定理 3.1 (2)の仮定に加えて、各面の境界がちょうど五辺からなり、各辺がちょうど二面の境界に含まれ、各頂点がちょうど三辺の端点であるとする。頂点・辺・面の個数を求め、正十二面体の個数と一致することを確かめよ。
解答.
面とその境界辺の組を数えると、頂点とそこを端点とする辺の組を数えるとである。Euler の公式に代入すると
なので、、、となる。これは正十二面体の個数に一致する。▨
問題 4.3.とがホモトピー同値でないことを示せ。また、この二空間を用いて、Euler 標数が等しい有限 CW 複体がホモトピー同値とは限らないことを示せ。
解答.
は可縮なので、§E21.13 系 3.4 (2)によりである。一方、§E21.24 命題 4.1 (1)によりである。ホモトピー同値ならば両群は同型になるはずなので、二空間はホモトピー同値でない。両者は零・一・二胞体を一つずつ持つ分解があり、Euler 標数はともにである。▨