线性代数(四) 特征值&相似矩阵&二次型

懒猫gg

已于 2023-09-13 15:43:07 修改

阅读量1k

点赞数 1

分类专栏： # 数学基础文章标签：线性代数

于 2023-08-16 17:17:36 首次发布

本文链接：https://blog.csdn.net/y3over/article/details/132313928

版权

数学基础专栏收录该内容

14 篇文章 5 订阅

订阅专栏

前言

前面主要讲述的是方程组和矩阵的关系，现在了解下矩阵和矩阵的关系

方阵的特征值与特征向量

假设A为n阶方阵，对于一个数 $\lambda$

若存在：非零列向量 $\alpha$ ，使得： $A\vec{\alpha}=\lambda\vec{\alpha}$

$\lambda$ 叫做矩阵A的一个特征值
$\vec{\alpha}$ 叫做对应特征值的特征向量

在这里插入图片描述

由于 $\vec\alpha$ 是非零列向量
把 $\lambda$ 作为未知量， $A-\lambda E = 0$
因为存在 $\lambda$ 解 => $|A-\lambda E| = 0$

求解特征方程

给一个n阶矩阵A写出特征矩阵
$\begin{pmatrix} 4 & -2\\ 1 & 1\end{pmatrix} - \begin{pmatrix} \lambda & 0\\ 0 & \lambda\end{pmatrix} = \begin{pmatrix} 4- \lambda & -2\\ 1 & 1-\lambda\end{pmatrix}$
将特征矩阵转为特征行列式
$\begin{vmatrix} 4- \lambda & -2\\ 1 & 1-\lambda\end{vmatrix} = -\begin{vmatrix} 1 & 1-\lambda\\ 4- \lambda& - 2\end{vmatrix} =-\begin{vmatrix} 1 & 1-\lambda\\ 0 & -2-(1-\lambda) *(4- \lambda) \end{vmatrix} = 0$
求出根
$\lambda^2-5\lambda + 6 =0 \Longrightarrow \lambda_1=2 ,\lambda_2=3$
求解特征值对应的特征向量

将 $\lambda_1=2 ,\lambda_2=3$ 代入 $（A-\lambda E）\vec{\alpha} = 0$

基本性质
在这里插入图片描述

特征值和特征向量，就是类似于给“坐标” 求他的坐标系的问题。
特征值 $\lambda$ 用于消除“坐标”某一维度，得到特征向量为这一维度的 “坐标系”
如果出现了 $\lambda$ N重根，则得到的特征向量 “坐标系” 包含N个维度

证明不同特征值对应的特征向量是线性无关的

在这里插入图片描述

方阵的迹

在这里插入图片描述

方阵的行列式=方阵的全部特征值之积
方阵主对角线元素之和=方阵的全部特征值之和

证明：特征值之和等于迹，特征值之积等于行列式

相似矩阵

在这里插入图片描述
相似矩阵的定义，可以用坐标系变换的视角来理解

需要把：A和B看做是两个变换
那么 $A=P^{-1}BP$ 具体是指：
- A是P坐标系下的一个<变换>
- 该<变换>若在标准坐标系下观察则是B变换

例如：在标准坐标系下有一个伸缩变换为B,在P坐标系下相同的伸缩变换观察到的是A
在这里插入图片描述

若A和B相似，因观察的视角不同，但本质是相同的变换

相似矩阵的性质

若A和B相似，即 $\backsim B \quad B \backsim A$

相似矩阵的行列式值相同
相似矩阵的特征值相同
相似矩阵的秩相同
相似矩阵的迹相同
相似矩阵的可逆性相同

二次型

在这里插入图片描述
如果存在可逆的线性变换

将 $x = P y$ 线性变换代入原来的二次型得
$\lambda_1y_1^2 + \lambda_2y_2^2+...+\lambda_ny_n^2$

即将这种只含平方项（不含交叉项）的二次型称为标准形式的二次型，简称标准型。

充分必要条件是存在n阶可逆矩阵 $P$
其中 $\lambda_1,\lambda_2,...\lambda_n$ 恰为 $A$ 全部特征值。
任何二次型必可经过可逆线性变换化为标准型
任何对称矩阵必可合同于对角矩阵

另外可以根据二次型不同条件进行分类
在这里插入图片描述

二次型的规范型

初等矩阵作合同因子 $P$ 所进行的合同变换称为初等合同变换.任何合同变换必可经过有限多次初等合同变换实现对角矩阵后.还可进一步用实数域上的合同变换，将正数化为1，复数化为-1，并可调整位置使得矩阵最终化为如下形式
在这里插入图片描述
任何实二次型 $f$ 必可经过实数域上的可逆线性变换化为规范型，且实规范型是唯一的。