《相似矩阵的概念和性质》
包括但不限于:
- 相似矩阵的概念
- (特别的,如果矩阵A能相似于对角形矩阵,则称A可对角化)
- 相似矩阵的性质
- 如果两个矩阵相似,两个矩阵一定等价
- 矩阵相似的反身性、对称性、传递性
- 如果矩阵相似,矩阵的秩相等
- 如果矩阵相似,矩阵的特征行列式相等,特征值相等
- 如果A∼B,则∣A∣=∣B∣;A的迹等于B的迹
- ∣A∣与∣B∣同时为零或同时不为零
- A和B同时可逆或不可逆
- 如果矩阵相似,那么矩阵的逆矩阵也相似,矩阵的伴随矩阵也相似,矩阵的转置也相似
- 如果矩阵相似,那么矩阵的m次也相似(m为正整数)
- 如果矩阵相似,那么矩阵的相同多项式也相似
-
相似矩阵的概念和性质
一、相似矩阵的概念
1.1 定义
设 A,B 均为 n 阶方阵,若存在一个可逆矩阵 P(∣P∣=0),使得:
P−1AP=B
则称矩阵 A 与矩阵 B 相似(similar),记作:
A∼B
其中 P 称为相似变换矩阵。
本质理解:A∼B 意味着 A 和 B 是同一个线性变换在两组不同基下的矩阵表示。P 就是两组基之间的过渡矩阵(基变换矩阵)。因此相似矩阵描述的是同一个线性变换,只是观察的坐标系不同。
1.2 可对角化
特别地,如果矩阵 A 能相似于一个对角形矩阵 Λ,即存在可逆矩阵 P,使得:
P−1AP=Λ=λ10λ2⋱0λn
则称 A 可对角化(diagonalizable)。
Λ 的对角线元素即为 A 的全部特征值。P 的列向量即为对应的 n 个线性无关的特征向量。
二、相似矩阵的性质
2.1 相似必等价
若 A∼B,则 A 与 B 一定等价。
回顾:A 与 B 等价 ⟺ 存在可逆矩阵 P,Q 使得 PAQ=B。
相似是等价的特殊情形(Q=P−1),所以相似 ⇒ 等价,但反之不然。
2.2 相似关系的三大性质(等价关系)
矩阵的相似关系是一种等价关系,满足:
2.3 「四相等」
若 A∼B,则以下四个量分别相等:
① 秩相等
r(A)=r(B)
原因:可逆矩阵乘法不改变秩。
② 特征值相等
λA=λB
即 A 与 B 有相同的特征多项式、相同的特征值(包括重数)。
原因:
∣λE−B∣=∣λE−P−1AP∣=∣P−1(λE−A)P∣=∣P−1∣⋅∣λE−A∣⋅∣P∣=∣λE−A∣
注意:特征值相同,但特征向量一般不同。若 Aα=λα,则 B(P−1α)=λ(P−1α)。P−1α 才是 B 的特征向量。
③ 行列式相等
∣A∣=∣B∣
原因:∣B∣=∣P−1AP∣=∣P−1∣⋅∣A∣⋅∣P∣=∣A∣。
推论:
- ∣A∣ 与 ∣B∣ 同时为零或同时不为零;
- A 与 B 同时可逆或同时不可逆。
④ 迹相等
tr(A)=tr(B)
原因:迹 = 所有特征值之和,特征值又相等,故迹相等。(也可由 tr(P−1AP)=tr(APP−1)=tr(A) 直接证明。)
2.4 角标相似
若 A∼B,则以下三类矩阵也分别相似:
① 逆矩阵相似
A−1∼B−1
(前提:A 可逆,此时 B 也可逆。)
证明:由 P−1AP=B,取逆得 P−1A−1P=B−1。
② 伴随矩阵相似
A∗∼B∗
③ 转置矩阵相似
AT∼BT
2.5 矩阵的乘法相似
若 A∼B,则
kA∼kB
(k 为任意常数。)
证明:P−1(kA)P=k(P−1AP)=kB。
2.6 矩阵的 m 次幂相似
若 A∼B,则对任意正整数 m:
Am∼Bm
证明:
Bm=(P−1AP)m=P−1AP⋅P−1AP⋯P−1AP=P−1AmP
(中间的 PP−1=E 全部消去)
2.7 矩阵多项式的相似
若 A∼B,则对任意多项式 f(x)=a0+a1x+a2x2+⋯+amxm:
f(A)∼f(B)
证明:
P−1f(A)P=P−1(a0E+a1A+⋯+amAm)P=a0E+a1B+⋯+amBm=f(B)
三、性质总结表
四、「四相等」的推论
由 A∼B 可得以下直接推论:
五、相似与对角化的关系
5.1 A 可对角化的充要条件
A 可对角化(A∼Λ)⟺ A 有 n 个线性无关的特征向量。
等价条件:
- 每个 k 重特征值恰有 k 个线性无关的特征向量;
- 即:对每个特征值 λi,其几何重数(线性无关特征向量的个数)= 代数重数(特征多项式中根的重数)。
5.2 充分条件(可立即判定)
六、相似不变量总结
以下量在相似变换下保持不变,称为相似不变量:
这些不变量可用于判断两个矩阵是否相似:若以上任一不变量不同,则两矩阵一定不相似。但反过来,这些量全相同不保证一定相似。
七、思维导图
矩阵相似 A ∼ B ⟺ 存在可逆阵 P,使得 P⁻¹AP = B
│
├── 相似 ⇨ 等价(反之不然)
│
├── 三大关系性质:反身性、对称性、传递性(等价关系)
│
├── 【四相等】
│ ├── r(A) = r(B)
│ ├── λₐ = λᵦ(特征值相同)
│ ├── |A| = |B|(同时为零or不为零,同时可逆or不可逆)
│ └── tr(A) = tr(B)
│
└── 【四相似】
├── A⁻¹ ∼ B⁻¹、A* ∼ B*、Aᵀ ∼ Bᵀ
├── kA ∼ kB
├── Aᵐ ∼ Bᵐ
└── f(A) ∼ f(B)