矩阵范数标准详解

《矩阵范数标准详解》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、.-?周国标师生交流讲席010?向量和矩阵的数的假设干难点导引(二)一．矩阵数的定义引入矩阵数的原因与向量数的理由是相似的，在许多场合需要“测量〞矩阵的“大小〞，比方矩阵序列的收敛，解线性方程组时的误差分析等，具体的情况在这里不再复述。最容易想到的矩阵数，是把矩阵可以视为一个维的向量〔采用所谓“拉直〞的变换〕，所以，直观上可用上的向量数来作为的矩阵数。比方在数意义下，；〔1.1〕在-数意义下，，〔1.2〕注意这里为了防止与以后的记号混淆，下标用“F〞，这样一个矩阵数，称为Frobenius数，或F-数。

2、可以验证它们都满足向量数的3个条件。那么是否矩阵数就这样解决了？因为数学上的任一定义都要与其对象的运算联系起来，矩阵之间有乘法运算，它在定义数时应予以表达，也即估计的“大小〞相对于的“大小〞关系。定义1设，对每一个，如果对应着一个实函数，记为，它满足以下条件：〔1〕非负性：；〔1a〕正定性：〔2〕齐次性：；〔3〕三角不等式：那么称为的广义矩阵数。进一步，假设对上的同类广义矩阵数，有〔4〕〔矩阵相乘的〕相容性：，，那么称为的矩阵数。我们现在来验证前面〔1.1〕和〔1.2〕定义的矩阵数是否合法？我们这里只考

3、虑〔1.2〕,把较容易的〔1.1〕的验证留给同学们，三角不等式的验证。按列分块，记。对上式中第2个括号的诸项，应用Cauchy不等式，那么有〔1.3〕.可修编..-于是，两边开方，即得三角不等式。再验证矩阵乘法相容性。〔这一步用了Cauchy不等式〕〔1.4〕可见，矩阵相容性满足。这样就完成了对矩阵F-数的验证。是不是这样直接将向量数运用到矩阵数就可以了吗？No!运用-数于矩阵数时便出了问题。如果，那么,这样的矩阵数在下面一个例子上就行不通。设。因此，按上述矩阵∞-数的定义，，于是但这是矛盾的。所以简单

4、地将-数运用于矩阵数，是不可行的。虽然这仅是一个反例，但是数学的定义是不可以有例外的。由此，我们必须认识到，不能随便套用向量数的形式来构造矩阵数。为此,我们仅给出矩阵数的定义是不够的，还需要研究如何构成具体的矩阵数的方法。当然，你也可以不去考虑构成方法，一个函数一个函数去试，只要满足条件就行。不过这样做的工作量太大，也很盲目。第二，在实际计算时，往往矩阵与向量出现在同一个计算问题中，所以在考虑构造矩阵数时，应该使它与向量数相容。比方要考虑的“大小〞，是一个向量，但它由与相乘而得的，它与的“大小〞和的“大

5、小〞的关系如何？这提出了两类数相容的概念。定义2对于上的矩阵数和上的同类向量数，如果成立〔1.5〕那么称矩阵数与向量数是相容的。例1．1可以证明是与向量数相容。事实上，在〔1。2〕中，取，那么一．矩阵算子数现在给出一种构造矩阵数的一般方法，它可以使构造出的矩阵数与向量数相容，当然，它也满足定义1规定的4个条件。.可修编..-定义3设上的同类向量数为，，定义在空间上的矩阵的由向量数诱导给出的矩阵数为〔2.1〕可以验证，这样定义出的矩阵数满足定义1规定的4个条件，同时又满足矩阵数与向量数相容性要求〔定义2〕

6、。由于有什么样的向量数，就有什么样的矩阵数，所以，这样的矩阵数称为由向量数诱导出的，简称诱导数；又因为〔2.1〕实际上规定了一个函数〔或算子〕，故又称为算子数。〔2.1〕给定的数实际是寻求一个最优化问题的最优值，求目标函数的最大值，约束条件是，也就在空间中除原点外的点中，找一个n维向量，使取得最大值。如果直接考虑这样一个优化问题,还是有困难的.可以证明，它可以以下等价方式定义,使问题的处理简单。〔2.2〕事实上,分母上的是一个正数(),那么根据向量数的齐次性有上面第3个等号成立是因为向量为一个单位向量。

7、下面我们从理论上证明这样的矩阵数满足定义1规定的4个条件，同时又满足矩阵数与向量数相容性要求。定理2。1由〔2.1〕或〔2.2〕给定的上的矩阵数满足矩阵数定义1的4个条件，且与相应的向量数相容。证明：首先，矩阵数与向量数的相容性是不难证明的，事实上，对=1,,因此,矩阵数与向量数的相容性条件〔1.5〕成立。我们下面来验证〔2.1〕或〔2.2〕满足矩阵数的4个条件。这4个条件中，前2个也容易验证，因此这里只来考察第3,4个条件。三角不等式的验证:对于任一矩阵相乘相容性的验证:由〔1.5〕，不难有当时，.可

8、修编..-所以至此，证实了用算子数确能给出满足矩阵数定义和矩阵数与向量数的相容性的矩阵数。推论1对于上的任一种向量诱导数，都有〔2。3〕但是要注意的是，对一般的矩阵数，对任一向量，有故有。比方，不是诱导矩阵数，所以。三．几个常用的诱导矩阵数上面的论述说明，诱导矩阵数与向量数密切相关，有何种向量数，就有什么样的诱导矩阵数。下面就来具体地构造几个常用的诱导矩阵数。设。例3．1设，由向量-数诱导而来的最大列和诱导矩阵数〔3.1〕证明：按列分块，记