怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？ 第1页
1
torsor 网友的相关建议:
首先，需要 A,B 都是实矩阵的条件. 下面的证明取自复旦高代白皮书的例 2.60 证明的一部分.
注意到 A+iB 的共轭等于 A-iB, 故 |A+iB| 的共轭等于 |A-iB|, 于是 |A+iB||A-iB| 大于等于零, 结论得证.
1
相关话题
如何从代数和几何的角度分别理解矩阵？Gram-Schmidt 正交化多项式？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
除了行列式的值为0外，还有哪几种情况矩阵不可逆？
为什么A的行列式不等于0 A满秩?
怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
n维向量空间V中向量的维数是否为n维？
可以有如图这样弯曲的向量A吗？
Gram-Schmidt 正交化多项式？
相关的话题
Matlab中10行10列矩阵,每行每列都是3个1,其余为0 的这样一个矩阵共有多少个？三维空间中的旋转矩阵是怎样求出的？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
哪些数学命题可以用复数优雅地证明？
为什么实对称矩阵一定可以正交对角化？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
在线性代数中如何用几何表示非方阵矩阵相乘？
所有的n阶反对称矩阵可以构成一个线性空间吗？
一个矩阵的逆矩阵是唯一的吗？
除了行列式的值为0外，还有哪几种情况矩阵不可逆？
没有基的线性空间，是否可以构造，如何构造？
这个用数分积分可以说明吗？不用高代上正定矩阵的?
为了使R^n成为向量空间，R^n中的加法运算和数乘运算是唯一的吗？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
为什么大学数学主要学习代数，而不是几何呢？
李亚普诺夫第一法（小干扰法）判断系统稳定性为什么当状态矩阵出现零根或实部为 0 的虚根的时候会失效？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
如何看待最近PRL论文《量子力学四个假设是三个》的意义？
线性代数里的合同关系在空间中代表了什么呢？
微积分与线性代数有关系吗？
分块矩阵的秩的问题如何理解呢？
为什么要引入矩阵这个数学工具？它能简化哪些不用矩阵会复杂的问题？
如何证明下面的问题？
请问如何推导矢积的行列式表达呢？
分块矩阵的秩的问题如何理解呢？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
不使用范畴论，如何刻画一个线性映射是“自然”的？