上的 维线性空间的线性变换 在基 下的矩阵为 ,在基 下的矩阵为 ,且由基 到基 的过渡矩阵为 ,那么

证明

由条件知道,

于是

因为线性变换 在基 下的矩阵唯一确定,所以 .