关于t-模糊子半群度的一些结论.docxVIP

关于t-模糊子半群度的一些结论

摘要：本文深入研究了t-模糊子半群度的相关性质和结论。通过引入基于一般t-模的模糊子半群度的概念，详细讨论了其基本特性，并给出了一系列相关的重要结论，丰富了模糊代数的研究内容。

一、引言

1965年，Zadeh首次提出模糊集的概念，为数学领域开辟了新的研究方向。随后，模糊代数作为模糊数学的重要分支逐渐发展起来。1971年，Rosenfeld引入模糊子群的概念，标志着模糊代数研究的正式开始。此后，模糊子半群等相关概念也相继被提出和研究。2010年，Shi首次对模糊子群进行了度量化定义，开启了对模糊子群度的研究。但Shi的工作仅局限于T=min的情况。随后，郝晓琳等在左连续t-模的条件下研究了模糊子群度的基本性质。与此同时，冯娟给出了基于一般t-模的模糊子半群度的概念及其相关性质。本文将在这些研究的基础上，进一步深入探讨t-模糊子半群度的相关结论。

二、预备知识

（一）模糊集的基本概念

设S是非空集合，映射A:S\rightarrow[0,1]称为S的模糊子集。对于任意x\inS，A(x)称为x对A的隶属度。设A和B是半群S的两个模糊子集，定义如下运算：

并运算：(A\cupB)(x)=\max\{A(x),B(x)\}，\forallx\inS。

交运算：(A\capB)(x)=\min\{A(x),B(x)\}，\forallx\inS。

乘积运算：(A\cdotB)(x)=\sup_{y,z\inS,x=yz}\{t(A(y),B(z))\}，其中t是t-模。

（二）t-模的定义与性质

t-模t:[0,1]\times[0,1]\rightarrow[0,1]是满足以下条件的二元运算：

交换律：t(a,b)=t(b,a)，\foralla,b\in[0,1]。

结合律：t(t(a,b),c)=t(a,t(b,c))，\foralla,b,c\in[0,1]。

单调性：若a_1\leqa_2且b_1\leqb_2，则t(a_1,b_1)\leqt(a_2,b_2)，\foralla_1,a_2,b_1,b_2\in[0,1]。

边界条件：t(1,a)=a，\foralla\in[0,1]。

常见的t-模有最小t-模t_{\min}(a,b)=\min\{a,b\}，乘积t-模t_{\Pi}(a,b)=a\cdotb，Lukasiewiczt-模t_{L}(a,b)=\max\{a+b-1,0\}等。

（三）模糊子半群的定义

半群S的模糊子集A称为S的模糊子半群，若对于任意的x,y\inS，有A(xy)\geqt(A(x),A(y))。

三、t-模糊子半群度的概念

定义1：设A是半群S的模糊子集，定义A的t-模糊子半群度为

d_t(A)=\inf_{x,y\inS}\{I(t(A(x),A(y)),A(xy))\}

其中I是蕴含算子，对于a,b\in[0,1]，I(a,b)=\sup\{c\in[0,1]|t(a,c)\leqb\}。

（一）蕴含算子的性质

蕴含算子I具有以下性质：

若a_1\leqa_2，则I(a_1,b)\geqI(a_2,b)，\foralla_1,a_2,b\in[0,1]。

若b_1\leqb_2，则I(a,b_1)\leqI(a,b_2)，\foralla,b_1,b_2\in[0,1]。

t(a,I(a,b))\leqb，\foralla,b\in[0,1]。

I(1,b)=b，\forallb\in[0,1]。

（二）t-模糊子半群度的取值范围

定理1：对于半群S的任意模糊子集A，d_t(A)\in[0,1]。

证明：因为对于任意x,y\inS，t(A(x),A(y)),A(xy)\in[0,1]，根据蕴含算子I的定义，I(t(A(x),A(y)),A(xy))\in[0,1]。又因为下确界是这些值的最大下界，所以d_t(A)=\inf_{x,y\inS}\{I(t(A(x),A(y)),A(xy))\}\in[0,1]。

四、t-模糊子半群度的基本性质

（一）模糊子集与t-模糊子半群度的关系

定理2：设A是半群S的模糊子集，A是S的模糊子半群当且仅当d_t(A)=1。

证明：

必要性：若A是模糊子半群，则对于任意x,y\inS，A(xy)\geqt(A(x),A(y))。根据蕴含算子I的性质，当b\geqa时，I(a,b)=1。所以对于任意x,y\inS，I(t(A(x),A(y)),A(xy))=1，从而d_t(A)=\inf_{x,y\inS}\