06-L01 集合与元素.pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 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)

ctuorn0371 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档