矩阵范数是线性代数和泛函分析中一个重要的概念,用于衡量矩阵的大小或变化。一个矩阵范数需要满足以下几个条件:
正定性:
对于任意矩阵 \( A \),有 \( \|A\| \geq 0 \),且当且仅当 \( A = 0 \) 时,\( \|A\| = 0 \)。
齐次性:
对于任意实数 \( k \) 和矩阵 \( A \),有 \( \|kA\| = |k| \cdot \|A\| \)。
三角不等式:
对于任意矩阵 \( A \) 和 \( B \),有 \( \|A + B\| \leq \|A\| + \|B\| \)。
相容性 (或称次乘性):对于任意矩阵 \( A \) 和 \( B \),有 \( \|AB\| \leq \|A\| \cdot \|B\| \)。常见的矩阵范数包括:
1-范数:
矩阵中所有元素的绝对值之和的最大值。
2-范数:矩阵的最大奇异值,也可以通过矩阵的奇异值分解来计算。
∞-范数:矩阵中所有元素的绝对值之和的最大值,对应于每一列的绝对值之和的最大值。
Frobenius范数:矩阵中所有元素的平方和的最大值的平方根。
谱半径:矩阵特征值的绝对值的最大值。
矩阵范数在理解矩阵的性质(如稳定性、收敛性)以及在实际问题中的应用(如数值计算、优化问题)中起着关键作用。