- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学第六章集的合代数
第二部分 集合论(集合代数、二元关系);一、集合的基本概念(不可精确定义的概念)
1、集合定义:具有某种特殊性质的个体的聚合
如:方程x2-1=0的实数解集合; 26个英文字母的集合;
坐标平面上所有点的集合; 全体中国公民的集合;
论文中全部概念的集合; 宇宙中的全部星球;
注意:
1)集合一般用大写字母来标记:A,B,C……等
2)集合的成员或元素。集合的成员一般用小写字母标记:a,b,c…..x,y….
3)集合的成员可以是另一个集合
4)元素和集合的关系是隶属关系
元素b属于集合S b∈S
元素b不属于集合S ┐(b∈S) b?S
5)单元素与单元素集合 a 、{ a }、{{a}}它们之间的关系
;2、集合的表示形式
列举法:列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来
注:
1) 集合的元素是无序的(无序性) {2,1}={1,2}
2) 重复的元素应该认为是一个元素(互异性)
{2,1,1,2}={2,1}
3) 集合中的元素可以是一个集合,但不能是该集合本身。A={1,2}, B={a,b,{a},A}, C={ a, C }
描述法(谓词表示法):用谓词来概括集合中元素的属性{x|P(x)}
如: S={ x | x是实数,且x2?1=0}
如:S={2,4,6,8,…}={x|x0且x是偶数}
;3、集合的元素个数-基数
对于有限集合用 |A|来表示该集合中的元素个数。
A={1,2}, |A|=2
4、常用的集合:
自然数集合N(在离散数学中认为0也是自然数),
整数集合I,有理数集合Q,
实数集合R,复数集合C, 素数集合P
;二、集合之间的关系
1、包含关系
定义1 设A,B为集合,如果B中的每个元素都是A中的元素,则称B是A的子集合,简称子集.这时也称B被A包含,或A包含B,记作B?A。( ? )
B?A ? ?x ( x ∈ B → x ∈ A )
性质:(1)自反性 显然对任何集合A都有 A?A.
(2)传递性 若 A? B 且 B ? C 则 A ? C
两个集合之间的关系可以是隶属关系和包含关系,对于某些集合这两种关系可以同时成立.
如:A={a,d,{d} } 和{d}
注意: x ∈ A 则有 {x} ? A ;二、集合之间的关系
2、相等关系
定义2 设A,B为集合,如果A ? B且B? A,则称A与B相等,
记作 A=B. ( ? )
集合相等 的谓词表示为:A=B = A?B ∧ B?A
注:判断两个集合的相等应从相互包含来证明
3、真包含关系
定义3 设A,B为集合,如果B?A且B≠A,则称B是A的真子集,
记作 B?A。 ( ? )
真子集的符号化表示为谓词表示:
B ? A ? B ? A ∧ B ≠ A
;4、空集 (非常重要的集合)
定义4:不含任何元素的集合称为空集,记为 ?
可用 ?={x | x≠x }表示;
实例:{x | x∈R∧x 2 +1=0}
性质: |?|=0
空集是任何集合的子集
空集是唯一的 (反证法)
问题: ?与 {?}是什么关系?
可以用?构造含有4个元素的集合吗?
5、全集 E
任何集合看成是全集E的子集,? A ? E
6、集合的文氏图表示 全集、包含、相等;例:判断真假
1) 2 ∈{ {2}}
2){2}∈{{{2}}、{2}};n元集: 含有n个元素的集合称为n元集
0元集: ?
1元集(或单元集),如{a}, {b}, {?}, {{?}},…
|A|: 表示集合A中的元素个数,
A是n元集 ? |A|=n
有限集 (finite set): |A|是有限数, |A|?, 也叫有穷集
n个元素集合A的m元子集.
例: A={1,2,3}求该集合的所有子集
0元子集:?,
1元子集:{1},{2},{3},
2元子集:{1,2},{1,3},{2,3}
3元字节:A
集合A的所有子集个
文档评论(0)