- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* 集 合 论 集合是数学中最基本的概念一,是现代数学的重要基础,并且已经深入到包括计算机科学与技术在内的各个科学领域中。 例如,在形式语言、数据库、有限状态机、开关理论等领域,都得到了卓有成效的运用。 第三章 集合 于19世纪70年代,康托(Cantor)创立了朴素集合论。 由于在定义集合的方法上缺乏限制,会导致悖论。 为避免悖论,由策墨勒(Zermelo)等人在20世纪初提出了公理化集合论。集合论至今仍在发展中。 3.1 集合概念 集合的古典定义:通过人的感知或思维可以明确区分的一些事物,构成一个整体,这个整体称为集合(set)。通常用大写字母A、B、X、Y … 表示。 组成集合的事物,称为集合的元素(element)。通常用小写字母a、b、x、y …表示。 一、集合与元素 a是集合A的元素,记作a?A, 表示a属于A。 a不是集合A的元素,记作a?A, 表示a不属于A。 补充说明: ①集合的元素可以相互区分, 集合中没有相同的元素 { a, a, e} = { a, e } ②集合的元素是没有次序的 { a, o, u } = { u, o, a } ③集合的元素既可以是具体事物, 也可以是抽象概念 ④集合可以作为另一个集合的元素, 以集合为元素的集合称为集合族 ⑤集合的元素之间,既可以有某种关 联,也可以没有关联 ⑥元素与集合的属于关系是确定的, 要么属于,要么不属于 (a?A) ? ?(a?A) 例: 26个英文字母 自然数 平面上所有点 C语言运算符 天津人 { {3},{2,5},{3,9} } {一辆车,一支笔,{1,2,3} } ① 显式法(枚举法): 元素之间用逗号分开,再用花 括号括起来。 例: A = { 1,2,3,… } 二、集合表示方法 ② 隐式法(谓词法): A = { x | P(x) } ,用谓词公式来确定集合,能使谓词公式为真的那些元素,确定了一个集合。 谓词公式描述了某个性质,满足该性质的那些元素,确定了一个集合。 例: N = { n | n是自然数 } ③ 特征函数法: (后面章节讲) Russell悖论:构造集合S,S={x|x?x}, 问:是S?S,还是S?S? 三、悖论 若S?S, ∵集合S中的元素均满足性质x?x, ∴S?S 若S?S, ∵满足性质x?x的元素均在集合S中, ∴S?S 理发师悖论:(Russell悖论的通俗化) 理发师只给村中所有不给自己理发的人理发,他是否给自己理发? 假设理发师给自己理发: 假设理发师不给自己理发? 1、相等(equal): 定义:两个集合是相等的,当且仅当它们有相同的元素。 四、集合之间的关系 设A和B是任意两个集合,若A和B相等,则记作A=B;若A和B不相等,则记作A?B。 一个集合完全由它的元素决定: { 1, 3, 5 } = { 5, 1, 3 } A = { x | x是整数 ∧ 7≤x≤9 } B = { x | (x–7)(x–8)(x–9)=0 } A = B A = { x | P(x) } B = { x | Q(x) } 如果 P(x)?Q(x),则A = B 2、子集(subset): 定义:设A和B是任意两个集合,如果集合A的每个元素,都是集合B中的一个元素,则称A是B的子集(或称B包含A),记为 A?B(或 B?A)。 例: { a,c,d } ? { a,b,c,d,e } { a,c,d } ? { a,c,d } 3、真子集(proper set) : 定义:设A和B是任意两个集合,如果 A?B 且 A?B ,则称A是B的真子集(或称B真包含A),记为A?B(或B?A)。 例: { a,c,d } ? { a,b,c,d,e } 4、不相交: 定义:设A和B是任意两个集合,如果 A和B没有公共元素,则称A和B是不相交的。 例: { a,b } 与 { c,d } 不相交 定理:两个集合相等的充要条 件是它们互为子集。 A=B ? A?B ? B?A 证: (1) 设 A=B : (2) 设 A?B ? B?A : 判定互为子集,是判定集合
您可能关注的文档
- 《高尔基体溶酶体》-精选课件(公开).ppt
- 《高二地理能源资源的开发 》-精选课件(公开).ppt
- 《(语文S版)六年级语文下册课件_理想的风筝_1》-精选课件(公开).ppt
- 《[创业][管理][技巧]处理反对意见》-精选课件(公开).ppt
- 《[电子书]十九种不良生活习惯》-精选课件(公开).ppt
- 《[中国模板网]计算机网络与信息安全》-精选课件(公开).ppt
- 《__8年制_GTD-鹿欣滋养细胞疾病(英文)、盆底费》-精选课件(公开).ppt
- 《_CCTV-MTV音乐盛典颁奖晚会推广方案》-精选课件(公开).ppt
- 《_东莞中原_淡市营销突围金点子》-精选课件(公开).ppt
- 《_新浪微博营销-公关公司分享案例》-精选课件(公开).ppt
最近下载
- 腹透腹膜炎的护理.pptx VIP
- 肌电图设备可行性报告.docx
- 网络短剧推广方案策划.pptx VIP
- 2020年中央空调市场报告-艾肯网.pdf VIP
- 人工智能赋能中学化学教学的探索.pptx VIP
- 高中化学新人教版必修一离子方程式正误判断及离子共存课件.ppt VIP
- 解放上海红色戏剧小品《我记得你,你就活着》台词剧本手稿.doc VIP
- 生成式人工智能应用实战课件 第7章 AIGC信息获取与数据分析.pptx VIP
- 2024—2025学年河南省开封高级中学高一上学期第一次月考物理试卷.doc VIP
- 2025下半年全国房地产经纪人考试(房地产交易制度政策)综合试题及答案.docx VIP
文档评论(0)