当前位置:HOME - 线性代数入门答案 - 5.3 对角化和谱分解

5.3 对角化和谱分解

5.3.1
\\ 略.\\
5.3.2 \quad 判断下列方阵是否可对角化:
\\ 1. [123456789]\begin{bmatrix} 1&2&3\\ 4&5&6\\ 7&8&9\\ \end{bmatrix}\\ 解:直接算出特征多项式可以发现方程有3个不同的实数根,于是可对角化.\\ 2. [011001000]\begin{bmatrix} 0&1&1\\ 0&0&1\\ 0&0&0\\ \end{bmatrix}\\ 解:直接算出特征多项式可以发现代数重数是3,而dim(N(λ0I3A))\dim(\mathcal{N}(\lambda_0I_3-A))一定小于3,即几何重数小于3.几何重数不等于代数重数,不可对角化.\\
5.3.3
\\ 直接谱分解,利用An=XΛnX1A^n=X\varLambda^{n}X^{-1}可得.\\
5.3.4-5.3.5
\\ 略.\\
5.3.6 \quad 利用矩阵,求下列数列的通项公式和极限.
\\ 1. (Lucas数)L1=1,L2=3,Ln+2=Ln+1+Ln(n=1,2,).L_1=1, L_2=3, L_{n+2}=L_{n+1}+L_n (n=1,2,\cdots).\\ 2. a0=0,a1=1,an+2=12an+1+12an(n=0,1,2,).a_0=0,a_1=1,a_{n+2}=\frac{1}{2}a_{n+1}+\frac{1}{2}a_n (n=0,1,2,\cdots).\\ 3. a0=a1=0,a2=1,an+3=12an+2+14an+1+14an(n=0,1,2,).a_0=a_1=0,a_2=1,a_{n+3}=\frac{1}{2}a_{n+2}+\frac{1}{4}a_{n+1}+\frac{1}{4}a_n (n=0,1,2,\cdots).\\ 4. a0=1,an+1=an+2×3n(n=0,1,2,).a_0=1,a_{n+1}=a_n+2 \times 3^n (n=0,1,2,\cdots).\\ 5. a0=0,b0=1,an+1=an+bn,bn+1=3an+3bn(n=0,1,2,).a_0=0,b_0=1,a_{n+1}=a_n+b_n,b_{n+1}=3a_n+3b_n (n=0,1,2,\cdots).\\ 解:\\ 1. 显然[Ln+2Ln+1]=[1110][Ln+1Ln].\begin{bmatrix} L_{n+2}\\ L_{n+1}\\ \end{bmatrix} = \begin{bmatrix} 1&1\\ 1&0\\ \end{bmatrix} \begin{bmatrix} L_{n+1}\\ L_n \end{bmatrix}.于是[Ln+1Ln]=[1110]n1[L2L1].\begin{bmatrix} L_{n+1}\\ L_{n}\\ \end{bmatrix} = \begin{bmatrix} 1&1\\ 1&0\\ \end{bmatrix}^{n-1} \begin{bmatrix} L_{2}\\ L_1 \end{bmatrix}.\\ 仿造例5.3.12用谱分解展开得,\\ Ln=e2T1λ1λ2[λ1λ211][λ1n1λ2n1][1λ21λ1][31]=3(λ1n1λ2n1)λ1λ2(λ1n2λ2n2)λ1λ2\begin{align*} L_n &=\bm{e}_2^{\mathrm{T}}\frac{1}{\lambda_1-\lambda_2}\begin{bmatrix} \lambda_1&\lambda_2\\ 1&1\\ \end{bmatrix}\begin{bmatrix} \lambda_1^{n-1}&\\ &\lambda_2^{n-1}\\ \end{bmatrix}\begin{bmatrix} 1&-\lambda_2\\ -1&\lambda_1\\ \end{bmatrix}\begin{bmatrix} 3\\ 1\\ \end{bmatrix}\\ &=\frac{3(\lambda_1^{n-1}-\lambda_2^{n-1})-\lambda_1\lambda_2(\lambda_1^{n-2}-\lambda_2^{n-2})}{\lambda_1-\lambda_2} \end{align*} 其中λ1=1+52,λ2=152,n=1,2,.\lambda_1=\frac{1+\sqrt{5}}{2},\lambda_2=\frac{1-\sqrt{5}}{2},n=1,2,\cdots.\\ 这个数列显然是发散的。\\ 2. 显然[an+2an+1]=[121210][an+1an].\begin{bmatrix} a_{n+2}\\ a_{n+1}\\ \end{bmatrix} = \begin{bmatrix} \frac{1}{2}&\frac{1}{2}\\ 1&0\\ \end{bmatrix} \begin{bmatrix} a_{n+1}\\ a_n \end{bmatrix}.于是[an+1an]=[121210]n[a1a0].\begin{bmatrix} a_{n+1}\\ a_{n}\\ \end{bmatrix} = \begin{bmatrix} \frac{1}{2}&\frac{1}{2}\\ 1&0\\ \end{bmatrix}^{n} \begin{bmatrix} a_1\\ a_0 \end{bmatrix}.\\ 用谱分解展开:\\ an=e2T13[1121][(12)n1n][1121][10]=23(11(2)n)\begin{align*} a_n &=\bm{e}_2^{\mathrm{T}}\frac{1}{3}\begin{bmatrix} -1&1\\ 2&1\\ \end{bmatrix}\begin{bmatrix} (-\frac{1}{2})^{n}&\\ &1^{n}\\ \end{bmatrix}\begin{bmatrix} -1&1\\ 2&1\\ \end{bmatrix}\begin{bmatrix} 1\\ 0\\ \end{bmatrix}\\ &=\frac{2}{3}(1-\frac{1}{(-2)^n}) \end{align*} 数列极限为23.\frac{2}{3}.\\ 3. 略。\\ 4. 显然[an+13n+1]=[1203][an3n].\begin{bmatrix} a_{n+1}\\ 3^{n+1}\\ \end{bmatrix} = \begin{bmatrix} 1&2\\ 0&3\\ \end{bmatrix} \begin{bmatrix} a_{n}\\ 3^n \end{bmatrix}.[an3n]=[1203]n[11].\begin{bmatrix} a_{n}\\ 3^{n}\\ \end{bmatrix} = \begin{bmatrix} 1&2\\ 0&3\\ \end{bmatrix}^n \begin{bmatrix} 1\\ 1 \end{bmatrix}.谱分解后立得an=3na_n=3^n,数列发散。\\ 5. 显然[an+1bn+1]=[1133][anbn].\begin{bmatrix} a_{n+1}\\ b_{n+1}\\ \end{bmatrix} = \begin{bmatrix} 1&1\\ 3&3\\ \end{bmatrix} \begin{bmatrix} a_{n}\\ b_n \end{bmatrix}.[anbn]=[1133]n[01].\begin{bmatrix} a_{n}\\ b_{n}\\ \end{bmatrix} = \begin{bmatrix} 1&1\\ 3&3\\ \end{bmatrix}^n \begin{bmatrix} 0\\ 1 \end{bmatrix}.\\ 用谱分解展开后立得an=4n1,bn=34n1.(n1).a_n=4^{n-1}, b_n=3\cdot 4^{n-1}. (n \geq 1).数列显然也是发散的。\\
5.3.7
\\ 略.\\
5.3.8 \quad 设有谱分解A=XΛX1A=X\varLambda X^{-1},求下列矩阵的谱分解:
\\ 1.A1A^{-1}\\ 解:显然,A1=XΛ1X1A^{-1}=X\varLambda^{-1}X^{-1}\\ 2.ATA^{\mathrm{T}}\\ 解:显然,AT=XTΛXTA^{\mathrm{T}}=X^{-\mathrm{T}}\varLambda X^{\mathrm{T}}\\ 3. [AOO2A]\begin{bmatrix} A&O\\ O&2A\\ \end{bmatrix}\\ 解:显然,[AOO2A]=[XX][Λ2Λ][X1X1]\begin{bmatrix} A&O\\ O&2A\\ \end{bmatrix}= \begin{bmatrix} X&\\ &X\\ \end{bmatrix} \begin{bmatrix} \varLambda&\\ &2\varLambda\\ \end{bmatrix} \begin{bmatrix} X^{-1}&\\ &X^{-1}\\ \end{bmatrix} \\ 4.[OAAO]\begin{bmatrix} O&A\\ A&O\\ \end{bmatrix}\\ 解:注意到[OInInO]=22[InInInIn][InOOIn][InInInIn]22.\begin{bmatrix} O&I_n\\ I_n&O\\ \end{bmatrix}= \frac{\sqrt{2}}{2}\begin{bmatrix} -I_n&I_n\\ I_n&I_n\\ \end{bmatrix} \begin{bmatrix} -I_n&O\\ O&I_n\\ \end{bmatrix} \begin{bmatrix} -I_n&I_n\\ I_n&I_n\\ \end{bmatrix}\frac{\sqrt{2}}{2}. 于是[OAAO]=22[XXXX][ΛOOΛ][XXXX]22.\begin{bmatrix} O&A\\ A&O\\ \end{bmatrix}= \frac{\sqrt{2}}{2}\begin{bmatrix} -X&X\\ X&X\\ \end{bmatrix} \begin{bmatrix} -\varLambda&O\\ O&\varLambda\\ \end{bmatrix} \begin{bmatrix} -X&X\\ X&X\\ \end{bmatrix}\frac{\sqrt{2}}{2}.
5.3.9 \quad 利用特征值计算下列nn阶矩阵的行列式:
\\ 1.abbbabbba\begin{vmatrix} a&b&\cdots&b\\ b&a&\ddots&\vdots\\ \vdots&\ddots&\ddots&b\\ b&\cdots&b&a\\ \end{vmatrix}\\ 解:\\ 显然矩阵有n1n-1重特征值aba-b,由trace(A)=na\operatorname{trace}(A)=na可得还有单特征值a+(n1)ba+(n-1)b.所以原式=(ab)n1(ab+nb).(a-b)^{n-1}(a-b+nb).\\ 2.1+a1b1a1b2a1bna2b11+a2b2an1bnanb1anbn11+anbn2.\begin{vmatrix} 1+a_1b_1&a_1b_2&\cdots&a_1b_n\\ a_2b_1&1+a_2b_2&\ddots&\vdots\\ \vdots&\ddots&\ddots&a_{n-1}b_n\\ a_nb_1&\cdots&a_nb_{n-1}&1+a_nb_n\\ \end{vmatrix}\\ 解:\\ 显然矩阵有n1n-1重特征值1,由trace(A)=n+i=1naibi\operatorname{trace}(A)=n+\sum_{i=1}^na_ib_i可得还有单特征值1+i=1naibi1+\sum_{i=1}^na_ib_i.所以原式=1+i=1naibi.1+\sum_{i=1}^na_ib_i.\\
5.3.10 \quad 证明:
\\ 1.\quad nn阶方阵Jn(λ0)=[λ01λ01λ0]J_n(\lambda_0)=\begin{bmatrix} \lambda_0&1&&\\ &\lambda_0&\ddots&\\ &&\ddots&1\\ &&&\lambda_0\\ \end{bmatrix}只有一个特征值λ0\lambda_0,其代数重数是nn,几何重数是1.\\ 2.\quad 分块对角矩阵A=[Jn1(λ0)OOJn2(λ0)]A=\begin{bmatrix} J_{n_1}(\lambda_0)&O\\ O&J_{n_2}(\lambda_0) \end{bmatrix}只有一个特征值λ0\lambda_0,其代数重数是n1+n2n_1+n_2,几何重数是2.\\ 1.证明:\\ 方阵JnJ_n的特征多项式为p(λ)=(λλ0)n.p(\lambda)=(\lambda-\lambda_0)^n.显然只有一个特征值λ0\lambda_0,代数重数为nn.\\ 又因为rank(λ0InJn(λ0))=rank([01010])=n1.\operatorname{rank}(\lambda_0I_n-J_n(\lambda_0))=\operatorname{rank}(\begin{bmatrix} 0&-1&&\\ &0&\ddots&\\ &&\ddots&-1\\ &&&0 \end{bmatrix})=n-1.所以其零空间维度为1,几何重数是1.\\ 2.证明:\\ 由(1)立得,特征多项式为p(λ)=(λλ0)n1+n2.p(\lambda)=(\lambda-\lambda_0)^{n_1+n_2}.显然只有一个特征值λ0\lambda_0,代数重数为n1+n2n_1+n_2.\\nn阶方阵Cn=[01010],C_n=\begin{bmatrix} 0&-1&&\\ &0&\ddots&\\ &&\ddots&-1\\ &&&0 \end{bmatrix},rank(λ0In1+n2A)=rank([Cn1OOCn2])=n2.\operatorname{rank}(\lambda_0I_{n_1+n_2}-A)=\operatorname{rank}(\begin{bmatrix} C_{n_1}&O\\ O&C_{n_2} \end{bmatrix})=n-2.所以其零空间维度为2,几何重数是2.\\
5.3.11 \quad 试分析秩为1的方阵何时可对角化.
\\ 秩为1的方阵AA可对角化当且仅当trace(A)0.\operatorname{trace}(A)\neq 0.\\ 证明:\\ 先证秩为1的方阵AA可对角化\Rightarrowtrace(A)0.\operatorname{trace}(A)\neq 0.\\ rank(A)=1\operatorname{rank}(A)=1AA可对角化N(A)\Rightarrow \mathcal{N}(A)的维度为n1n-1AA有一个重数是n1n-1的特征值0trace(A)0.\Rightarrow \operatorname{trace}(A)\neq 0.\\ 再证秩为1的方阵AA满足trace(A)0\operatorname{trace}(A)\neq 0 \RightarrowAA可对角化。\\ rank(A)=1N(A)\operatorname{rank}(A)=1\Rightarrow \mathcal{N}(A)的维度为n1n-1AA有一个几何重数是n1n-1的特征值0,其代数重数至少是n1n-1。又因为trace(A)0\operatorname{trace}(A)\neq 0,所以AA至少有1个非零特征值。由此可得AA有一个非零特征值,几何重数和代数重数均为1,另一个特征值是0,几何重数和代数重数都是n1n-1.A\Rightarrow A可对角化。\\
5.3.12 \quadAA为实二阶方阵,且det(A)<0\det(A)<0,证明AAR\mathbb{R}上可对角化.
\\ 解:\\ AA为实二阶方阵,且det(A)<0\det(A)<0A\Rightarrow A有一正一负两个特征值A\Rightarrow A可对角化。\\
5.3.13 \quad 证明A=[IrOBInr]A=\begin{bmatrix} I_r&O\\ B&-I_{n-r} \end{bmatrix}可对角化.
\\ 证明: pA(λ)=det(λInA)=λIrIrOBλInr+Inr=(λ1)r(λ+1)nrp_A(\lambda)=\det(\lambda I_n-A)=\begin{vmatrix}\lambda I_r-I_r&O\\-B&\lambda I_{n-r}+I_{n-r}\end{vmatrix}=(\lambda-1)^r(\lambda+1)^{n-r} 这说明AA有两个特征值。λ1=1\lambda_1=1,代数重数是rrλ2=1\lambda_2=-1,代数重数是nrn-r\\λ=1\lambda=1时,rank(λInA)=rank([OOB2Inr])=nr\operatorname{rank}(\lambda I_n-A)=\operatorname{rank}(\begin{bmatrix} O&O\\ -B&2I_{n-r} \end{bmatrix})=n-r \Rightarrow 几何重数为rr.\\λ=1\lambda=-1时,rank(λInA)=rank([2IrOBO])=r\operatorname{rank}(\lambda I_n-A)=\operatorname{rank}(\begin{bmatrix} -2I_r&O\\ -B&O \end{bmatrix})=r \Rightarrow 几何重数为nrn-r.\\ 即对所有特征值,几何重数和代数重数都相等。所以AA可对角化。\\
5.3.14 \quad 证明:
\\ 1. 若A2=AA^2=A,则AA可对角化.\\ 2. 若A2=OA^2=O,且AOA\neq O,则AA不可对角化.\\ 3. 若A2+A+In=OA^2+A+I_n=O,则AAR\mathbb{R}上不可对角化.\\ 1. 证明:\\ A2=Aλ1=0,λ2=1A^2=A \Rightarrow \lambda_1=0,\lambda_2=1\\ 注意到A2A=0A(InA)=0R(InA)N(A)rank(A)+rank(InA)nA^2-A=0 \Rightarrow A(I_n-A)=0 \Rightarrow \mathcal{R}(I_n-A) \subseteq \mathcal{N}(A) \Rightarrow \operatorname{rank}(A)+\operatorname{rank}(I_n-A) \leq n\\rank(A)+rank(InA)rank(A+InA)=n\operatorname{rank}(A)+\operatorname{rank}(I_n-A) \geq \operatorname{rank}(A+I_n-A)=n, 所以rank(A)+rank(InA)=n\operatorname{rank}(A)+\operatorname{rank}(I_n-A)=n\\rank(A)=r,rank(InA)=nr\operatorname{rank}(A)=r, \operatorname{rank}(I_n-A)=n-r。当λ=0\lambda=0时,dim(N(A))=nr\dim(\mathcal{N}(A))=n-r,几何重数是nrn-r,当λ=1\lambda=1时,dim(N(InA))=r\dim(\mathcal{N}(I_n-A))=r,几何重数是rr.\\特征值的几何重数之和是nn,说明AAnn个线性无关的特征向量,所以可对角化。\\ 2. 证明:\\ A2=Oλ=0.A^2=O \Rightarrow \lambda=0.显然只有一个特征值,其代数重数是nn.\\AOrank(A)1rank(λInA)1.A \neq O \Rightarrow \operatorname{rank}(A) \geq 1 \Rightarrow \operatorname{rank}(\lambda I_n-A)\geq 1.即几何重数小于nn.\\ 几何重数和代数重数不相等,AA不可对角化。\\ 3. 证明:\\ A2+A+In=Oλ2+λ+1=0.A^2+A+I_n=O \Rightarrow \lambda^2+\lambda+1=0.显然方程没有实数解,所以特征值为复数A\Rightarrow A在实数域不可对角化。\\
5.3.15 \quad 证明或举出反例:
\\ 1. 如果AA所有的特征向量是k[14],k0k\begin{bmatrix} 1\\ 4\\ \end{bmatrix},k\neq 0,则AA一定有不单的特征值.\\ 2. 如果AA所有的特征向量是k[14],k0k\begin{bmatrix} 1\\ 4\\ \end{bmatrix},k\neq 0,则AA一定有不可对角化.\\ 3. 如果AA是上三角矩阵但不是对角矩阵,则AA不可对角化.\\ 4. 如果AA是上三角矩阵但不是对角矩阵,则存在对角矩阵DD,使得ADA-D不可对角化.\\ 5. 如果AA可以被对角矩阵对角化,则AA也是对角矩阵.\\ 1.2. 证明:\\ 显然AA是二阶方阵,且特征向量只有一组,几何重数是1。特征值也只有一个,代数重数是2。所以AA特征值一定不单且不可对角化。\\ 3. 不正确\\A=[1100]A=\begin{bmatrix} 1&1\\ 0&0 \end{bmatrix},是上三角矩阵但是可以对角化。\\ 4. 证明:\\ 不妨设DD的对角元和AA的对角元相同,则ADA-D是严格上三角阵。于是ADA-D的特征多项式是λn\lambda^n,即只有一个特征值0,代数重数是nn。而AA不是对角矩阵,rank(AD)1\operatorname{rank}(A-D)\geq 1,所以特征值的几何重数一定小于nn。几何重数不等于代数重数,不可对角化。\\ 4. 证明:\\ 显然对角矩阵的乘积和逆也是对角矩阵,所以A=XΛX1A=X\varLambda X^{-1}是对角矩阵。\\
5.3.16
\\\\
5.3.17 \quad 证明,对反射矩阵Hv=In2vvTH_v=I_n-2\bm{v}\bm{v}^\mathrm{T},其中v=1\Vert\bm{v}\Vert=1,存在正交矩阵QQ,使得Q1HvQ=diag(1,1,1,,1)Q^{-1}H_vQ=\operatorname{diag}(-1,1,1,\cdots,1).
\\ 证明:\\ Q1HvQ=QTInQ2QTvvTQ=In2(QTv)(QTv)T.Q^{-1}H_vQ=Q^{\mathrm{T}}I_nQ-2Q^{\mathrm{T}}\bm{v}\bm{v}^{\mathrm{T}}Q=I_n-2(Q^{\mathrm{T}}\bm{v})(Q^{\mathrm{T}}\bm{v})^{\mathrm{T}}.\\ 可以看出若要让命题成立,只需要让QTv=e1=[100].Q^{\mathrm{T}}\bm{v}=\bm{e}_1=\begin{bmatrix} 1\\ 0\\ \vdots\\ 0 \end{bmatrix}.由于v=1\Vert\bm{v}\Vert=1,所以一定存在旋转变换QTQ^{\mathrm{T}}使QTv=e1Q^{\mathrm{T}}\bm{v}=\bm{e}_1,而旋转变换的表示矩阵都是正交矩阵。即存在正交矩阵QQ,使得Q1HvQ=diag(1,1,1,,1).Q^{-1}H_vQ=\operatorname{diag}(-1,1,1,\cdots,1).\\
5.3.18 (Householder矩阵的推广) \quadM\mathcal{M}Rn\mathbb{R}^{n}的子空间,对任意vRn\bm{v} \in \mathbb{R}^{n},存在唯一的分解v=v1+v2\bm{v}=\bm{v}_1+\bm{v}_2,其中v1M,v2M\bm{v}_1 \in \mathcal{M}, \bm{v}_2 \in \mathcal{M}^{\bot}.定义Rn\mathbb{R}^{n}上的变换H\bm{H},使得H(v1+v2)=v1v2.\bm{H}(\bm{v}_1+\bm{v}_2)=\bm{v}_1-\bm{v}_2.\\
1.证明H\bm{H}是线性变换。\\ 2. 设HH是该线性变换的表示矩阵,证明H2=In.H^2=I_n.\\ 3. 求HH的特征值,代数重数及特征子空间。HH能否被对角化?\\ 4. 证明,存在矩阵AA,使得H=In2AATH=I_n-2AA^{\mathrm{T}}\\ 1. 证明是显然的,略。\\ 2. 证明: H(H(v1+v2))=H(v1v2)=v1+v2.\bm{H}(\bm{H}(\bm{v}_1+\bm{v}_2))=\bm{H}(\bm{v}_1-\bm{v}_2)=\bm{v}_1+\bm{v}_2. 于是H2=In.H^2=I_n.\\ 3.解:\\ 注意到Hv1=v1,Hv2=v2.H\bm{v}_1=\bm{v}_1, H\bm{v}_2=-\bm{v}_2.所以HH有两个特征值:\\ λ1=1\lambda_1=1,特征子空间是M\mathcal{M},代数重数是dim(M).\dim(\mathcal{M}).\\ λ1=1\lambda_1=-1,特征子空间是M\mathcal{M}^{\bot},代数重数是dim(M).\dim(\mathcal{M}^{\bot}).\\ HH代数重数之和等于nn,于是HH可以对角化。\\ 4. 证明:\\ 注意到Hv=(In2AAT)v=(InAAT)vAATvH\bm{v}=(I_n-2AA^{\mathrm{T}})\bm{v}=(I_n-AA^{\mathrm{T}})\bm{v}-AA^{\mathrm{T}}\bm{v}.这意味着只要找到矩阵AA满足(InAAT)v=v1,AATv=v2(I_n-AA^{\mathrm{T}})\bm{v}=\bm{v}_1, AA^{\mathrm{T}}\bm{v}=\bm{v}_2即可。立刻联想到正交投影矩阵。\\AA是关于M\mathcal{M}^{\bot}的正交投影矩阵,则:Hv=H(v1+v2)=(In2AAT)(v1+v2)=(In2A)(v1+v2)=v1+v22Av12Av2=v1v2\begin{align*} H\bm{v}&=H(\bm{v}_1+\bm{v}_2)=(I_n-2AA^{\mathrm{T}})(\bm{v}_1+\bm{v}_2)\\&=(I_n-2A)(\bm{v}_1+\bm{v}_2)\\&=\bm{v}_1+\bm{v}_2-2A\bm{v}_1-2A\bm{v}_2\\&=\bm{v}_1-\bm{v}_2 \end{align*} 所以存在矩阵AA,使得H=In2AATH=I_n-2AA^{\mathrm{T}}\\
5.3.19 \quadAAnn阶实方阵,满足A2=InA^2=I_n,证明AAR\mathbb{R}上可对角化,并判断AA是否为关于某个子空间的反射变换。
\\ 证明:\\ A2=Inλ=±1A^2=I_n\Rightarrow \lambda=\pm 1,即λ=1\lambda=1对应的特征向量子空间是N(InA)\mathcal{N}(I_n-A)λ=1\lambda=-1对应的特征向量子空间是N(In+A)\mathcal{N}(I_n+A)rank(InA)+rank(In+A)rank(InA+In+A)=n.(1)\operatorname{rank}(I_n-A)+\operatorname{rank}(I_n+A)\geq \operatorname{rank}(I_n-A+I_n+A)=n.\quad (1)(InA)(In+A)=(In+A)(InA)=0(InA)N(InA)rank(InA)nrank(In+A)rank(InA)+rank(In+A)n(2)\begin{align*} (I_n-A)(I_n+A)=(I_n+A)(I_n-A)=0 \\\Rightarrow (I_n-A) \subseteq \mathcal{N}(I_n-A) \\\Rightarrow \operatorname{rank}(I_n-A) \leq n-\operatorname{rank}(I_n+A) \\\Rightarrow \operatorname{rank}(I_n-A)+\operatorname{rank}(I_n+A) \leq n \quad (2) \end{align*} 由(1)(2)得rank(InA)+rank(In+A)=n\operatorname{rank}(I_n-A)+\operatorname{rank}(I_n+A)=n,即dim(N(InA))+dim(N(In+A))=n.\dim(\mathcal{N}(I_n-A))+\dim(\mathcal{N}(I_n+A))=n.所以AAnn个线性无关的特征向量,可以对角化。\\
5.3.20-21
\\ 略。