如何证明I - AB可逆?
证明矩阵\\(I - AB\\)可逆是线性代数中的经典问题，需结合矩阵运算性质、特征值理论及分块矩阵技巧展开分析。以下从四个核心角度阐述证明思路。一、基于逆矩阵定义构造验证
若能找到矩阵\\(C\\)，使得\\((I - AB)C = I\\)或\\(C(I - AB) = I\\)，则\\(I - AB\\)可逆，且\\(C\\)为其逆矩阵。例如，当\\(AB\\)为幂零矩阵即存在\\(k\\)使得\\((AB)^k = 0\\)时，可构造\\(C = I + AB + (AB)^2 + \\cdots + (AB)^{k - 1}\\)，直接验证： \\[ (I - AB)(I + AB + \\cdots + (AB)^{k - 1}) = I - (AB)^k = I \\] 此时\\(I - AB\\)可逆，逆矩阵为该级数和。二、利用特征值分析不可逆的等价条件
矩阵\\(I - AB\\)不可逆等价于\\(0\\)是其特征值，即存在非零向量\\(x\\)使得\\((I - AB)x = 0\\)，进而有\\(ABx = x\\)。等式两边左乘\\(B\\)，得\\(BA(Bx) = Bx\\)，故\\(Bx\\)是\\(BA\\)的特征值为\\(1\\)的特征向量非零，因\\(Bx = 0\\)会导致\\(x = ABx = 0\\)矛盾。反之，若\\(BA\\)有特征值\\(1\\)，同理可推出\\(AB\\)有特征值\\(1\\)，即\\(I - AB\\)不可逆。因此：\\(I - AB\\)可逆当且仅当\\(1\\)不是\\(AB\\)的特征值，也等价于\\(1\\)不是\\(BA\\)的特征值。三、通过行列式关系转化问题
对同阶方阵\\(A,B\\)，有行列式等式\\(\\det(I - AB) = \\det(I - BA)\\)。证明可构造分块矩阵并做初等变换： \\[ \\begin{pmatrix} I & A \\\\ B & I \\end{pmatrix} \\xrightarrow{r_1 - A r_2} \\begin{pmatrix} I - AB & 0 \\\\ B & I \\end{pmatrix}, \\quad \\begin{pmatrix} I & A \\\\ B & I \\end{pmatrix} \\xrightarrow{c_2 - c_1 B} \\begin{pmatrix} I & 0 \\\\ B & I - BA \\end{pmatrix} \\] 因初等变换不改变行列式值，故\\(\\det(I - AB)\\det(I) = \\det(I)\\det(I - BA)\\)，即\\(\\det(I - AB) = \\det(I - BA)\\)。因此，\\(I - AB\\)可逆等价于\\(I - BA\\)可逆，且二者行列式相等。该结论将\\(AB\\)的问题转化为\\(BA\\)，在\\(A,B\\)不同阶时仍可推广如\\(A\\)为\\(m \\times n\\)、\\(B\\)为\\(n \\times m\\)矩阵，\\(I - AB\\)与\\(I - BA\\)的非零特征值全相同。四、基于线性映射的双射性判定
将\\(I - AB\\)视为线性空间上的线性变换，其可逆等价于该变换既是单射又是满射。若\\(I - AB\\)不是单射，则存在非零\\(x\\)使\\((I - AB)x = 0\\)，即\\(ABx = x\\)，此时\\(x\\)为\\(AB\\)的特征值\\(1\\)的特征向量，与特征值分析一致；若\\(I - AB\\)不是满射，则其值域维度小于空间维数，由秩 - 零度定理，核空间非零，仍推出存在非零\\(x\\)使\\((I - AB)x = 0\\)。故\\(I - AB\\)可逆当且仅当它是双射线性变换，即核空间仅含零向量。证明\\(I - AB\\)可逆可通过构造逆矩阵、分析特征值、转化为\\(I - BA\\)的行列式或验证线性映射的双射性实现，核心是抓住“可逆等价于非奇异行列式非零”或“特征值1”这一本质。