高等代数,线性代数,证明,迹,行列式.

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 22:09:17
高等代数,线性代数,证明,迹,行列式.
xTkoG+#K1HY$?Ÿ;̺ɚJ-lj\;/;>IH񈔦_ҝB2@|HЊǽs=&ڵN.vv9M݋>vh E9 *RBAZ0V TP\q@֋녀L ~!gd>w#7L, ƪ)EjzUQ%ԅ!NTM"aMӣ"Gc"j F5YX¢%2Ţ>*XWP\>.FtQD!"X.L:哉/*e;v딶Nc_Osڪ^5x>_'7YYDYG;,;ߤ MZ:gv>J]v-WCgq6O +Y0 'L+^*IvV19&f2x9ny=~@ UB<q˵/^YfBodKG2L$ ˬ21lC$<ېM(RwA l9oOstxH+/^o_]Lu 8k;اs zLYg@e>X2.3M耉SM/."-$/! ZїL>H94 /29 EtJ?I_o, 6gc4?:~A _&J<%Cm@&?xndk d]aPm@&^073=WbjjˆUxn 9r%.(j^]kt}tgvջ5koz3G3W[(y<#]-O yG#P}

高等代数,线性代数,证明,迹,行列式.
高等代数,线性代数,证明,迹,行列式.

 

高等代数,线性代数,证明,迹,行列式.
A是正定的,因此存在正交阵C使得:
A=C' D C,这里D是由A的特征值组成的行列式(或者单纯理解为D=diag{a1,a2,a3,a4,……an},其中|A|=a1*a2*……*an,且a1,……,an>0),考虑到B、C是行列式为1的正交阵:
而tr(AB)=tr(C'DC B)=tr(D CBC')=tr(D B)=a1 b1+a2 b2+……+an bn
这里b1……bn是B的对角线上元素.
这里引入一个性质:n阶实对称矩阵的行列式小于等于它的对角线元素之积,等式成立当且仅当这个矩阵为对角阵.
1/n * tr(AB)=1/n(a1 b1+a2 b2+……+an bn) >= (a1 b1 a2 b2 …… an bn)^(1/n) = det(A)^(1/n)*(b1 b2 b3 …… bn)^(1/n) >= det(A) |B|^(1/n) = det(A)
等号成立当且仅当B为对角阵.
得证.


附:上述性质的证明
设A=(a_i,j)是n阶实对称阵,证明|A|<=a11*a22*……*ann (ij为下脚标)
记X=diag{√a11,√a22,……,√ann},则B=X'AX是n阶实对称正定矩阵,B的对角线元素是1,tr(B)=n特征值均为正的.
|B|= B的特征值之积 <= (B的特征值之和 /n)^n (三角不等式)
考虑到特征值之和等于方阵的迹,tr(B)=n,|B| <= 1
也就是|X'AX|<=1,化简得到|A|<=a11*a22*……*ann