1. 引言
1965年,Zadeh [1] 提出模糊集及1971年 [2] 引入了模糊序的概念之后,1992年,Venugopalan [3] 定义了模糊序集并对模糊序集展开系统研究。在Zadeh等人研究的基础上,1994年,Beg和Islam [4] [5] 先给出模糊Riesz空间的定义,得到模糊Riesz分解等性质;同年引入模糊序线性空间的概念并讨论模糊序收敛。1997年,Beg和Islam [6] [7] 先后引入
-完备的模糊Riesz空间和模糊Archimedea空间的概念,后者还讨论了模糊Archimedean空间与完备的模糊Riesz空间之间的关系。然后,L. Hong [8] 介绍了模糊Riesz子空间、模糊理想、模糊带和模糊带投影等概念。基于模糊Riesz空间的一些重要结论,很多人开始研究模糊算子。
1984年,Katsaras [9] 首次在线性空间上引入了模糊范数的概念。1992年,Felbin [10] 定义了模糊有界线性算子。同年,Cheng和Mordeson [11] 在模糊赋范线性空间上定义了模糊线性算子及模糊赋范线性空间的概念,并用模糊范数定义刻画了模糊线性算子的连续性。Xiao和Zhu [12] 在2003年讨论了模糊赋范空间上线性算子的完备性。2020年,Sharma和Hazarika [13] 研究了模糊赋范线性空间上线性算子的模糊有界性的各种概念之间的关系,讨论了模糊紧算子的模糊有界性。Bag和Samanta [14] [15] 定义了两类模糊有界线性算子(强算子和弱算子),研究了模糊连续性和模糊有界性之间的关系,并建立了Hahn-Banach定理、开映射定理、闭图像定理和一致有界定理。Park [16] 给出了模糊赋范Riesz空间的概念,并直接证明了保格泛函方程的Hyers-Ulam稳定性。M. Iqbal和Z. Bashir [17] 研究了模糊序有界线性算子空间和模糊序对偶空间的分离性质,并讨论了局部实凸模糊Riesz空间的模糊序对偶和模糊拓扑对偶之间的关系。Cheng [18] 在模糊Riesz空间上研究了模糊线性算子扩张,并得到Hahn-Banach定理推广的结论。
本文首先讨论模糊赋范Riesz空间上模糊序连续范数的一些性质,给出模糊
-理想的等价命题,给出了模糊理想是模糊投影带的必要条件,并讨论了模糊赋范Riesz空间上模糊序连续算子的一些性质。本篇文章研究得到的结论可以进一步发展与完善模糊赋范Riesz空间和算子理论。
本文结构如下,在第二节简要回顾一些基本概念和性质。第三节我们将讨论模糊赋范Riesz空间上模糊序连续范数的一些性质,给出模糊
-理想的等价命题和给出模糊理想是模糊投影带的必要条件。第四节讨论模糊赋范Riesz空间上模糊序连续算子的一些性质。第五节是本文的结论。
有关模糊Riesz空间和模糊赋范Riesz空间的一些重要结论以及各类符号可以参考文献 [1] - [19]。
2. 预备知识
定义2.1 [3] 假设X是论域,X中的模糊序
是
的模糊子集,当特征函数
满足如下条件时,则
是X上的模糊序,
1) 任意
,
(自反性);
2) 任意
,当
有
(反对称性);
3) 任意
,有
(传递性)。
其中
是
模糊子集的特征函数。
集合上赋予模糊序称该集合为模糊序集。
符号2.2 [2] 假设X是模糊序集,
。
是X上的模糊集,对任意
表示为
。同理,对任意
,
表示
。若A是X的子集,则
,
。
定义2.3 [2] 假设A是X的子集,A的上界
定义如下:
,
同理,A的下界
定义如下:
。
对任意
,当满足
时称
;任意
,当满足
时称
。如果
且
,称A有上界,x是A的一个上界。同理,如果
且
,称A有下界,x是A的一个下界。如果A既有上界又有下界,称A有界。
元素
满足(1)
,(2) 当
时有
,则称
是A的上确界。同理,元素
满足(1)
,(2) 当
时有
,则称
是A的下确界。
性质2.4 [2] 假设A是模糊集X的子集:
1) 如果
存在,则唯一;
2) 如果
存在,则唯一。
注解2.5 [2]
,
定义2.6 [3] 在模糊序线性空间X中,如果元素x满足
,则元素x是正元素;如果元素x满足
,则元素x是负元素。
定义2.7 [8] 设X是模糊序集,
是X的网,如果对任意
,当
时有
,则
是递增的,记作
。如果
存在,则
。同理,若
是递减的,表示为
。
定义2.8 [8] 设X是模糊Riesz空间。假设A是X的模糊solid子空间,则A叫做X的模糊理想。
定义2.9 [8] 设X是模糊Riesz空间,P是模糊带。如果P满足
,则P是模糊投影带。
定义2.10 [8] 设X是模糊Riesz空间,Y是X的模糊Riesz子空间。如果任意正元素
,存在非零元素
使得
,则称Y在X中模糊序稠。
定义2.11 [10] 假设X是数域F上的线性空间,N是
的模糊子集。N叫做X上的模糊范数,当且仅当任意
满足下述条件成立:
N1) 任意
,
;
N2) 任意
,
当且仅当
;
N3) 任意
,如果
,则
,如果
,则
;
N4) 任意
,
;
N5)
是R上的左连续不减函数,且
。
此时称
为模糊赋范线性空间。
定义2.12 [10] 假设
为模糊赋范线性空间,
N6) 任意
,若
,则
。
定义
,则
是X上的升序范数族,称之为X上的
-范数。
注解2.13 [10]
N7) 假设
,
是R上的连续函数且严格递增。
定义2.14 [10] 假设
是模糊赋范线性空间,
是X上的序列。如果对任意
,存在
使得
,则
在X上模糊范收敛,范极限为x。
定义2.15 [10] 如果任意
,有
,则称
为X上的模糊范柯西列。
性质2.16 [10] 模糊赋范线性空间上收敛序列的子序列也收敛,且有相同的模糊序极限。每个收敛序列都是模糊柯西列。
定义2.17 [16] 假设
是模糊Riesz空间。
是X上的模糊范数,如果N满足下述条件,
N7) 若
,则
,
则称N为Riesz模糊范数,
称为Riesz模糊赋范空间。
定义2.18 [19] 模糊序有界正线性算子记作
,模糊序连续有界线性算子记作
,
-模糊序连续有界线性算子记作
。当F模糊Dedekind完备时,则
。
定义2.19 [19] 假设
是模糊Riesz空间,F模糊Dedekind完备。对任意
,有模糊序有界算子
满足
,
且
。
性质2.20 [19] 假设
是模糊Riesz空间,F模糊Dedekind完备。则
都是
上的模糊带。
3. 模糊序连续范数
本节讨论模糊赋范Riesz空间上模糊序连续范数的一些性质,给出模糊
-理想的等价命题,且给出了模糊理想是模糊投影带的必要条件。
定理3.1设
是模糊赋范Riesz空间,若
中每个递增有上界序列模糊范收敛,则
有模糊序连续范数。
证明:假设D是
中的向下集,且
,由模糊序连续范数定义可知,只需证明
。
假设D包含其有限下确界。任取
,令
,则
是向下集且
,
。假设
且D有上界
。令
,则
且
是模糊范柯西列。否则,对任意递增序列
,存在正数
,使得
,与假设矛盾。由参考文献 [19] 引理3.1.1可知,
包含一个与其有相同上界的递增模糊范柯西列。又由参考文献 [19] 定理3.2.5可知,存在
使得
,因此
。任意
,当
且
时,有
。由此可得
,即E有模糊序连续范数。
定理3.2设
是模糊赋范Riesz空间,如果
的每个模糊范闭理想是模糊带,则
有模糊序连续范数。如果
是模糊Banach格且具有模糊序连续范数,则每个范闭理想是模糊投影带。
证明:假设
中的每个模糊范闭理想是模糊带。下面证明当D是向上集且满足
时,有
是向下集,
。
取
满足
。因
,
由N4和N7可知对任意
,有
。
因
是向下集,下面证明当
时,有
。又由
,所以
。
记
生成的模糊理想为A,A生成的模糊带为B。由参考文献 [19] 定理3.8可知
。又
是A的模糊范闭包,由假设可知
。因为
,故
。对于任意正数
,存在
,使得
。所以
,
。假设
,用
代替v。因
且
,所以存在
,使得v是
生成的模糊正则理想的元素。因此
且
,
。
从而
,
,且
。
由
的任意性,知
,
。由N4可知
,
。所以
有模糊序连续范数。
由文献 [19] 3.2.4可知,
是最大Dedekind完备的。因此模糊Riesz空间具有模糊投影性,所以每个范闭理想是模糊投影带。
定理3.3设X是模糊Riesz空间,则下述命题等价:
1) A是模糊
-理想;
2) 若X中
且
,则
;
3) 若
,且
模糊序收敛到
,则
。
证明:先证明1)与2)等价。假设
,
,由模糊序收敛可知
。因A是模糊
-理想,所以
。又由模糊
-理想的定义可知,2)
1)成立。
2)
3)
假设
且
模糊序收敛到
,则
,
模糊序收敛到
。令
,则
,
。令
,有
且
是递增序列。所以
,
,
。从而
。根据假设可知
。同理可证
,所以
。
3)
2)
假设
且
模糊序收敛到
,由3)可知
。令
,任意
有
,则
。设
,所以
,
。因此
。
已知线性空间上的算子满足一定运算后是投影,我们想在模糊Riesz空间及模糊赋范Riesz空间上研究算子,就要给出投影、模糊带投影及模糊正投影的相关概念,然后再讨论他们的性质。
定义3.4设P是向量空间V到它自身的线性算子。若任意
都有
,则P是投影。
如果X是模糊Riesz空间,当
时,任意
,有
,称P是模糊正投影。模糊带投影是模糊正投影,即任意非负元素
,有
,
。若P是模糊带投影,对一些
,
存在
使得
,则称P是由这些
构成集合上的模糊正投影,记作B。B是模糊投影带,即
,
。
定理3.5设X是模糊Riesz空间,A是模糊理想,若P是A上的模糊正投影,则A是模糊投影带,且A有模糊带投影
,满足
。
证明:要证明A是模糊投影带,需证明
有分解
,其中
,
。对任意
,存在
,使得
。因P是模糊正投影,故
。假设
,则
。因A是模糊理想,
,所以
。下证
。令
,取
,所以
。因为
,并且
,所以
,
。
故
,A是模糊投影带。由分解是唯一的,所以
在A中的分解即为
,所以
。
定理3.6设
是具有模糊投影性的模糊赋范Riesz空间,则
有模糊序连续范数当且仅当P是范闭理想的模糊正投影。如果
是模糊Banach格且具有模糊序连续范数,则P是范闭理想的模糊正投影。
证明:假设
有模糊序连续范数,由定理3.1可知,每个模糊范闭理想都是模糊带。因
有模糊投影性可知每个范闭理想都是模糊投影带。假设A是模糊范闭理想,所以A是模糊投影带,
。对于任意
,存在
,使得
,所以P是A上的模糊正投影。另一方面,假设P是每个范闭理想的模糊正投影,由定理3.1可知每个模糊范闭理想是模糊投影带。所以
,即
有模糊序连续范数
由定理3.1可知每个模糊范闭理想是模糊投影带。
4. 模糊序连续算子
本节讨论了模糊赋范Riesz空间上模糊序连续算子的一些性质。
定理4.1假设
是模糊Riesz空间,F是模糊Dedekind完备的,则模糊理想
在
上模糊序稠。
证明:
显然成立,因此
。下面证明模糊序稠。假设模糊正算子
。因为T不是模糊序连续的,由参考文献 [19] 的引理3.6可知,存在模糊正算子S满足
,使得
不是模糊带。记
生成的模糊带为B,由参考文献 [18] 定理2.9可知存在模糊正算子R,使得在B上有
,在
上有
。显然
,
。另一方面,因为在
上有
,所以
。由文献 [8] 定理4.7可知
在X上模糊序稠,则R有零分解。
定理4.2假设
是模糊Riesz空间,并且F是模糊Dedekind完备的,
是模糊正算子,如果A是X中的模糊理想,则算子T在A上模糊序连续当且仅当
是模糊序连续算子。
证明:必要性。由参考文献 [18] 定理2.9可知,对任意
,有
成立。
因为在A上有
,所以当
模糊续连续时,有T在A上模糊续连续。
充分性。假设T在A上模糊序连续,下面证明
也模糊序连续。假设
,
。任取
,则在A上有
,在F上有
。因为
,所以对任意
,有
成立,所以
,即
,
是模糊续连续算子。
定理4.3假设X是模糊Riesz空间,并且F是模糊Dedekind完备的,G是被X控制的线性子空间,如果
是正的模糊序连续算子,则
是T从X到F的唯一模糊序连续扩张。
证明:因为G是X上被X控制的线性子空间,所以显然有
。假设
,
,则
。事实上,任意
,当
时,有
。由T的连续性可知
,
。假设
时,存在
使得
,
,则
。由上述讨论可得
。又因为
,
,故
。所以
是可加的。由文献 [19] 性质3.2可知,T可以从X扩张为F上的唯一模糊正算子。从而S是T的扩张。最后证明S是模糊序连续的。假设
,
,则
。由G在X上模糊序稠,所以
,
。所以
。
5. 结论
本文首先讨论模糊赋范Riesz空间上模糊序连续范数的一些性质,给出模糊
-理想的等价命题,然后给出了模糊理想是模糊投影带的必要条件。最后讨论了模糊赋范Riesz空间上模糊序连续算子的一些性质,且研究了模糊续连序算子的性质及研究模糊算子扩张。本文得到的结论可以逐渐丰富模糊赋范Riesz空间的理论。
基金项目
国家自然科学基金资助(11801458)。
NOTES
*通讯作者。