离散数学高等教育出版社配套屈婉玲耿市公开课一等奖百校联赛特等奖课件_第1页
离散数学高等教育出版社配套屈婉玲耿市公开课一等奖百校联赛特等奖课件_第2页
离散数学高等教育出版社配套屈婉玲耿市公开课一等奖百校联赛特等奖课件_第3页
离散数学高等教育出版社配套屈婉玲耿市公开课一等奖百校联赛特等奖课件_第4页
离散数学高等教育出版社配套屈婉玲耿市公开课一等奖百校联赛特等奖课件_第5页
已阅读5页,还剩35页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

主要内容集合基本概念属于、包含幂集、空集文氏图等集合基本运算并、交、补、差等集合恒等式集合运算算律、恒等式证实方法第二部分集合论第六章集合代数1第1页6.1集合基本概念1.集合定义集合没有准确数学定义了解:由离散个体组成整体称为集合,称这些个体为集合元素常见数集:N,Z,Q,R,C等分别表示自然数、整数、有理数、实数、复数集合2.集合表示法

枚举法----经过列出全体元素来表示集合

谓词表示法----经过谓词概括集合元素性质实例:枚举法自然数集合N={0,1,2,3,…}谓词法S={x|x是实数,x2

1=0}2第2页元素与集合1.集合元素含有性质无序性:元素列出次序无关相异性:集合每个元素只计数一次确定性:对任何元素和集合都能确定这个元素是否为该集合元素任意性:集合元素也能够是集合2.元素与集合关系隶属关系:

或者

3.集合树型层次结构d

A,a

A3第3页集合与集合集合与集合之间关系:

,=,⊈,

,

,

定义6.1A

B

x(x

A

x

B)定义6.2A=B

A

B

B

A定义6.3A

B

A

B

A

B

A

B

x(x

A

x

B)思索:

定义注意

是不一样层次问题4第4页空集、全集和幂集1.定义6.4

空集

:不含有任何元素集合实例:{x|x

R

x2+1=0}定理6.1空集是任何集合子集。证对于任意集合A,

A

x(x

x

A)

T(恒真命题)

推论

是惟一3.定义6.6

全集E:包含了全部集合集合全集含有相对性:与问题相关,不存在绝正确全集2.定义6.5

幂集:P(A)={x|x

A}实例:P(

)={

},P({

})={

,{

}}计数:假如|A|=n,则|P(A)|=2n.5第5页6.2集合运算初级运算集合基本运算有定义6.7

A

B={x|x

A

x

B}

A

B={x|x

A

x

B}

相对补

A

B={x|x

A

x

B}定义6.8

对称差

A

B=(A

B)

(B

A)定义6.9

绝对补

A=E

A

6第6页文氏图集合运算表示ABABABABABA

BA

BA–BA

B~A7第7页几点说明并和交运算能够推广到有穷个集合上,即A1

A2

An

={x|x

A1

x

A2

x

An}A1

A2

An

={x|x

A1

x

A2

x

An}A

B

A

B=

A

B=

A

B=A8第8页广义运算1.

集合广义并与广义交

定义6.10广义并

A={x|

z(z

A

x

z)}广义交

A={x|

z(z

A

x

z)}实例

{{1},{1,2},{1,2,3}}={1,2,3}

{{1},{1,2},{1,2,3}}={1}

{{a}}={a},

{{a}}={a}

{a}=a,

{a}=a9第9页关于广义运算说明2.广义运算性质(1)

=

无意义(2)单元集{x}广义并和广义交都等于x

(3)广义运算降低集合层次(括弧降低一层)(4)广义运算计算:普通情况下能够转变成初级运算

{A1,A2,…,An}=A1

A2

An

{A1,A2,…,An}=A1

A2

An

3.引入广义运算意义能够表示无数个集合并、交运算,比如

{{x}|x

R}=R这里R代表实数集合.10第10页运算优先权要求1类运算:初级运算

,

,

,

,优先次序由括号确定2类运算:广义运算和

运算,运算由右向左进行混合运算:2类运算优先于1类运算例1

A={{a},{a,b}},计算

A

(

A

A).解:

A

(

A

A)=

{a,b}

(

{a,b}

{a})=(a

b)

((a

b)

a)=(a

b)

(b

a)=b11第11页有穷集合元素计数1.文氏图法2.包含排斥原理定理6.2设集合S上定义了n条性质,其中含有第i条性质元素组成子集Ai,那么集合中不含有任何性质元素数为

推论

S中最少含有一条性质元素数为12第12页实例例2求1到1000之间(包含1和1000在内)既不能被5和6整除,也不能被8整除数有多少个?解方法一:文氏图定义以下集合:

S={x|x

Z

1

x

1000}A={x|x

S

x可被5整除}B={x|x

S

x可被6整除}C={x|x

S

x可被8整除}

画出文氏图,然后填入对应数字,解得N=1000-(200+100+33+67)=60013第13页实例方法二|S|=1000|A|=

1000/5

=200,|B|=

1000/6

=166,|C|=

1000/8

=125|A

B|=

1000/lcm(5,6)

=

1000/33

=33|A

C|=

1000/lcm(5,8)

=

1000/40

=25|B

C|=

1000/lcm(6,8)

=

1000/24

=41|A

B

C|=

1000/lcm(5,6,8)

=

1000/120

=8

=1000

(200+166+125)+(33+25+41)

8=60014第14页6.3集合恒等式集合算律1.只包括一个运算算律:交换律、结合律、幂等律

交换A

B=B

AA

B=B

AA

B=B

A结合(A

B)C=A

(B

C)(A

B)C=A

(B

C)(A

B)C=A

(B

C)幂等A

A=AA

A=A15第15页集合算律2.包括两个不一样运算算律:分配律、吸收律

分配A

(B

C)=(A

B)(A

C)A

(B

C)=(A

B)(A

C)A

(B

C)=(A

B)(A

C)吸收A

(A

B)=AA

(A

B)=A16第16页集合算律3.包括补运算算律:DM律,双重否定律

D.M律A

(B

C)=(A

B)(A

C)A

(B

C)=(A

B)(A

C)

(B

C)=B

C

(B

C)=B

C双重否定

A=A17第17页集合算律4.包括全集和空集算律:

补元律、零律、同一律、否定律

E补元律A

A=A

A=E零律A

=

A

E=E同一律A

=AA

E=A否定

=E

E=18第18页集合证实题证实方法:命题演算法、等式置换法命题演算证实法书写规范(以下X和Y代表集合公式)(1)证X

Y任取x,x

X

x

Y

(2)证X=Y方法一分别证实X

Y和Y

X方法二任取x,x

X

x

Y注意:在使用方法二格式时,必须确保每步推理都是充分必要19第19页集合等式证实方法一:命题演算法例3证实A

(A

B)=A(吸收律)证任取x,x

A

(A

B)

x

A

x

A

B

x

A

(x

A

x

B)

x

A

所以得A

(A

B)=A.例4证实A

B=A

B证任取x,x

A

B

x

A

x

B

x

A

x

B

x

A

B

所以得A

B=A

B20第20页等式代入法方法二:等式置换法例5假设交换律、分配律、同一律、零律已经成立,证实吸收律.证A

(A

B)=(A

E)

(A

B)(同一律)=A

(E

B)(分配律)=A

(B

E)(交换律)=A

E(零律)

=A(同一律)21第21页包含等价条件证实例6证实A

B

A

B=B

A

B=A

A

B=

①②③④证实思绪:确定问题中含有命题:本题含有命题①,②,③,④确定命题间关系(哪些命题是已知条件、哪些命题是要证实结论):本题中每个命题都能够作为已知条件,每个命题都是要证实结论确定证实次序:①

②,②

③,③

④,④

①按照次序依次完成每个证实(证实集合相等或者包含)22第22页证实证实A

B

A

B=B

A

B=A

A

B=

①②③④证①

②显然B

A

B,下面证实A

B

B.任取x,

x

A

B

x

A

x

B

x

B

x

B

x

B所以有A

B

B.综合上述②得证.②

③A=A

(A

B)

A=A

B(由②知A

B=B,将A

B用B代入)23第23页③

④假设A

B

,即

x

A

B,那么知道x

A且x

B.而x

B

x

A

B

从而与A

B=A矛盾.④

①假设A

B不成立,那么

x(x

A

x

B)

x

A

B

A

B

与条件④矛盾.证实24第24页第六章习题课主要内容集合两种表示法集合与元素之间隶属关系、集合之间包含关系区分与联络特殊集合:空集、全集、幂集文氏图及有穷集合计数集合

,

,

,

,

等运算以及广义

,

运算集合运算算律及其应用25第25页基本要求熟练掌握集合两种表示法能够判别元素是否属于给定集合能够判别两个集合之间是否存在包含、相等、真包含等关系熟练掌握集合基本运算(普通运算和广义运算)掌握证实集合等式或者包含关系基本方法26第26页练习11.判断以下命题是否为真(1)

(2)

(3)

{

}(4)

{

}(5){a,b}

{a,b,c,{a,b,c}}(6){a,b}

{a,b,c,{a,b}}(7){a,b}

{a,b,{{a,b}}}(8){a,b}

{a,b,{{a,b}}}解(1)、(3)、(4)、(5)、(6)、(7)为真,其余为假.27第27页方法分析(1)判断元素a与集合A隶属关系是否成立基本方法:把a作为整体检验它在A中是否出现,注意这里a可能是集合表示式.(2)判断A

B四种方法若A,B是用枚举方式定义,依次检验A每个元素是否在B中出现.若A,B是谓词法定义,且A,B中元素性质分别为P和Q,那么“若P则Q”意味A

B,“P当且仅当Q”意味A=B.经过集合运算判断A

B,即A

B=B,A

B=A,A

B=

三个等式中有一个为真.经过文氏图判断集合包含(注意这里是判断,而不是证实28第28页练习22.设S1={1,2,…,8,9},S2={2,4,6,8}

S3={1,3,5,7,9}S4={3,4,5}

S5={3,5}确定在以下条件下X是否与S1,…,S5中某个集合相等?假如是,又与哪个集合相等?(1)若X

S5=

(2)若X

S4但X

S2=

(3)若X

S1且X

⊈S3(4)若X

S3=

(5)若X

S3且X⊈S129第29页解答解(1)和S5不交子集不含有3和5,所以X=S2.(2)S4子集只能是S4和S5.因为与S2不交,不能含有偶数,所以X=S5.(3)S1,S2,S3,S4和S5都是S1子集,不包含在S3子集含有偶数,所以X=S1,S2或S4.(4)X

S3=

意味着X是S3子集,所以X=S3或S5.(5)因为S3是S1子集,所以这么X不存在.30第30页练习33.判断以下命题真假,并说明理由.(1)A

B=A

B=

(2)A

(B

C)=(A

B)

(A

C)(3)A

A=A(4)假如A

B=B,则A=E.(5)A={x}

x,则x

A且x

A.31第31页解题思绪先将等式化简或恒等变形.查找集合运算相关算律,假如与算律相符,结果为真.注意以下两个主要充要条件A

B=A

A

B=

A

B=

A

B

A

B=B

A

B=A假如与条件相符,则命题为真.假如不符合算律,也不符合上述条件,能够用文氏图表示集合,看看命题是否成立.假如成立,再给出证实.试着举出反例,证实命题为假.32第32页解答解(1)B=是AB=A充分条件,但不是必要条件.当B不空但是与A不交时也有AB=A.(2)这是DM律,命题为真.(3)不符合算律,反比如下:A={1},AA=,不过A.(4)命题不为真.AB=B充分必要条件是BA,不是A=E.(5)命题为真,因为x既是A元素,也是A子集33第33页练习44.证实A

B=A

C

A

B=A

C

B=C解题思绪分析命题:含有3个命题:

A

B=A

C,A

B=A

C,

B=C①②③证实要求前提:命题①和②结论:命题③证实方法:恒等式代入反证法利用已知等式经过运算得到新等式34第34页解答方法一:恒等变形法B=B

(B

A)=B

(A

B)=B

(A

C)=(B

A)

(B

C)=(A

C)

(B

C)=(A

B)

C

=(A

C)

C=C

方法二:反证法.假设B

C,则存在x(x

B且x

C),或存在x(x

C且x

B).不妨设为前者.若x属于A,则x属于A

B但x不属于A

C,与已知矛盾;若x不属于A,则x属于A

B但x不属于A

C,也与已知矛盾.35第35页解答方法三:利用已知等式经过运算得到新等式.由已知等式①和②能够得到(A

B)

(A

B)=(A

C)

(A

C)即

A

B=A

C

从而有A

(A

B)=A

(A

C)依据结合律得(A

A)

B=(A

A)

C

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论