特異値分解(SVD)において、行列Aを $U \Sigma V^T$ に分解したとき、$\Sigma$ はどのような行列か。

$\Sigma$ は非対角成分が0で、対角成分に特異値が並ぶ対角行列(矩形の場合もあるが対角成分以外は0)である。