为什么矩阵内积的定义包含一个迹运算？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
引理：迹数拥有相似不变性。如果矩阵A和B相似的话，它们会有相同的迹。
0迹方阵:
A—>tr(A)
对角线和为0的方阵的象为0，特别地，对角线元素都是0的方阵是0迹方阵。
也就是说，这里的迹是一个等价划分，相似方阵的迹都相等，那么它们都是以0迹方阵为球心，半径为迹（的平方根）的球面上的元素。
迹同态:
迹映射的性质出人意料得强:
tr(A+B)=tr(A)+tr(B)
tr(k•A)=k•tr(A)
这是伟大的线性性，如果k是域上的元素，这就是线性空间了，迹在这个地方充当了同态映射的角色，即方阵空间在迹映射下同态于一个线性空间。
在这样的观点下，线性无关、维数、子空间等一系列概念大有用武之地。另外，迹在转置下具有不变性，矩阵的左乘和右乘在迹的观点下都是一样的...
回归正题，最主要的是，由内积可以导出范数、正交等概念，所以这个映射必须要把矩阵映射为数才行，这个其他答主都表示过了，我不再赘述。
希望我的胡说八道对题主有帮助。
1
相关话题
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?线性代数在现实中的用途有什么？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
一个数学问题，(x1+x2+……+x8+1)的8次方，合并同类项后有多少项，类似问题怎么解决？
如何证明这个整系数线性方程组解的估计？
一个矩阵的逆矩阵是唯一的吗？
综合除法的数学依据是什么？
在 C++ 里实现矩阵库的关键点是什么？
如果你来讲物理类《线性代数》课程，你会如何设计？
相关的话题
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？把线性空间分解为不变子空间的直和有何用处？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
Matlab中10行10列矩阵,每行每列都是3个1,其余为0 的这样一个矩阵共有多少个？
如何学习高等代数？高等代数注重定理证明吗？学习数分需要会各种证明，高代也这样吗？高代注重计算吗？
为什么大学数学主要学习代数，而不是几何呢？
矩阵的指数函数到底说的是个啥？
这个矩阵的秩如何证明?
为什么部分大一学生认为线性代数听不懂？
如何从几何的角度说明对称矩阵的不同特征值对应的特征向量必定是两两正交的?
一个矩阵的逆矩阵是唯一的吗？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
高等代数证明和结论记不住怎么办？
根据这个四元四次方程组，计算 λ1 × λ2 × λ3 × λ4 的值。有什么简单方法？
奇异值分解（SVD）有哪些很厉害的应用？
解方程的实质意义是什么？
在线性代数中如何用几何表示非方阵矩阵相乘？
若向量组A可以由向量组B线性表示，为何r（A）<=r（B）?
二次型的惯性定理中「惯性」是什么意思？
三次方程怎么求解？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
如何证明Q[³√5]是域？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
如何证明Q[³√5]是域？
如何既保证时间又保证质量地读一本数学书？
如何理解在对对易关系取trace时出现的这种矛盾？
怎么形象地理解对偶空间（Dual Vector Space）？
如何去构造一个酉矩阵？
怎样普适地求此特殊非线性矩阵方程的解？
三位物理学家与陶哲轩发现的特征向量全新求解公式，会给机器学习领域带来怎样的变化？