研究反对称矩阵性质与应用的原因

      先说对称矩阵吧.
      可以从代数和几何两个方面上来讲.代数方面,首先每个对称矩阵A唯一对应于一个二次型x'Ax.因此对称矩阵对二次型的研究有着重要的作用.二次型是什么呢?从代数角度上讲,他是一个函数.是n唯向量x到"数"的映射.因此研究对称矩阵有助于研究二次型进而,在二次型的概念下.可以对矩阵进行合同分类(如同在线性变换的概念下对矩阵进行相似分类一样).我们以前学习过矩阵的相似,他把具有相同性质的矩阵划归到了一起,例如两个矩阵相似他们的行列式迹和特征值都分别相等.合同也是为了将矩阵分类,比如正定,负定矩阵.我要说的是研究对称矩阵本身是为了在合同的代数概念下对矩阵进行一个分类,合同这种概念由于是从二次型那里来的所以只对对称矩阵产生作用.
      从几何的角度上讲,一个对称矩阵对应的二次型,与距离空间(常叫做欧氏空间)联系在一起.我们高中知识知道如果选自然基底,那么向量x的长度就是他坐标的内积x'x.根据矩阵乘法的定义我们可以用二次型表示长度为x'Ex其中E是单位矩阵.由于实际应用的需要或是理论研究的推广,我们往往不能选到自然基底,甚至是标准正交的基底..那么对于一般的基底而言,这个向量x的坐标就不是x而是y了,他的长度就可以表示成y'Ay的形式,用线性代数坐标变换的知识可以证明A是一个对称矩阵.写了这么多,就是要说对称矩阵与欧式空间中长度的概念密不可分.
      继续深入欧式空间,我们知道"直角坐标系"下的欧式空间距离的概念是||x-y||,也就是(x-y)'(x-y)这又与上边的长度一样,与对称矩阵密不可分了.

      综上,对称矩阵是二次型和合同概念的基础,是欧式空间的需要.只有在对称矩阵的基础上欧式空间才有意义.这就直接涉及到他的应用了.理论上,实变函数和勒贝格积分都要与长度这个概念产生关系那里边叫测度,就是与欧式空间有关系.泛函分析要研究泛函的赋范空间也要与长度产生关系.因此由于欧式空间的应用广泛,导致了对称函数的研究的必要.实际应用方面,对数值分析或是最优化理论那种给方程寻找近似解或是对空间中的离散点进行曲线拟合.都会导致基底不是自然基底,所以要研究欧式空间在一般基底下的表示(就是二次型)所具有的性质,二次型建立在对称矩阵的基础之上的,所以对称矩阵的性质应用广泛.


      反对称矩阵,是对二次型的又一个推广,我们把x'Ay这样的形势对应于二次型x'Ax叫做对称双线性型,叫双线性是因为他左右都乘了向量,叫对称是因为A是对称矩阵.因此对这种情况进行推广当A反称的话,我们就知道x'Ax=0(注意A反称就不是二次型了,二次型要求A对称),那么x'Ay这种形式就叫做交错双线性型.反称矩阵最常用的性质就是x'Ax=0.