- 862 名前：208 [2005/11/15(火) 10:02:32 ]
- >>861 の ΛΔ: ΛM → (ΛM)(x)'(ΛM) を具体的に求めよう。
x ∈ M のとき ΛΔ(x) = x(x)1 + 1(x)x である。
よって、x_1, ... , x_n が M の元であるとき、
ΛΔ(x_1Λ...Λx_n) =
Σ(-1)^μ (x_(i_i)Λ...Λx_(i_p)) (x) (x_(j_i)Λ...Λx_(j_(n-p)))
となる。ここで μ は i_k > j_l となるペアの個数である。
