为什么矩阵内积的定义包含一个迹运算？ 第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
相关话题
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？各行各列元素之和都为1的矩阵叫什么矩阵？
有哪些有趣的矩阵？
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
矩阵的可交换性有什么几何意义吗？
请问二重积分的换元法中，雅克比矩阵是怎么转化成雅克比行列式的？
为什么实对称矩阵一定可以正交对角化？
如何理解n元线性方程组Ax=b,无解的充要条件为R（A）<R（A,b）?
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
相关的话题
哪些数学命题可以用复数优雅地证明？怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
线性代数里的合同关系在空间中代表了什么呢？
矩阵乘法的本质是什么？
这个矩阵的秩如何证明？
为什么 A 为 n 阶满秩方阵时，Ax＝0 只有零解？
为什么行列式恰好能表示体积？
如何证明dimQ（R）=dimQ（C）？
很好奇，如何证明行列式就是高维多边形体积？
n阶实方阵矩阵的换位子问题？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
高等代数证明和结论记不住怎么办？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
如何证明dimQ（R）=dimQ（C）？
高等代数中线性变换的核的基怎么求？
怎么形象地理解对偶空间（Dual Vector Space）？
有哪些有趣的矩阵？
这道线代题该怎么做？
请问对称矩阵的平方根怎么算，有公式吗？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
矩阵的指数函数到底说的是个啥？
如何理解雅克比矩阵？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
如何证明内积形式的施瓦茨不等式？
矩阵的指数函数到底说的是个啥？
高考完的暑假如何自学大学数学?
为什么部分大一学生认为线性代数听不懂？