[再寄小读者之数学篇](2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]反对称矩阵的组合)
(2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]反对称矩阵的组合) 设 ${\bf A},{\bf B}$ 都是反对称矩阵, 且 ${\bf A}$ 可逆, 则 $|{\bf A}^2-{\bf B}|>0$.
证明: 由 ${\bf A}^T=-{\bf A}$ 知 $$\bex |{\bf A}|=|{\bf A}^T|=(-1)^n |{\bf A}|. \eex$$ 故 $n$ 为偶数 (否则, $|{\bf A}|=0$, ${\bf A}$ 不可逆). 又 ${\bf A}$ 可逆, ${\bf A}^T{\bf A}$ 正定, 而存在可逆阵 ${\bf P}$, 使得 ${\bf P}^T{\bf A}^T{\bf A}{\bf P}={\bf E}$. 于是 $$\beex \bea |{\bf P}^T|\cdot|{\bf A}^2-{\bf B}|\cdot|{\bf P}| &=|{\bf P}^T|\cdot|-{\bf A}^T{\bf A}-{\bf B}|\cdot|{\bf P}|\\ &=|{\bf P}^T|\cdot|{\bf A}^T{\bf A}+{\bf B}|\cdot|{\bf P}|\quad\sex{n\mbox{ 为偶数}}\\ &=|{\bf E}+{\bf P}^T{\bf B}{\bf P}|. \eea \eeex$$ 既然 ${\bf P}^T{\bf B}{\bf P}$ 也是反对称矩阵, 而存在正交阵 ${\bf Q}$, 使得 (参考文献) $$\bex {\bf Q}^T{\bf P}^T{\bf B}{\bf P}{\bf Q} =\sex{\ba{cccc} {\bf D}&&&\\ &\ddots&&\\ &&{\bf D}&\\ &&&{\bf 0} \ea},\quad{\bf D}=\sex{\ba{cc} 0&1\\ -1&0 \ea}. \eex$$ 于是 $$\beex \bea |{\bf Q}^T\cdot{\bf P}^T|\cdot|{\bf A}^2-{\bf B}|\cdot|{\bf P}\cdot{\bf Q}| &=\sev{{\bf E}+\sex{\ba{cccc} {\bf D}&&&\\ &\ddots&&\\ &&{\bf D}&\\ &&&{\bf 0} \ea}}\\ &=2^r\quad\sex{r\mbox{ 为 }\sex{\ba{cccc} {\bf D}&&&\\ &\ddots&&\\ &&{\bf D}&\\ &&&{\bf 0} \ea}\mbox{ 中 }{\bf D}\mbox{ 的个数}}\\ &>0. \eea \eeex$$
关于反对称矩阵, 这里有更多的资料.
[再寄小读者之数学篇](2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]反对称矩阵的组合)的更多相关文章
- [再寄小读者之数学篇](2014-06-22 求导数 [中国科学技术大学2014年高等数学B考研试题])
设 $f(x)=x^2\ln(x+1)$, 求 $f^{(n)}(0)$. 解答: 利用 Leibniz 公式易知 $f'(0)=f''(0)=0$, $f^{(n)}(0)=(-1)^{n-3} n ...
- [再寄小读者之数学篇](2014-06-26 Logarithmical Sobolev inequality using BMO space)
$$\bex q>3\ra \sen{\n f}_{L^\infty} \leq C(q)\sez{ 1+\sen{\n f}_{BMO} \ln^\frac{1}{2}\sex{e+\sen{ ...
- [再寄小读者之数学篇](2014-06-26 Besov space estimates)
(1) $$\bex \sen{D^k f}_{\dot B^s_{p,q}}\sim \sen{f}_{\dot B^{s+k}_{p,q}}. \eex$$ (2) $$\beex \bea &a ...
- [再寄小读者之数学篇](2014-06-23 Bernstein's inequality)
$$\bex \supp \hat u\subset \sed{2^{j-2}\leq |\xi|\leq 2^j} \ra \cfrac{1}{C}2^{jk}\sen{f}_{L^p} \leq ...
- [再寄小读者之数学篇](2014-06-21 Beal-Kaot-Majda type logarithmic Sobolev inequality)
For $f\in H^s(\bbR^3)$ with $s>\cfrac{3}{2}$, we have $$\bex \sen{f}_{L^\infty}\leq C\sex{1+\sen{ ...
- [再寄小读者之数学篇](2014-06-20 求极限-H\"older 不等式的应用)
设非负严格增加函数 $f$ 在区间 $[a,b]$ 上连续, 有积分中值定理, 对于每个 $p>0$ 存在唯一的 $x_p\in (a,b)$, 使 $$\bex f^p(x_p)=\cfrac ...
- [再寄小读者之数学篇](2014-04-08 from 1297503521@qq.com $\sin x-x\cos x=0$ 的根的估计)
(2014-04-08 from 1297503521@qq.com) 设方程 $\sin x-x\cos x=0$ 在 $(0,+\infty)$ 中的第 $n$ 个解为 $x_n$. 证明: $$ ...
- [再寄小读者之数学篇](2014-12-04 $\left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x+1},\forall\ x>0.$)
试证: $$\bex \left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x+1},\forall\ x>0. \eex$$ 证明 (from Hanssch ...
- [再寄小读者之数学篇](2014-11-26 广义 Schur 分解定理)
设 $A,B\in \bbR^{n\times n}$ 的特征值都是实数, 则存在正交阵 $P,Q$ 使得 $PAQ$, $PBQ$ 为上三角阵.
随机推荐
- k8s--如何使用Namespaces
Namespaces 使用示例 Viewing namespaces Creating a new namespace Deleting a namespace Subdividing your cl ...
- flink Standalone Cluster
Requirements Software Requirements Flink runs on all UNIX-like environments, e.g. Linux, Mac OS X, a ...
- mac 开发新户攻略-brew
原文 https://www.cnblogs.com/kccdzz/p/7676840.html 这里为了备份一下,方便我自己寻找. 1.介绍 brew是一个软件包管理工具,类似于centos下的yu ...
- 【jq】prop和attr的区别
prop()函数的结果: 1.如果有相应的属性,返回指定属性值. 2.如果没有相应的属性,返回值是空字符串. attr()函数的结果: 1.如果有相应的属性,返回指定属性值. 2.如果没有相应的属性, ...
- C# 读写本地配置文件
1.在本地有一个如下配置文件 2.读写本地配置文件 3.对配置文件的内容进行操作
- 关于Jpa和Mybatis的一些看法
现在网络上充斥着Jpa和Mybatis的一些对比.其实狭义上来说是hibernate和mybatis之间的比较. 例如:为什么感觉国内比较流行的 mybatis 在国外好像没人用的样子? 下面是一些截 ...
- python print 在windows上 出现 Bad file descriptor error
先说一下情况,一个python写的采集程序,做成windows服务在windows上运行. 这个问题出现的挺奇特,本来一套采集程序,一个采集文件的时候没问题,两个采集文件的时候也没问题,当三个采集文件 ...
- 利用cocoapods管理开源项目,支持 pod install安装整个流程记录(github公有库)
利用cocoapods管理开源项目,支持 pod install安装整个流程记录(github公有库),完成预期的任务,大致有下面几步: 1.代码提交到github平台 2.创建.podspec 3. ...
- 妙谈js回调函数的理解!
很有共鸣,之前也是一直对回调函数感觉不明不白的,自己也看了不少解释说明.后来我觉得造成很多人对回调理解困难的一个原因就是,我在开发中见到的大多数使用了回调函数的情况都是直接上来就 传一个回调函数进去 ...
- Cnario 3.8支持哪些操作系统?
Cnario是基于Windows平台开发的软件,包含Server.Messenger和Player三个组件,支持以下Windows 版本系统: Server/Messenger 支持英文版的以下操作系 ...