Question

二次型的规范型是什么?

Answer 1

由已知，二次型的负惯性指数为3-2=1，所以，二次型的规范型是y1^2 + y2^2 - y3^2。

线性代数二次型的标准型是标准型的系数在采用正交变换的时间，平方项的系数常用其特征值，线性代数是数学的一个分支，它的研究对象是向量，向量空间（或称线性空间），线性变换和有限维的线性方程组。

相关介绍：

二次型的系统研究是从18世纪开始的，它起源于对二次曲线和二次曲面的分类问题的讨论，将二次曲线和二次曲面的方程变形，选有主轴方向的轴作为坐标轴以简化方程的形状，这个问题是在18世纪引进的。

柯西在其著作中给出结论：当方程是标准型时，二次曲面用二次型的符号来进行分类。然而，那时并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项。西尔维斯特回答了这个问题，他给出了n个变数的二次型的惯性定律，但没有证明。

这个定律后被雅克比重新发现和证明。1801年，高斯在《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语。

二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念。

柯西在别人著作的基础上，着手研究化简变数的二次型问题，并证明了特征方程在直角坐标系的任何变换下不变性。后来，他又证明了n个变数的两个二次型能用同一个线性变换同时化成平方和。

1851，西尔维斯特在研究二次曲线和二次曲面的切触和相交时需要考虑这种二次曲线和二次曲面束的分类。在他的分类方法中他引进了初等因子和不变因子的概念，但他没有证明“不变因子组成两个二次型的不变量的完全集”这一结论。