跳至主要內容

CyletixGPT-4大约 4 分钟

定义

如果一个矩阵 AA 是对称矩阵,那么存在一个正交矩阵 QQ 使得:

QTAQ=D Q^T A Q = D

其中 DD 是一个对角矩阵,QTQ^TQQ 的转置矩阵。

直交对角化用于将一个对称矩阵AA, 通过正交矩阵 QQ 对角化为对角矩阵

与一般的对角化比较

对角化 特殊之处在于相似变换矩阵PP不仅要求是可逆的, 而且还应该是正交矩阵(PT=P1P^T = P^{-1}), 通常这样的正交变换的矩阵不再用PP表示, 而是习惯用QQ表示.

步骤

正交矩阵的正交对角化是通过坐标的正交变化进行的对角化。

  • 1: 找到对称矩阵并找到它的特征多项式det(AλI)det(A-\lambda I)
  • 2: 找到特征值λ\lambda
  • 3: 对于每个特征值, 找到其正交基特征空间xx
  • 4: 规范化每一个特征向量xx, 形成正交基
  • 5: 构造正交矩阵 QQ

示例

假设有一个对称矩阵 AA

A=(4113) A = \begin{pmatrix} 4 & 1 \\ 1 & 3 \end{pmatrix}

步骤1:计算特征值和特征向量 求解特征值 λ\lambda 和特征向量 v\mathbf{v} 使得 Av=λvA\mathbf{v} = \lambda\mathbf{v}。 特征值 λ\lambda 的求解:解特征方程 det(AλI)=0\det(A - \lambda I) = 0,得:

4λ113λ=0 \begin{vmatrix} 4 - \lambda & 1 \\ 1 & 3 - \lambda \end{vmatrix} = 0

解出特征值 λ1=5\lambda_1 = 5λ2=2\lambda_2 = 2。 对应特征值的特征向量分别为: 对于 λ1=5\lambda_1 = 5

(A5I)v=0v1=(11) (A - 5I)\mathbf{v} = 0 \Rightarrow \mathbf{v}_1 = \begin{pmatrix} 1 \\ 1 \end{pmatrix}

对于 λ2=2\lambda_2 = 2

(A2I)v=0v2=(11) (A - 2I)\mathbf{v} = 0 \Rightarrow \mathbf{v}_2 = \begin{pmatrix} -1 \\ 1 \end{pmatrix}

步骤2:构造正交矩阵 QQ 将特征向量规范化,并构造正交矩阵 QQ

Q=(12121212) Q = \begin{pmatrix} \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix}

步骤3:验证直交对角化 计算 QTAQQ^T A Q

QTAQ=(12121212)(4113)(12121212)=(5002) Q^T A Q = \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix} \begin{pmatrix} 4 & 1 \\ 1 & 3 \end{pmatrix} \begin{pmatrix} \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix} = \begin{pmatrix} 5 & 0 \\ 0 & 2 \end{pmatrix}

结果是一个对角矩阵 DD。 通过以上步骤,完成了对称矩阵 AA 的直交对角化,得到 QTAQ=DQ^T A Q = D

二次型的标准化

将一个二次型化为标准型的过程实际上是利用直交对角化将二次型的矩阵表示化为对角矩阵形式,从而简化其表示。具体步骤如下:

  1. 表示二次型为矩阵形式:将给定的二次型用对称矩阵表示。
  2. 求特征值和特征向量:对这个对称矩阵进行特征值分解。
  3. 构造正交矩阵:用特征向量构造正交矩阵。
  4. 变换二次型:利用正交矩阵将二次型变换为标准型。

详细步骤:

假设我们有一个二次型:

Q(x)=a11x12+2a12x1x2+a22x22 Q(x) = a_{11}x_1^2 + 2a_{12}x_1x_2 + a_{22}x_2^2

这个二次型可以用一个对称矩阵 AA 表示:

Q(x)=(x1x2)(a11a12a12a22)(x1x2) Q(x) = \begin{pmatrix} x_1 & x_2 \end{pmatrix} \begin{pmatrix} a_{11} & a_{12} \\ a_{12} & a_{22} \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}

步骤1:表示二次型为矩阵形式

A=(a11a12a12a22)A = \begin{pmatrix} a_{11} & a_{12} \\ a_{12} & a_{22} \end{pmatrix},二次型 Q(x)Q(x) 对应的矩阵表示为 xTAxx^T A x

步骤2:求特征值和特征向量

求解特征值和特征向量: 特征方程为 det(AλI)=0\det(A - \lambda I) = 0。解出特征值 λ1,λ2\lambda_1, \lambda_2,并求出对应的特征向量 v1,v2\mathbf{v}_1, \mathbf{v}_2

步骤3:构造正交矩阵

将特征向量单位化并构造正交矩阵 QQ

Q=(v1v2) Q = \begin{pmatrix} \mathbf{v}_1 & \mathbf{v}_2 \end{pmatrix}

步骤4:变换二次型

利用正交矩阵 QQ 将二次型变换为标准型。设 y=QTx\mathbf{y} = Q^T \mathbf{x},则新的二次型表示为:

Q(x)=xTAx=(Qy)TA(Qy)=yT(QTAQ)y Q(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} = (Q\mathbf{y})^T A (Q\mathbf{y}) = \mathbf{y}^T (Q^T A Q) \mathbf{y}

因为 QTAQ=DQ^T A Q = D,其中 DD 是对角矩阵,我们有:

Q(y)=yTDy=λ1y12+λ2y22 Q(\mathbf{y}) = \mathbf{y}^T D \mathbf{y} = \lambda_1 y_1^2 + \lambda_2 y_2^2

这样,原二次型 Q(x)Q(\mathbf{x}) 就化为了标准型 λ1y12+λ2y22\lambda_1 y_1^2 + \lambda_2 y_2^2

例子

假设我们有一个二次型:

Q(x)=4x12+4x1x2+x22 Q(x) = 4x_1^2 + 4x_1x_2 + x_2^2

对应的矩阵为:

A=(4221) A = \begin{pmatrix} 4 & 2 \\ 2 & 1 \end{pmatrix}

求特征值和特征向量:

det(AλI)=4λ221λ=λ25λ=0 \det(A - \lambda I) = \begin{vmatrix} 4 - \lambda & 2 \\ 2 & 1 - \lambda \end{vmatrix} = \lambda^2 - 5\lambda = 0

解得 λ1=0,λ2=5\lambda_1 = 0, \lambda_2 = 5。 对应特征向量: 对于 λ1=0\lambda_1 = 0

(A0I)v1=0v1=(12) (A - 0I)\mathbf{v}_1 = 0 \Rightarrow \mathbf{v}_1 = \begin{pmatrix} -1 \\ 2 \end{pmatrix}

对于 λ2=5\lambda_2 = 5

(A5I)v2=0v2=(21) (A - 5I)\mathbf{v}_2 = 0 \Rightarrow \mathbf{v}_2 = \begin{pmatrix} 2 \\ 1 \end{pmatrix}

构造正交矩阵:

Q=(15252515) Q = \begin{pmatrix} -\frac{1}{\sqrt{5}} & \frac{2}{\sqrt{5}} \\ \frac{2}{\sqrt{5}} & \frac{1}{\sqrt{5}} \end{pmatrix}

变换后的二次型:

Q(x)=(15252515)T(4221)(15252515)=(5000) Q(x) = \begin{pmatrix} -\frac{1}{\sqrt{5}} & \frac{2}{\sqrt{5}} \\ \frac{2}{\sqrt{5}} & \frac{1}{\sqrt{5}} \end{pmatrix}^T \begin{pmatrix} 4 & 2 \\ 2 & 1 \end{pmatrix} \begin{pmatrix} -\frac{1}{\sqrt{5}} & \frac{2}{\sqrt{5}} \\ \frac{2}{\sqrt{5}} & \frac{1}{\sqrt{5}} \end{pmatrix} = \begin{pmatrix} 5 & 0 \\ 0 & 0 \end{pmatrix}

所以,标准型为:

Q(y)=5y12 Q(\mathbf{y}) = 5 y_1^2