ref： https://blog.csdn.net/u012421852/article/details/79594933

矩阵的迹概念

矩阵的迹就是矩阵的主对角线上所有元素的和。

矩阵A的迹，记作tr(A)，可知tra(A)=∑aii，1<=i<=n。

定理：tr(AB) = tr(BA)

证明

定理：tr(ABC) = tr(CAB) = tr(BCA)

这个是tr(AB)=tr(BA)的推广定理，很容易证明。

根据定理tr(AB)=tr(BA)可知：

tr(ABC)=tr((AB)C)=tr(CAB)

tr(ABC)=tr(A(BC))=tr(BCA)

所以tr(ABC)=tr(BCA)=tr(CAB)

这个定理的实质就是：ABC的各种循环形式的矩阵乘函数的迹都相等，如下解释：

ABC的循环形势有三种：ABC、BCA，CAB。

就是从ABCABC中依次取以A,B,C开头且含有A、B、C的依次是：ABC、BCA、CAB，他们三个的迹相等~

定理：tr(A)=tr(A')，其中这里的A'表示A的转置矩阵

不能更容易证明了，矩阵转置不改变矩阵的主对角线上的所有元素，所以A和A的转置矩阵的迹一定相等。

定理：d(tr(XB))=d(tr(BX))=B'

即：XB矩阵乘函数的迹对X求导结果等于矩阵B的转置

证明

定理：d(tr(X'B)) = d(tr(BX'))=B

即:X'B的矩阵乘函数的迹对X求导等于矩阵B

证明：

定理：如果a∈实数，则有tr(a)=a

证明：把a当做一个1×1的矩阵，所以tr(a)=a

定理：dtr(X) = I(单位矩阵)

dtr(X)表示，矩阵X的迹对矩阵X自己求导等于单位矩阵I

定理：dtr(A'XB')=dtr(BX'A)=AB

证明：

因为tr(A'XB')=tr(A'XB')'=tr(BX'A)=tr(ABX')

所以dtr(A'XB')=dtr(BX'A)=dtr(ABX')

又因为dtr(ABX')=AB

所以dtr(A'XB')=dtr(BX'A)=AB

定理：d(tr(AXBX'))=AXB + A'XB'

证明：

定理：dtr(AXBX)=A'X'B'+B'X'A'

证明

(end)

矩阵的迹以及迹对矩阵求导相关推荐

转载：汇总详解：矩阵的迹以及迹对矩阵求导
矩阵的迹概念矩阵的迹就是矩阵的主对角线上所有元素的和. 矩阵A的迹,记作tr(A),可知tra(A)=∑aii,1<=i<=n. 定理:tr(AB) = tr(BA) 证明定理:t ...
线性代数之矩阵求导（4）矩阵微分，迹与求导
线性代数之矩阵求导(4)迹与矩阵求导前言矩阵微分定义矩阵微分计算法则常矩阵线性乘积转置迹通过矩阵微分进行求导常用的矩阵微分后记前言本次将记录如何进行矩阵求导(标量对矩阵). ...
最小二乘估计，矩阵求导法（正规方程）全推导
1.矩阵求导: 函数自变量是矩阵,求导是对矩阵的每一个元素分别求导后,组成新的矩阵. 例: 2.矩阵的迹: 矩阵迹的常用性质: 矩阵迹与矩阵求导相关结论: 3.证明最小二乘的正规方程(矩阵求导法):
动手学深度学习——矩阵求导之矩阵的迹和微分
目录一.矩阵的迹 1. 迹的定义 2. 迹的性质二.微分与全微分 1. (全)微分的表达式 2. (全)微分的法则三. 矩阵的微分 1. 矩阵微分的实质 2. 矩阵微分的意义 3. 矩阵微分的法 ...
向量和矩阵求导（运用迹性质求导）
文章目录矩阵对标量求导标量对矩阵求导向量对向量求导(雅可比矩阵) 向量求导的链式法则矩阵迹实值函数对向量求导参考资料 1. 机器学习中的矩阵.向量求导矩阵对标量求导求导结果与函数(矩阵 ...
标量、向量、矩阵求导大全
1.正则化原定的损失函数: J = − 1 m ∑ i = 1 m ( y ( i ) log ⁡ ( a [ L ] ( i ) ) + ( 1 − y ( i ) ) log ⁡ ( 1 − a ...
二阶矩阵转置怎么求_矩阵求导术（下）
本文承接上篇 https://zhuanlan.zhihu.com/p/24709748,来讲矩阵对矩阵的求导术.使用小写字母x表示标量,粗体小写字母表示列向量,大写字母X表示矩阵.矩阵对矩阵的求导 ...
矩阵求导术（上、下）
点击上方"Datawhale",选择"星标"公众号第一时间获取价值内容矩阵求导的技术,在统计学.控制论.机器学习等领域有广泛的应用.鉴于我看过的一些资料或言 ...
矩阵论思维导图_矩阵求导与矩阵微分
矩阵求导与矩阵微分符号定义使用大写的粗体字母表示矩阵使用小写的粗体字母表示向量 ,这里默认为列向量使用小写的正体字母表示标量需要明白的是,矩阵求导的意义在哪来,我们回想一下函数求 ...

矩阵的迹以及迹对矩阵求导