§4 正定二次型汇.pptVIP

上页 下页 返回 结束 §4 正定二次型 定义5 实二次型 称为正定的，如果对于任 意一组不全为零的实数 都有 注2 正定 容易证明 注1 显然 正定也可定义为： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题 正定性是一种合同不变性。 即 若 为正定的，则经过非退化线性替换 X =CY，变成二次 型 也是正定的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 证明： 对于任一组不全为零的实数 令 因为C是可逆阵，故 设 也不全为零。 于是 从而 正定。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理6 n元实二次型 f ( x1, x2, …, xn)正定 它的正惯性指数等于n。 证明：由上述命题立知。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义5 实对称矩阵 A称为正定的，如果二次型 正定。 注 显然 对称阵A正定 A与单位阵合同 存在可逆矩阵C，使得A = CTEC = CTC 证明：由A＝CTC（C可逆）立知。 推论 正定矩阵的行列式大于0。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义5 我们希望直接从二次型的矩阵来判别二次型是 不是正定的，这样就不需要将二次型化为规范形后 才能判别。 为此，引入 子式 称为矩阵 的顺序主子式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1级 2级 i级 n级即det(A) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理7 实二次型 是正定的 矩阵A的所有顺序主子式全大于零。 证明： 设 对于每个k，1≤k≤n，令 是正定的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 下证 f k是一个k元的正定二次型。 对于任意一组不全为零的实数 有 因此 是正定的。 由上述推论可知，f k的 矩阵的行列式 这就证明了矩阵A的所有顺序主子式全大于零。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对n作数学归纳法。 当n = 1时， 由条件a110显然有 f (x1)是正定的。 假设充分性对n－1元二次型已经成立，下证n元 的情形。 令 于是矩阵A可以分块写成 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 既然 A的顺序主子式全大于零，当然 A1的顺序主子 式也全大于零。