毛铭桦，顾秀秀

(江苏农牧科技职业学院, 江苏 泰州 225300)



L-模糊赋范空间中的三角形不等式

毛铭桦，顾秀秀

(江苏农牧科技职业学院, 江苏 泰州 225300)

摘要：通过讨论L-模糊赋范空间中L-模糊点的L-模糊范数, 得到了在L-模糊赋范空间中对于任意的L-模糊点三角形不等式也成立。

关键词：L-模糊赋范空间; 三角形不等式;L-模糊点

L-模糊赋范线性空间由Yan等[1]引进,文中仅对分子给出了三角形不等式。通过研究L-模糊点的L-模糊范数定义,我们得到了对于任意L-模糊点的三角形不等式也成立, 该不等式的建立对于进一步研究L-模糊赋范空间有重要意义。

1预备知识和引理

本文中L表示一个模糊格。L中的非零元λ称作不可约元, 如果满足λ=α∨β,则有λ=α或者λ=β,其中α,β∈L[2]。M(L)表示L中的所有不可约元的集合。M(L)中的元素也称作分子。β*(α)=β(α)∩M(L)称为α的标准极小族[2]。L称为是正则的, 如果L中任意一对非零元的交仍然是非零元。显然,如果L是正则的, 则1∈M(L)。本文假设L是正则的模糊格。M*(LX)表示LX中的所有不可约元。易知M*(LX)={xλ:x∈X,λ∈M(L)}。

定义1[1]设X是K上的向量空间。 一个从M*(LX)到R+的映射‖·‖称为一个L-模糊范数, 如果它满足以下条件：

(1)‖x1‖=0可推出x=θ；

(2)‖kxλ‖=|k|‖xλ‖,∀k∈K；

(3)‖xλ+yλ‖≤‖xλ‖+‖yλ‖,∀xλ,yλ∈M*(LX)；

如果‖·‖是X上的L-模糊范数, 则(X,‖·‖)称为L-模糊赋范空间。

推论1[3]：设λ,μ∈M(L)且λ≤μ, 则‖xμ‖≤‖xλ‖。

定义3[4]设a,b∈L,我们称a定向小于b, 记作a≪b, 若对每个上定向集S∈L,∨S≥b⟹∃x∈S使得x≥a。

推论2：由定义3,容易验证下面的结论成立：

(1)a≪b⟹a≤b；(2)a≪b,b≪c⟹a≪c；(3)a≪b≤c⟹a≪c；(4)a≪a。

引理[4]设a,b∈L,a≠b且a≪b,则存在c∈L,c≠a使得a≪c≪b。

3主要结论

定理1设L是完全分配格, λ,μ∈L, 如果μ∈β*(λ), 则μ≪λ。

证明：由定义3, 结论显然成立。

定理2如果α≪μ,μ∈β*(λ),则α≪λ。

证明：由μ∈β*(λ)可知μ≪λ。 根据推论2(2)可知结论成立。

定理3如果μ1≪λ,μ2 ≪λ,则μ1∨μ2≪λ。

证明：因为μ1≪λ,μ2≪λ，对每个上定向集A⊂L且满足∨A≥λ, 则存在α1,α2∈A使得α1≥μ1且α2≥μ2。……