《高等几何》课程论文.docVIP

《高等几何》课程论文 路尚群 2007-1-21 对高等代数中的二次型与高等几何中的二次曲线内容作比较讨论 [摘要] 几何是代数概念产生和发展的源泉，结合我们学过的高等代数中二次型内容与高等几何中的二次曲线相关理论，我们会发现二者的研究对象是紧密相联的。可以说，高等几何中的二次曲线为高等代数二次型的研究及相关问题提供直观背景，高等代数中的二次型正是概括高等几何中的具体对象而产生更抽象更本质的概念，其来源之一正是化二次曲线为标准方程。在此，我们将几何与代数相结合，对二者内容进行比较讨论，学习上将会获得事半功倍的效果。 [关键字] 高等代数 二次型 高等几何 二次曲线 比较讨论 引言 接触高等几何后，我们发现其主要特点是：在采用坐标法的同时，应用代数方法来研究几何对象。高等几何里面的许多内容与高等代数中的相关理论密切联系，特别是在化二次曲线的射影标准方程所涉及的射影坐标变换，坐标三点形的选取，射影坐标变换逆式与高等代数中二次型化标准型中的线性坐标变换，非奇异矩阵的选取，线性坐标变换逆式等密切相关，本文将对此进行比较讨论。 首先，我们引出相关概念，在数域P上的一个n元二次型可表示为f（，，……）= +2+…+2 +2+ +…=∑∑（i，j=1，2，3）.当我们对此二次型取n=3且令f（，，）=0即为高等几何中二次曲线的代数形式S=∑=0（i，j=1，2，3）了。关于对二者的讨论，我们主要通过二者化标准型过程中的联系与区别来进行比较。下面我们来看一道关于化标准方程的题目： 用非退化线性变换化二次型 f（，，）=2+2-6为标准型. 解：二次型的矩阵A= 作非退化线性变换 得C1= 原二次型化为f（，，）=2-2-2+8 再令 得C2 = f（，，）= 最后令 得C3 = = f（，，）=即为二次型的标准型。 表面上其类似于高等几何中坐标三点形的选取，但又是不确定的，对不同的二次型我们可以通过非线性替换得到两个或两个以上的这样的矩阵，而不是只局限于三个矩阵。而上面三个矩阵又是作为作非线性替换X=CY前提的 即 C=C1*C2*C3= CA = f（，，）=2-2+6 此标准方程不唯一，方程形式与所选取的非线性替换有关。 显然，通过上面的非线性替换过程来化二次型的标准方程过程比较繁琐，接触高等几何后，我们不妨通过几何里面化二次曲线为标准型的方法来解决此题。 [变]： 令2+2-6=0，求此二阶曲线的射影标准方程。 解： 首先验证 ：rank（）=3 故是一条非退化二阶曲线。 取二次曲线的自极三点形为坐标三点形： 取不在 上的点 P（1，1，0），求出P关于的极线Lp：+-2=0； 取在Lp上不在上的点 Q（1，-1，0），求出其关于的极线Lq=--4 最后取Lp与Lq的交点即R=Lp*Lq=（3，-1，1），分别以P、Q、R为新坐标三点形的三个顶点，建立一个新的射影坐标系，通过坐标逆式 = 将其代入方程中化简得，由于在射影几何中的地位平等，故可再作变换 ，进一步将其化为射影标准方程，且此标准方程是唯一的。 从上面化标准型的过程可知二次型所作的替换均是非退化的，从二次曲线化标准型上看，这一点是自然的，因为坐标变换一定是非退化的。对于二次型用非退化线性变换找相应的矩阵过程比较繁琐，而我们利用高等几何里化二次曲线射影坐标方程的方法，选择适当的坐标三点形，建立一个射影坐标系，通过射影坐标变换逆式一下子便可以将二次型化为标准型。此处用几何的方法解决代数问题更直观简便些，但这也只局限在三元二次型的化简过程中。二者大体上相似，但本质上还是有许多区别的，射影几何中反映的是齐次坐标，对于不同的坐标只要它们之间相差一个非零常数，就表示同一个点，而线性变换中则无此性质。 注意：在化二阶曲线为标准形时必须要先验证其矩阵的秩，因为验证的结果直接关系到坐标三点形的选取方式。 由线性知识，二阶曲线矩阵的秩及其有无奇异点以及奇异点的个数在射影变换下不变，利用此性质我们可以对平面上的二阶曲线进行如下分类 （）的行列式 Rank（） 标准方程 类型 不等于0 3 +-=0 实二阶曲线 3 ++=0 虚二阶曲线 等于0 2 -=0 一对相交实直线 2 +=0 一对共轭虚直线 1 =0 一对重合实直线 显然这是利用代数知识来分类的，我们在学习过程中要应用类比思想，将几何和代数结合起来，进行比较学习。在最终化得二次型的标准形方程时，我们再作一适当的非线性替换将上面二次型的标准方程化成其唯