二次型及其矩阵表示

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第六章 二次型

第一讲 二次型及其矩阵表示、标准形

教 学 目 的:通过本节的学习,使学生了解并掌握二次型的基本概念及其矩

阵表示方法.

教学重点与难点:二次型的矩阵表示 教学计划时数:2课时 教 学 过 程:

一、二次型的概念

定义1:含有n 个变量n x x x ,,,21 的二次齐次函数

22

2

121112221212112323221,1(,,

,)22222n nn n n n

n n n n n n

f x x x a x a x a x a x x a x x a x x a x x a x x --=+++++

++++++ (1)

称为二次型.

附:1、当ij a 为复数时,f 称为复二次型;当ij a 为实数时,f 称为实二次型; 2、ij a 可以等于0,即(1)式中的各项都存在.

例1 ()2

2

2

12312313,,2454f x x x x x x x x =++-;()123121323,,f x x x x x x x x x =++

都为实二次型;

二、二次线性与对称矩阵

在(1)式中,取ij ji a a =,则,2i j ji j i ij j i ij x x a x x a x x a +=令12(,,,)T n x x x x =,则(1)

式可化为

11121121

22

22121212(,,,)(,,

,).n n T

n n n n nn n a a a x a a a x f x x x x x x x Ax a a a x ⎛⎫⎛⎫ ⎪⎪ ⎪⎪== ⎪⎪

⎪⎪⎝⎭⎝⎭

称12(,,

,)T n f x x x x Ax =为二次型的矩阵形式,记为()T f x x Ax =,其中实对称矩阵A 称

为该二次型的矩阵.二次型f 称为实对称矩阵A 的二次型.实对称矩阵A 的秩称为二次型f 的秩,即()()R A R f =.

例2 二次型

222

123112132233

(,,)3245f x x x x x x x x x x x =+--+ 对应的实对称矩阵为

312112.2

5A ⎛

⎫ ⎪ ⎪=--

⎪⎪⎪-⎪⎝

反之,

实对称矩阵3121122

52A ⎛

=--

⎪ ⎪ ⎪- ⎪⎝⎭

所对应的二次型是

11232331(,,)112252T

x x Ax x x x x x ⎛ ⎛⎫

⎪ ⎪=--

⎪ ⎪ ⎪ ⎪⎝⎭ ⎪- ⎪⎝

222

1231213233524.x x x x x x x x =-+++-

三、合同矩阵

定义2:关系式

11111221221122221122n n n n

n n n nn n

x c y c y c y x c y c y c y x c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩

称为由变量n x x x ,,,21 到变量n y y y ,,,21 的线性变换,并简记为x Cy =.其中系数矩阵

1112

12122212

n n n n nn c c c c c c C c c c ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭ 称为线性变换矩阵.如果C 可逆,则称该线性变换为可逆线性变换.

说明:对于一般二次型()T

f x x Ax =,问题:求可逆线性变换x Cy =,将二次型化为标准形.将x Cy =代入()T

f x x Ax =,得

()T f x x Ax =()()()T T T Cy A Cy y C AC y ==

其中,()T T

y C AC y 是关于n y y y ,,,21 的二次型,对应的矩阵为AC C T .

关于A 与AC C T 的关系,我们给出下列定义.

定义3:设A ,B 为两个n 阶矩阵,如果存在n 阶可逆矩阵C ,使得,B AC C T =则称矩阵

A 合同于矩阵

B ,或称A 与B 合同.

矩阵的合同的性质:

1、反身性 对任意方阵A ,A 与A 合同T

E AE A ⇐=. 2、对称性 若A 与B 合同,则B 与A 合同.

3、传递性 若A 与B 合同,且B 与C 合同则A 与C 合同.

4、若A 为对称阵,则T

B C AC =也为对称阵,且()()R B R A =,即合同的两个矩阵的

秩不变.

四、标准形的定义

定义4:只含有平方项的二次型:22

2

1122,n n f b y b y b y =++

+称为二次型的标准形(或

法式).

说明:二次型12(,,,)T n f x x x x Ax =在可逆线性变换x Cy =下,可化为()T T y C AC y .

如果AC C T 为对角矩阵

1

2

n b b B b ⎛⎫

⎪ ⎪∧== ⎪ ⎪⎝

则12(,,

,)T n f x x x x Ax =→就可化为标准形:,2

222211n n y b y b y b +++ 且其标准形中的系

数恰好为对角矩阵B ∧=的主对角线上的元素, 因此上面的问题归结为A 能否合同于一个

对角矩阵的问题.

五、化二次型为标准形的方法

我们要研究用可逆线性变换x Cy =把二次型12(,,,)T n f x x x x Ax =化为标准形的方

法.

1.用配方法化二次型为标准形

定理1:任一二次型都可以通过可逆线性变换化为标准形. 拉格朗日配方法的步骤是:

(1)若二次型f 含有i x 的平方项,则先把含有i x 的乘积项集中,然后配方,再对其余的变量进行同样过程直到所有变量都配成平方项为止,经过可逆线性变换,就得到标准形;

相关文档
最新文档