《几何与代数》 科学出版社 第六章 二次型与二次曲面2.pptVIP

二次型讨论的对象是多元二次齐次函数，这种函数在物理、统计、规划、极值等问题中有广泛的应用． 例如在三维空间的几何问题中，一般二次曲面在直角坐标系下表示为三元二次函数，通过对二次型的讨论，可以研究二次曲面的分类. * 由 （1）可类似推出aii0 * 几何与代数 主讲: 关秀翠 东南大学数学系 教学内容和学时分配 教 学 内 容 学时数 §6.1 二次型 4 §6.2 空间中的曲面与曲线 2 §6.3 二次曲面 2 §6.4 用Matlab解题 第六章 二次型与二次曲面 一. 二次型及其矩阵表示 二. 用正交变换化实二次型为标准形 三. 用配方法化实二次型为标准形 实二次型 标准形 正交变换 ? 实对称阵的正交相似对角化问题 f(x)=xTAx 标准形g(y)=yT?y 可逆线性变换x=Py 旋转变换保持夹角距离不变,几何形状不变 仿射变换时几何形状可能改变 可逆线性变换下的不变量：r(f), p(f),q(f) 标准形不唯一，但规范形唯一. ? §6.1 二次型 第六章 二次型与二次曲面 f(x) = xTAx = (Py)TA(Py) = yT(PTAP)y = yT?y = g(y) 寻求可逆矩阵P, 使得 即寻求可逆的线性变换x = Py, 使得 PTAP =? 实二次型 标准形 可逆线性变换 AT = A A与?合同 定义: 对于方阵A, B, 若存在可逆矩阵P, 使得 PTAP = B, 则称A与B相合或合同. ? 定理5.7. 设A是实对称阵 ? ?正交矩阵Q使得 Q?1AQ = QTAQ是对角矩阵. §6.1 二次型 第六章 二次型与二次曲面 定理6.1. 实对称矩阵与对角矩阵合同. 定义: 对于方阵A, B, 若存在可逆矩阵P, 使得 PTAP = B, 则称A与B相合或合同. 性质：矩阵间的相合关系也是一种等价关系. (1) 反身性: A=ETAE; 对称性: 传递性: A,B相合, B,C相合, 则A,C相合. PTAP = B ?A=(PT)?1BP?1 =(P?1)TBP?1 五. 方阵的合同 定义: 对于方阵A, B, 若存在可逆矩阵P, 使得 PTAP = B, 则称A与B相合或合同. 相合的实对称阵的最简形: PTAP 不变量: 秩;正负惯性指数 n阶实对称阵A, B相合 ? 正负惯性指数相同 ? ? 规范形 规范形相同 ? Ep ?Eq O = 定理6.1. 实对称矩阵与对角矩阵合同. 性质：矩阵间的相合关系也是一种等价关系. §6.1 二次型 第六章 二次型与二次曲面 PTAP 不变量: 秩;正负惯性指数 实对称阵相合 ?正负惯性指数相同 命题: A, B相合, A是对称阵，则B也是对称阵. PTAP = B 证明： A, B相合，则存在可逆阵P, 使得 ? BT = PTATP = PTAP = B 若A = 与对角阵相合, 则(x, y) = 对称 (1, ?2) 例6. 相合的实对称阵的最简形: ?规范形相同 Ep ?Eq O = §6.1 二次型 第六章 二次型与二次曲面 等价关系汇总 相抵 相 似 四种等价关系之间的相互关系 相 合 正交 相似 PTAP 不变量: 秩;正负惯性指数 实对称阵相合 ?正负惯性指数相同 相合的实对称阵的最简形: ?规范形相同 实对称阵相似必相合? 实对称阵相合必相似? 相似的不变量: 秩; 特征值, 迹, 行列式 实对称阵相似，特征值同，p,q同，必相合；反之不然. ? ? Ep ?Eq O = ? 等价 关系 定义 矩阵 定 义 等价类 代表 不变量 Rn?n Rm?n 相抵 相似 正交 相似 Rn?n, 实对称 相抵标准形 为初等阵 ?i为特征值 ①秩 ②特征值, 迹,行列式 ①② ①秩 相合 Rn?n ③r(f), p(A),q(A), 对称性 ①秩 ③ 实对称 若A可相似 对角化 实对称阵相似，特征值同，p,q同，必相合；反之不然. Ep ?Eq O 等价关系汇总 相似的不变量: 秩; 特征值, 迹, 行列式 实对称阵相合的不变量: 秩;正负惯性指数,规范形,对称性 相抵的不变量: 秩 例7. 假设矩阵A = , 则在实矩阵B = 中, 与A相抵的有 ; 与A相似的有 ; 与A相合的有 . B,C,D,F F 由迹为1排除法只有F 由对称性排除剩下B,C B,C 由秩为1确定 特征值也为0,2,p=1,q=0 F有两个不同的特征值0,1 特征值