同一映射，换装登场：相似与共轭

当基移动时矩阵如何移动

固定算子 T: V -> V 与 V 的两组基。设 A 为 T 在第一组基下的矩阵，A' 为第二组基下的矩阵，S 为二者之间的换基矩阵。两矩阵的关系是 A' = S^-1 A S。从右往左读：把新坐标译为旧坐标（S），在旧坐标下施加 T（A），再把结果译回新坐标（S^-1）。

当存在某可逆 S 使 A' = S^-1 A S 时，两个方阵 A 与 A' 互称相似。相似的全部内涵就是：A 与 A' 相似，恰当它们在不同基下代表同一个算子。相似是“底下是同一个映射”在矩阵层面投下的影子。

A = [2, 0;       S = [1, 1;        S^-1 = [ 1, -1;
     0, 3]            0, 1]                 0,  1]

A' = S^-1 A S
   = [1,-1; 0,1] * [2,0; 0,3] * [1,1; 0,1]
   = [1,-1; 0,1] * [2,2; 0,3]
   = [2, -1;
      0,  3]

A and A' are similar: different numbers, SAME operator.
Shared fingerprints: trace 2+3 = 5, determinant 2*3 = 6.

不变量：在每种伪装中幸存的东西

运算 A -> S^-1 A S 称为算子的共轭。由于相似矩阵是同一算子的伪装，任何在共轭下不变的量都是算子的真正性质。这些就是相似不变量——你已经认识好几个了。

1. 迹不变：tr(S^-1 A S) = tr(A)，因为迹无视共轭（tr(XY) = tr(YX)）。
2. 行列式不变：det(S^-1 A S) = det(S)^-1 det(A) det(S) = det(A)。
3. 特征多项式不变，随之而来的是全部特征值谱。
4. 秩与零化度不变——共轭无法改变算子压塌的程度。

共轭即移动视角

有一句值得背诵的口号：共轭是视角的改变，不是对象的改变。S^-1 A S 意为“做 A，但从 S 所设立的坐标系来看”。这把寻找最佳矩阵重述为寻找最佳基——能对角化就对角化，当算子无法对角化时，转而寻找最干净的近对角形。

这一视角还解释了一个强力招式：若子空间 U 在 T 下不变（即 T(U) ⊆ U），则选取适配 U 的基会使矩阵呈块上三角。左上块是 T 到 U 的限制，右下块是商空间 V/U 上的诱导映射。相似让我们能选择揭示此种结构的基。