定理証明済み
オイラー・ポアンカレの定理
内容
有限鎖複体について、χ(X)=∑n≥0(−1)nrankCn=∑n≥0(−1)nβn(X) が成り立つ。
なぜ正しいのか?
これは、セル数の交代和(手で数えられる組合せ論的な量)が、ベッチ数の交代和(三角形分割によらず形にのみ依存する位相不変量)に等しいことを述べている。これは V−E+F=2 をあらゆる次元に一般化したものである。
証明の概略
n を固定し、境界写像 ∂n:Cn→Cn−1 を有限次元ベクトル空間間の線形写像とみなす(簡単のため Q 上で考える)。階数・退化次数の定理(rank-nullity)により、rankCn=dimker∂n+rank∂n、ここで rank∂n:=dimim∂n とする。
また、商の定義 Hn=ker∂n/im∂n+1 から直接 dimHn(X)=dimker∂n−dimim∂n+1 となるので、dimker∂n=βn+rank∂n+1 である。
代入すると、rankCn=βn+rank∂n+1+rank∂n。ここで n が 0 から最高次元 N までの交代和を作る:∑n(−1)nrankCn=∑n(−1)nβn+∑n(−1)nrank∂n+1+∑n(−1)nrank∂n。
最後の2つの和において、項 rank∂k は rank∂n の和から一度(n=k、符号 (−1)k)、rank∂n+1 の和から一度(n=k−1、符号 (−1)k−1)現れる;この2つの符号は逆であるため、境界項 ∂0=0 と ∂N+1=0(どのみち寄与しない)を除き、各 rank∂k は正確に相殺する(望遠鏡和)。
残るのは ∑n(−1)nrankCn=∑n(−1)nβn であり、左辺は定義により χ(X) なので、これはまさに χ(X)=∑n≥0(−1)nrankCn=∑n≥0(−1)nβn(X) である。
ステップごとの証明
この定理のステップごとの証明はまだありません。