4.1.問題6
4.1.P6
\(A = [a_{ij}], B = [b_{ij}] \in M_n\) が与えられたとき、
(a) すべての \(x \in \mathbb{C}^n\) について \(x^*Ax = x^*Bx\) ならば \(A = B\) であることを示せ。
すなわち、複素行列は生成する半双線形形式によって決定される。
[行列解析4.1.P6]
4.エルミート行列、対称行列、合同行列
4.エルミート行列、対称行列、合同行列
4.エルミート行列、対称行列、合同行列
コメント