[企业管理]集合2012_83805305.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[企业管理]集合2012_83805305

第二篇 集合论 主要包括如下内容: 集合论初步 二元关系 函数 基本概念 1.集合与元素 集合:是一些确定的、可以区分的事物汇集在一起组成的一个整体。用大写的英文字母表示。 元素:集合中的每个事物,称之为元素。用小写英文字母表示 ∈:表示元素与集合的属于关系。 2. 有限集合与无限集合 有限集合:元素是有限个的集合。 如果A是有限集合,用|A|表示A中元素个数。 无限集合:元素是无限个的集合。 3.集合的表示方法 列举法(外延表示法):将集合中的元素一一列出,写在大括号内。 描述法(谓词法):用句子(或谓词公式)描述元素的属性。 A={x|P(x)}, 其中P(x)是谓词公式,如果论域内个体a使得P(a)为真,则a∈A,否则a?A。 4. 说明 ⑴集合中的元素间次序是无关紧要的,但是必须是可以区分的。 ⑵对集合中的元素无任何限制. ⑶常用的几个集合符号的约定: 自然数集合N= {0,1,2,3,……} 整数集合Z,实数集合R,有理数集合Q. ⑷集合中的元素也可以是集合,下面的集合的含义不同: 如 a: 张书记 {a}: 党支部(只有一个书记) {{a}}: 分党委(只有一个支部) {{{a}}}: 党委 (只有一个分党委) {{{{a}}}}: 市党委(只有一个党委) (5)对一个集合来说,任一事物或者是它的元素或者不是它的元素,二者必居其一而不可兼而有之,且结论是确定的。 集合实例 B={9,8,8,7}={9,8,7}={7,8,9} D={x | x ? B}(除7、8、9外的一切事物) F={7,{8,9}} (F≠B) A={年青人} 罗素悖论:一个村子里的理发师说,我给而且只给自己不给自己理发的人理发。 集合间的关系 一.被包含关系(子集) ? 1.定义:A、B是集合,如果A中元素都是B中元素,则称B包含A,A包含于B,也称A是B的子集。记作A?B。 文氏图表示如右下图。 谓词定义: 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。 例:判断下列各式的正确性。 {a}?{{a},b},{a}∈{{a},b}, {a,b}?{a,b,{a}}, {a,b}∈{a,b,{a}} 二. 相等关系 定义:A、B是集合,如果它们的元素完全相同,则称A与B相等。记作A=B。 谓词定义: A=B??x(x∈A?x∈B) 定理:A=B,当且仅当A?B且 B?A。 证明: A=B??x(x∈A ? x∈B) ? ?x((x∈A?x∈B)∧(x∈B?x∈A)) ? ?x(x∈A?x∈B)∧?x(x∈B?x∈A) ? A?B ∧ B?A 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)

文档评论(0)

skvdnd51 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档