1. 引言
2003年,T. Bag和S. K. Samanta [1] 建立了一种新的模糊赋范线性空间(以下讨论的模糊赋范线性空间均为此空间),讨论了模糊范数导出的α-范数
性质,以及点列依α-范数收敛与依模糊范数收敛的关系。随后,很多学者研究了模糊赋范线性空间的拓扑性质、算子的有界性和连续性等 [2] [3] [4] [5] [6] 。2023年,徐艳艳 [7] 等研究了模糊赋范线性空间中的逼近问题,给出了模糊赋范线性空间中宽度的概念,得到了标准有限维模糊赋范线性空间的宽度与经典有限维赋范线性空间宽度的关系。基于以上研究,本文给出了模糊范赋范线性空间中1-范数的概念,研究了按照1-范数定义的闭集与模糊闭集之间的关系,讨论了按照1-范数定义的存在性集与模糊闭集之间的关系。
2. 1-范数
在本文中,如果没有特殊说明,R用表示实数集。
定义1.1 [1] (模糊范数的定义)设X是线性空间,θ为其零元,N为
上的模糊子集。如果对
,
,有
(N1)
,有
;
(N2)
且
,有
当且仅当
;
(N3)
且
,如果
,有
;
(N4)
,有
;
(N5)
为R上的不减函数且
。
则称N为X上的模糊范数,
为模糊赋范线性空间。
注 [2] :
表示x的范数是实数t的真值。
T. Bag和S.K. Samanta [5] 给出了模糊赋范线性空间的例子。
例1.2 [1] 设
为赋范线性空间,
,
,定义:
,
则
是模糊赋范线性空间。称它为标准的模糊赋线性空间。
例1.3 [1] 设
为赋范线性空间,
,
,定义:
,
则
是模糊赋范线性空间。
定义1.4 [1] 设
为模糊赋范线性空间,
是X中的点列。如果
,使得
,
则称
模糊收敛且模糊收敛到x,记为
。x称为
的模糊极限。
定义1.5设
为模糊赋范线性空间,A为X的子集。
1) A中所有模糊收敛点列的模糊极限所组成的集合称为A的模糊导集,记为
。
2) 若
,则称A为模糊闭集。
3) 称
为A的模糊闭包,记为
。
设
为模糊赋范线性空间,
,令
(1.1)
由文献 [7] 的例1知,
不一定是X上的范数。T. Bag与S.K. Samanta [2] 给出了
为X上范数的一个充分而非必要条件。
引理1.6 [1] 设
为模糊赋范线性空间,若模糊范数N满足以下条件:
(N6)
,有
,则
。
则由(1.1)式定义的
为X上的范数,且
为X上的单增范数簇。称
为由模糊范数N导出的α-范数。
设
为模糊赋范线性空间。对
,令
(1.2)
根据下面的例子可知,即使模糊赋范线性空间满足(N6)条件,(1.2)式定义的
也不一定是X上的范数。
例1.7 设
为赋范线性空间,对
,令
,
当
时,
当
时,
则
为模糊赋范线性空间,N为X上的模糊范数且模糊范数满足(N6)条件。
证:(N1) 显然,
,有
。
(N2) 显然,
,
。
(N3)
,
,
当
时,
。
当
时,
因此,
,
,有
。
(N4)
,
,
若
,显然有
。
若
,则
。不妨令
,那么
,则
。因此,当
时,总有
或
。
故而,
。
若
,则
,不妨令
,那么
,则
。因此,当
时,总有
或
。
故而,
。
(N5) 由定义知,
为R上的不减函数且
。
(N6) 显然满足。
例1.7中,当
时,
,则
不存在。因此,在模糊赋范线性空间中即便模糊范数满足(N6)条件,但由(1.2)式所定义的
也可能是不存在的。下面定理,给出
为范数的一个充分条件。
定理1.8设
为模糊赋范线性空间,且模糊范数N满足条件:
(N6-1)
,存在
,使得
。
,令
(1.2)
则
为X上的范数。称
为由模糊范数N导出的1-范数。
证明:
,
,从而
有意义且
。下面验证
满足范数的三公理。
1) 正定性:
,若
,则由
的定义知,
从而由(N2)知,
。
若
,则由(N2)知,
故,
。
2) 齐次性:
,
,
当
时,
当
时,
3) 三角不等式:
,
综上所述,1-范数是X上的范数。
定义1.9设
为模糊赋范线性空间且满足条件(N6-1),
是X中的点列。如果
,使得
则称
依1-范收敛且依1-范收敛到x,记为
,x称为
的1-极限。
定义1.10设
为模糊赋范线性空间,A是X的子集。
1) A中所有依1-范收敛点列的1-极限所构成的集合称为A的1-导集,记为
。
2) 若
,则称A为1-闭集。
3) 称
为A的1-闭包,记为
在模糊赋范线性空间
中,为了讨论1-闭集与模糊闭集的联系,我们引入(N7)条件。
(N7):
,
,
,
,有
。
定理1.11设模糊赋范线性空间
满足条件(N6-1)和(N7),
是X中的点列。则
。
证:
,由(N7)知,
,对
,有
(1.3)
取
,由
知,
。
从而,
,
,有
再由
的定义知,
,有
由(1.3)知,
,有
即,
。
由1-闭集、模糊闭集的定义及定理1.11,易见下定理成立,这也是本文的主要结果之一。
定理1.12设模糊赋范线性空间
满足条件N(6-1)和(N7),则1-闭集一定是模糊闭集。
证:设集合A是
的任意模糊1-闭集,即
,则对
,若
则
。
在模糊赋范线性空间中,若
,则
。
由定理1.11知
所以,
因此
。由x的任意性知
,所以A是模糊闭集。
3. 模糊赋范线性空间的1-最佳逼近
本章,我们在模糊赋范线性空间
中,给出了1-最佳逼近的概念并讨论其相关性质。
定义2.1 设模糊赋范线性空间
满足条件(N6-1),F是X的非空子集。
,令
(2.1)
称
为集F对定元x的1-最佳逼近。其中
的定义见(1.2)式。
定义2.2 设模糊赋范线性空间
满足条件(N6-1),F是X的非空子集,
。若
,使得
,则称
为x在F内的1-最佳逼近元,同时称x在F内1-最佳逼近元的全体所构成的集合为1-最佳逼近元集,记作
。
定义2.3 设模糊赋范线性空间
满足条件(N6-1),F是X的非空子集,
。若对每一
都有
,则称F是X内的1-存在性集。
定理2.4 设模糊赋范线性空间
满足条件(N6-1)和(N7),那么1-存在性集是模糊闭集。
证:设集合F是1-存在性集,
,那么
所以,
,当
时,
那么,
,使得
,
由定理1.8知,
,因此1-存在性集是1-闭集,由定理1.12知1-闭集是模糊闭集,所以1-存在性集是模糊闭集。
定义2.5 [1] 设
是模糊赋范线性空间,A是X的子集,如果
,
,
都有
,则称A为模糊有界集。
定义2.6 在模糊赋范线性空间中
,F是X的子集。如果F的任意点列必有模糊收敛子列,称F是模糊列紧集。如果F中任意模糊有界点列必有模糊收敛子列,称F是模糊局部列紧集。
定理2.7 设
是模糊赋范线性空间,模糊范数N满足条件(N6-1) (N7),F是X内模糊局部列紧的模糊闭集,则F是X内的1-存在性集。
证:显然只需证明,如果
且
,有
。
由下确界的定义知,
,有
使得
易见
。
,有
故而,
依
有界。
令
,则
。下证
模糊有界。
,由
的定义及
知,
。令
,则
故
模糊有界。由模糊局部列紧性知,
存在一模糊收敛子列
,设
。由于A为模糊闭集,所以
。再由定理1.11知,
。
因此,
即,
,即
即证。
4. 总结
本文基于T. Bag和S.K. Samanta于2003年建立的模糊赋范线性空间,给出了1-最佳逼近的概念,研究了模糊赋范线性空间的逼近特征。得到了1-存在性集是模糊闭集以及局部列紧的模糊闭集是1-存在性集的结论,对本文主要研究内容做出回答。下一步,我们将讨论将模糊赋范线性空间
的逼近问题转化成经典赋范线性空间
的逼近问题的可行性。
致谢
在此,我们由衷地向编辑和评审表示感谢,你们的宝贵意见帮助我们更好地完成了这篇论文。