二次型

二次型是n个变量上的二次齐次多项式。下面给出一个、两个、和三个变量的二次形式：

其中a, ..., f是系数。注意一般的二次函数和二次方程不是二次形式的例子，因为它们不总是齐次的。

任何非零的n维二次形式定义在投影空间中一个 (n-2)维的投影空间。在这种方式下可把3维二次形式可视化为圆锥曲线。

术语二次型也经常用来提及二次空间，它是有序对（V,q），这里的V是在域k上的向量空间，而q:V → k是在V上的二次形式。例如，在三维欧几里得空间中两个点之间的距离可以采用涉及六个变量的二次形式的平方根来找到，它们是这两个点的各自的三个坐标。

设V是在交换环R上的模；R经常是域比如实数，在这种情况下V是向量空间。

映射Q : V → R被称为在V上的二次形式，如果

Q(av) = a² Q(v)对于所有和，并且

2B(u,v) = Q(u+v) − Q(u) − Q(v)是在V上的双线性形式。

这里的B被称为相伴双线性形式；它是对称双线性形式。尽管这是非常一般性的定义，经常假定这个环R是一个域，它的特征不是2。

V的两个元素u和v被称为正交的，如果B(u, v)=0。

双线性形式B的核由正交于V的所有元素组成，而二次形式Q的核由B的核中的有Q(u)=0的所有元素u组成。如果2是可逆的，则Q和它的相伴双线性形式B有同样的核。

双线性形式B被称为非奇异的，如果它的核是0；二次形式Q被称为非奇异的，如果它的核是0。

非奇异二次形式Q的正交群是保持二次形式Q的V的自同构的群。

二次形式Q被称为迷向的，如果有V中的非零的v使得。否则它称为非迷向的。二次空间的一个向量或子空间也可以被称为迷向的。如果则被称为完全奇异的。

二次形式的一些其他性质：

Q服从平行四边形定律：

向量u和v是关于B正交的，当且仅当

在低层的域的特征不是2的时候，二次形式等价于对称双线性形式。

二次形式总是生成对称双线性形式（通过极化恒等式），而反过来要求除以2。

注意对于任何向量u ∈ V

2Q(u) = B(u,u)

所以如果2在R中是可逆的（在R是一个域的时候这同于有不是2的特征），则我们可以从对称双线性形式B恢复二次形式，通过

Q(u) = B(u,u)/2.

当2是可逆的时候，这给出在V上的二次形式和V上的双线性形式之间的一一映射。如果B是任何对称双线性形式，则B(u,u)总是二次形式。所以在2是可逆的时候，这可以用作二次形式的定义。但是如果2不是可逆的，对称双线性形式和二次形式是不同的：某些二次形式不能写为形式B（u,u）。

我们在二维情况下描述这种等价。任何2维二次形式可以被写为

.

我们对在这个向量空间的任何向量写x =（x,y）。二次形式F可以表达为矩阵，如果我们设M是2×2矩阵：

接着矩阵乘法给我们下列等式：

F(x)=x^T·M·x

这里的有上标的x^T指示转置矩阵。主要我们已经用了特征不是2，因为我们除以2来定义M。所以我们看到了在2维二次形式F和对应于对称双线性形式的2×2 对称矩阵M之间的对应。

这个观察迅速推广到n个变量和n×n矩阵的形式中。例如，在实数值二次形式中，实数的特征是0，所以实数二次形式和实数对称双线性形式是来自不同观点的同样的东西。

如果V是n维的，我们写双线性形式B为相对于V的某个基{e_i}的对称矩阵B。B的分量给出自。如果2是可逆的，二次形式Q给出自

这里uⁱ是在这个基下的u的分量。

假定是定义在实数向量空间上的二次形式。

它被称为是正定的（或者负定的），如果 (或者)对于所有向量。

如果我们放松严格不等于为≥或≤，则形式被称为半定的。

如果对于某个而且对于另一个，则被称为不定的。

设是如上那样关联于的实数对称矩阵，所以对于任何列向量，

成立。接着，是正（半）定的，负（半）定的，不定的，当且仅当矩阵有同样的性质（参见正定矩阵）。最终，这些性质可以用的特征值来刻画。