合同变换求标准型.docxVIP

合同变换求标准型 　　一、绪论　　高等代数是数学专业的一门重要基础课。该课程以线性空间为背景，以线性变换为方法，以矩阵为工具，着重研究线性代数的问题。二次型式多元二次函数，其内容本应属于函数讨论的范围，然而二次型用矩阵表示之后，用矩阵方法讨论函数问题使得二次型的问题变得更加简洁明确，二次型的内容也更加丰富多彩。本文的中心问题是如何化二次型为标准形，也就是用矩阵方法把对称矩阵合同与对角矩阵。　　二次型是高等代数的重要内容之一，二次型的基本问题是要寻找一个线性替换把它变成平方项，即二次型的标准型。二次型的理论来源于解析几何中二次曲线、二次曲面的化简问题，其理论也在网络、分析、热力学等问题中有广泛的应用。将二次型化为标准型往往是困惑学生的一大难点问题，而且它在物理学、工程学、经济学等领域有非常重要的应用，因此探索将实二次型化为标准型的简单方法有重要的理论与应用价值。我们知道，任一二次型和某一对称矩阵是相互唯一确定，而任一实对称矩阵都可以化成一对角矩阵，相应的任一实二次型都可以化为标准型。在高等代数课本中介绍了将实二次型化为标准型的两种方法：配方法和正交变换法；此外，由于任意矩阵可以利用初等变换化为对角矩阵，因此也可用初等变换法将二次型化为标准型。　　通过典型例题，更能体会在处理二次型问题时的多样性和灵活性，我们应熟练掌握各种方法。　　以下就是几种方法的简单介绍，并且又提出了一种新的方法：雅可比方法。我们在解决二次型问题时可对它们灵活应用。　　二、二次型及其矩阵表示　　在解析几何中，我们看到，当坐标原点与中心重合时，一个有心二次曲线的一般方程是ax2?2bxy?cy2?f.为了便于研究这个二次曲线的几何性质，我们可以选择适当的角度?，作转轴?　　　　??y?xsin??ycos?　　把方程化成标准方程。在二次曲面的研究中也有类似的情况。　　的左端是一个二次齐次多项式。从代数的观点看，所谓化标准方程就是用变量的线性替换化简一个二次齐次多项式，使它只含平方项。二次齐次多项式不但在几何中出现，而且数学的其他分支以及物理、力学中也常会碰到。现在就来介绍它的一些最基本的性质。　　x设P是一数域，一个系数在数域P上的x1,x2,...,n的二次齐次多项式f(x,x,...n,?x)11a1?x12　　2　　12　　2a1?xx?2...1n2?a1　　n　　xx2?a?x22　　2　　..?2a?xx2n　　2　　nn　　...na　　x　　称为数域P上的一个n元二次型，或者在不致引起混淆时简称二次型。设x1,x2,...,xn；y1,y2,...,yn是两组文字，系数在数域P中的一组关系式　　?x1?c11y1?c12y2?...c1nyn?　　x?c21y1?c22y2?...c2nyn?2?　　?x3?c31y1?c32y2?...c3nyn?...........???xn?cn1y2?cn2y2?...cnnyn　　称为由x1,x2,...,xn到y1,y2,...,yn的一个线性替换，。如果cij?0，那么线性替换就称为非退化的。　　在讨论二次型时，矩阵是一个有力的工具，因此把二次型与线性替换用矩阵来表示。另　　aij=aji，i　　ij　　xixj　　它的系数排成一个n*n矩阵　　?a11a12?a1n?　　a21a22?a2n　　A??　　???　　?an1an2?anm　　??????　　它就称为二次型的矩阵。显然它是对称矩阵。?x1?x2?令X?????xn　　??????　　于是二次型可写成f(x1,x2,...,xn)=XAX非退化线性替换可以表示成X=CY　　三、化二次型为标准形的方法之一：配方法　　定理：数域P上任意二次型都可以经过非退化的线性替换变成平方和的形式，即标准形。　　证明：下面的证明实际就是一个具体的把二次型化成平方和的方法，也就是“配方法”。我们对变量的个数做数学归纳法。对于n=1，而二次型就是　　f(x1)?a11x1　　2　　已经是平方和的形式了。现假定对n-1元二次型，定理的结论成立。再假设　　n　　n　　ij　　f(x1,x2,...,xn)?　　??a　　i?1　　j?1　　xixj　　分三种情况来讨论：　　1）aii中是少有一个不为零，例如a11?0。这时　　n　　21　　nnn　　f(x1,x2,...,xn)=a11x+?a1jx1xj+?ai1xix1+?　　j?2　　i?2　　?　　aijxixj　　i?2j=2　　n　　21　　nn　　=a11x+2?a1jx1xj+?　　j?2　　?　　aijxixj　　2　　i?2j=22