【考研数学】线性代数第六章 —— 二次型(3,正定矩阵与正定二次型)

文章目录


一、基本概念

1.1 引例

(1)二次型 f ( x 1 , x 2 , x 3 ) = x 1 2 + 3 x 2 2 + 2 x 3 2 = X T A X f(x_1,x_2,x_3)=x_1^2+3x_2^2+2x_3^2=\pmb{X^TAX} f(x1,x2,x3)=x12+3x22+2x32=XTAX 有如下特点:

  1. 对任意的 x 1 , x 2 , x 3 x_1,x_2,x_3 x1,x2,x3 ,有 f ( x 1 , x 2 , x 3 ) ≥ 0 f(x_1,x_2,x_3)\geq0 f(x1,x2,x3)≥0 ;
  2. f ( x 1 , x 2 , x 3 ) = 0 f(x_1,x_2,x_3)=0 f(x1,x2,x3)=0 当且仅当 x 1 = x 2 = x 3 = 0 x_1=x_2=x_3=0 x1=x2=x3=0 ,或对任意 X ≠ 0 \pmb{X}\ne\pmb{0} X=0 ,有 X T A X > 0 \pmb{X^TAX}>0 XTAX>0 。

(2)二次型 f ( x 1 , x 2 , x 3 ) = x 1 2 − 2 x 1 x 2 + 4 x 2 2 + 6 x 3 2 = ( x 1 − x 2 ) 2 + 3 x 2 2 + 6 x 3 2 = X T A X f(x_1,x_2,x_3)=x_1^2-2x_1x_2+4x_2^2+6x_3^2=(x_1-x_2)^2+3x_2^2+6x_3^2=\pmb{X^TAX} f(x1,x2,x3)=x12−2x1x2+4x22+6x32=(x1−x2)2+3x22+6x32=XTAX 有如下特点:

  1. 对任意的 x 1 , x 2 , x 3 x_1,x_2,x_3 x1,x2,x3 ,有 f ( x 1 , x 2 , x 3 ) ≥ 0 f(x_1,x_2,x_3)\geq0 f(x1,x2,x3)≥0 ;
  2. f ( x 1 , x 2 , x 3 ) = 0 f(x_1,x_2,x_3)=0 f(x1,x2,x3)=0 当且仅当 x 1 = x 2 = x 3 = 0 x_1=x_2=x_3=0 x1=x2=x3=0 ,或对任意 X ≠ 0 \pmb{X}\ne\pmb{0} X=0 ,有 X T A X > 0 \pmb{X^TAX}>0 XTAX>0 。

1.2 正定二次型概念

对二次型 f ( x 1 , x 2 , ⋯   , x n ) = X T A X f(x_1,x_2,\cdots,x_n)=\pmb{X^TAX} f(x1,x2,⋯,xn)=XTAX ,若对任意 X ≠ 0 \pmb{X}\ne\pmb{0} X=0 ,总有 X T A X > 0 \pmb{X^TAX}>0 XTAX>0 ,称 X T A X \pmb{X^TAX} XTAX 为正定二次型, A \pmb{A} A 为正定矩阵。


二、正定二次型的判别

定理 1 ------ 二次型 X T A X \pmb{X^TAX} XTAX 为正定二次型的充分必要条件是 A \pmb{A} A 的特征值均为正数。

定理 2 ------ 二次型 X T A X \pmb{X^TAX} XTAX 为正定二次型的充分必要条件是 A \pmb{A} A 的顺序主子式都大于 0 ,即 a 11 > 0 , ∣ a 11 a 12 a 21 a 22 ∣ > 0 , ⋯   , ∣ A ∣ > 0. a_{11}>0,\begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix}>0,\cdots,|\pmb{A}|>0. a11>0, a11a21a12a22 >0,⋯,∣A∣>0. 定理 3 ------ 设 A T = A \pmb{A^T=A} AT=A ,则 A \pmb{A} A 为正定矩阵的充分必要条件是存在可逆矩阵 B \pmb{B} B 使得 A = B T B \pmb{A=B^TB} A=BTB 。

定理 4 ------ 设 A T = A \pmb{A^T=A} AT=A ,则 A \pmb{A} A 为正定矩阵的充分必要条件是 A \pmb{A} A 与 E \pmb{E} E 合同。

定理 5 ------ 设 A T = A \pmb{A^T=A} AT=A ,则 A \pmb{A} A 为正定矩阵的充分必要条件是 A \pmb{A} A 的正惯性指数为 n n n 。

定理 6 ------ 设 A , B \pmb{A,B} A,B 分别为 m m m 阶和 n n n 阶实对称矩阵,则 A 0 0 B \begin{bmatrix} \pmb{A} & \pmb{0} \\ \pmb{0} & \pmb{B} \end{bmatrix} A00B 为正定矩阵的充分必要条件为 A , B \pmb{A,B} A,B 均为正定矩阵。

二次型 f ( X ) = X T A X f(\pmb{X})=\pmb{X^TAX} f(X)=XTAX 正定的必要条件是 a i i > 0 ( i = 1 , 2 , ⋯   , n ) ; ∣ A ∣ > 0 a_{ii}>0(i=1,2,\cdots,n);|A|>0 aii>0(i=1,2,⋯,n);∣A∣>0 。

即可以先看看对角线元素和行列式是否大于 0 ,作初步判别。

若 A \pmb{A} A 为正定矩阵,则其一定可逆;且 A − 1 , A ∗ \pmb{A}^{-1},\pmb{A}^* A−1,A∗ 均正定。

若 A , B \pmb{A,B} A,B 都是正定矩阵,则 A + B \pmb{A}+\pmb{B} A+B 也是正定矩阵。


写在最后

那线性代数到这,理论也就基本结束了。

相关推荐
hai31524754310 小时前
文本矩阵化拆解与视频矩阵化构建
线性代数·矩阵·音视频
Godspeed Zhao1 天前
现代智能雷达技术14——算法(0)
线性代数·算法·雷达
梦帮科技1 天前
推测解码(Speculative Decoding)与 Draft-Target 双核协同:接受率判据、树状验证与两倍吞吐无损加速
网络·人工智能·深度学习·神经网络·线性代数·矩阵·架构
Dylan的码园2 天前
求平均成绩 矩阵数据处理 【循环处理 二维数组】
c++·线性代数·矩阵
苏打豆3 天前
CRISP源码阅读——基于ROS2力矩反馈控制器与速度加速度零空间
c++·线性代数·算法·矩阵·机器人
梦帮科技3 天前
LoRA / QLoRA 低秩矩阵流形更新:SVD 分解、秩与缩放因子 α 的物理意义与梯度稳定性保障
网络·深度学习·神经网络·线性代数·矩阵·架构·数据挖掘
苏打豆4 天前
Pinocchio源码阅读——刚体运动物理量空间变换及求导
c++·线性代数·算法·矩阵·机器人
梦帮科技4 天前
量子张量网络破局大模型:从矩阵乘积态 (MPS) 到张量列 (TT-SVD) 低秩收缩全推导
网络·数据结构·数据库·线性代数·矩阵·架构·模拟退火算法
xailorliu4 天前
矩阵定性-正定负定不定半正定半负定
c++·opencv·线性代数·计算机视觉·矩阵
wzdark5 天前
矩阵快速幂算法在图路径计算中的应用4
线性代数·算法·矩阵