矩阵论范数理论.docxVIP

PAGE PAGE 15 第二章 范数理论 在第一章我们曾利用内积定义了向量的长度，他是几何向量 长度概念的一种推广。虽然当n3 时对定义的向量长度无法作出具体的几何解释，但这样规定的长度具有几何向量长度 的基本性质，即非负性，齐次性和三角不等式。本章我们采 用公理化的方法，八项量长度的概念推广到更一般的情形， 主要讨论向量范数、矩阵范数及其有关的应用。 §2.1 向量范数 定义 2.1 若对任意x ? Cn 都有一个实数足：  x 与之对应，且满 非负性：当x ? 0时， x 0 ；当x = 0，x = 0 ； 齐次性：对任何l ? C，l x 三角不等式：对任意 x,y l x ； Cn，都有 x + y ? x  y , 则称 x 为C n 上的向量 x 的范数，简称向量范数。 定义中并未给出向量范数的计算方法，只是规定了向量范数 应满足的三条公理，称之为向量范数三公理。从范数定义可 得范数的下列基本性质。 定理 2.1 对任意x, y ? Cn，有 （1） - x = x ； （2） x - y ? x y . 只证（2）。根据三角不等式，有 x = x - y + y ? x y + y 综合二式即得 y = y - x + x ? y x + x 证毕 例 2.1 设 x - y ? x y 规定 x = (x ，x ，?x )T Cn . 1 2 n 第一章已表明 x = = ? n ? n x k 2 k= 1 xH x x 是向量 x 的一种范数，并称之为向量 2-范数，该范数具 2 有如下重要的性质，对任意x ? Cn 和任意 n 阶酉矩阵 U，有 Ux = 2 = = = x (Ux)H (Ux)H (Ux) xHU HUx xH x .称之为向量 2-范数的 酉不变性。 例2.2 设x = (x ，x ，?x )T Cn . 规定 1 2 n x = ?n x 1 k k = 1 则 x 是向量 x 的一种范数，称为向量 1-范数。 1 证 当 x ? 0时，显然x 1 ?n k = 1  x 0 ；当x = 0时，x的每一分量都是0，故x k 1 = 0. 对任意λ? C , 有 l x = 1 邋n k = 1 l x = l k n k = 1 x = l x k 1 又对任意 y = (h , h 1 2 , h ?n ? )T Cn . 有 x + y 1 = 邋n x k k = 1 + h ? k ( x nk n k = 1 h ) = 邋n x + k k k = 1  n k = 1 m = x + y k 1 1 故 x 是Cn 上的一种向量范数。 1 例2.3 设 x = (x ，x ，?x )T Cn . 规定 1 2 n 范数。 x = max x 1 k k 则 x 是向量 x 的一种范数，称为向量￥ - ￥ 证 当x 1 0 时，有 x = max x  0; 当 x=0 时，现然有 x = 0. ￥ k k ￥ 对任意? ? C ，有 l x = ゥ max l x k k  = l max x k k = l x 又 对 任 意 y = (h , h 1 2 , h ?n ? )T Cn . 有 x + y = max x + h ? max x max h = x + y * k k k k k k k 故 x 是Cn 上的一种向量范数。为给出其他的向量范数，先 ￥ 证明如下结论. 引理 2.1 对任意实数 a 吵0和b 0 ，都有 ab ? a p p b q ，其中 q 1 1 p 1，q 1，且 + = 1 p q 证 若ab = 0 ，显然结论成立，下面就只就a 0和b 0 来讨论， 考虑函数 j (t) = t p + t- q (0 t + ) p q 因为j (t) = t p- 1 - t- (q- 1) = t p+ q - 1 t q+ 1 可见，当0 t 1时，j （ (t) 0; 而当1? t + 时，j （ (t) 3 0 ，故总 有j (t) ? j (1) 1 (0 t + ) 令1 令 pt = a q b p - 1 ，有 1 1 - 1 1 1 - 1 1 a p b q 故结论成立。 1? (a q b p ) p (a q b p )- q = ( + ) p q ab p q 定理 2.2 对任意x , h ? C (k k k 1,2,?,n) ，有 邋n n p 1 n q 1 （2.1） x k k=