- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
06-L01 集合与元素
离散数学基础
离散数学基础
2017-11-19
• 集合
− 集合是由一些可相互区分的客观对象汇集在一起构成的一个整体。这些对象称
为构成集合的元素。
− 可选择的理解是:“将具有某种特征或满足一定性质的所有对象或事物视为一
个整体时,这一整体就称为集合,而这些事物或对象就称为属于该集合的元
素。”
− 说明
» 集合是一个描述性的原始概念
» 对象是广义的,无性质、数量上的限制
» 对象之间无必然联系,只需满足可区分性
– 例1 :这个人名叫张三,外号大牛,是个好人。
– 例2 :那个人名叫李四,外号大牛,是个坏人。
– 例3 :用 a 表示“这个人” ,用 x 或 y 表示“集合的某一个对象” 。x=y 指
出代数符号 x 和 y 描述的是同一个本体对象, x=a 更明确指明代数
符号 x 描述的就是本体对象 a 。
» 对象之间是无序的
» 外延性原则:一个集合仅由组成它的元素所确定
• 成员关系
− 构成集合的元素与该集合之间的关系。
− 若 a 是构成集合 A 的元素之一,可记为 a ∈A ,否则记为 a ∉A 。
− 集合 A 确定之后,对任意事物 a ,a ∈A 或 a ∉A 两者必居其一。
• 集合的表示法
− 外延原则:列举法和部分列举法
» 列举法:将集合含有的全部元素罗列出来,写在一对大括号里面
» 例1 :由 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 十个数字构成的集合写成 {0, 1, 2, 3, 4, 5, 6,
7, 8, 9}
» 例2 :由 a, e, i, o, u 五个英语元音字母构成的集合 {a, e, i, o, u}
» 部分列举法:如果集合含有的部分元素足以说明构成集合的抽象原则,则
把这部分元素罗列出来,加上省略号,写在一对大括号里面
» 例2 :偶数集合可以写成 {0, 2, 4, 6, 8, 10, … }
数集合可以写成 {1, 3, 5, 7, 11, 13, … }
» 例3 :素
» 例4 :小于100的自然数集合 {0, 1, 2, 3, 4, …, 99}
» 例5 :集合 {0, ‐1, 1, ‐2, 2, ‐3, 3, ‐4, 4, … }
− 抽象原则:命题/谓词刻划法 {x |P(x)}
» 使用谓词合式公式描述对个体变量或变量组的约束,论域中符合约束条件
的全部个体构成集合。
» 例6 :用 N 表示所有自然数集合,完全平方数集合可写成 {x |x = n2, n ∈N }
» 例7 :偶数集合可以写成 {x |x = 2n, n ∈N }
» 例8 :正有理数集合 {x |x = p/q, p ∈N, q ∈N, q≠0 }
− 归纳法(基本项+归纳项+极小化)
» 例9 :设 N 是所有自然数的集合,Ak 表示一个能被自然数 k 整除的自然
数集合。如下对 Ak 作归纳表示:
(1) 0 ∈Ak ;
(2) 若 n ∈A 则 (n+k) ∈A ,这里 n ∈N ;
k k
(3) Ak 只含有符合(1)(2)约定的元素。
• 一些常用的集合
− 自然数集合 N = {0, 1, 2, 3, …}
− 整数集合 Z = {…, ‐2, ‐1, 0, 1, 2, …}
− 正整数集合 Z+ = {1, 2, 3, …}
− 有理数集合 Q = {p/q |p ∈Z, q ∈Z, q ≠ 0}
− 正有理数集合 Q+
−
文档评论(0)