Bourbaki

习题 19, § 11

标签 0693,永久不变。引用为 [Bourbaki, Tag 0693]。

代数, III, 651

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

在有限维向量空间 E 上,令 z=x1∧x2∧⋯∧xpz = x_1 \wedge x_2 \wedge \cdots \wedge x_p 为纯 p 向量 ≠0\neq 0;设 v∗v^* 为 q 形式 (q≤pq \leq p),u∗u^* 为 ⋀(E∗)\bigwedge(E^*) 的任意元素。表明

(u∗∧v∗)⌟z=(−1)q(q−1)/2∑HρH,K⟨v∗,xH⟩(u∗⌟xK) (u^* \wedge v^*) \lrcorner z = (-1)^{q(q-1)/2} \sum_H \rho_{H, K} \langle v^*, x_H \rangle (u^* \lrcorner x_K)

其中 H 穿过 [1,p][1, p] 的子集的集合,q 元素,K 是 [1,p][1, p] 中 H 的补集,xHx_H(分别为 xKx_K)表示 xix_i 的外部乘积,使得i∈Hi \in H(分别为i∈Ki \in K)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。