在数学中，**二次型（Quadratic form）**是关于一些变量的二次齐次多项式。例如

4x^{2}+2xy-3y^{2}
是关于变量x和y的二次型。其系数通常属于一个确定的域，K，例如实数或者复数。人们通常称之为："在K上的二次型。"在 {\displaystyle K=\mathbb {R} }时，且仅当所有的变量都为零时该二次型才为零时，则称该二次型为确定双线性形式，否則称之为迷向二次型。

二次型在许多数学分支，包括在数论、线性代数、群论（正交群）、微分几何(黎曼测度)、微分拓扑(intersection forms of four-manifolds)和李代数(基灵型)中，占有核心地位。

请勿将二次型与二次方程混淆。二次型是更广义的齐次多项式的特例。

介绍
--

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

q(x)=ax^{2}
q(x,y)=ax^{2}+by^{2}+cxy
q(x,y,z)=ax^{2}+by^{2}+cz^{2}+dxy+exz+fyz
其中*a*, ... *f*是系数。
注意一般的二次函数和二次方程不是二次形式的例子，因为它们不总是齐次的。

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

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

q(x,y,z)=d((x,y,z),(0,0,0))^{2}=\|(x,y,z)\|^{2}=x^{2}+y^{2}+z^{2}.

定义
--

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

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

* *Q*(*av*) = *a*2 *Q*(*v*)对于所有a\in R和v \in V，并且
* *2* *B*(*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(v)=0。否则它称为非迷向的。二次空间的一个向量或子空间也可以被称为迷向的。如果Q(V)=0则Q被称为完全奇异的。

性质
--

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

* *Q*服从平行四边形定律：

Q(u+v)+Q(u-v)=2Q(u)+2Q(v)
* 向量*u*和*v*是关于*B*正交的，当且仅当

Q(u+v)=Q(u)+Q(v)

对称双线性形式
-------

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

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

注意对于任何向量*u* ∈ *V*

2*Q*(*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维二次形式可以被写为

F(x,y)=ax^{2}+by^{2}+cxy.
这个向量空间的任何向量可以表示为{\displaystyle x=(x,y)}。二次形式*F*可以表达为矩阵，假设*M*是2×2矩阵：

M={\begin{bmatrix}a&{\frac {c}{2}}\\{\frac {c}{2}}&b\end{bmatrix}}.
接着矩阵乘法给我们下列等式：

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

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

如果*V*是*n*维的，我们写双线性形式*B*为相对于*V*的某个基{*e**i*}的对称矩阵**B**。**B**的分量给出自B\_{{ij}}=B(e\_{i},e\_{j})。如果2是可逆的，二次形式*Q*给出自

2Q(u)={\mathbf {u}}^{T}{\mathbf {Bu}}=\sum \_{{i,j=1}}^{{n}}B\_{{ij}}u^{i}u^{j}
这里{\displaystyle u^{j}}是在这个基下的 u 的分量。

实二次形式
-----

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

* 它被称为是正定的（或者负定的），如果Q(v)>0 (或者Q(v)<0)对于所有向量v\neq 0。
* 如果我们放松严格不等于为≥或≤，则形式Q被称为半定的。
* 如果Q(v)<0对于某个v而且Q(v)>0对于另一个v，则Q被称为不定的。

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

Q(v)=v^{T}Av.
成立。接着，Q是正（半）定的，负（半）定的，不定的，当且仅当矩阵A有同样的性质（参见正定矩阵）。最终，这些性质可以用A的特征值来刻画。

参考文献
----


* O'Meara, T.. Berlin; Heidelberg: Springer-Verlag. 2000. ISBN 978-3-540-66564-9.

参见
--

* 二次形式 (统计)


|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNF: cb11935832h (data)
* GND: 4128297-8
* J9U: 987007545854605171
* LCCN: sh85050828
* LNB: 000140089
* NDL: 00568586
* NKC: ph520062

 |

 |