注意事項: 行列式やトレースなどは正方行列に対して定義されるので m × n の行列 A に直接適用してはならない。
- 特異値 σ(A) はすべて非負の実数 σ(A) ≥ 0
[注釈 1]




[注釈 2]
- 行列 A が m = n の正方行列の場合には以下が成り立つ。
[注釈 3]
- ワイルの不等式

- 行列 A が m = n の正規行列の場合には以下が成り立つ。
- 特異値は固有値の絶対値に等しい。

- 行列 A が m = n の半正定値対称行列の場合には以下が成り立つ。
- 特異値は固有値に等しい。

の特異値を
として、

と並べるとき、Banach代数の分野で知られた公式(Gelfand, 1941)[要ページ番号]:

の一般化として、

が成り立つ[3]。この公式はヒルベルト空間上のコンパクト作用素に対しても成立する[4]。