[再寄小读者之数学篇](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$ 为上三角阵.
随机推荐
- 三数之和的golang实现
给定一个包含 n 个整数的数组 nums,判断 nums 中是否存在三个元素 a,b,c ,使得 a + b + c = 0 ?找出所有满足条件且不重复的三元组. 注意:答案中不可以包含重复的三元组. ...
- 【Teradata】变更viewpoint web登录地址
1.使用root用户登录原viewpoint地址 ssh root@192.168.253.133 2.查看使用网卡(示例中为eth0) route Kernel IP routing table D ...
- python实现数据结构单链表
#python实现数据结构单链表 # -*- coding: utf-8 -*- class Node(object): """节点""" ...
- 【Atcoder Grand Contest 011 F】Train Service Planning
题意:给\(n+1\)个站\(0,\dots,n\),连续的两站\(i-1\)和\(i\)之间有一个距离\(A_i\),其是单行(\(B_i=1\))或双行(\(B_i=2\)),单行线不能同时有两辆 ...
- C#7.0中的解构功能---Deconstruct
解构元组 C#7.0新增了诸多功能,其中有一项是新元组(ValueTuple),它允许我们可以返回多个值,并且配合解构能更加方便的进行工作,如下面例子 static void Main(string[ ...
- React-关于react的思考
声明式开发 减少dom操作,减少代码量 可以与其他框架并存 组件化开发 单向数据流 视图层框架 大型项目需要与其他数据层框架一起使用 函数式编程 方便自动化测试
- Do You Kown Asp.Net Core - 根据实体类自动创建Razor Page CURD页面模板
Scaffolding Template Intro 我们知道在Asp.Net MVC中,如果你使用的EF的DBContext的话,你可以在vs中通过右键解决方案-添加控制器-添加包含视图的控制器,然 ...
- CodeForces Round #553 Div2
A. Maxim and Biology 代码: #include <bits/stdc++.h> using namespace std; int N; string s; int mi ...
- vue数组变异方法
Vue数组变异方法,会改变被这些方法调用的原始数组,将会触发视图更新 push() 接收任意数量的参数,把它们逐个添加到数组末尾,并返回修改后数组的长度 pop() 从数组末尾移除最后一项,减少数组的 ...
- 面试题(一续Spring)
9.Spring体系结构和jar用途 参考https://blog.csdn.net/sunchen2012/article/details/53939253 spring官网给出了一张spring3 ...