各类范数定义.docxVIP

各类范数定义 各类范数定义 PAGE / NUMPAGES 各类范数定义 范数的定义 设 X 是数域 K 上线性空间，称║˙║为 X 上的范数 (norm) ，若它知足： 正定性：║ x║≥ 0，且║ x║=0 = x=0 ； 齐次性：║ cx║=│c│║ x║； 次可加性 ( 三角不等式 ) ：║ x+y║≤║ x║+║y║ 。 注意到║ x+y║≤║ x║+║y║中如令 y=-x ，再利用║ - x║=║x║能够获得║ x║≥ 0，即 x║≥0 在定义中不是必需的。 假如线性空间上定义了范数，则称之为 赋范线性空间 。注记：范数与内积，胸怀，拓扑是互相联系的。 利用范数能够引诱出胸怀： d(x,y)= ║x - y║，从而引诱出拓扑，所以赋范线性空间是胸怀空间 。 可是反过来胸怀不必定能够由范数来引诱。 2. 假如赋范线性空间作为 ( 由其范数自然引诱胸怀 d(x,y)= 的，即任何柯西 (Cauchy) 序列在此中都收敛，则称这个赋范线性空间为  ║x  - y║的 ) 胸怀空间是齐备 巴拿赫 (Banach) 空间 。 利用内积 ˙, ˙能够引诱出范数：║ x║=x,x^{1/2} 。 反过来，范数不必定能够由内积来引诱。当范数知足平行四边形公式║x+y║^2+║x- y║^ 2=2( ║x║^2+║y║^2) 时，这个范数必定能够由内积来引诱。 齐备的内积空间成为  希尔伯特  (Hilbert)  空间 。 4. 假如去掉范数定义中的正定性，  那么获得的泛函称为半范数  (seminorm  或许叫准范数  ) ， 相应的齐备空间称为 Fr échet 空间 。 关于 X 上的两种范数║ x║α , ║x║β，若存在正常数  C 知足 ║x║β≤ C║x║α 那么称║ x║β 弱于║ x║α。假如║  x║β  弱于║ x║α 且║ x║α 弱于║ x║β，那么称 这两种范数等价。 能够证明，有限维空间上的范数都等价，无穷维空间上起码有阿列夫  1( 实数集的基数  ) 种 不等价的范数。 算子范数 假如 X 和 Y 是巴拿赫空间， T 是 X-Y 的线性算子，那么能够按下述方式定义║ T║： T║ = sup{ ║Tx║：║ x║=1} 依据定义简单证明║ Tx║ = ║T║║ x║。 关于多个空间之间的复合算子，也有║ XY║ = ║X║║ Y║。 假如一个线性算子 T 的范数知足║ T║ + ∞，那么称 T 是有界限性算子，不然称 T 是无 界限性算子。 比方，在常用的范数下，积分算子是有界的，微分算子是无界的。 简单证明，有限维空间的所有线性算子都有界。 有限维空间的范数 基天性质 有限 空 上的范数拥有优秀的性 ，主要体 在以下几个定理： 性 1： 于有限 范 性空 的任何一 基，范数是元素 ( 在 基下 ) 的坐 的 函数。 性 2(Minkowski 定理 ) ：有限 性空 的所有范数都等价。 性 3(Cauchy 收 原理 ) ： 数域 ( 或复数域 ) 上的有限 性空 ( 按任何范数 ) 必然完 。 性 4：有限 范 性空 中的序列按坐 收 的充要条件是它按任何范数都收 。 常用范数 里以  C^n 空 例，  R^n 空 似。 最常用的范数就是  p- 范数。若  x=[x1,x2,...,xn]^T  ，那么 x║p=(|x1|^p+|x2|^p+...+|xn|^p)^{1/p} 能够 p- 范数确 足范数的定 。此中三角不等式的 明不是平庸的， 个 通 常称 可夫斯基 (Minkowski) 不等式。 当 p 取 1， 2，∞的 候分 是以下几种最 的情况： 1- 范数：║ x║1=│x1│+│x2│+?+│xn│ 2- 范数：║ x║2=(│x1│^2+│x2│^2+?+│xn│^2)^1/2 - 范数：║ x║∞ =max(│x1│, │x2│, ?, │xn│) 此中 2- 范数就是往常意 下的距离。 于 些范数有以下不等式：║ x║∞ ≤ ║x║2 ≤ ║x║1 ≤ n^{1/2} ║x║2 ≤ n ║ x║∞ 此外，若  p 和  q 是赫德  (Houml;lder)  共 指 ，即  1/p+1/q=1  ，那么有赫德 不等式： |x,y| = ||x^H*y| =  ║x║p║y║q 当 p=q=2 就是柯西 - 瓦 (Cauchy-Schwarz) 不等式。 矩阵范数 矩 范数除了正定性， 次性和三角不等式以外， 定其必 足相容性：║ XY║≤║ X║║ Y║。 注：假如不考 相容性，那么矩 范数和向量范数就没有区 ，因