Betti number
またベッチ数を係数にもつ多項式としてポアンカレ多項式を定義する。すなわち、X のポアンカレ多項式 PX(t) とは b0(X)+b1(X)t+b2(X)t2+...+bn(X)tn のことである。