文章目录

二次型与合同
- 二次型与标准型
- 二次型的分类
- 度量矩阵与合同

二次型与合同

二次型与标准型

Grant：二次型研究的是二次曲面在不同基下的坐标变换

由解析几何的知识，我们了解到二次函数的一次项和常数项只是对函数图像进行平移，并不会改变图形的形状和大小。以一元二次函数为例

而二次函数的二次项控制函数图像的大小和形状。以二元二次函数为例，观察

(

)

f(x,y)=1

$f (x, y) = 1$ 的截面图形

线性代数主要研究这些图形的二次项，通过线性变换使二次曲面变得规范简洁。

定义：

$n$ 元二次齐次多项式

(

⋯

)

⋯

begin{aligned} f(x_1,cdots,x_n)=&a_{11}x_1^2+2a_{12}x_1x_2+cdots+2a_{1n}x_1x_n \ &+a_{22}x_2^2+2a_{23}x_2x_3+cdots+2a_{2n}x_2x_n \ &+a_{nn}x_n^2 end{aligned}

$f (x_{1}, \dots, x_{n}) = a_{11} x_{12} + 2 a_{12} x_{1} x_{2} + \dots + 2 a_{1 n} x_{1} x_{n} + a_{22} x_{22} + 2 a_{23} x_{2} x_{3} + \dots + 2 a_{2 n} x_{2} x_{n} + a_{nn} x_{n 2}$
称为二次型(quadratic form)，这其实是二次曲面在一组坐标基下的解析表达式。

利用矩阵乘法，二次型可简记为

[

⋯

]

[

⋯

⋮

⋱

⋮

⋯

]

[

⋮

]

f=begin{bmatrix}x_1&x_2&cdots&x_nend{bmatrix} begin{bmatrix} a_{11}&a_{12}&cdots&a_{1n} \ a_{21}&a_{22}&cdots&a_{2n} \ vdots&vdots&ddots&vdots \ a_{m1}&a_{m2}&cdots&a_{mn} \ end{bmatrix} begin{bmatrix}x_1\x_2\vdots\x_nend{bmatrix} =mathbf x^TAmathbf x

$f = [x_{1} x_{2} \dots x_{n}]$

a11a21⋮am1a12a22⋮am2⋯⋯⋱⋯a1na2n⋮amn

x1x2⋮xn

=xTAx
其中

$A$ 是对称阵，其主对角线元素是平方项的系数，其余元素

a_{ij}=a_{ji}

$a_{ij} = a_{ji}$ 是二次项

x_ix_j

$x_{i} x_{j}$ 系数

2a_{ij}

$2 a_{ij}$ 的一半。显然，对称矩阵

$A$ 与二次型

$f$ 是相互唯一确定的。矩阵

$A$ 及其秩分别称为二次型的矩阵和秩。

在某些情况下，没有交叉乘积项的二次型会更容易使用，即通过线性变换

mathbf x=Cmathbf y

$x = C y$ 来消除交叉乘积项

(

)

f=mathbf x^TAmathbf xxlongequal{mathbf x=Cmathbf y}mathbf y^T(C^TAC)mathbf y=mathbf y^TLambdamathbf y

$f = x^{T} A x x = C y$

yT(CTAC)y=yTy
由于矩阵

$A$ 是对称阵，由上节对称矩阵的对角化知道，总有正交矩阵

$C$ ，使

−

C^{-1}AC=C^TAC=Lambda

$C^{- 1} A C = C^{T} A C =$
而

Lambda

的对角线元素是

$A$ 的特征值，于是二次型可简化为

⋯

f=lambda_1y_1^2+lambda_2y_2^2+cdots+lambda_ny_n^2

$f =_{1} y_{12} +_{2} y_{22} + \dots +_{n} y_{n 2}$
这种只含平方项的二次型称为标准型(standard form)。显然，标准形的矩阵是对角阵。任何二次型都可通过正交变换化为标准型。系数全为 +1,-1或 0 的标准型叫做规范型(gauge form)。

定义：设

$A$ 和

$B$ 是

$n$ 阶矩阵，若有

$n$ 阶可逆矩阵

$C$ ，使

B=C^TAC

$B = C^{T} A C$
则称矩阵

$A$ 和

$B$ 合同，记为

≃

Asimeq B

$A ≃ B$ 。显然，合同矩阵即为二次型在不同基下的矩阵。

性质：设矩阵

≃

Asimeq B

$A ≃ B$

若
合同矩阵的秩相等

化二次型为标准型的三种方法：

求矩阵
使用多项式配方法化为标准型；
使用初等变换法将上方的矩阵 $begin{bmatrix}A\Iend{bmatrix}xrightarrow{}begin{bmatrix}C^TAC\Cend{bmatrix} [AI] [CTACC]$

例：将椭圆方程

−

5x_1^2-4x_1x_2+5x_2^2=48

$5 x_{12} - 4 x_{1} x_{2} + 5 x_{22} = 48$ 标准化

解：二次型的矩阵

[

−

]

A=begin{bmatrix}5&-2\-2&5end{bmatrix}

$A = [5 - 2 - 2 5]$ ，特征值分别为 3和 7，对应的单位特征向量为

[

]

[

−

]

mathbf u_1=begin{bmatrix}1/sqrt{2}\1/sqrt{2}end{bmatrix}, mathbf u_2=begin{bmatrix}-1/sqrt{2}\1/sqrt{2}end{bmatrix}

$u_{1} = [1/ 2$

1/2

],u2=[−1/2

1/2

]
可使用特征向量

mathbf u_1,mathbf u_2

$u_{1}, u_{2}$ 作为二次型的标准正交基。正交变换矩阵和标准型矩阵分别为

(

)

[

−

]

[

]

C=(mathbf u_1,mathbf u_2)=begin{bmatrix}1/sqrt{2}&-1/sqrt{2}\1/sqrt{2}&1/sqrt{2}end{bmatrix},quad Lambda=begin{bmatrix}3&0\0&7end{bmatrix}

$C = (u_{1}, u_{2}) = [1/ 2$

1/2

−1/2

1/2

],=[3007]

$C$ 可将

$A$ 正交对角化，

Lambda=C^TAC

$= C^{T} A C$ 。所以正交变换

mathbf x=Pmathbf y

$x = P y$ 得到的标准型为

mathbf y^TCmathbf y=3y_1^2+7y_2^2

$y^{T} C y = 3 y_{12} + 7 y_{22}$
新的坐标轴如图

二次型的分类

定义：设二次型

f=mathbf x^TAmathbf x

$f = x^{T} A x$ ，如果对于任何

≠

mathbf xneq 0

$x \neq = 0$

都有
都有
如果

从上节可以看出二次型的标准型是不唯一的，但二次型的秩是唯一的，在化成标准型的过程中是不变的，即标准型中含有的非零平方项的个数是不变的。

惯性定理：二次型和标准型中系数为正的平方项的个数相同，称为正惯性指数；系数为负的平方项的个数也相同，称为负惯性指数；正负惯性指数之差称为符号差。

定理：

对称阵
对称阵 $A^{-1} A−1 正定；$

度量矩阵与合同

Grant：合同矩阵为不同坐标系下的度量矩阵。

以二维空间为例，Grant 选用标准坐标系下的基向量

mathbf i,mathbf j

$i, j$ ，度量矩阵

[

⟨

⟩

⟨

⟩

⟨

⟩

⟨

⟩

]

A=begin{bmatrix} langmathbf i,mathbf irang&langmathbf i,mathbf jrang \ langmathbf j,mathbf irang&langmathbf j,mathbf jrang end{bmatrix}

$A = [⟨ i, i ⟩ ⟨ j, i ⟩ ⟨ i, j ⟩ ⟨ j, j ⟩]$

而 Jennifer 使用另外一组基向量

′

mathbf i’,mathbf j’

$i^{'}, j^{'}$ ，过渡矩阵

[

]

P=begin{bmatrix} a&b \ c&d end{bmatrix}

$P = [a c b d]$ 。即基向量

′

mathbf i’,mathbf j’

$i^{'}, j^{'}$ 在 Grant 的坐标系下的坐标表示为

[

]

[

]

mathbf p_1=begin{bmatrix} a \ c end{bmatrix},quad mathbf p_2=begin{bmatrix} b \ d end{bmatrix}

$p_{1} = [a c], p_{2} = [b d]$
因此， Jennifer 的基向量间的内积

⟨

′

⟩

⟨

′

⟩

⟨

′

⟩

⟨

′

⟩

langmathbf i’,mathbf i’rang=mathbf p_1^TAmathbf p_1\ langmathbf i’,mathbf j’rang=mathbf p_1^TAmathbf p_2 \ langmathbf j’,mathbf i’rang=mathbf p_2^TAmathbf p_1 \ langmathbf j’,mathbf j’rang=mathbf p_2^TAmathbf p_2

$⟨ i^{'}, i^{'} ⟩ = p_{1 T} A p_{1} ⟨ i^{'}, j^{'} ⟩ = p_{1 T} A p_{2} ⟨ j^{'}, i^{'} ⟩ = p_{2 T} A p_{1} ⟨ j^{'}, j^{'} ⟩ = p_{2 T} A p_{2}$
于是，Jennifer坐标系的度量矩阵

[

]

[

]

[

]

B=begin{bmatrix} mathbf p_1^TAmathbf p_1&mathbf p_1^TAmathbf p_2 \ mathbf p_2^TAmathbf p_1&mathbf p_2^TAmathbf p_2 end{bmatrix}= begin{bmatrix} mathbf p_1^T \ mathbf p_2^T end{bmatrix}Abegin{bmatrix} mathbf p_1 & mathbf p_2 end{bmatrix} =P^TAP

$B = [p_{1 T} A p_{1} p_{2 T} A p_{1} p_{1 T} A p_{2} p_{2 T} A p_{2}] = [p_{1 T} p_{2 T}] A [p_{1} p_{2}] = P^{T} A P$
由此可知，合同矩阵刻画了两度量矩阵间的关系。

当然，也可通过两个向量的内积在不同的坐标系中的计算公式获得两个度量矩阵间的关系。由过渡矩阵知道，同一个向量从 Jennifer 的坐标到 Grant 的坐标变换公式为

mathbf y=Pmathbf x

$y = P x$
在 Jennifer 的坐标系中，两向量

mathbf u,mathbf v

$u, v$ 的坐标为

mathbf x_1,mathbf x_2

$x_{1}, x_{2}$ ，度量矩阵为

$B$ 。内积计算公式

⟨

⟩

langmathbf u,mathbf vrang=mathbf x_1^TBmathbf x_2

$⟨ u, v ⟩ = x_{1 T} B x_{2}$
在 Grant 的坐标系中，两向量

mathbf u,mathbf v

$u, v$ 的的坐标为

mathbf y_1,mathbf y_2

$y_{1}, y_{2}$ ，度量矩阵为

$A$ 。内积计算公式

⟨

⟩

(

)

(

)

(

)

langmathbf u,mathbf vrang=mathbf y_1^TAmathbf y_2 =(Pmathbf x_1)^TA(Pmathbf x_2)=mathbf x_1^T(P^TAP)mathbf x_2

$⟨ u, v ⟩ = y_{1 T} A y_{2} = (P x_{1})^{T} A (P x_{2}) = x_{1 T} (P^{T} A P) x_{2}$
于是，我们得到了两坐标系中度量矩阵的关系

B=P^TAP

$B = P^{T} A P$

服务器托管，北京服务器托管，服务器租用 http://www.fwqtg.net

线性代数的本质(九)——二次型与合同二次型与合同

文章目录

二次型与合同

二次型与标准型

二次型的分类

度量矩阵与合同

服务器托管，北京服务器托管，服务器租用，机房机柜带宽租用