標準k単体というものが以下のように定義される：は0と1を結ぶ線分、は原点と(0,1),(1,0)を結んでできる三角形ということになる。位相空間Xに対して、 なる連続写像を特異k単体と呼ぶ。 Xが多様体で、が写像のときは 特異k単体と呼ぶ。そして特異k単体全体が…

3週間ぶりの書き込み。 読んでいた行間のとても広い微分幾何のテキストではチャーン類なるものが出てきて、まったくのチンプンカンプン状態になってしまった。それは de Rhamの理論というのを良く知らないせいのような気がしたので、まずは準備としてやさし…