满秩矩阵与可逆矩阵等式疑问：k⁻¹k'是否必为单位矩阵？

好问题！咱们一步步拆解这个问题，先从满秩矩阵的核心逻辑说起，再对比奇异矩阵的场景，把背后的原理讲清楚。

先明确已知条件：A是m×n行满秩矩阵（秩为m），k、k'是互不相等的m×m可逆矩阵，等式 $A = k^{-1}k'A$ 成立。

咱们先把等式变形：两边左乘k，得到 $kA = k'A$，也就是 $(k - k')A = 0$，或者像你整理的那样：$(I - k^{-1}k')A = 0$。

现在关键看 $(I - k^{-1}k')$ 这个矩阵和A的关系：
因为A是行满秩矩阵，它的列向量张成了整个m维空间ℝᵐ（行满秩等价于列空间是全空间）。如果矩阵M=$(I - k^{-1}k')$满足MA=0，意味着A的每一列都在M的零空间里——而A的列已经覆盖了整个ℝᵐ，那M的零空间就是全空间，这只有零矩阵能做到。

所以结论很明确：$I - k^{-1}k'$ 必须是零矩阵，也就是 $k^{-1}k' = I$，进而k=k'。你之前担心的“(I - k⁻¹k')与A正交”其实不成立，因为A的列空间是全空间，没有非零矩阵能和整个空间正交（除非它自己就是零矩阵）。

当A是奇异矩阵（秩r < m）时，情况就完全不同了。这时候A的列空间只是ℝᵐ的一个r维子空间，而非全空间，这就给了非零矩阵操作的空间：只要某个矩阵M（这里M=k⁻¹k'）的行向量都和A的列空间正交，就能满足MA=0，进而A=MA。

举个实实在在的例子：
设m=2，n=2，A是秩为1的奇异矩阵：

A = [[1, 1],
     [1, 1]]

取k为2阶单位矩阵I，再取一个可逆矩阵k'：

k' = [[2, -1],
      [0, 1]]

计算k'A：

k'A = [[2*1 + (-1)*1, 2*1 + (-1)*1],
       [0*1 + 1*1, 0*1 + 1*1]] = [[1,1],[1,1]] = A

你看，kA=IA=A=k'A，但k和k'明显不相等。

背后的核心原理是：当A的列空间不是全空间时，可逆矩阵可以只在列空间的补空间上做非平凡变换，而对列空间内的向量保持不变。因为k'是可逆的，它是整个空间的线性同构，但只要它在A的列空间上的作用是恒等变换（也就是对所有属于A列空间的向量v，都有k'v=v），那k'A就等于A，而k'本身完全可以不等于单位矩阵I。

• 当A是行满秩矩阵时，A的列空间覆盖整个m维空间，任何满足MA=0的矩阵M只能是零矩阵，因此必须有k⁻¹k'=I，k=k'；
• 当A是奇异矩阵时，列空间是低维子空间，存在非零可逆矩阵M，使得M在A的列空间上作用为恒等，从而MA=A，此时M≠I，对应k≠k'。

内容的提问来源于stack exchange，提问作者user522841