双线性函数在任一组基下的度量矩阵是对称矩阵。