在数学中，“合同”主要指矩阵之间的一种等价关系，其核心定义和性质如下：

一、基本定义

两个矩阵 $A$ 和 $B$ 被称为合同的，如果存在一个可逆矩阵 $P$，使得：

$$P^TAP = B$$

其中 $P^T$ 表示矩阵 $P$ 的转置。这种关系称为 合同关系 ，属于矩阵的 等价关系 。

二、核心性质

反身性

任意矩阵都与其自身合同。对于任意矩阵 $A$，取 $P = I$（单位矩阵），则 $P^TAP = A$。

对称性

若 $A$ 与 $B$ 合同，则 $B$ 也与 $A$ 合同。即若存在可逆矩阵 $P$ 使得 $P^TAP = B$，则存在可逆矩阵 $Q$ 使得 $Q^TBQ = A$（通过取 $Q = P^{-1}$）。

传递性

若 $A$ 与 $B$ 合同，且 $B$ 与 $C$ 合同，则 $A$ 与 $C$ 合同。即存在可逆矩阵 $P$ 和 $Q$ 使得 $P^TAP = B$ 且 $Q^TBQ = C$，则存在可逆矩阵 $R = QP^{-1}$ 使得 $R^TAC = C$。

三、应用场景

合同关系在 二次型理论 中尤为重要：

通过合同变换，任意二次型矩阵可化为标准型或规范型，便于分析其性质（如正定性、负定性等）。

实对称矩阵的合同标准形唯一，且与对角矩阵合同，此时 $P$ 为正交矩阵。

四、与普通合同的区别

需注意数学合同与日常合同的不同：

数学合同仅涉及矩阵运算，不涉及实际权益分配；

普通合同是双方就具体事务达成的协议，包含权利义务条款。

综上，数学中的“合同”是矩阵理论中描述等价性的重要概念，主要用于分析和化简二次型，而日常语境中的“合同”则指具有法律约束的协议。