二次型Permalink

数域P上的一个n元二次型

f(x1,x2,...,xn)=i=1nj=1naijxixj

数域P上任意一个二次型都可以经过非退化的线性替换变成平方和的形式
并称该平方和形式为该二次型的标准型

证明

设n为变量数

使用数学归纳法 n=1

f(x1)=a112

假设对n - 1 个变量的情形成立

n个变量时

f(x1,x2,x3,,xn)=i=1nj=1naijxixj

分三种情形来讨论

Case 1

aii中至少有一个不为0,不妨设a11 不为零,这时 f(x1,x2,...,x3)=a11x12+j=2na1jx1x2+i=2nai1xix1+i=2nj=2nxixj=a11x12+2j=2na1jx1x2+i=2nj=2nxixj=a11(x1+j=2na111a1jx1xj)2(i=2na1jxj)2+i=2nj=2naijxixj

其中 i=2nj=2naijxixj
x2,x3,x4的二次型

{y1=x1+j=2na11a1jxjy2=x2yn=xn

{x1=y1j=2na11a1jxjx2=y2xn=yn

这是一个非退化线性替换

s.t.f(x1,x2,...,xn)=a11y12+i=2nbijyiyj.

根据MI假设,对 i=2nbijyiyj, 有非退化线性替换

(z1z2...zn)=(c11c12c14c21c22c24c41c42c44)s.t.f(x1,x2,...,xn)=a11z12+z22+...+zn2

Case 2

i,aii=0,but i,s.t. a1j=0

不失一般性,设 a120

{x1=z1+z2x2=z1z2x3=z3...xn=zn

他是非退化线性替换,且使

f(x1,x2,..,xn)=2a12x1x2+...=2a12(z1+z2)(z1z2)+...=2a12z122a12z22

z12的系数不为0,属于第一种情况,成立.

Case 3

a11=a12==a1n=0

由对称性,

a11=a21==an1

x2,x3,,xn

由归纳假设,可表示为平方和的形式.

至此原命题证毕 #

二次型的矩阵Permalink

A=(a11a12a14a21a22a24a41a42a44)f(x1,x2,...,xn)=(x1x2...xn)(a11a12a14a21a22a24a41a42a44)(x1x2xn)=CAC

定理2
在数域P上,任何一个对称矩阵都合同于一个对角矩阵,并称

证明:

将上述证明以矩阵形式写出即可.

使用同前面证明类似的数学归纳法

1.aii0

不失一般性,设 a110

应用变换
C1=(1a111a12...a111a1n01...000...1)

合同变换为

CAC

α=(a12a1n)A1=(a22a24a42a44)

于是C,A,C’都可以写成分块形式:

A=(a11ααA1)C=(1a111α0En)

CAC=(10a111En)(a11ααA1)(1a11α0En)=(10a111En)(a110αA1a111αα)=(a1100A1a111αα)

A1a111αα 是一个n-1级对称方矩阵,

由归纳假设,可由可逆矩阵G使
G(A1a111αα)G=D

为对角矩阵


C2=(100G)C2C1AC1C2=(100G)(a1100A1a111αα)(100G)=(100D)C1C2
2.
aii0,i,a1i0

应用变换

C=(11001100001...00001)

CAC=(2a120...02a12............)

转化为第一种情况.

3.i,a1i=ai1=0

矩阵写为

(000A1)
其中A1为n-1个变量的对称矩阵,由归纳假设,与对角矩阵合同.

至此原命题证毕.#

唯一性Permalink

在一般的数域内,二次型的标准形不是唯一的,而与所作的非退化线性替换有关.

复数域情形Permalink

f(x1,x2,,xn)是复数域内的一个二次型,由上述定理1,可经可逆线性替换变为标准型

不妨假设为
d1y12d2y22+...+dryr2di0,i=1,2,...,r.

r就是二次型的秩

再通过可逆线性替换(注意复数总可以开平方)
{y1=1d1z1y2=1d2z2...yr=1drznyr+1=zr+1...yn=zn
即得
z12+z22+...+zn2

称为复二次型f(x1,,xn)的规范形,显然,在复数域内,规范性完全由原二次型矩阵的秩决定

定理3
任意一个复二次型可经非退化线性变换化为唯一确定的规范形.

或者说,任意复数域内的对称矩阵合同于一形如 (10 01 00)的对角矩阵.

推论
两个复数矩阵合同的充要条件是他们的秩相等

####实数域情形

f(x1,x2,,xn)是一实二次型,由定理一,经非退化线性替换,再适当排列文字的次序,得
d1y12+d2y22+...+dpypdp+1dp+12...dryr2
其中 di>0,i=1,2,,r,r=rank(A)

{y1=1d1z1y2=1d2z2...yr=1drznyr+1=zr+1...yn=zn
就得到
z12+z22+...+zp2zp+12...zr2
称为实二次型 f(x1,x2,xn)的规范形,显然,它完全被r,p两个数决定.

定理4
任意一个实二次型可经过适当的非退化线性替换可化为唯一确定的规范形

前半部分(可化为规范型)已经证明,下证唯一性

设实二次型f(x1,x2,,xn)经非退化的线性替换

X=BY

化为规范型

y12+y22++yp2yr2

经非退化线性替换

X=CZ

化为规范型

z12+z22+zp2zr2

用反证法.设p>q.

由以上假设,我们有

(*)y12+y22++yp2yr2=z12+z22+zp2zr2

其中 Z=C1BY


(g11g12g1ng21g22g2ngn1gn2gnn)

所以(1)可以写成

(2){z1=g11y1+g12y2++g1nyn,z2=g21y2+g22y2++g2nyn,zn=gn1y1+gn2y2++gnnyn

考虑齐次线性方程组

这里的思路来自北大《高等代数》(第四版 北京大学前代数小组 高等教育出版社)个人认为一定程度上缺少直觉性.

(3){g11y1+g12y2++g1nyn=0,gq1y1+gq2y2++gqnyn=0,yp+1=0,yn=0.

方程组(3)含有n个未知量,q+(np)=n(pq)<n个方程,故方程组有非零解.令

(y1,...,yp,yp+1,...,yn)=(k1,...,kp,kp+1,...,kn)

是(3)的一个非零解.显然

kp+1=...=kn=0

因此,把它带入(*)的左端,得到的值为

k12+k22+...+kp>0

再通过(2)把它带入(*)的右端,因为它是(3)的解,故有

z1=z2=...=zq=0

所以

zq+12zq+2...zr20

矛盾.pq得证,同理可证pq.
于是唯一性得证.
这个定理通常称为 惯性定理.

Updated: