文章目录 非退化线性替换 定义2 合同 标准形 命题1 命题2 初等矩阵的转置 引理1 定理1 证明 定理2 命题3 证明 f ( x ) = X ′ A X f(x)=X'AX f(x)=X