MathLabs
定理証明済み

オイラー・ポアンカレの定理

内容

有限鎖複体について、χ(X)=∑n≥0(−1)nrank⁡Cn=∑n≥0(−1)nβn(X)\chi(X) = \sum_{n\ge 0} (-1)^n \operatorname{rank} C_n = \sum_{n\ge 0} (-1)^n \beta_n(X) が成り立つ。

なぜ正しいのか?

これは、セル数の交代和(手で数えられる組合せ論的な量)が、ベッチ数の交代和(三角形分割によらず形にのみ依存する位相不変量)に等しいことを述べている。これは V−E+F=2V - E + F = 2 をあらゆる次元に一般化したものである。

証明の概略

nn を固定し、境界写像 ∂n:Cn→Cn−1\partial_n : C_n \to C_{n-1} を有限次元ベクトル空間間の線形写像とみなす(簡単のため Q\mathbb{Q} 上で考える)。階数・退化次数の定理(rank-nullity)により、rank⁡Cn=dim⁡ker⁡∂n+rank⁡∂n\operatorname{rank} C_n = \dim \ker \partial_n + \operatorname{rank} \partial_n、ここで rank⁡∂n:=dim⁡im⁡∂n\operatorname{rank}\partial_n := \dim \operatorname{im} \partial_n とする。

また、商の定義 Hn=ker⁡∂n/im⁡∂n+1H_n = \ker \partial_n / \operatorname{im}\partial_{n+1} から直接 dim⁡Hn(X)=dim⁡ker⁡∂n−dim⁡im⁡∂n+1\dim H_n(X) = \dim \ker \partial_n - \dim \operatorname{im} \partial_{n+1} となるので、dim⁡ker⁡∂n=βn+rank⁡∂n+1\dim \ker \partial_n = \beta_n + \operatorname{rank}\partial_{n+1} である。

代入すると、rank⁡Cn=βn+rank⁡∂n+1+rank⁡∂n\operatorname{rank} C_n = \beta_n + \operatorname{rank}\partial_{n+1} + \operatorname{rank}\partial_n。ここで nn が 00 から最高次元 NN までの交代和を作る:∑n(−1)nrank⁡Cn=∑n(−1)nβn+∑n(−1)nrank⁡∂n+1+∑n(−1)nrank⁡∂n\sum_n (-1)^n \operatorname{rank} C_n = \sum_n (-1)^n \beta_n + \sum_n (-1)^n \operatorname{rank}\partial_{n+1} + \sum_n (-1)^n \operatorname{rank}\partial_n。

最後の2つの和において、項 rank⁡∂k\operatorname{rank}\partial_k は rank⁡∂n\operatorname{rank}\partial_n の和から一度(n=kn=k、符号 (−1)k(-1)^k)、rank⁡∂n+1\operatorname{rank}\partial_{n+1} の和から一度(n=k−1n=k-1、符号 (−1)k−1(-1)^{k-1})現れる;この2つの符号は逆であるため、境界項 ∂0=0\partial_0 = 0 と ∂N+1=0\partial_{N+1}=0(どのみち寄与しない)を除き、各 rank⁡∂k\operatorname{rank}\partial_k は正確に相殺する(望遠鏡和)。

残るのは ∑n(−1)nrank⁡Cn=∑n(−1)nβn\sum_n (-1)^n \operatorname{rank} C_n = \sum_n (-1)^n \beta_n であり、左辺は定義により χ(X)\chi(X) なので、これはまさに χ(X)=∑n≥0(−1)nrank⁡Cn=∑n≥0(−1)nβn(X)\chi(X) = \sum_{n\ge 0} (-1)^n \operatorname{rank} C_n = \sum_{n\ge 0} (-1)^n \beta_n(X) である。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Allen Hatcher (2002). Algebraic Topology
  2. James R. Munkres (1984). Elements of Algebraic Topology
  3. Gunnar Carlsson (2009). Topology and data