复旦大学2017--2018学年第二学期（17级）高等代数II期末考试第七大题解答

Posted 2020-12-03 torsor

七、(本题10分)  设 $A_1,A_2,cdots,A_m$ 为 $n$ 阶实对称阵, 其中 $A_1$ 为正定阵, 并且对任意的 $2leq i<jleq m$, $A_iA_1^{-1}A_j$ 都是对称阵. 证明: 存在非异实方阵 $C$, 使得$$C‘A_1C=I_n,,,,,C‘A_iC=mathrm{diag}{lambda_{i1},lambda_{i2},cdots,lambda_{in}},,,i=2,cdots,m,$$ 其中 ${lambda_{i1},lambda_{i2},cdots,lambda_{in}}$ 是 $A_1^{-1}A_i$ 的全体特征值.

证明  由 $A_1$ 的正定性可知, 存在非异实方阵 $Q$, 使得 $Q‘A_1Q=I_n$, 特别地, 我们有 $A_1^{-1}=QQ‘$. 由 $A_iA_1^{-1}A_j$ 是对称阵可知 $$A_iQQ‘A_j=(A_iQQ‘A_j)‘=A_j‘QQ‘A_i‘=A_jQQ‘A_i,$$ 从而有 $$(Q‘A_iQ)(Q‘A_jQ)=(Q‘A_jQ)(Q‘A_iQ),,(forall,2leq i<jleq m),$$ 即 ${Q‘A_iQ,,2leq ileq m}$ 是一组两两乘法可交换的实对称阵. 由复旦高等代数教材的习题 9.5.10 或高代白皮书的例 9.107 可知, 上述 $m-1$ 个实对称阵 $Q‘A_iQ$ 可同时正交对角化, 即存在正交阵 $P$, 使得 $$P‘Q‘A_iQP=mathrm{diag}{lambda_{i1},lambda_{i2},cdots,lambda_{in}},,,i=2,cdots,m.$$ 此时 $P‘Q‘A_1QP=P‘I_nP=I_n$, 故只要令 $C=QP$ 即得所要的同时合同对角化. 注意到 ${lambda_{ij},,1leq jleq n}$ 是 $|lambda A_1-A_i|=0$ 的根, 从而是 $A_1^{-1}A_i$ 的全体特征值.  $Box$

注 1  本题是一个正定实对称阵和一个实对称阵可同时合同对角化的推广 (请参考高代白皮书的例 9.66). 容易验证: 题目中的条件“对任意的 $2leq i<jleq m$, $A_iA_1^{-1}A_j$ 都是对称阵”是可同时合同对角化成立的充分必要条件.

注 2  本题做对的同学为: 张菲诺、刘宇其、高诚、陈域、郭宇城、许智锟、文豪、史书珣、戴逸翔、张君格、余张伟、季俊晔、魏一鸣、王成文健、张昰昊、朱柏青、汪子怡、王炯逍、王语姗、张嘉璇.