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\) であることを示せ。
すなわち、複素行列は生成する半双線形形式によって決定される。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント