为什么矩阵内积的定义包含一个迹运算？ 第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行的情形呢？
为什么要构造出范德蒙行列式？
n - r = 基础解系的个数，这是为什么？
为什么说用矩阵定义线性映射是一个糟糕的观点？
三维空间中的旋转矩阵是怎样求出的？
相关的话题
微积分中的隐函数定理为什么那么重要？如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
n阶实方阵矩阵的换位子问题？
怎么证明存在71阶实方阵A,使得它满足下面这个等式呢？
奇异值分解（SVD）有哪些很厉害的应用？
矩阵的指数函数到底说的是个啥？
如何证明n是2的幂?
如何证明下面的问题？
二次型的惯性定理中「惯性」是什么意思？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
没有基的线性空间，是否可以构造，如何构造？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
证明n维线性空间中任何n+1个向量都线性相关。?
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
数学系大二如何弥补大一的差基础？
这个线性代数题应该怎么做？
如何理解矩阵对矩阵求导？
极小多项式有什么几何含义，怎么形象的理解这个概念？
线性代数里的合同关系在空间中代表了什么呢？
请问对称矩阵的平方根怎么算，有公式吗？
根号素数的有限组合是否一定是无理数?
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
如何理解矩阵对矩阵求导？
如何理解矩阵的复数特征值和特征向量？
有什么答案为5201314的高阶行列式（四阶以上）?
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
请问二重积分的换元法中，雅克比矩阵是怎么转化成雅克比行列式的？