设 $A,B$ 是 $n$ 阶实对称矩阵. 试证: $\tr((AB)^2)\leq \tr(A^2B^2)$. 又问: 等号何时成立?
证明: 由 $$\bex \sum_i \sez{\sum_j a_{ij}b_{ji}}=\sum_j\sez{\sum_i b_{ji}a_{ij}} \eex$$ 知 $$\bee\label{130912:1} \tr(AB)=\tr(BA). \eee$$ 对 $A,B\in M_n(\bbR)$, 定义 $$\bex \sef{A,B}=\tr(A^tB), \eex$$ 则易知 $\sef{\cdot,\cdot}$ 是 $M_n(\bbR)$ 上的内积 (正定对称双线性函数, 而使得 $M_n(\bbR)$ 成为 Euclidean 空间), 其满足 Cauchy 不等式: $$\bex \sef{A,B}\leq \sqrt{\sef{A,A}}\cdot \sqrt{\sef{B,B}}. \eex$$ 于是 $$\beex \bea \tr((AB)^2) &=\tr((BA)^tAB)\\ &=\sef{BA,AB}\\ &\leq \sqrt{\sef{BA,BA}}\cdot \sqrt{\sef{AB,AB}}\\ &=\sqrt{\tr((BA)^tBA)}\cdot \sqrt{\tr((AB)^tAB)}\\ &=\sqrt{\tr(ABBA)}\cdot \sqrt{\tr(BAAB)}\\ &=\sqrt{\tr(A^2B^2)}\cdot\sqrt{\tr(A^2B^2)}\quad\sex{\mbox{由 }\eqref{130912:1}}\\ &=\tr(A^2B^2), \eea \eeex$$ 且等号成立当且仅当 $$\bex \exists\ \lambda,\mu\mbox{ 不全为零 },\st \lambda BA+\mu AB=0. \eex$$
随机推荐
-
python征程3.1(列表,迭代,函数,dic,set,的简单应用)
1.列表的切片. 1.对list进行切片.'''name=["wangshuai","wangchuan","wangjingliang", ...
-
【笔记4】用pandas实现条目数据格式的推荐算法 (基于用户的协同)
''' 基于用户的协同推荐 条目数据 ''' import pandas as pd from io import StringIO import json #数据类型一:条目(用户.商品.打分)(避 ...
-
SSIS oracle 64位 数据源链接
新建数据源 提供程序选择:本机OLE DB ORACLE Provider For OLE DB 服务器名或文件名中选择Oracle Net Manager中配置好的服务名即可 填写账号,密码,测试, ...
-
java读取utf8配置文件乱码
email.properties文件如果以ISO-8859-1编码,那么以下的java代码读取中文不会乱码,因为eclipse下中文都被翻译成/u... //in Conf.javaPropertie ...
-
MVC 模型js远程校验的使用方法
我们在网站注册的时候往往需要在用户注册完毕的时候显示用户名是否可用,这就要用到模型的远程校验了.具体如下. [Required(ErrorMessage = "用户名不能为空"), ...
-
WPF自定义控件之带倒计时的按钮--Button
1.说明 之前做过一个小项目,点击按钮,按钮进入倒计时无效状态,计时完成后,恢复原样,现在就实现该效果---带倒计时的按钮 2.效果 1)正常状态 2)MouseOver( ...
-
C#反序列化json字符串时,提示:应为来自命名空间“”的元素“root”。。遇到名称为“”、命名空间为“”的“None”。
反序列化调用接口返回的字符串时,出现:应为来自命名空间“”的元素“root”..遇到名称为“”.命名空间为“”的“None”.,导致反序列化数据失败,这种失败并有时候并不会直接提示反序列化失败(抛异常 ...
-
python输出htmltestrunner中文乱码如何解决
python unittest要产生一个可看的报告,需要借助一个第三方的包 下载HTMLTestRunner.py 第三方库 ,参考地址: http://tungwaiyip.info/softwar ...
-
Java基础知识回顾之五 ----- 多线程
前言 在上一篇文章中,回顾了Java的集合.而在本篇文章中主要介绍多线程的相关知识.主要介绍的知识点为线程的介绍.多线程的使用.以及在多线程中使用的一些方法. 线程和进程 线程 表示进程中负责程序执行 ...
-
持续集成-Jenkins安装部署
1. 安装JDK[java8] 1.1. 软件安装 [yun@mini05 software]# pwd /app/software [yun@mini05 software]# .0_112.tar ...