离散数学教案.pdf
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《离散数学教案.pdf》由会员分享,可在线阅读,更多相关《离散数学教案.pdf(25页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、.-优选离散数学教案第一章集合与关系集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的一个分支。G.Cantor(康脱)是作为数学分支的集合论的奠基人。1870 年前后,他关于无穷序列的研究导致集合论的系统发展。1874 年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。1878 年,他引进了两个集合具有相等的“势”的概念。然而,朴素集合论中包含着悖论。第一个悖论是布拉利-福尔蒂的最大序数悖论。1901 年罗素发现了有名的罗素悖论。1932 年康脱也发表了关于最大基数的悖论。集合论的
2、现代公理化开始于1908 年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称为策梅罗-弗兰克尔集合论(ZF),其中包括1904 年策梅罗引入的选择公理。另外一种系统是 诺伊曼-伯奈斯-哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。现在把策梅罗-弗兰克尔集合论与选择公理一起称为 ZFC系统。一、学习目的与要求本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运算方法,为
3、学习后续章节打下良好基础。二、知识点1集合的基本概念与表示方法;2集合的运算;3序偶与笛卡尔积;4关系及其表示、关系矩阵、关系图;5关系的性质,符合关系、逆关系;.-优选6关系的闭包运算;7集合的划分与覆盖、等价关系与等价类;相容关系;8序关系、偏序集、哈斯图。三、要求1识记集合的层次关系、集合与其元素间的关系,自反关系、对称关系、传递关系的识别,复合关系、逆关系的识别。2领会领会下列概念:两个集合相等的概念几证明方法,关系的闭包运算,关系等价性证明。.-优选1.1 集合论的基本概念与运算1.1.1 集合的概念集合不能精确定义。集合可以描述为:一个集合把世间万物分成两类,一些对象属于该集合,是
4、组成这个集合的成员,另一些对象不属于该集合。可以说,由于一个集合的存在,世上的对象可分成两类,任一对象或属于该集合或不属于该集合,二者必居其一也只居其一。直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的 元素 或成员。例如:方程x210 的实数解集合;26 个英文字母的集合;坐标平面上所有点的集合;集合通常用大写的英文字母A,B,C,来标记,元素通常用小写字母a,b,c,来表示。例如自然数集合N(在离散数学中认为0 也是自然数),整数集合Z,有理数集合Q,实数集合 R,复数集合C 等。集合的表示方法:表示一个集合的方法通常有三种:列举法、描述法和 归纳定义法。(1)
5、列举法列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来。在能清楚地表示集合成员的情况下可使用省略号。例如A=a,b,c,z,Z=0,1,2,都是合法的表示。(2)描述法用谓词来概括集合中元素的属性来表示这个集合。例如Bx|xRx210表示方程x210 的实数解集。许多集合可以用两种方法来表示,如B 也可以写成-1,1。但是 有些集合不可以用列元素法表示,如实数集合。(3)归纳定义法:1.3 节再讨论。属于、不属于:元素和集合之间的关系是隶属关系,即属于 或不属于,属于记作,不属于记作。例如 Aa,b,c,d,d,这里 aA,b,cA,dA,dA,但 bA,dA。b 和d是 A的元
6、素的元素。.-优选外延公理:两个集合A和 B相等,当且仅当它们有相同的成员。集合的元素是彼此不同的:如果同一个元素在集合中多次出现应该认为是一个元素。如 1,1,2,2,31,2,3。集合的元素是无序的:如 1,2,33,1,2。1.1.2 集合间的关系定义 1.1.1 设 A,B为集合,如果B 中的每个元素都是A 中的元素,则称B 是 A的子集合,简称 子集。这时也称B 被 A包含,或 A包含 B,记作 BA。称 B是 A 的扩集。包含的符号化表示为:BAx(xB xA)。如果 B不被 A包含,则记作 BA。例如NZQRC,但 ZN。显然对任何集合A 都有 AA。注意:属于关系和包含关系都是
7、两个集合之间的关系,对于某些集合可以同时成立这两种关系。例如Aa,a和a,既有 a A,又有 aA。前者把它们看成是不同层次上的两个集合,后者把它们看成是同一层次上的两个集合,都是正确的。定义 1.1.2设 A,B为集合,如果 BA 且 BA,则称 B是 A 的真子集,记作 BA。如果 B 不是 A的真子集,则记作 BA。真子集的符号化表示为:BABABA。例如NZQRC,但 NN。为方便起见,所讨论的全部集合和元素是限于某一论述域 中,即使这个论述域有时没有明确地指出,但表示集合元素的变元只能在该域中取值。此论述域常用U 表示,并称为 全集。定义1.1.3不含任何元素的集合叫空集,记作。空集
8、可以符号化表示为x|xx。例如 x|x Rx2+1=0是方程x2+1=0 的实数解集,因为该方程无实数解,所以是空集。定理 1.1-1空集是一切集合的子集。.-优选证:对任何集合A,由子集定义有()Ax xxA,右边的蕴涵式因前件为假而为真命题,所以A也为真。推论 空集是唯一的。证:假设存在空集1和2,由定理6.1 有12,21。根据集合相等的定义,有12。含有 n 个元素的集合简称n 元集,它的含有m(mn)个元素的子集叫做它的m 元子集。任给一个n 元集,怎样求出它的全部子集呢?举例说明如下。例 1.1.1A1,2,3,将 A 的子集分类:0 元子集,也就是空集,只有一个:;1 元子集,即
9、单元集:1,2,3;2 元子集:1,2,1,3,2,3;3 元子集:1,2,3。一般地说,对于n 元集 A,它的 0 元子集有0nC个,1 元子集有1nC个,m 元子集有mnC个,n 元子集有nnC个。子集总数为012nnnnnCCC个。全集与空集在本章中起重要作用,注意掌握它们的基本概念。注意:与的联系与区别。(1)表示集合的元素(可以为集合)与集合本身的从属关系,(2)表示两个集合之间的包含关系。例如:对于集合A=a,b,c,a 是 A 的子集:aA,a 是 A 的元素:aA。注意:不要写成 aA 和 aA。aa,但 aa;是一元集,而不是空集。|1,|0。1.1.3 集合的运算集合的交、
10、并和差运算.-优选1.集合交、并、差运算的定义(注意集合运算与逻辑运算的对应关系)定义设A和B是集合,(1)A和B的交记为AB,定义为:|ABx xAxB;(2)A和B的并记为AB,定义为:|ABx xAxB;(3)A和B的差记为AB,定义为:|ABx xAxB。例:设,Aa b c d,,Bb c e,则,ABb c,,ABa b c d e,,ABa d,BAe定义:如果,A B是两个集合,AB,那么称A和B是不相交 的。如果C是一个集合的族,且C中的任意两个不同元素都不相交,那么称C是(两两)不相交集合的族。2.集合的并和交运算的推广(广义交、广义并)n个集合12121|ninniAAA
11、Ax xAxAxA,12121|ninniAAAAx xAxAxA,无穷可数个集合:121iiAAA,121iiAAA一般情形:|()S CSxS SCxS(C),|()S CSxS SCxS3.集合交、并、差运算的性质:(1)交换律ABBA,ABBA,(2)结合律()()ABCABC,()()ABCABC.-优选(3)分配律()()()ABCABAC,()()()ABCABAC(4)幂等律AAA,AAA,(5)同一律AA,AUA,(6)零律AUU A,(7)吸收律()AABA,()AABA,(8)德摩根律()()()ABCABAC()()()ABCABAC(9)(a)AA,(b)ABA,(c
12、)AAB,(d)ABA,(e)若AB,CD,则()()ACBD,()()ACBD,(f)若AB,则ABA,(g)若AB,则ABB,(h)ABAABBAB。证:利用运算的定义(与逻辑运算的关系)或已证明的性质。集合的补运算1.集合的补运算的定义定义:设U是论述域而A是U的子集,则A的(绝对)补 为:|AUAx xUxAx xABA当且仅当ABU和AB。2.集合补运算的性质:(1)矛盾律AA;(2)排中律AAU;(3)德摩根律U,U,_ABAB,_ABAB;(4)双重否定律(A的补的补是A):AA;(5)若AB,则BA。.-优选例:证明 A(BC)(AB)(AC)。证对任意的x,xA(BC)xA
13、xBC xA(xBxC)x A(x B xC)xAxBxC(xAxB)(x AxC)xAB)xAC x(AB)(AC)所以A(BC)(AB)(AC)。例:证明 AEA。证对任意的x,xAExAxExA(因为 xE是恒真命题),所以AEA。注意:以上证明的基本思想是:设 P,Q为集合公式,欲证 PQ,即证 PQ QP为真。也就是要证对于任意的x 有 x Px Q 和 xQxP 成立。对于某些恒等式可以将这两个方向的推理合到一起,就是xPxQ。不难看出,集合运算的规律和命题演算的某些规律是一致的,所以命题演算的方法是证明集合恒等式的基本方法。证明集合恒等式的另一种方法是利用已知的恒等式来代入。例:
14、证明 A(AB)A。证A(AB)(AE)(AB)A(EB)A(BE)AEA。例:证明等式A BA B。证对于任意的x,xABxAxBxAx BxA B,所以 AB A B。注意:上式把相对补运算转换成交运算,这在证明有关相对补的恒等式中是很有用的。例:证明(AB)BAB 证(AB)B(A B)B(AB)(BB)(A B)EAB。例:证明命题A BBA BAAB。证.-优选(1)证 A BBAB,对于任意的x,xAxAxBxABxB(因为 A BB),所以 AB。(2)证 ABABA。显然有ABA,下面证 AAB,对于任意的x,xAxAxAxAxB(因为 AB)xAB,由集合相等的定义有ABA。
15、(3)证 A BAAB。ABA B(AB)B(因为 ABA)A(B B)A。(4)证 A BABB。ABB(AB)BB。注意:上式给出了AB 的另外三种等价的定义,这不仅为证明两个集合之间的包含关系提供了新方法,同时也可以用于集合公式的化简。例:化简(ABC)(AB)(A(BC)A)。解因为 ABABC,AA(BC),故有(ABC)(AB)(A(BC)A)(AB)ABA。定义:两集合,A B的环和(对称差)定义为:环和:()()|ABABBAx xAxBxAxB2.环和与环积的性质:(1)()()()()ABABABABAB,(2)ABAB,BAAB,(3)()()ABCABC,()()()C
16、ABCACB;(4)AA,AA,(5)ABACBC例:已知 ABAC,证明 BC。.-优选证 已知 ABAC,所以有A(AB)A(AC)(AA)B(AA)C BCBCBC。3.集合运算的文氏图表示注意:如果没有特殊说明,任何两个集合都画成相交 的。幂集合定义:设A是一个集合,A的幂集是A的所有子集的集合,即()|AB BA。若A是n元集,则()A有2n个元素。例:若A,则()A;若1,2A,则(),1,2,1,2A。对任意集合A:()A,()AA。集合运算的顺序:为了使得集合表达式更为简洁,我们对集合运算的优先顺序做如下规定:称 广义交,广义并,幂集,绝对补 运算为 一类运算,交,并,补,环和
17、,环积运算为 二类运算。一类运算优先于二类运算;一类运算之间由右向左顺序进行;二类运算之间由括号决定先后顺序。1.2关系及其表示1.2.1 集合的笛卡儿积与二元关系定义 1 由两个元素x 和 y(允许 x=y)组成的序列记作,称为 二重组 或有序对或序偶,其中 x 是它的第一元素(分量),y 是它的第二元素(分量)。有序对 具有以下性质:1当 xy 时,;2=的充分必要条件是x=u 且 y=v。注意:这些性质是二元集x,y所不具备的。例如当 xy 时有 x,y=y,x。原因在于有序对中的元素是有序的,而集合中的元素是无序的。例 1 已知=,求 x 和 y。解 由有序对相等的充要条件有x+2=5
18、,2x+y=4,解得 x=3,y=-2。.-优选定义 2 设12,na aa是(2)n n个元素,定义121121,nnnna aaaa aaa为n重组。注意:n重组是一个二重组,其中第一个分量是1n重组。如2,3,5代表2,3,5而 不 代 表2,3,5,按 定 义 后 者 不 是 三 重 组,并 且2,3,52,3,5。n重 组121,nna aaa与121,nnb bbb相 等 当 且 仅 当iiab,1in。定义 3 设 A,B 为集合,用A 中元素为第一元素,B中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A 和 B 的笛卡儿积(叉积),记作 A B。笛卡儿积的符号化表示
19、为A B=|x AyB。集合12,nAAA(2n)的叉积记为12nAAA或1niiA,定义为1211()ninniAAAAA例 2 设 A=a,b,B=0,1,2,则A B=,;B A=,。由排列组合的知识不难证明,如果|A|=m,|B|=n,则|A B|=mn。笛卡儿积的运算性质(1).对任意集合A,根据定义有A=,A=;(2).一般地说,笛卡儿积运算不满足交换律,即A BB A(当 ABAB 时);(3)笛卡儿积运算不满足结合律,即(A B)CA(B C)(当 ABC时);(4).笛卡儿积运算对并和交运算满足分配律,即.-优选A(BC)=(A B)(A C);(BC)A=(B A)(C A
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 教案
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内