合同矩阵, 在线性代数, 特别是二次型理论中, 常常用到矩阵间的合同关系, 两个矩阵a, displaystyle, 和b, displaystyle, 是合同的, 如果有同数域上的可逆矩阵, displaystyle, 使得, displaystyle, mathrm, 其中的p, displaystyle, mathrm, 表示矩阵p, displaystyle, 的转置矩阵, 对于二次型的矩阵表示来说, 做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵, 在有限维线性空间中同一双线性函数在不同. 在线性代数 特别是二次型理论中 常常用到矩阵间的合同关系 两个矩阵A displaystyle A 和B displaystyle B 是合同的 如果有同数域上的可逆矩阵 P displaystyle P 使得 A P T B P displaystyle A P mathrm T BP 其中的P T displaystyle P mathrm T 表示矩阵P displaystyle P 的转置矩阵 对于二次型的矩阵表示来说 做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵 在有限维线性空间中同一双线性函数在不同基下的度量矩阵是合同的 目录 1 性质 2 正定二次型 3 參見 4 参考资料性质 编辑合同关系是一个等价关系 也就是说满足 反身性 A I n T A I n displaystyle A I n mathrm T AI n nbsp 对称性 A displaystyle A nbsp 合同于B displaystyle B nbsp 则可以推出B displaystyle B nbsp 合同于A displaystyle A nbsp 传递性 A displaystyle A nbsp 合同于B displaystyle B nbsp B displaystyle B nbsp 合同于C displaystyle C nbsp 则可以推出A displaystyle A nbsp 合同于C displaystyle C nbsp 合同类矩阵具有相等的秩和正惯性指数 秩和正惯性指数是合同关系下的完全不变量 即如果两个矩阵合同等价于他们的秩和正惯性指数相等 由于每个二次型都可以经过线性替换变成若干个平方和的形式 对于矩阵来说 就是每个对称矩阵都合同于一个对角矩阵 后者称为一个标准形 根据谱定理 替换的过渡矩阵可以是一个正交矩阵 如果不考虑替换矩阵的正交性 那么在复数域中 每个对称矩阵都合同于一个对角线上元素只由0和1构成的对角矩阵 对角线上的1的个数等于原来的矩阵的 秩 因此每个可逆的对称矩阵都合同于单位矩阵 在实数域中 根据惯性定理 每个对称矩阵都合同于一个对角线上元素只由0和正负1构成的对角矩阵 如果设1的个数是p 1的个数是q 那么给定 p q 后 就确定了一个关于合同关系的等价类 数对 p q 称为一个对称矩阵 或相应二次型 的惯性指数其中1的个数p称为正惯性指数 1的个数q称为负惯性指数 p q叫做符号差 据此可以得出 合同关系将所有的对称矩阵分为 n 2 n 1 2 displaystyle n 2 n 1 over 2 nbsp 个等价类 正定二次型 编辑主条目 正定二次型 如果 a R n textstyle forall alpha in mathbb R n nbsp 且a 0 textstyle alpha neq 0 nbsp 都有a A a 0 textstyle alpha A alpha geq 0 nbsp 那么这个二次型被称为半正定的 它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵 如果一个二次型的矩阵在实数域内合同于单位矩阵 那么称其为正定二次型 一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩 是正定二次型当且仅当它的正惯性指数是 n 正定二次型必然是可逆矩阵 而且它的顺序主子式全部大于0 同样的可以定义半负定 负定和不定的二次型 參見 编辑合同 數學 相似矩陣参考资料 编辑北京大学数学系几何与代数教研室前代数小组 高等代数 高等教育出版社 2003年 取自 https zh wikipedia org w index php title 合同矩阵 amp oldid 67860936, 维基百科,wiki,书籍,书籍,图书馆,