1. 引言
二十世纪六十年代Zadeh发表了名为《Fuzzy Sets》 [1] 的论文,从而宣告模糊数学的诞生,提出了模糊集的概念,创造了研究模糊性或不确定性问题的理论方法。随后他在文献 [2] 中,通过自反性、反对称性和传递性提出了模糊序关系的概念。1992年,P. Venugopalan [3] 开始对模糊序集进行系统研究。随后,Beg和Islam [4] [5] [6] [7] 研究了模糊Riesz空间、模糊序线性空间、s-完备模糊Riesz空间和模糊Archimedean空间。之后越来越的学者开始对模糊Riesz空间中的性质进行探索和研究。2015年,Liang [8] 在参考文献 [4] [5] [6] 的基础上进一步定义了模糊理想、模糊带、模糊 Riesz子空间、模糊投影带等概念。随后Iqbal [9] 等人定义并研究了无界模糊序收敛及一些应用并证明了模糊Dedekind完备的存在性。2021年,Cheng和Chen [10] 研究了模糊Riesz空间中的模糊Riesz同态,给出模糊Riesz同态与模糊商空间之间的关系。Cheng等 [11] 给出当值域空间为模糊Dedekind完备Riesz空间时Hahn-Banach定理的推广。2022年,J.J. Zhao [12] 讨论了模糊投影带,并给出模糊序基的定义。2023年,Shailendra [13] 讨论了一般模糊算子的刻画,引入基于t-范数、t-余范数和蕴含算子的L-模糊算子,并建立它们的联系。模糊序基和模糊不交系统是在模糊序稠密性质的基础上在模糊Riesz空间中非常重要的性质,它们更好地刻画了模糊Riesz空间的结构,同时也是对模糊序稠密性质的拓展。通过对模糊序基和模糊不交系统的研究,总结出了特定条件下的模糊Riesz空间所具有的某些性质。如若L是模糊Archimedean Riesz空间,则L中的模糊极大不交系统都是模糊不交序基。若L中存在有限或可数的模糊序基,则L中的每个模糊投影带都有有限或可数的模糊序基。使得模糊Riesz空间中模糊Dedekind完备、模糊序可分、模糊投影等性质间的联系更加紧密。
2. 预备知识
定义2.1 [3] 设X是论域,模糊关系
满足如下条件时:
(1) 假设
,则
;(自反性)
(2) 假设
,当
,则
;(反对称性)
(3) 假设
,则
。(传递性)
则称
是模糊偏序关系,其中
是
中模糊子集的隶属函数。若集合X中存在模糊偏序关系
,则称X是模糊偏序集,记为
。
定义2.2 [5] 设
是模糊偏序集。若X的所有有限子集都有上确界和下确界,则称X是模糊格。若X的任意子集都有上确界和下确界,则X称为完备的模糊格。
定义2.3 [5] 若X是线性空间,且X中存在模糊偏序关系
满足以下两个条件:
(1) 若
且
,对
,有
;
(2) 若
且
,对
,有
。
则称X是模糊序线性空间,记为
。
定义2.4 [4] 如果模糊序向量空间
是模糊格,则称其为模糊Riesz空间。
定义2.5 [4]
假设是模糊Riesz空间,D是E的向量子空间,若
,有
且
,称D是E的模糊Riesz子空间。
定义2.6 [7] 假设
是有向模糊序向量空间。如果对于任意非负元素
,集合
是无上界的,则称X是模糊Archimedean空间。
定义2.7 [8] 假设
是模糊偏序集,序列
属于X。若当时,有
,则称
序列
是递增的,记作
。特别地,如果
存在,就记作
。同样的,若当
时,有
,则称序列
是递减的,记作
。特别地,如果
存在,就
记作
。
定义2.8 [8] 假设
是模糊Riesz空间,D是E的子空间,如果它满足以下两个条件:
(1)
当且仅当
;
(2) 对任意
,且
,有
。
则称D是E的模糊理想。
定义2.9 [8] 假设
是模糊Riesz空间,D是E的子集,若E中存在包含D的最小模糊理想,即为由D生成的模糊理想,可记作AD。
定义2.10 [8] 假设
是模糊Riesz空间,
,当
中存在另一序列
满足
且
,则称
模糊序收敛于x,且
,记做
,同时也称x是序列
的模糊序极限。
定义2.11 [8] 假设
是模糊Riesz空间,S是E的子集。
(1) 如果所有
(
)都有
,则称S是模糊序闭的。
(2) 如果所有
(
)都有
,则称S是模糊
-序闭的。
定义2.12 [8] 假设
是模糊Riesz空间,I是E中的模糊理想。
(1) 如果I是模糊序闭的,则称I是E中的模糊带。
(2) 如果I是模糊
-序闭的,则称I是E中的模糊
-理想。
表示包含I的最小的模糊
-理想。
定义2.13 [8] 假设
是模糊Riesz空间,则:
(1) 如果任意元素
满足
,则称f与g不交,记作
;
(2) 假设S是E的子集,如果任意
,存在
使得
,则称f与S不交,记作
;
(3) 假设
是E的子集,如果任意
满足
,则称两个集合不交,记作
。
定义2.14 [4] 假设
是模糊Riesz空间,
。如果
,则称
是x的正部;如果
,则称
是x的负部;如果
,则称
是x的绝对值。
定义2.15 [4] 假设
是模糊Riesz空间,且
,则称
是D的模糊不交补,
是
的模糊不交补,且
。如果
,则
。
性质2.16 [4] 假设
是模糊Riesz空间,D是E的子集,则下式成立:
(1)
;
(2)
;
(3)
;
(4) 如果
,则
;
(5)
是E的模糊理想;
(6) 如果D是E的模糊理想,则对任意非零
存在非零元素
使得
。
定义2.17 [8] 假设
是模糊Riesz空间且
。若
,
则称I是由f生成的正则模糊理想,记为
。若模糊带B是由I生成的模糊带,则称B是由f生成的正则模糊带,记为
。
定义2.18 [8] 假设
是模糊Riesz空间,则:
(1) 如果E中每个具有上界的非空子集都拥有上确界,则称E是模糊Dedekind完备的。
(2) 如果E中每个具有上界的可数非空子集都拥有上确界,则称E是模糊Dedekind
-完备的。
定义2.19 [8] 假设
是模糊Riesz空间,则:
(1) 若E中的模糊带B满足
,则称B为模糊投影带;
(2) 若E中的任意模糊带B均满足
,则称E具有模糊投影性质;
(3) 若只有当B是正则模糊带时才满足
,则称E具有模糊正则投影性质。
定义2.20 [8] 假设
是模糊Riesz空间,若E中每个拥有上确界的集合都包含一个拥有相同上确界的有限或可数子集,则称E是模糊序可分的。
3. 模糊Riesz空间中的模糊序基和模糊不交系统的性质
定义3.1假设
是模糊Riesz空间,A是E中的模糊理想,
(
是指标集)是由A中的元素组成的集合。
(1) 当
生成的模糊理想在A中是模糊序稠密的,则称该集合为A的模糊序基。
(2) 当
生成的模糊理想在A中是模糊quasi序稠密的,则称该集合为A的模糊quasi序基。
性质3.2 假设
是模糊Riesz空间。
(1) A是由E中的元素f生成的正则模糊理想或正则模糊带,则只包含f的集合是A的模糊序基。
(2) 模糊理想A的任意模糊序基是A的模糊quasi序基。
(3) 若模糊理想A的每个模糊quasi序基都是A的模糊序基,则E是模糊Archimedean Riesz空间。
性质3.3 假设
是模糊Riesz空间,A是E中的模糊理想,BA是由A生成的模糊带。则A的任意模糊quasi序基也是
的模糊quasi序基,因此也是BA的模糊quasi序基。A的任意模糊序基都是BA的模糊序基。
性质3.4 假设
是模糊Riesz空间,A是E中的模糊理想。如果模糊理想A有一个可数模糊序基
,则
也是A的模糊序基。因此
是
A的模糊序基,且
。
性质3.5 假设
是模糊Riesz空间。如果
,且u是由v生成的正则模糊带中的元素,则
。
性质3.6 假设
是模糊Riesz空间,则在E中由可数集生成的模糊
-理想等同于其生成的模糊带。每个拥有有限或可数序基的模糊
-理想是一个模糊带。
定理3.7 假设
是模糊Riesz空间。如果E中的某个有限或可数的集合
满足
且
,
是由这个集合生成的模糊带,则任意
,都满足:
。
证明:设
是由集合
生成的模糊理想。根据模糊带的定义,任意
满足:
。
假设
,
,
显然,
。为了证明u也是W1和W2的上确界,只用证明W2的上界是W的上界。对于任意
的
,满足
。由模糊理想的定义知,存在某个自然数k和vm使得
,
。
因此
,
进一步可得
,
所以W1的上界也是W的上界,证毕。
定义3.8 假设
是模糊Riesz空间,且具有模糊投影性质,B是E中的模糊投影带。若
,且
,有
,
,则称f1是f在B中的component,f2是f在
中的component。
定理3.9 假设
是模糊Riesz空间,且E是模糊Dedekind
-完备的或者是具有模糊投影性质的。
再假设L中有集合
满足
且
,令
是由这个集合生成的模糊带。则
是模糊投影带,并且对于任意的
,在
中的component u1满足:
。
证明:设
是
生成的模糊理想,令
,
,
。定理4.1.7已经证明W、W1、W2有相同的上界。再设
,很明显
,因此W3的上界也是W的上界。又因为W3中
的元素是W中的元素集合的上确界,所以W的上界同时也是W3的上界,故W、W1、W2、W3有相同的上界。
假设L具有模糊投影性质,则
是一个模糊投影带。由性质4.1.5知,
。若L是模糊Dedekind
-完备的,则
存在,且
也存在。因此
是一个模糊投影带且
,故
,证毕。
定义3.10 假设
是模糊Riesz空间,若集合
是由E中互不相交的非零元组成的,则此集合称作E中的一个模糊不交系统。若集合
同时还是E的模糊quasi序基,则其称作E的模糊极大不交系统。
定义3.12 假设
是模糊Riesz空间,若集合
是E中的一个模糊不交系统,且此集合还是E的模糊序基,则其被称作E的模糊不交序基。
定理3.13 假设
是模糊Riesz空间,则E中的每个模糊不交序基都是模糊极大不交系统。若E是模糊Archimedean Riesz空间,则E中的模糊极大不交系统都是模糊不交序基。
证明:假设模糊Riesz空间E中E存在模糊不交序基
,则
是E的模糊序基,故
是的模糊quasi序基。因此
是E的模糊极大不交系统。若E是模糊Archimedean的,且设
是
生成的模糊理想,
是
生成的模糊带。因
是E的模糊quasi序基,则
在E中是模糊quasi序稠密的,故
。由于E是模糊Archimedean的,则
[9] ,故有
。从而
在E中是模糊序稠密的,
是E中的模糊不交序基。由此证得E中的模糊极大不交系统同时也是模糊不交序基。
定理3.14 假设
是模糊Riesz空间,且E具有模糊正则投影性,
是E中的一个有
限或可数的模糊序基,满足
且
,则E中存在某个有限或可数的模糊不交序基
,使得对于每个n,都存在
(
)生成的模糊带和vn生成的模糊带是相同的。
证明:当
时,假设
是vn在由
产生的带上的component,且令
,
(
)。由于E具有模糊正则投影性,则
生成的带都是模糊正则投影带,故
与un是不交的。因此
是E中的一个模糊不交序基,且生成的模糊带与vn生成的模糊带相同。由于
中可能会存在零元,去掉零元再重新排序后得到满足条件的新集合
,证毕。
定理3.15 假设
是模糊Riesz空间,若E中存在有限或可数的模糊序基,则E中的每个模糊投影带都有有限或可数的模糊序基。
证明:设
是E中的模糊序基,且
,A是E中的模糊投影带。令
(
,
),接下来证明
是A的一个模糊序基:
由定理4.1.7知,任意的
均满足:
。
如果
,则
。因此
,
故可得
。
这便证明了每个
都是
所生成的模糊带中的元素,从而
且
包含
在这个模糊带中。很明显
生成的模糊带是包含在A中的,因此A就是由
生成的模糊带。故
是A的模糊序基,证毕。
定理3.16 假设
是模糊Riesz空间,A是E中的模糊正则理想。若A中的模糊理想都有可数的
模糊quasi序基,则E具有如下性质:对于任意满足
且
的有向集
和满足
的任意
,在
中存在递增的子列
满足
且
。
证明:假设
且
,存在
满足
。令
,
表示由
生成的模糊理想,
表示由u生成的模糊正则理想。由于
,
于是
。结合
且
和
,得到
且
。
因此u是
中的元素,所以
,故
在
中是模糊序稠密的。由假设可知,模糊理想
有可数的模糊quasi序基。令
是
的一个模糊quasi序基,且假设
且
。因
,故存在某个大于零的自然数
和某个
中的元素
满足:
。
令
,由于
是递增序列,故
也是递增的。令
,则
是递减的,且
。
又因
,故
。
假设
,则
,且
,
故
,从而得到
,因此
。
由
可得
,
,
再由
可知
,
因此可得
。
证毕。
定理3.17 假设
是模糊Archimedean Riesz空间,A是在L中模糊序稠密的任意模糊理想。若A在L中是模糊super序稠密的,则对于L中的任意模糊不交系统
和任意的
,有
。
证明:给定L中的模糊不交系统
和元素g,用
表示由
生成的模糊正则理想,
表示由
生成的模糊理想。由模糊理想的定义知,每个
都满足
。因为L是模糊Archimedean的,所以
在L中是模糊序稠密的,且
。
由于L中的每个序稠密理想都是super序稠密的,故在
中存在一组序列
满足
且
。
每个
都可分解为有限和
。
由于
是不交系统,从而
成立(除了不符合的有限多个
)。特别地,
成立(除有限个
),因此这有限多个
满足
,
又
,故
。
从而
,证毕。
定理3.18 假设
是模糊Archimedean Riesz空间,A是L中拥有可数模糊序基的任意模糊理想。若每个由
中的元素组成的具有上界的模糊不交系统都是有限或可数的,则A中的模糊理想都有可数或有限的模糊序基。
证明:假设A是L中拥有可数模糊序基
的模糊理想,B是包含在A中的模糊理想,且
。由定理4.2.3知,B有一个模糊极大不交系统
,且假设
。则对于任意固定的n,有
,
从而
是一个以
为上界的不交系统,且由假设
是有限或可数的,因此
是有限或可数的。对于每个
,有
,
故
,
从而
是一个有限或可数的不交系统
。L是模糊Archimedean的,故B中的模糊极大不交系统是B的模糊序基。因此
是B的一个有限或可数的模糊序基。
定理3.19 假设
是模糊Archimedean Riesz空间,A是L中的任意模糊正则理想。若A中的模糊理想都有一个可数或有限的模糊序基,则L是模糊序可分的。
证明:假设
,
。由定理4.2.6知,对每个固定的自然数m,存在序列
,有
。
接下来证明
。
假设对任意的
都满足
,
由于
,
从而
。
又因L是Archimedean的,故
,因此
。综上所述,对每个
,存在子列
满足
,即L是模糊序可分的,证毕。
定理3.20 假设
是模糊Archimedean Riesz空间,A是L中的模糊理想。若A是模糊序可分的且在L中是模糊序稠密的,则L也是模糊序可分的。
证明:结合模糊序稠密和模糊super序稠密的定义知,若在L中是模糊序稠密的模糊理想都满足在L中是模糊super序稠密的,则L是模糊序可分的。假设B是在L中模糊序稠密的模糊理想,则
是在A中模糊序稠密的模糊理想。由假设A是模糊序可分的,从而
在A中是模糊super序可分的。又因A在L中是模糊super序稠密的,故
在L中是模糊super序稠密的,证毕。
4. 结论
本文给出了模糊Riesz空间中的模糊序基和模糊不交系统的定义并讨论其基本性质。首先讨论了由可数集
生成的模糊带中元素的刻画。其次讨论了若Archimedean Riesz空间中模糊序稠理想是模糊super序稠的,则不交系统具有的一些基本性质。最后给出了模糊Archimedean Riesz空间中模糊理想具有可数或有限的模糊序基的条件,给出了模糊Archimedean Riesz空间模糊序可分的条件。