集合论和图论.pdf

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一章 集合的概念及运算 §1.1 集合的概念 自从19 世纪末德国数学家康托为集合论做奠基工作以来,集合论在一百年的时间里,已 经称为数学中不可缺少的基本的描述工具。 集合作为数学中最基本的概念,是不能被严格定义的,只能加以描述。简单说来,一个 集合就是一些不同对象构成的整体。 一般地,人们用大写英文字母 A ,B ,C ,表示集合,用小写英文字母 a ,b ,c , 表示集合中的元素。用 a ∈A 表示 a 为 A 的元素,读作a 属于 A ;用a ∉A 表示 a 不是 A 的元素,读作a 不属于 A 。 可以用两种方法来表示集合。 a. 列举法:列出集合中的全体元素,元素之间用逗号分开,然后用花括号括起来。设 A 是以 a ,b ,c ,d 为元素的集合。则 A {a , b , c , d }。 b. 描述法:即集合的成员可以用其具备的独特性质来描述。例如, A {x =∈R:x ≥ 2}。 注 1:对于集合的表示法应该注意以下几点: (1) 集合中的元素是各不相同的; (2) 集合中的元素不规定顺序; (3) 集合的两种表示法有时是可以互相转化的。 注 2 :随意地用描述法来确定(定义)集合,可能导出不可预料的困难。设B 是含10个 以上元素的集合构成的集合,则有B ∈B 。设C 是由集合构成的集合,使得 C {x : x是集合且x =∉x} 那么 C ∈C 还是 C ∉C 呢,无论哪一个情况都会导出矛盾?这是一个悖论。是英国数理学 家罗素(Russell)提出的,称为罗素悖论。 除罗素悖论外,还有一些其他的悖论,说明不加限制地使用集合一词会出毛病。对集合概 念的运用必须制定一些规则,这就导致了公里化集合论。而把由康托开始建立的未进行公 理化的集合论称为朴素集合论。 我们将学习朴素集合论的基本内容,但借鉴公理化集合论的思想,以避免出现悖论。 定义 1.1 设 A ,B 为二集合,若B 中的元素都属于A ,则称B 是 A 的子集,也称A 包 含B 或B 含于 A ,记作B ⊆A 。 1 定义 1.2 设 A ,B 为二集合,若A 包含B 且B 包含 A ,则称A 与B 相等,记作 A B 。 定义 1.3 设 A ,B 为二集合,若A 为B 的子集,且A ≠B ,则称A 为B 的真子集,记 作 A ⊂B 。 定义 1.4 不具有任何元素的集合称为空集,记作∅。 注 1:空集是任何集合的子集;空集是唯一的。 定义 1.5 如果限定所讨论的集合都是某一集合的子集,则称该集合为全集,常记为E 。 定义 1.6 设 A 为一个集合,称由A 的所有子集组成的集合为A 的幂集,记作ρ(A) 。 注 1:以| A | 表示 A 中的元素个数,当| A | 为有限数时,称A 为有限集。元素个数为n (n 为自然数)的集合称为n 元集。 除了ρ(A) 这样由集合构成的集合外,我们还会遇到许多形式的由集合构成的集合,统称这样 的集合为集族。幂集是特殊的集族。 定义 1.7 设A 为一集族,S 为一个集合,若S 中的元素α可一一对应到 A 中的元素A , α 则称A 是以S 为指标的集族,记为A {A :α=∈S }或 A {A } 。 α α α∈S 注:如果将空集 ∅看作集族,则称 ∅为空集族。 我们要特别提到多重集合的概念。前面谈到的集合都是由不同对象组成的,而在实际中,某 一元素的重复出现往往表达了某种特别的意义。例如,在一个班里学生的名字,可能有两个 或多个学生有相同的名字,并且我们又有可能会谈及到学生名字的总体。又例如,某项工程 中所需要的工程技术人员的种类可用集合 A {电机工程师,机械工程师,数学家,制图员,程序员} 表示,但从集合 A 中看不出所需要人员的数量。再如方程 x (x −1)3 0 的解集应以{0,1,1,1}表示。于是引出多重集合的概念。 定义 1.8 设

文档评论(0)

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

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

1亿VIP精品文档

相关文档