第二章 向量与相关矩阵的范数.pptVIP

北京理工大学高数教研室* 第一章 第一节 函数 第二章 向量与矩阵的范数 定义： 设 是实数域 （或复数域 ）上的 维线性空间，对于 中的任意一个向量 按照某一确定法则对应着一个实数，这个实数称为 的范数，记为 ，并且要求范数满足下列运算条件： （1）非负性：当 只有且仅有当 （2） 齐次性： 为任意数。 （3） 三角不等式：对于 中的任意两个向量 都有 例： 在 维线性空间 中，对于任意的向量 定义 证明： 都是 上的范数，并且还有 引理 设 均为非负实数，则总有 Holder不等式：设 证：令 ， ，其中 代入上述不等式，则有 Minkowski不等式：设 则对任何 都有 证明 以 代入下式 则 对上式由Holder不等式可得 此不等式两端同除以 ，根据 可得 （1）1－范数 （2）2－范数 也称为欧氏范数。 （3） －范数 定义 设 是 维线性空间 上定义的两种向量范数，如果存在两个与 无关的正数 使得 则称向量范数 等价。 定理 有限维线性空间 上的任意两个 向量范数都是等价的。 利用向量范数可以去构造新的范数。 例1 设 是 上的向量范数，且 ，则由 所定义的 是 上的向量范数。 定义 对于任何一个矩阵 ，用 表示按照某一确定法则与矩阵 相对应的一个实数，且满足 （1）非负性：当 只有且仅有当 （2） 齐次性： 为任意复数。 （3） 三角不等式：对于任意两个同种形状矩阵 都有 2. 矩阵范数 （4）矩阵乘法的相容性：对于任意两个可以相乘的矩阵 ，都有 那么我们称 是矩阵 的范数。 例1 对于任意 ，定义 可以证明如此定义的 为矩阵 的 范数。 证明 只需要验证此定义满足矩阵范数的四条性质即可。非负性，齐次性与三角不等式容易证明。现在我们验证乘法的相容性。设 ，则 例2 设矩阵 ，证明： 是矩阵的 范数。 证明：非负性，齐次性和三角不等式容易证得。现在我们考虑乘法的相容性。设 ，那么 因此 为矩阵 的范数。 例3 对于任意 ，定义 可以证明 也是矩阵 的范数。我们称此范数为矩阵 的Frobenious范数。 证明 此定义的非负性，齐次性是显然的。利用Holder不等式和Minkowski不等式容易证明三角不等式。现在我们验证乘法的相容性。 设