1 概念来源与直观图像
1.1 从“换基”到“相似变换”的联系
在同一个向量空间里，线性映射可以用矩阵来描述，但矩阵依赖所选的基。更换基以后，矩阵的具体数值通常会改变；然而，线性映射本身并没有变。相似变换正是用来刻画“换基导致矩阵形式改变，但表示的线性变换本质一致”的数学方式。
1.2 线性映射的同一性与矩阵表示差异
设线性映射为 \(A\)。在不同基下，它的矩阵表示分别为 \(A\) 与 \(A'\)。这两个矩阵对应同一个线性映射，因此它们在“描述同一对象”的意义上应当等价。相似变换把这种等价关系形式化：\(A'\) 与 \(A\) 通过某个可逆矩阵 \(P\) 的“夹乘”联系起来，即 \[ A' = P^{-1}AP. \] 直观上，\(P\) 充当了基的转换工具。
1.3 相似变换与坐标变换的等价性
从坐标角度看，基变换等价于坐标系的重新标定。对向量写成坐标列后，坐标列随基变换而线性变化；把线性映射作用在坐标上再转换回原坐标，就会得到相似变换的形式。由此，相似变换可视为坐标/基变换的代数对应物。
2 数学定义与基本性质
2.1 相似变换的形式定义 \(A' = P^{-1}AP\)
给定方阵 \(A\)，若存在可逆矩阵 \(P\)，则矩阵 \[ A' = P^{-1}AP \] 称为 \(A\) 的一个相似变换结果。此时称 \(A\) 与 \(A'\) 相似，并可将所有与 \(A\) 相似的矩阵组成一个“相似类”。
2.2 可逆性与合法性条件（为何必须可逆）
相似变换需要 \(P^{-1}\) 存在。若 \(P\) 不可逆，则无法建立“原坐标到新坐标”的一一对应，也就无法保证表示的线性映射在不同基之间保持同等信息量。换句话说，可逆性确保基变换是有效的，从而 \(A'\) 真正对应同一个线性映射在新基下的矩阵形式。
2.3 相似性的等价关系（自反、对称、传递）
相似性在全体方阵上构成等价关系：
- 自反性：取 \(P=I\)（单位矩阵），有 \(A = I^{-1}AI\)，故 \(A\) 与自身相似。
- 对称性：若 \(A' = P^{-1}AP\)，则 \(A = P A' P^{-1}\)，所以 \(A'\) 与 \(A\) 也相似。
- 传递性：若 \(A_2 = P_1^{-1}A_1P_1\)，且 \(A_3 = P_2^{-1}A_2P_2\)，则可合并为 \(A_3 = (P_1P_2)^{-1}A_1(P_1P_2)\)，因此 \(A_1\) 与 \(A_3\) 相似。
3 不变量：迹与更广泛的谱信息
3.1 迹保持不变的证明思路 \(\mathrm{tr}(P^{-1}AP)=\mathrm{tr}(A)\)
设 \(A' = P^{-1}AP\)。利用迹运算的循环不变性（即 \(\mathrm{tr}(XY)=\mathrm{tr}(YX)\) 在合适维度下成立），可得 \[ \mathrm{tr}(A')=\mathrm{tr}(P^{-1}AP)=\mathrm{tr}(AP P^{-1})=\mathrm{tr}(A). \] 因此相似变换不改变矩阵的迹。
3.2 迹保持的含义：对线性算子“标量摘要”
迹可以理解为线性算子在某种意义上的“总体标量摘要”。当矩阵表示改变但线性映射本质不变时，迹作为等标量在新表示下仍取同一数值。换句话说，迹是相似类上的不变量：同一相似类中的矩阵共享相同的迹。
3.3 与特征值相关的不变量（谱半径、代数重数等的地位）
除了迹以外，相似变换还能保持一组与谱相关的不变量。例如：
- 特征多项式保持相同，从而特征值集合（含代数重数的计数方式）保持一致；
- 因而谱半径、各特征值的代数重数等也保持不变（这些量由特征值决定）。
这些不变量共同说明：相似变换刻画的是“谱结构层面”的等价。
3.4 与特征多项式、幂迹的关系
迹与幂迹之间存在紧密联系：对整数 \(k\ge 1\)，相似变换同样保持 \[ \mathrm{tr}((A')^k)=\mathrm{tr}(A^k), \] 因为 \((A')^k = (P^{-1}AP)^k = P^{-1}A^kP\)，再用迹的循环不变性即可。另一方面，幂迹可用于描述特征多项式系数的组合信息；在对角化或 Jordan 结构可控的情形下，幂迹与特征值的幂次和直接相关，从而形成“谱—迹”之间的桥梁。
4 与特定基变换的对应：保持迹的基变换
4.1 一般基变换如何诱导矩阵相似
选择一组基后，线性映射在该基下对应一个矩阵。若更换为另一组基，两组基之间的转换由某个可逆矩阵 \(P\) 描述。将坐标表示代入线性映射的计算流程，便可得到新矩阵与旧矩阵之间的关系 \(A' = P^{-1}AP\)。这说明：只要基变换是正规且可逆的，相应矩阵必相似。
4.2 “保持迹不变”的表述如何落到相似变换上
若在基变换后得到的矩阵 \(A'\) 满足 \(\mathrm{tr}(A')=\mathrm{tr}(A)\)，那么在标准线性代数框架中，这种“迹不变”正是相似变换带来的必然结果。由于对所有相似情形迹都保持一致，把“保持迹不变”作为基变换的强调点，本质上是在强调相似类上的不变量。
4.3 何时能保证迹保持（与相似性的关系）
保证迹保持的充分条件之一是两矩阵相似：即存在可逆 \(P\) 使 \(A' = P^{-1}AP\)。在这种情况下迹必相等。需要注意的是，“迹相等”本身并不必然推出相似（迹只提供有限信息）；相似更强，它不仅保证迹，还会保证一系列由谱结构生成的其它不变量。
4.4 例：选择不同基后迹如何不变
考虑一个方阵 \(A\) 与基变换对应的可逆矩阵 \(P\)。不论我们把向量空间中的坐标用哪组基标定，表示该线性映射的矩阵都会以相似形式出现。于是计算新矩阵的迹时，得到的数值仍与原矩阵一致： \[ \mathrm{tr}(P^{-1}AP)=\mathrm{tr}(A). \] 这种现象说明迹对“坐标选取”不敏感，体现为相似类不变量。
5 计算与应用：从理论到操作
5.1 利用相似变换化简矩阵（对角化与分块思想）
在实际计算中，相似变换常用于把矩阵化为更易处理的形式。例如：
- 若矩阵可对角化，则可通过适当 \(P\) 把 \(A\) 转成对角矩阵，计算特征值相关量会更直接；
- 若不可对角化，可把矩阵化为 Jordan 标准形或分块结构，从而把复杂问题拆成更小的子问题。
相似变换不改变相似类不变量，因此化简过程不会破坏诸如迹、特征多项式等关键信息。
5.2 迹在实际计算中的用法（快速判别、约束）
迹的“简单可算”使它在一些场景中充当约束或判别工具。例如：
- 在给定若干矩阵运算结果时，用迹条件快速检查是否可能来自某种相似关系；
- 在讨论矩阵函数、幂运算的线性项时，迹可提供快速汇总。
由于相似变换保持迹，若相似类推断中出现迹不一致的情况，就能立即排除某些候选结构。
5.3 相关工具：矩阵分解与等价表示
相似变换常与矩阵分解结合使用。常见策略包括通过特征分解（在可对角化情形）、通过 Jordan 分解（在一般情形）、或利用与所研究量相关的等价表示来简化运算。无论采用哪种表示，若它们之间是相似关系，那么迹等不变量可以作为一致性检查。
5.4 典型例题与常见计算流程
一种常见流程是：
- 明确要研究的矩阵量是否对相似变换不敏感（如迹、特征多项式相关信息）；
- 若可通过换基选择更方便的表示，则构造合适的 \(P\) 得到 \(A' = P^{-1}AP\)；
- 在化简后的表示中计算目标量；
- 如需验证一致性，用迹或特征信息进行对照。
例如在幂迹计算中，先利用 \(\mathrm{tr}((A')^k)=\mathrm{tr}(A^k)\) 保证替换合法，再在化简形式下完成计算。
6 拓展与相关概念
6.1 酉相似、正交相似与“更强”不变量的情形
当 \(P\) 限制为某类特定可逆矩阵（如酉矩阵或正交矩阵）时，相似关系会更“几何”，但在不变量层面通常能推出更强性质。以数值计算为例，酉/正交变换能够更好地保持某些范数与稳定性特征；在对角化与正交分解等讨论中，相关的不变量与度量往往更自然。
6.2 与合同变换/李代数伴随等变换的区别
相似变换属于“保持表示同一线性映射”的基变换范畴。与之相对，合同变换、伴随等变换往往对应不同结构或不同等价关系：它们可能保持的量不完全相同。例如合同变换通常与二次型的等价分类相关，而伴随变换常出现在李代数的相关结构中。尽管这些变换在形式上也可能包含“夹乘”，但所保持的不变量集合和几何含义并不必然一致。
6.3 迹不变性在更一般变换框架中的位置
迹的循环不变性与线性代数中的迹性质，使其在多种“类似于相似”的框架下经常出现为不变量来源。只要变换能被归约为某种形式的“前后乘并保持循环可交换”，迹就可能保持。因而迹不变性可以看作相似不变量思想的一种具体体现：在等价类内部，迹作为稳定标量贯穿始终。
6.4 相关总结：不变量—等价类—表示方式的统一视角
相似变换把“换基”形式化为 \(A' = P^{-1}AP\)，从而定义相似类。落在相似类上的不变量（如迹及与谱相关的信息）提供了刻画“本质不变”的抓手。通过选择合适的表示（对角化、分块、Jordan 结构等），计算可以更简洁，而不变量又保证这些计算与原问题一致。由此，迹不变性不仅是一个算式结论，也体现了等价关系与表示选择之间的统一理解。