[行列解析4.1.P9]

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\) であることは同値である。

[行列解析4.1]エルミート行列の性質と特徴 (Properties and characterizations of Hermitian matrices)

4.1.1 定義4.1.2

am-gm.com

2025.09.15