推论2设V是实数域上n维线性空间.f(α,β)为V上对称双线性函数.则存在V的一组基 81,62,,8n对 Vα=xe+Xe+...+xnn,β= yief + y2e, +...+ ynen evf(α,β)= xiyi +x2y2 +...+x,y', -Xp+1y'p+1 -...-x,Jr.r=秩(f(8,8)p为正惯性指数.810.4对称双线性函数§10.4 对称双线性函数 推论2 设V是实数域上 n 维线性空间. 为V 上对称双线性函数.则存在V的一组基 对 f ( , ) 1 2 , , , , n 1 1 2 2 , n n = + + + x x x 1 1 2 2 1 1 ( , ) . p p p p r r f x y x y x y x y x y = + + + − − − + + r f = 秩( ( , ) i j ) 1 1 2 2 n n = + + + y y y V p 为正惯性指数