高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵在复数域上证明.不仅仅是实数域.

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/15 11:06:39

高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵在复数域上证明.不仅仅是实数域.
高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵
在复数域上证明.不仅仅是实数域.

高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵在复数域上证明.不仅仅是实数域.
用矩阵分块来证明.
A=[a11 aT]
[a A1]
取P为[1 -a11aT]
[0 I ]
则PTAP=[a11 0]
[0 B] B=A1-a11(-1)aaT
重复讨论n-1方阵B即可
或者用二次型化标准型方法得到A的有理相合标准型也可以证

Gauss消去法+归纳法即可