这说明g=σf∫,即命题中的图可交换。 反之,任何满足命题要求的映射在E,()的基处的作用要满足(*),而线性映射有 它在一组基处的作用为一决定,故O是唯一的 12.36外代数中乘法的定义 定义1211 (∧V)×(∧V)→∧ (a1∧…Aa)×(B1A…AB,)=a1A…∧1AB1A…B 此乘法定义的合理性可见书上的命题45。这说明 g f = ,即命题中的图可交换。 反之,任何满足命题要求的映射 在 ( ) E Vr 的基处的作用要满足(*),而线性映射有 它在一组基处的作用为一决定,故 是唯一的。 12.3.6 外代数中乘法的定义 定义 12.11 ( ) ( ) ( ) r r r s V V V + → 1 1 1 1 ( ) ( ) = r s r s 此乘法定义的合理性可见书上的命题 4.5