离散数学 特征函数与模糊子集.pptVIP

第三节 特征函数与模糊子集 有些概念没有明确的外延，称为模糊概念 可以用模糊集合论研究这类概念，这一节简要介绍模糊集合论的基本概念 模糊集合论是美国学者L. A. Zaden在1965年创立的。在模糊集合论中，用隶属函数表示模糊子集。隶属函数模仿了可以表示集合的特征函数。 第三节 特征函数与模糊子集 第三节 特征函数与模糊子集 特征函数 第三节 特征函数与模糊子集 第三节 特征函数与模糊子集 第三节 特征函数与模糊子集 第三节 特征函数与模糊子集 第四节 基数的概念 自然数集合的引入--为比较两个集合的“大小”，确定有限集和无限集的概念 第四节 基数的概念 自然数集合的引入--为比较两个集合的“大小”，确定有限集和无限集的概念 第四节 基数的概念 也可以这样表述—定义： 第四节 基数的概念 自然数集合概括为公理形式(G. Peano公理) 第四节 基数的概念 自然数集亦可不从0开始--只要定义空集为1，则自然数集就从1开始 从上述定义可以看到任意一个自然数可看作是一个集合的名 任意自然数，例如3这个概念是从观察许多只含三个元素的集合的共同特点而加以抽象概括出来的， 第四节 基数的概念 第四节 基数的概念 下面看几个例子 例题1 验证自然数集N与非负偶数集合M是等势的 证明 因为N与M的元素之间可作一一对应的映射，即 f(n)=2n 故自然数集N与非负偶数集合M是等势的 第四节 基数的概念 第四节 基数的概念 定理4-4.1 在集合族上等势关系是一个等价关系。 第四节 基数的概念 定义4-4.4 如果有一个从集合{0,1,2,…,n-1}到A的双射函数，那么称集合A是有限的，如果集合A不是有限的，则它是无限的。 第四节 基数的概念 一切与集合A等势的集合，其元素间存在一一对应，由此引出基数的定义 第四节 基数的概念 如果两个集合能够建立双射函数，则两集合元素间必一一对应 从基数的定义可知该两集合应具有相同的基数 第四节 基数的概念 例题3 证明区间[0，1]与(0，1)基数相同 第四节 基数的概念：小结 第四节 基数的概念：小结 *离散数学-lecture17 * 对于特征函数进行推广可以导出模糊子集的概念 定义4-3.1 令E是全集，A是E的子集，A?E，由 定义的函数?A:E→{0,1}，称为集合A的特征函数。 设E={x1,x2,…,xn}，我们可以将E的任一子集A表示为 A: {x1, ?A(x1), x2, ?A(x2), …， xn, ?A(xn)} 当?A(xi)=1时， xi∈A 当?A(xi)=0时， xi?A 如果我们将?A(xi)的取值范围不局限于0和1，而是取0和1之间的任何数，例如： 对A*可以作如下解释：它表示x1是少量地属于A*，x2是不属于A*，x3也是少量地属于A*（但是比x1稍多），x4必定属于A*，x5则基本上属于A*。这样的集合A*就是一个模糊子集，其中0.2,0.3,0.8,…分别称为该集合中对应元素的隶属程度。 ~ 定义4-3.2 给定论域E，指定E上的一个模糊子集A是指对任意x∈E都有一个隶属程度?=?A(x)(0≤?≤1)与它对应，称?A(x)为A的隶属函数。 ~ ~ ~ 从模糊子集地定义可以看出，当?A(x)只取0,1两值时，A便成为普通子集。 ~ ~ 例2 以年龄作论域，取U=[0,100]，”年老”与”年轻”这样两个模糊概念可以分别用两个模糊子集O与Y来表示，它们的隶属函数分别定义为 ~ ~ 从这个例子中，可以看到在论域上确定模糊子集，主要的是需定出隶属函数，即确定恰当的表示模糊特征的那个特征函数。 定义4-4.1 给定集合A的后继集A定义为集合：A+=A∪{A}。 若A为空集?，则后继集为?+，(?+)+，((?+)+)+，…，这些集合可写成如下形式： ?∪{?}， ?∪{?}∪{?∪{?}}， ?∪{?}∪{?∪{?}}∪{?∪{?}∪{?∪{?}}}，…。 可简化为{?}，{?,{?}}， {?,{?},{?,{?}}}， …。 若我们命名集合?为0，那么， ?+= 0+={?}=1 1+= {?,{?}}=2 2 +={?,{?},{?,{?}}}=3 这样就得到了自然数集合{0,1,2,3,…} 0没有元素，1有一个元素，2有两个元素，所以，这样定义自然数是合理的 很容易定义自然数间的大小关系。从上述定义可以看到任意一个自然数可看作是一个集合的名 集合0= ?是一个自然数。若集合n是一个自然数，则集合n+1=n+也是一个自然数。 0= ? 1= 0+=0∪{0}={0} 2= 1+=1∪{1}={0,1} 3= 2+=2∪