第三章 集合论基础

第三章 集合论基础

ID:18041562

大小:562.50 KB

页数:86页

时间:2018-09-13

第三章 集合论基础_第1页
第三章 集合论基础_第2页
第三章 集合论基础_第3页
第三章 集合论基础_第4页
第三章 集合论基础_第5页
资源描述:

《第三章 集合论基础》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、第三章聚类分析第一节集合论基础第二节模糊集合的基本知识第三节模糊聚类分析第四节动态聚类分析第五节系统聚类分析第一节集合论基础集合论是进行系统分析的重要理论基础。尤其是其中许多概念,方法等,在系统分析中有哲广泛的应用。因此介绍有关集合论的基础知识,对深刻理解和掌握系统工程的基本理论和方法有着重要意义。一几个逻辑运算符号以上三个运算符号被广泛应用。下面用真值表来说明它们的物理意义。设P、Q为两个逻辑变量其取值为:则、∧、∨真值表如表3-1所示。表3-1、、、真值表由表3-1可知:逻辑非()具有反意词的意义。如P代表学

2、生,则P表示不是学生;逻辑与(∧)、逻辑或(∨)代表两个逻辑变量的运算结果。对于逻辑与(∧)来讲,当P、Q同时为T时,P∧Q为T,否则为假(F)。对逻辑或(∨)来讲,则P与Q至少有一个为T,P∨Q为T,否则为(F)。 对真值表的理解,从简单的开关电路中看的更为清楚。设P、Q代表两个电源开关,开关关上为T,打开为F。电路的灯泡则代表逻辑与(∧)和逻辑或(∨),电灯泡亮为T,不亮为F。显然,图3-1开关串联电路中的灯泡亮与不亮则表示逻辑与(∧)的取值,图3-2的开关并联电路中的灯泡亮与不亮则表示逻辑或(∨)的取值。PQPQ

3、图3-1开关串联电路图3-2开关并联电路PQPQ4.条件语句 条件语句是表示逻辑变量之间,或等式之间相互因果关系的一种表达形式,分为单向条件语句和双向条件语句。(1)单向条件语句记成“PQ”,读作有P必有Q。若P为T,且有Q为T,则单向条件语句成立,PQ=T;反之若P为T,而Q为F,则条件语句不成立,PQ=F。(2)双向条件语句记成“PQ”,读作有P必有Q,有Q必有P。若P为T(F),且有Q为T(F),则双向条件语句成立,PQ=T;若P为T(F),而Q为F(T),则条件语句不成立,PQ=F。同样,条件语句的物

4、理意义也可用真值表说明,见表3-2。表3-2条件语句真值表5.量词在数学描述式中,特别是在集合论中,经常用到下面两个量词:(1)万有量词,可读成“全部”、“所有”、“一切”…。如∈,等。(2)存在量词,可读成“总有”、“至少有”…。如,读成至少一个属于,而不属于。二普通集合的基本概念1.集合与元素当我们把一群确定的事物当作整体来考察时,则该整体就叫作集合,或简称集。例如某学校的全体教职员工可视为一个集合;全体教职员工、教学实验设备等也可视为一个集合,习惯上,我们常用大写字母A、B、C、D…表示集合,集合中的每一个具体

5、事物叫做这个集合的元素(或简称元),并用大括号括起来,以表示是一个整体。集合的元素一般用小写字母a、b、c、d…来表示。例如已知集合A为A={a1,a2,…,an}说明集合A中含有n个元素。我们又定义集合中元素的个数叫集合的势或基数,记|A|=n。当集合中的元素为有限个时,叫有限集合,集合中的元素为无限时叫无限集合。 元素与集合的关系不是属于关系就是不属于关系,二者必居其一。 若a是集合A的一个元素,即a属于A,记为a∈A,若a不是集合A的一个元素,即a不属于A,记为aA。 上述元素与集合的关系可用特征函数来描述,即2.

6、集合的表示方法集合的表示方法有多种多样。就给定的集合来讲,一般有三种表达形式:(1)列举法指把集合中的所有元素一一列举出来的方法。如A={1,2,3,4},B={b1,b2,b3}等。(2)趋势法这种表达方法仅适用于集合中元素的排列具有某种规律性,此时只需列举出有限个元素,其余元素可用省略号“……”表示。例如:A={…,-1,0,1,2,…}B={a1,a2,…,an}(3)描述法又称谓语语句法,这是一种广泛应用的集合表示方法。其一般表达式如下A={x

7、p(x)}式中:x-表示集合元素;p(x)-作为谓语,用以说明x是什么

8、,或在什么范围内变化。例如:A={x|1≤x≤2}这里p(x)是说明集合A的元素是由〔1,2〕闭区间全体实数组成的。又如: 此集合与完全等价。3.集合的包含与相等包含关系是用来描述集合与集合之间关系的一种表示方法。设有A、B二集,如果属于A的元素全部属于B,则A称作B的一个子集,或说集B包含集A,记成AB,或BA。其数学描述如下:一个集合A称为B的真子集,则A与B的关系叫真包含关系,记成AB。其数学描述如下:例如:A={a,b},B={a,b,c},则有AB。根据包含关系,我们可定义两个集合相等的关系式,即(3-

9、3)如果两个集合存在着包含关系的话,不是相等关系,就是真包含关系。(3-3)式则是全面反映了这两种关系。注意:对于两个相等的集合还有以下两个性质:(1)重复元素没有意义,即A={1,2,2,4}={1,2,4} (2)同一集合不同表达形式当然相等。例如:A={x

10、x(x-1)=0},B={0,1}则A=

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。