矩阵范数

矩阵范数

设 $\mathbb F = \mathbb R$ 或 $\mathbb C,$ 如果 $\mathbb F^{n \times n}$ 上的一个 实函数 $\Vert \cdot\Vert$ 满足： $\forall A, B \in \mathbb F^{n \times n},$

$$\Vert A \Vert \ge 0 \text{且} \Vert A \Vert = 0 \Leftrightarrow A = \mathbf {0} \tag 1$$
$$\forall k \in \mathbb F, \Vert k A \Vert = \vert k \vert \Vert A \Vert \tag 2$$
$\Vert A + B \Vert \le \Vert A \Vert + \Vert B \Vert \tag 3$
$\Vert A B \Vert \le \Vert A \Vert \Vert B \Vert \tag 4$
则称 $\Vert \cdot \Vert$ 是 $\mathbb F^{n \times n}$ 上的一个 矩阵范数。

例

$\Vert A \Vert _{F} = {\left ( \sum \limits_{i = 1} ^{n} \sum \limits_{j = 1} ^{n} \vert a_{ij} \vert ^2\right )} ^{1 / 2} = \sqrt {\operatorname{tr} (A^H A)}$
$\Vert \cdot \Vert _{F}$ 是一种矩阵范数。

证明

由于 $\Vert \cdot \Vert _{F}$ 也是向量范数，因此满足（1），（2），（3）。

∣∣∣∑k=1naikbkj∣∣∣≤∑k=1n|aikbkj|=∑k=1n|aik||bkj|≤[(∑k=1n|aik|2)(∑k=1n|bkj|2)]1/2 | ∑ k = 1 n a i k b k j | ≤ ∑ k = 1 n | a i k b k j | = ∑ k = 1 n | a i k | | b k j | ≤ [ (