[行列解析2.6.p10]

2.6.問題10

2.6.P10

\(A, B \in M_n\) を与え、\(A\) の特異値を \(\sigma_1 \ge \cdots \ge \sigma_n \ge 0\) とし、\(\Sigma = \mathrm{diag}(\sigma_1, \ldots, \sigma_n)\) とする。

次の三つの条件が同値であることを示せ：

(a) \(A^* A = B^* B\);

(b) ユニタリ行列 \(W, X, Y \in M_n\) が存在して \(A = X \Sigma W^*\) および \(B = Y \Sigma W^*\);

(c) ユニタリ行列 \(U \in M_n\) が存在して \(B = UA\)。一般化については (7.3.11) を参照。

[行列解析2.6]ユニタリ同値と特異値分解

2.6ユニタリ同値と特異値分解2.6 ユニタリ同値と特異値分解ある行列 \(A\) が、\(n\) 次元複素ベクトル空間 \(V\) 上の線形変換 \(T : V \to V\) の基底表現であり、与えられた正規直交基底に関して表されている...

am-gm.com

2025.08.30