特異値

$K\in\mathcal{K}(\mathcal{H})$ とし、$|K| = (K^*K)^{1/2}$ と置く。$|K|$ の $0$ でない固有値を重複度を込めて大きい順に並べたもの $s_1(K)\ge s_2(K)\ge\cdots > 0$ を $K$ の特異値という（個数が有限のときは以降を $0$ とおく）。