前言:仅个人小记
秩一矩阵非常漂亮的五个性质:
(1)秩一矩阵一定能够拆解为两个列向量 a ⃗ \vec{a} a, b ⃗ \vec{b} b矩阵乘积的形式,具体为 A = a ⃗ b ⃗ T A=\vec{a}{\vec{b}}^{T} A=abT这种形式
(2)秩一方阵的特征值之和即矩阵的迹,即矩阵主对角线之和等于上述两个向量的内积,即 a ⃗ b ⃗ \vec{a}\vec{b} ab
(3)秩一方阵的特征值可以一眼看出,即只有一个非零特征值为 λ = t r a A = Σ a i i = a ⃗ b ⃗ \lambda=tra{A}=\Sigma{a_{ii}}=\vec{a}\vec{b} λ=traA=Σaii=ab,其他即为零特征值。
(4)很好地从另一个角度诠释了矩阵乘法,如下,
u i ⃗ , v i ⃗ \vec{u_i},\vec{v_i} ui,vi都是列向量。
U V T = ( [ u 1 ⃗ , u 2 ⃗ , . . . , u n ⃗ ] ) ( [ v 1 ⃗ , v 2 ⃗ , . . . , v n ⃗ ] T ) = u 1 ⃗ v 1 ⃗ T + u 2 ⃗ v 2 ⃗ T + . . . , u n ⃗ v n ⃗ T U{V}^{T}=([\vec {u_1},\vec{u_2},...,\vec{u_n}])({[\vec{v_1},\vec{v_2},...,\vec{v_n}]}^{T})=\vec{u_1}{\vec{v_1}}^{T}+\vec{u_2}{\vec{v_2}}^{T}+...,\vec{u_n}{\vec{v_n}}^{T} UVT=([u1,u2,...,un])([v1,v2,...,vn]T)=u1v1T+u2v2T+...,unvnT
上式,右侧为秩一矩阵之和。从列向量或者行向量的角度很容易理解 u ⃗ v ⃗ T \vec{u}{\vec{v}}^{T} uvT是秩为一的矩阵。
(5)具备 A 2 = k A {A}^{2}=kA A2=kA这种极好的可以用于解决高次幂矩阵乘法问题的性质,具体推导如下, A = a ⃗ b ⃗ T A 2 = A A = a ⃗ b ⃗ T a ⃗ b ⃗ T = a ⃗ ( b ⃗ T a ⃗ ) b ⃗ T = k a ⃗ b ⃗ T = k A A 2 = k A A=\vec{a}{\vec{b}}^{T}\\{A}^{2}=AA=\vec{a}{\vec{b}}^{T}\vec{a}{\vec{b}}^{T}=\vec{a}({\vec{b}}^{T}\vec{a}){\vec{b}}^{T}=k\vec{a}{\vec{b}}^{T}=kA\\{A}^{2}=kA A=abTA2=AA=abTabT=a(bTa)bT=kabT=kAA2=kA
关于第(3)点本人仍未能够给出很好的证明。据本人目前的判断,这一点是稳定是成立的。本人现有如下解释:r(A)=1, ( A − λ ) x ⃗ = 0 ⃗ (A-\lambda)\vec{x}=\vec{0} (A−λ)x=0,显然,当 λ = 0 \lambda=0 λ=0时,必然矩阵 A − λ A-\lambda A−λ的秩为1,所以齐次线性方程组方程组必然有n-1个线性无关的解向量,而这正是完全符合特征向量的要求,n-1个特征向量撑起了n-1维的特征空间,我认为一个2重根的特征值可能只对应一个特征向量,但是如果m个线性无关特征向量对应的同一个特征值则必然这个特征值至少是m重特征根。
