- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二篇 集合论 主要包括如下内容: 集合论基础 二元关系 函数 第三章 集合论基础 本章主要介绍如下内容: 基本概念及集合的表示方法 集合间的关系 特殊集合 集合的运算 包含排斥原理3-1 基本概念 1.集合与元素集合是个最基本的概念。集合:是由确定的对象(客体)构成的集体。用 大写的英文字母表示。这里所谓“确定”是指:论域内任何客体,要么 属于这个集合,要么不属于这个集合,是唯一确 定的。元素:集合中的对象,称之为元素。∈:表示元素与集合的属于关系。 例如,N表示自然数集合,2∈N,而1.5不属于N 写成?(1.5∈N), 或写成 1.5?N。 2. 有限集合与无限集合这里对有限集合与无限集合只给出朴素 的定义,以后再给出严格的形式定义。 有限集合:元素是有限个的集合。 如果A是有限集合,用|A|表示A中元素个 数。例如,A={1,2,3}, 则|A|=3。 无限集合:元素是无限个的集合。 对无限集合的所谓‘大小’的讨论,以后再 进行。 3.集合的表示方法列举法:将集合中的元素一一列出,写在大括 号内。 例如,N={1,2,3,4,……} A={a,b,c,d} 描述法:用句子(或谓词公式)描述元素 的属性。例如,B={x| x是偶数}C={x|x是实数且2≤x≤5} 一般地,A={x|P(x)}, 其中P(x)是描述元素x的特性的谓词公式,如果论 域内客体a使得P(a)为真,则a∈A,否则a?A。 4. 说明 ⑴集合中的元素间次序是无关紧要的,但是必须是可以区分的,即是不同的。例如A={a,b,c,a},B={c,b,a,},则A与B是一样的。 ⑵对集合中的元素无任何限制,例如令A={人,石头,1,B}, B={Φ,{Φ}} ⑶本书中常用的几个集合符号的约定:自然数集合N= {1,2,3,……}整数集合I,实数集合R,有理数集合Q ⑷集合中的元素也可以是集合,下面的集合的含义不同: 如a:张书记{a}:党支部(只有一个书记){{a}}:分党委(只有一个支部){{{a}}}:党委 (只有一个分党委){{{{a}}}}:市党委(只有一个党委) 3-2 集合间的关系 一.被包含关系(子集)1.定义:A、B是集合,如果A中元素都是 B中元素,则称B包含A,A包含于B,也称 A是B的子集。记作A?B。文氏图表示如右下图。例如,N是自然数集合,R是实数集合,则N?R 谓词定义:A?B??x(x∈A?x∈B) 2. 性质: ⑴有自反性,对任何集合A有A?A。 ⑵有传递性,对任何集合A、B、C,有A?B且 B?C ,则A?C。 ⑶有反对称性,对任何集合A、B,有A?B且 B?A ,则A=B。 二. 相等关系 1. 定义:A、B是集合,如果它们的元素完 全相同,则称A与B相等。记作A=B。 定理:A=B,当且仅当A?B且 B?A。 证明:充分性,已知A?B且 B?A,假设 A≠B,则至少有一个元素a,使得a∈A而 a?B;或者a∈B而a?A。如果a∈A而 a?B, 则与A?B矛盾。如果a∈B而a?A,则与 B?A矛盾。所以A=B。 必要性显然成立,因为如果A=B,则必有 A?B且 B?A。 谓词定义: A=B?A?B?B?A ??x(x∈A?x∈B)??x(x∈B?x∈A) ??x((x∈A?x∈B)?(x∈B?x∈A)) ??x(x∈A?x∈B) 2. 性质 ⑴有自反性,对任何集合A,有A=A。 ⑵有传递性,对任何集合A、B、C,如果 有A=B且 B=C ,则A=C。 ⑶有对称性,对任何集合A、B,如果有 A=B,则B=A。 三. 真被包含关系(真子集) ? 1. 定义:A、B是集合,如果A?B且A≠B, 则称B真包含A,A真包含于B,也称A是B 的真子集。记作A?B。 谓词定义:A?B?A? B?A≠B ??x(x∈A?x∈B)???x(x∈A?x∈B) ??x(x∈A?x∈B)(??x(x∈A?x∈B)???x(x∈B?x∈A)) ?(?x(x∈A?x∈B)???x(x∈A?x∈B))(?x(x∈A?x∈B)? ??x(x∈B?x∈A)) ? ?x(x∈A?x∈B) ? ?x(x∈B?x?A) 2. 性质 有传递性,对任何集合A、B、C,如果有 A?B且 B?C ,则A?C。 练习题:设A={a,{a},{a,b},{{a,b},c}}判断下 面命题的真值。 ⑴ {a}∈A⑵ ?({a}? A)⑶ c∈A⑷ {a}?{{a,b},c} ⑸ {{a}}?A⑹ {a,b}∈{{a,b},c} ⑺ {{a,b}}?A⑻ {a,b}?{{a,b},c} ⑼ {c}?{{a,b},c} ⑽ ({c}?A)?(a∈Φ) 3
您可能关注的文档
最近下载
- 小红书种草训练营课件.pdf VIP
- 西药二2017-孟定4月.docx VIP
- 西药综合:6月月考.docx VIP
- 干细胞治疗男性勃起功能障碍的进展与展望.pdf VIP
- 2025乡关于“十五五”时期重点领域发展的规划建议.docx VIP
- 培训课件 -公务礼仪商务礼仪培训-公务礼仪培训.pdf VIP
- 2025年江西省委党校在职研究生招生考试(管理学-文化管理方向)历年参考题库含答案详解(5卷).docx VIP
- 服装行业质量管理体系方案.docx VIP
- 西药综合:4月月考.docx VIP
- 2.3+中国主要的河流与湖泊+第3课时(教学课件)地理中图北京版2024八年级上册.pptx VIP
原创力文档


文档评论(0)