正交化的矩阵方法

设V是特征数2的除环△上的n维向量空间,g(x,y)是V上的一个Hermite纯量积。本文给出了用矩阵的初等变换得到V的正交基的构造性证明。当V是实数域上的有限维向量空间,g(x,y)是正定对称纯量积时,本文给出了用矩阵的初等变换得到笛卡尔基的方法。这一方法推广了Schmidt正交化方法。作为推论,我们可以利用矩阵的初等变换把一个正定矩阵分解为两个三角矩阵的积,把一个非奇异实矩阵分解为一个正交矩阵与一个上三角矩降的乘积。