更改

跳到导航 跳到搜索
无编辑摘要
第1行: 第1行:  
在数学中,如果一个复方阵<math>A</math>与其共轭转置<math>A^*</math>可交换,我们就称它为正规矩阵:
 
在数学中,如果一个复方阵<math>A</math>与其共轭转置<math>A^*</math>可交换,我们就称它为正规矩阵:
   −
<math>A \text{normal} \iff A^A = AA^</math>
+
<math>A \text{normal} \iff A^*A = AA^*</math>
    
正规矩阵的概念可以推广到无限维赋范空间上的正规算子,以及C*-代数中的正规元素。正如矩阵的情况一样,在非交换的环境中,正规性意味着在可能的范围内保持着交换性。这使得正规算子和C*-代数中的正规元素更容易进行分析。
 
正规矩阵的概念可以推广到无限维赋范空间上的正规算子,以及C*-代数中的正规元素。正如矩阵的情况一样,在非交换的环境中,正规性意味着在可能的范围内保持着交换性。这使得正规算子和C*-代数中的正规元素更容易进行分析。
   −
谱定理指出,一个矩阵是正规的,当且仅当它与某个对角矩阵酉相似,因此任何满足方程<math>A^A = AA^</math>的矩阵<math>A</math>都是可对角化的。(反之并不成立,因为可对角化矩阵可能具有非正交的特征子空间。)因此我们有:
+
谱定理指出,一个矩阵是正规的,当且仅当它与某个对角矩阵酉相似,因此任何满足方程<math>A^*A = AA^*</math>的矩阵<math>A</math>都是可对角化的。(反之并不成立,因为可对角化矩阵可能具有非正交的特征子空间。)因此我们有:
<math>A = UDU^</math>且<math>A^ = UD^U^</math>,其中<math>D</math>是一个对角矩阵,其对角线上的元素一般是复数。
+
<math>A = UDU^*</math>且<math>A^* = UD^*U^*</math>,其中<math>D</math>是一个对角矩阵,其对角线上的元素一般是复数。
    
在正规矩阵<math>A = UDV^*</math>的奇异值分解中,左右奇异向量之间,以及它们与对应特征向量之间,仅相差一个复数相位,这是因为在形成奇异值时必须将特征值的相位因子分离出来。
 
在正规矩阵<math>A = UDV^*</math>的奇异值分解中,左右奇异向量之间,以及它们与对应特征向量之间,仅相差一个复数相位,这是因为在形成奇异值时必须将特征值的相位因子分离出来。
2,966

个编辑

导航菜单