有限CW 复形公理库CW 复形CW complex通过按维粘贴开胞腔逐层构造,并满足闭包有限性与弱拓扑条件的空间。的胞腔交替和与同调公理库奇异同调Singular homology由奇异单形生成链复形,再以循环模边界得到的拓扑不变量。 Betti 数交替和一致,因此由同伦等价保持。平面图 Euler 公式公理库平面图欧拉公式Euler's formula for planar graphs连通平面图的顶点数、边数与面数满足 V−E+F=2。是二维胞腔分解的先例,Gauss–Bonnet 定理又把它与总高斯曲率联系起来,闭曲面情形须乘上 ;Lefschetz 不动点理论则把它推广为映射在各维同调上迹的交替和。它常作为不可能同伦等价的快速障碍,但不能单独完成分类。
Gauss–Bonnet 的逐面证明公理库Gauss–Bonnet 定理Gauss–Bonnet theorem从正向标架的联络形式推出局部转角公式,再由三角剖分证明整体 Gauss–Bonnet;显式计算球面两图的 Euler 数和嵌入环面的正负曲率抵消。把局部转角相加,内部边相消,内部顶点贡献 ,边界顶点贡献 再扣除外角;关系 和 随后精确恢复 。配合Euler 曲率代表公理库定向平面丛的 Euler 类Euler class · Euler class of an oriented plane bundle · 欧拉类在闭定向曲面上用边界绕数构造定向秩二实丛的整数 Euler 类,证明选择无关,并把它与度量联络的曲率积分及球面拼接整数直接对应。,这证明曲面切丛的 Euler 数等于本页的胞腔计数;一般丛的 Euler 类则是另一个对象,不能直接拿底空间的示性数代替。
结亏格与连通和公理库结的亏格与连通和Knot genus · Connected sum of knots最小 Seifert 曲面亏格是结不变量,对连通和可加;用三叶结和两个三叶结的连通和同时核验上下界。把带边界曲面的示性数用于具体计算。Seifert 算法的 张圆盘和 条带给 ;边界只有一条结时 。这个计数给构造曲面的亏格上界,仍需其他不变量证明它已最小。
参考资料
Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002,Ch. 2, Euler characteristic from cells and homology。
Glen E. Bredon, Topology and Geometry, Springer, 1993,Ch. IV, Euler characteristic and finite complexes。