4.1.問題9
4.1.P9
\(A \in M_n\) は生成する半双線形形式の絶対値によってほぼ決定されることを示せ。すなわち、\(A, B \in M_n\) が与えられ、すべての \(x, y \in \mathbb{C}^n\) について \(|x^*Ay| = |x^*By|\) であることと、ある \(\theta \in \mathbb{R}\) に対して \(A = e^{i\theta} B\) であることは同値である。
行列解析の総本山
総本山の目次📚

[行列解析]総本山📚
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
記号の意味🔎

[行列解析9.0]主要な記号一覧🔎
行列解析で使用している記号や用語の簡単な説明です。


コメント