数学中互异意思是***里面不能存在相同的元素。对于一个给定的***，***中的元素一定是不同的，或说是互异的，即同一个***中的任何两个元素都是不同的对象，相同的对象归入任意一个***时，只能作为这个***的一个元素。在线性代数里，还有一种说法是特征值互异，其意思是矩阵的每个特征值都是不同的，而实对称矩阵是一定可以对角化的，n阶实对称矩阵有n个特征值和特征向量。