准范数
数学术语
准范数(paranorm)是
范数
的又一种推广。准范数是定义在
线性空间
X上,并且满足一定条件的
实值函数
。
赋范线性空间
一定是赋准范线性空间。
定义
定义1 设X为
线性空间
(是数),定义于X上的 满足:
(1)当且仅当
(2)
(3)
(4)
则称为X上的一个准范数(有时也称为拟范数),称X为赋准范线性空间(或赋拟范线性空间,简称赋准范空间)。
注:赋准范线性空间是一个具有平移不变距离的距离线性空间,其距离由
决定。
举例
例1 设s={x | x={xn} } 是数列空间,对x∈s,规定
则 是s上的一个准范数。
例2 设是[a,b]中无限次
可微
的函数全体,对,规定
则是上的一个准范数。
例3 设是
测度空间
,E是
可测集
,,S是E上
可测函数
全体,其中几乎处处相等的函数视为S中同一个点,对f∈S,规定
则是S上的一个准范数。
拓展
范数
在准范数的基础上,加强条件得到范数的定义。
定义2 设X为
线性空间
,定义于X上的满足:
(1)当且仅当
(2)
(3)
则称为X上的
范数
,称X为
赋范线性空间
。
注:显然,
赋范线性空间
是赋准范线性空间。
Frechet空间
定义3
完备
的赋准范线性空间称为Frechet空间。
不难验证,上面例1、例2、例3中的空间均为Frechet空间。
参考资料
最新修订时间:2022-08-25 14:19
条目作者
小编
资深百科编辑
目录
概述
定义
举例
参考资料
Copyright©2024
闽ICP备2024072939号-1