5向量与矩阵范数 .ppt

分别计算这两个矩阵的 ， ， 和 。 例 2 ：证明：对于任何矩阵 都有 如何由矩阵范数构造与之相容的向量范数？ 定理：设 是矩阵范数，则存在向量范数 使得 证明：对于任意的非零向量 ，定义向量范数 ，容易验证此定义满足向量范数的三个性质，且 例：已知矩阵范数 求与之相容的一个向量范数。 解：取 。设 那么 矩阵的谱半径及其性质 定义：设 ， 的 个特征值为 ，我们称 为矩阵 的谱半径。 例 1 ：设 ，那么 这里 是矩阵 的任何一种范数。 例 2 ：设 是一个正规矩阵，则 证明：因为 于是有 例 3 ：设 是 上的相容矩阵范数。证明： （1） （2） 为可逆矩阵， 为 的特征值 则有 例 5 ：如果 ，则 均为可逆矩阵，且 这里 是矩阵 的算子范数。 矩阵序列与极限 定义：设矩阵序列 ，其中 ，如果 个数列 都收敛，则称矩阵序列 收敛。 进一步，如果 那么 我们称矩阵 为矩阵序列 的极限。 例 ：如果设 ，其中 那么 定理： 矩阵序列 收敛于 的充分必要条件是 其中 为任意一种矩阵范数。 证明：取矩阵范数 必要性：设 那么由定义可知对每一对 都有 从而有 上式记为 充分性：设 那么对每一对 都有 即 故有 现在已经证明了定理对于所设的范数成立 ，如果 是另外一种范数，那么由范数的等价性可知 这样，当 时同样可得 因此定理对于任意一种范数都成立。 同数列的极限运算一样，关于矩阵序列的极限运算也有下面的性质。 （1）一个收敛的矩阵序列的极限是唯一的。 （2）设 则 （3）设 ，其中 ，那么 （4）设 ，其中 那么 （5）设 ，且 ， 均可 逆，则 也收敛，且 例 1：若对矩阵 的某一范数 ，则 例 2：已知矩阵序列： 则 的充要条件是 。 证明： 设 的Jordan标准形 其中 于是 显然， 的充要条件是 又因 其中 于是 的充要条件是 。 因此 的充要条件是 例 3 ：设 是 的相容矩阵范数，则对任意 ，都有 矩阵的幂级数 定义：设