1. 引言
模糊数学是一门研究模糊概念和模糊集合理论的学科,而泛函分析是研究赋范空间和度量空间的数学分支。模糊赋范Riesz空间是具有模糊结构和范数的Riesz空间。在实际应用中,模糊赋范Riesz空间可以用来描述一些模糊性质较强的问题,比如模糊逻辑和模糊决策问题。其理论和方法可以为处理这类模糊问题提供一种新的算法和工具。
自1965年,Zadeh [1] [2] 提出模糊集和模糊序的概念后,1984年,Katsaras [3] 引入模糊半赋范和模糊赋范线性空间的概念,并研究它们的一些基本性质。1992年Venugopalan [4] 系统讨论模糊序集的一些基本性质,如上(下)确界、幂等性、交换性、吸收性等,引入了模糊偏序集的概念。同年,Felbin [5] 引入一种模糊赋范线性空间,证明模糊赋范线性空间的有限维模糊子空间是完备模糊赋范线性空间。
1994年,Beg和Islam [6] 讨论了模糊Riesz空间中元素与其正部、负部、绝对值之间的运算关系,并研究了模糊Riesz分解性。1995年,Beg和Islam [7] 讨论了模糊序收敛的相关性质,并讨论了模糊序线性空间中元素上确界和下确界的相关等式。2003年,Bag和Samanta [8] 给出了线性空间上模糊范数的定义。建立了模糊范数的分解定理并研究了有限维模糊赋范空间的相关性质。2005年,Bag和Samanta [9] 引入模糊赋范线性空间上线性算子有界性概念,定义两类模糊有界线性算子(强算子和弱算子),并研究了模糊连续性与模糊有界性之间的关系。在模糊赋范线性空间中,证明了Hahn-Banach定理、开映射定理、闭图像定理和一致有界定理。2015年,Hong [10] 定义并研究了模糊Riesz子空间、模糊理想、模糊带和模糊带投影等概念。2018年,Park [11] 在模糊赋范Riesz空间中研究了模糊序列的一致有界性和收敛性,并证明了模糊Banach Riesz空间中格同态的Hyers-Ulam稳定性。2020年,Iqbal [12] 给出了模糊Riesz同构的条件。2021年,Guirao [13] 等人研究了模糊Riesz空间上模糊正算子绝对值的存在性,并讨论了模糊序有界线性算子的格运算公式。2022年,Bashir和Iqbal [14] 研究了模糊Banach格中的无界模糊范数收敛。
本文的结构如下:在第二节中,我们给出了与本文研究相关的一些定义和定理,以及相关结论。第三节是本文的主要结论,其中我们在模糊赋范Riesz空间中引入
-范数,给出弱模糊范数有界线性泛函的定义。讨论了模糊序有界线性泛函与弱模糊范数有界线性泛函之间的关系。在模糊Banach格上,模糊序有界线性泛函和弱模糊范数有界线性泛函是等价的。
2. 预备知识
定义2.1 [2] 设H是论域。H中的模糊关系如果满足以下条件:
(i) 假设
,则
(自反性);
(ii) 假设
,若
,则
(反对称性);
(iii) 假设
,则
(传递性)。
则称其为模糊偏序关系,其中
是
的模糊子集的隶属函数。若集合H存在模糊偏序关系
,则称H是模糊偏序集,记作
。
定义2.2 [4] 设
是模糊偏序集。若H的所有有限子集都有上确界和下确界,则称H是模糊格。若H的任意子集都有上确界和下确界,则H称为完备的模糊格。
定义2.3 [5] 设
是模糊序线性空间。若
也是模糊格,则
是模糊Riesz空间。
定义2.4 [10] 设
是模糊Riesz空间。H中所有正元素组成的集合称为H的正部,记为H+,且
。
定义2.5 [10] 假设
是模糊Riesz空间,Q是H的子空间,如果它满足以下两个条件:
(i)
当且仅当
;
(ii)对任意
,且
,有
。
则Q是H的模糊理想。
定义2.6 [10] 设
是模糊Riesz空间,B是H中的模糊理想。B是模糊带当且仅当
且
时,有
。设Q是H的子集。H中包含Q最小模糊带被称为由Q生成的模糊带,记作
。如果Q是单元集,即
(其中
),则
常写为
,并称
为由元素u生成的模糊正则带。
定义2.7 [10] 设
,
是模糊Riesz空间,
是线性算子。若
,有
,则称G是模糊正算子。
定义2.8 [12] 设
,
是模糊Riesz空间,
是正线性算子,则
(i) 当
是模糊序有界时,
是模糊序有界的,称G是模糊序有界算子;
(ii) 若在H中,可由
推得
,称G是模糊序连续算子;
(iii) 若在H中,可由
推得
,称G是模糊
-序连续算子。
定义2.9 [11] 设
是模糊Riesz空间。函数
称为H上的模糊Riesz范数,若对任意
,
。
(i) 当
时,有
;
(ii)
当且仅当对任意
,有
;
(iii) 若
,则
;
(iv)
;
(v)
是R上的一个非递减函数并且
;
(vi) 若
,则
在R上连续;
(vii) 当
时,
。
则称
是模糊赋范Riesz空间。
例子2.10 [11] 设
是赋范Riesz空间,定义:
则
是模糊赋范Riesz空间。
定义2.11 [11] 设
是模糊赋范Riesz空间。对任意序列
,如果对任意
,
存在
使得
,
,则序列
是模糊柯西序列。
定理2.12 [11] 设
是模糊赋范Riesz空间。对任意递增收敛序列
都有
(
),则
。
定义2.13 [9] 设
,
是模糊赋范线性空间,
是线性算子。G弱模
糊范数有界当且仅当对任意
,
,
,存在
,使得 当
时,有
。
3. 弱模糊范数有界线性泛函
本章我们在文献 [8] [9] 所提出的模糊赋范线性空间和模糊赋范Riesz空间的基础上,引入模糊
-范数,并给出模糊线性泛函的
-范数形式。证明在
-范数下
是模糊Banach格。最后讨论弱模糊范数有界线性泛函与模糊序有界线性泛函的关系。
定理3.1 [15] 设
是模糊赋范Riesz空间。
(viii) 对任意
,
,若
,则
。定义:
则
是H上的一个升序范数族。这个范数是H相对于模糊范数N的
-范数。
注解3.2 设
是满足条件(viii)的模糊赋范Riesz空间,则对任意
,当
时,
。
注解3.3 在模糊赋范Riesz空间中,模糊序列关于模糊范数的收敛性与关于模糊
-范数的收敛性相
同。即对任意
,
,有
当且仅当对任意
,有
。
注解3.4 定义函数
,
。通过证明N构成R上的模糊范数,可
以得到R是具有模糊范数N的Riesz空间。如果模糊赋范Riesz空间
满足条件(viii),则
定义3.5 设
是模糊赋范Riesz空间,
表示H上关于弱模糊范数有界的线性泛函的集合。设
,定义:
,
则
是
上的一个升序范数族。
定理3.6 设
是满足条件(viii)的模糊赋范Riesz空间,设
是H上的模糊线性泛函。则
是弱模糊范数有界当且仅当对任意
,存在
,使得
成立。
证明:根据文献 [9] 中定理3.8,如果我们考虑模糊赋范线性空间上的线性泛函,即使我们用模糊赋范Riesz空间代替这个空间,这个证明依然是成立的。
在模糊赋范Riesz空间中,每一个模糊收敛序列都是模糊柯西序列。如果每个模糊柯西序列都收敛,则称这个模糊赋范Riesz空间为完备空间,也称模糊Banach格。
定理3.7 设
是满足条件(viii)的模糊赋范Riesz空间,设
是H上的弱模糊范数有界线性泛函,则
是模糊Banach格。
证明:假设
是
中的模糊柯西序列,则对任意
,
,都有
,且存在
,使得对任意
及一切
,有
。
对任意
,有
(
),则序列
是R中的模糊柯西序列。注意到R是模糊Banach格,则存在
,使得
,
,且
(对任意
及一切
,都有
)。
给定
,当
时,
,且对一切
,有
。则对一切
,
,有
所以
。因此,
是模糊Banach格。
假设
,
是模糊Riesz空间,G是H到L的模糊正线性算子。
表示从H到L的所有模糊序有界线性算子的集合,
表示从H到L所有模糊序连续线性算子。此外,H上所有模糊线性泛函,记为
,即
。同样地,
。
定理3.8 [16] 设
是模糊Riesz空间,
是H上模糊线性泛函。则
是模糊序有界线性泛函当且仅当对任意模糊(相对)一致收敛于0的序列
,都有
。
引理3.9 设
是模糊赋范Riesz空间,设
是H上的弱模糊范数有界线性泛函,则
。此外,若
,则
。
证明:要证明
是模糊序有界的,则需证明
是有限的。由于
是
弱模糊范数有界的,则存在
,使得对任意
,使得
成立。
假设
满足条件
,则对任意
,有
。因此,
则
,由此可得
。
令
,
,则
。
相反地,对任意
,我们有
,
则
。由文献 [17] 中引理25.6知,对任意
,有
又由
,得
由文献 [13] 中定理1可知,
。因此,
。
定理3.10设
是模糊赋范Riesz空间,则
是
中的理想。
证明:在引理3.9中,我们已证得
是
的一个子空间,所以下面我们只需证明若
使得
,则
。由于
,对任意
,有
,并可由
推得
。因此,
。
下面我们将用一个例子来说明
中的理想
不是带。
例子3.11 设
是由所有模糊序有界序列组成的模糊Riesz空间,其中的理想
是由
组成,使得
仅对有限个l成立,其余为0。设
是H上正线性泛函,对任意
,
有
,则
。令
(
),则对任意m,有
和
。然而,
显然不存在
使得
成立,所以
。 因此,
不是
中的带。
定理3.12 设
是模糊赋范Riesz空间,若
是模糊Dedekind完备的,则
也是模糊Dedekind完备的,并且
中的模糊范数是模糊Riesz范数。此外,若
且
是一向上集,使得
成立,则有
。
证明:假设Q是
的非空子集,
是Q的上界。则
存在于
中(由于
是模糊Dedekind完备)。由
,可得
,则
是一个模糊的Dedekind完备Riesz空间。在引理3.9中,我们已证得对任意
都有
成立,且对任意
,当
时,有
,因此
中的模糊范数是模糊Riesz范数。
假设
是一个向上集满足
,
,则有
记
,有
所以
由于对任意
,有
,则
。
因此,
。
定理3.13 设
是模糊Banach格,则
。
证明:在引理3.9中我们已经得到
,则下面我们只需证明
中任意模糊线性泛函都属于
即可。首先,我们注意到任何模糊序有界的区间
都是模糊范数有界的。那么对任意
满
足
,则每一个
都有
。
假设
是模糊序有界线性泛函,但不是弱模糊范数有界的,则存在序列
,使得对一切n都有
。
注意到
,所以(用
代替
),令
,
对一切n都成立。因为
,所以
和
其中之一不会小于n2。因此,我们假设
,
且
(
)。
记
,我们有
,
,
(
)。假设
是单调递增序列,则有
即
。这说明
是H中的柯西序列。由于
是模糊Banach格,所以
是模糊范数收敛的,则
的模糊序极限存在并且等于模糊范数极限,记为y。因此,我们证明了所有的
都属于模糊序区间
。此外,由于
是模糊序有界线性泛函,我们可以得出结论,
也是在R上一个模糊序区间内,那么存在
,使得
成立,然而对一切n都有
,产生矛盾。因此,
是弱模糊范数有界的。
定义3.14 设
是模糊赋范Riesz空间。
具有模糊序连续范数当且仅当如果H的任意子集Q,当
时,对任意
,有
。
定理3.15 设
是具有模糊序连续范数的模糊Banach 格,则有
。
证明:在定理3.13中我们已证得
,则下面我们只需证明任意模糊序有界线性泛函是序连续的。为此,不妨设
且在
中
。由于
具有模糊序连续范数,则
,由此可得
即
是模糊序连续泛函。
4. 结论
我们在模糊赋范Riesz空间中研究了模糊序有界线性泛函与弱模糊范数有界线性泛函之间的关系:弱模糊范数有界线性泛函是模糊序有界线性泛函的理想,我们给出例子来说明弱模糊范数有界线性泛函与模糊序有界线性泛函的带并不完全相同。在模糊Banach格上,模糊序有界线性泛函和弱模糊范数有界线性泛函是等价的。