f(α,β)=0, VβeV=α=0.于是 V=L(c1,-)④ L(β3,β4,""",βn).由归纳假设,f(α,β)看作L(β3,β4,,β,)上双线性函数仍是反对称的.于是有L(β3,β4,,β,)的基62,8-2,…",8,,8-r,β1,",β,满足(2)由于f(61,β)= f(8-1,β,)=0... Vαe L(β3,β4,"",β,),都有 f(81,α) = f(8-1,α)= 0.故81,8-1,….,8,,.-,,…",β,,..,β,满足(2).810.4对称双线性函数区区§10.4 对称双线性函数 f V ( , ) 0, 0. = = 于是 1 1 3 4 ( , ) ( , , , ). V L L n = − 由归纳假设, f ( , ) 看作 L( , , , ) 3 4 n 上 双线性函数仍是反对称的. 于是有 3 4 ( , , , ) L n 的基 2 2 1 满足(2). , , , , , , , r r s − − 由于 1 1 ( , ) ( , ) 0. i i f f = = − 3 4 ( , , , ), L n 1 1 都有 f f ( , ) ( , ) 0. = = − 故 满足(2). 1 1 1 , , , , , , , , r r s − −