七、(本题10分)设 \(A\) 为数域 \(K\) 上的 \(n\) 阶非异阵, 证明: 对任意的对角阵 \(B\in M_n(K)\),  \(A^{-1}BA\) 均为对角阵的充分必要条件是 \(A=P_1P_2\cdots P_r\), 其中 \(P_i\) 均为第一类初等阵 (即对换 \(I_n\) 的某两行) 或第二类初等阵 (即非零常数乘以 \(I_n\) 的某一行).

证明  充分性通过简单验证即可证明. 现证必要性, 设 \(A=(a_{ij})_{n\times n}\), 取 \(B=\mathrm{diag}\{1,2,\cdots,n\}\), 设 \(A^{-1}BA=C=\mathrm{diag}\{d_1,d_2,\cdots,d_n\}\). 由 \(BA=AC\) 知对任意的 \(i,j\) 成立: \[ia_{ij}=d_ja_{ij}.\]

因为 \(A\) 的每个列向量均非零, 故对任意的 \(1\leq j\leq n\), 存在某个行指标 \(i_j\) 使得 \(a_{i_j j}\neq 0\). 由上述条件可得 \[d_j=i_j,\,\,\forall\,1\leq j\leq n.\]

再次带入上述条件可得\[a_{ij}=0,\,\,\forall\,i\neq i_j,\,1\leq j\leq n.\]

由 \(A\) 的非异性知 \(A\) 的列向量线性无关, 从而 \(i_1,i_2,\cdots,i_n\) 是 \(1,2,\cdots,n\) 的全排列, 故通过若干次行对换可将 \(A\) 变为对角阵且主对角线上元素非零; 再通过若干次第二类初等行变换可将矩阵变为单位阵 \(I_n\), 故 \(A\) 是第一类初等阵和第二类初等阵的乘积.  \(\Box\)

最新文章

  1. checked 全选 反选 示例
  2. Python WMI获取Windows系统信息 监控系统
  3. 关于eclipse android 在manifest改app应用包名注意事项
  4. Alternative Representations for 4-Bit Integers
  5. html之table标签
  6. iOS项目进行测试的配置
  7. 无刷新分页 Ajax,JQuery,Json
  8. RemixOS Player 让用户在 Windows 上运行 Android App
  9. Unity3D 创建一个简单的2D游戏
  10. bzoj2502
  11. 转载:mybatis和hibernate 解析
  12. 剑指Offer-求1+2+3+...+n
  13. HTC VIVE固定头显位置
  14. 痞子衡嵌入式:串口调试工具Jays-PyCOM诞生记(5)- 软件优化
  15. 私服仓库 nexus 环境搭建(win10)
  16. (APIO2014)序列分割
  17. Hessian---java远程通讯 (zhuan)
  18. eclipse基于git上传项目到码云上
  19. Canvas事件绑定
  20. 超实用 Git 使用方式介绍

热门文章

  1. scala2.10.x case classes cannot have more than 22 parameters
  2. js break continue
  3. SpringMVC配制全局的日期格式
  4. 白盒测试的学习之路----(四)搭建测试框架TestNG测试
  5. zw版【转发·台湾nvp系列Delphi例程】HALCON InpaintingCt2
  6. 50136142WXY的百度地图
  7. 批处理命令——echo 和 @
  8. android 项目学习随笔十八(三级缓存)
  9. scala模拟一个timer
  10. HDU 4635:Strongly connected(强连通)