第七章二次型.docVIP

第七章 二次型 二次型是型论的内容之一，是非线性的.二次型的研究源于解析几何中对有心二次曲线和二次曲面方程的化简.由于实二次型的讨论,可以转化为对实对称矩阵的讨论,所以将它纳入线性代数的内容,本章内容可以看作矩阵化简理论一个方面的应用. 本章的重点是实二次型化标准形及正定二次型. 7.1 二次型及其矩阵 定义1 数域上的一个二次齐次多项式 , (1) 称为上的一个元二次型.称二次型的系数. 由于,令 , 其中.即为对称矩阵:.那么(1)可表为 , (2) 其中 . (2)称为(1)的矩阵表示式,称为二次型的矩阵. 的秩称为该二次型的秩. 显然,每一个元二次型都对应一个阶对称矩阵. 例1 三元二次型的矩阵 . 下面我们主要讨论实数域上的二次型,即对实对称矩阵进行讨论.我们的目的是化实对称矩阵为对角形矩阵. 实对称矩阵有如下性质: 性质1 实对称矩阵的特征值都是实数. 证 设是阶实对称矩阵,为的特征值,是属于特征值的特征向量.即有 (3) 令为的共轭向量,为的共轭矩阵（由的元素的共轭数构成）.由(3)两边取共轭有,即.因,所以 . (4) 对(4)两边取转置,得 . (5) 用右乘(5)两边,得.于是 . 由,而,则有＞0.因此,即,故为实数. 性质2 实对称矩阵的属于不同特征值的特征向量正交. 证 设是实对称矩阵的两个不同的特征值,是分别属于的特征向量（实元列向量）,即有 , , 那么 . 又 . 于是.而,故,即正交. 性质3 阶实对称矩阵相似于阶对角形矩阵. 证 对采用归纳法. ,令 . 若,已是对角形矩阵.若,由 . (6) (6)式右端为的二次三项式,其判别式 ＞0. 因而有两个不同的特征值,由定理6.3.1的推论,可对角化. 设对阶实对称矩阵,结论成立.当为阶实对称矩阵时,设.由于,也属于的特征向量,于是可取为单位向量.令为正交矩阵,则有 该矩阵仍为对称矩阵.而 于是 其中为阶对称矩阵.由归纳假设,有()阶可逆矩阵,使得 令 且令,则 . (7) 实对称矩阵的讨论可以放在欧氏空间中进行.一个实对称矩阵化对角形矩阵,先求出的全部特征值(它即为对角矩阵中的元素)及相应的特征向量.将的属于同一特征值的特征向量正交化,单位化,仍为的属于该特征值的特征向量.由于属于不同特征值的特征向量正交,那么,此时的这个特征向量均为单位向量,且两两正交.以它们为列构成(7)式中的,则为正交矩阵.于是有 定理7.1.1 是阶实对称矩阵,则一定存在阶正交矩阵,使得为对角形矩阵. 定义2 设,是数域上两个阶矩阵,如果存在上的一个阶可逆矩阵,使得 (8) 那么就称与合同,记为≈. 矩阵的合同关系具有以下性质: 1°自反性: ≈. 在(8)中取即可. 2°对称性: 若≈,则有可逆矩阵,使.于是 .即有≈. 3°传递性: 若≈,≈,则有可逆矩阵,,使得, .于是,即有≈. 若≈,显然秩()=秩(). 定理7.1.1说明,任意一个实对称矩阵都合同于一个对角形矩阵. 设 求正交矩阵,使为对角形. 解 A的特征多项式 , 特征值为:. 对求得齐次线性方程组 的基础解系.对应的齐次线性方程组分别求得基础解系: ,.将单位化得: , , . 于是 , 而 . 习 题 1.写出下列实二次型的矩阵. (1) (2) ; (3) . 2.设 , 求可逆矩阵为对角形. 3.设是一个可逆对称矩阵.证明,≈. 4.为四阶实对称矩阵,秩(),问与合同的对角形矩阵有哪几种情况? *5. 设是欧氏空间的一个线性变换,若有,则称是一个对称变换.证明对称变换在的任一个标准正交基下的矩阵是对称矩阵. 7.2 实二次型的标准形 我们已经知道,如果是阶实对称矩阵,秩≤,那么,总存在阶可逆矩阵,有 . (1