4.4.1 矩阵奇异值分解的定义