为什么矩阵内积的定义包含一个迹运算？ 第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*n的矩阵中，当n≥3时，行列式是否一定为0？如图题，如何不用“强拆”的方式证明？
在AHP方法中，如果构造判断矩阵？依据是什么？
如果你来讲物理类《线性代数》课程，你会如何设计？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
如何证明下面的问题？
线性代数为什么学校老师讲得那么复杂，考研老师却讲得如此精辟？
没有基的线性空间，是否可以构造，如何构造？
如何提升线性代数的计算（行列变换）能力？
如何不借助特征值相关的理论证明下面的命题？
相关的话题
为了使R^n成为向量空间，R^n中的加法运算和数乘运算是唯一的吗？如何既保证时间又保证质量地读一本数学书？
如何构造一个向量空间，它的元素是向量空间？
多元高斯分布的协方差矩阵为什么是可逆的？
如何证明下面的问题？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
(f(x),g(x))=1 在线性代数里是什么意思？
如何通俗理解矩阵的秩？
如何证明n是2的幂?
一个一般的二次型等于0，这个方程应该如何求通解？
请问高等代数判断多项式可约性的这一题要怎么入手？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
矩阵的可交换性有什么几何意义吗？
n维向量空间V中向量的维数是否为n维？
人们是如何想到奇异值分解的？
证明n维线性空间中任何n+1个向量都线性相关。?
矩阵的指数函数到底说的是个啥？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
如何证明下面的矩阵秩的问题？
这道线代题该怎么做？
向量组等价时其秩一定想等吗？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
矩阵的指数函数到底说的是个啥？
为什么由连续整数的行列式（三阶及以上）数值为0？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何看待清华大学将线性代数教材改为英文教材？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
为什么A的行列式不等于0 A满秩?