<aside> 🔥
等价：行列初等变换
相似：过渡矩阵可逆
合同：$B=P^TAP.$
</aside>
$$ A=UBV\\AA^\dagger=U(BB^\dagger)U^\dagger $$
两者酉相似，特征值相同，奇异值必然相同。