Fuzzy 群的几个等价定义

本文将要用到〔3〕中引入的若干概念,为叙述方便,简列于后。集X 到〔0,1〕的一个函数A 称为X 的一个fuzzy 子集;X_1={x∈X|A(x)>0)称为A 的承集。x_λ称为X 上的fuzzy 点;若x_λ(a)={λ当a=x 0 当a≠x a∈X;点x 叫它的承点。x_λ∈A 即0<λ≤A(x);x_λ=y_μ即x=y 且λ=μ;x_λ(?)y_μ即x=y 且λ≤μ。“(?)”是fuzzy 子集A 上的运算:(?)a_λ,b_μ∈A,存在唯一c、∈A,记作a_λ(?)b_μ=c_(?),使当a_(λ′)(?)a_λ,b_(μ′)(?)b_μ时,a_(λ′)(?)b_(μ′)(?)a_λ(?)b_μ,称“(?)”为A 的广义积。当v=min(λ,μ)时,记a_λ(?)b_μ=c_ν为a_λb_μ=c_ν,称为A 的狭隘积,以下仅讨论这种狭隘积。