为什么矩阵内积的定义包含一个迹运算？ 第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
相关话题
这道行列式如何求解？在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何理解矩阵的「秩」？
能否用矩阵的秩来证明？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
把线性空间分解为不变子空间的直和有何用处？
为什么矩阵行秩等于列秩？
为什么A的行列式不等于0 A满秩?
有哪些有趣的线性代数习题？
在AHP方法中，如果构造判断矩阵？依据是什么？
相关的话题
高等代数中线性变换的核的基怎么求？如何证明这个整系数线性方程组解的估计？
高代，中间这一步是怎么来的呀?
如何评价北京大学信科2017年1月高等代数期末考试？
最小二乘法的本质是什么？
如何证明：A*=A,则A的特征根为实数？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
代数、几何能否联系一起？
矩阵论什么好的书籍推荐？
如何构造一个向量空间，它的元素是向量空间？
为什么特征值之和会等于矩阵的迹？
在线性代数中如何用几何表示非方阵矩阵相乘？
一个无向图的邻接矩阵也是个实对称矩阵，它能否运用实对称矩阵的某些特有性质实现某些运用呢？
矩阵最小多项式的几何意义是什么?
如何证明下面的问题？
一个无向图的邻接矩阵也是个实对称矩阵，它能否运用实对称矩阵的某些特有性质实现某些运用呢？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
维数可以是虚数吗？
如何理解矩阵对矩阵求导？
把线性空间分解为不变子空间的直和有何用处？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何理解矩阵相乘的几何意义或现实意义？
狄拉克符号有什么优越性？体现在哪里？
为什么行列式恰好能表示体积？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
如何理解哈密顿-凯莱定理？
能否用矩阵的秩来证明？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
这个用数分积分可以说明吗？不用高代上正定矩阵的?