合同线代

合同线代是线性代数中的一个概念，指的是一个线性变换在两个向量空间之间的“对应”关系。具体来说，如果有两个向量空间V和W，以及一个线性变换T:V→W，那么我们可以定义一个合同线性变换S:V→V，使得对于任意向量v∈V，都有S(v)=T(v)。

合同线性变换的名称来源于它的定义：合同(linear)意味着它保持线性性质不变，而同(congruent)则表示它在一定程度上“保持相同”。

合同线性变换在线性代数中有很多应用，如对称矩阵的对角化、正交矩阵的定义和性质等等。同时，它也是一些高级数学领域中的重要概念，如李群、李代数等。