天津理工大学:《离散数学》课程教学资源(PPT课件)第三章 集合论(集合的基本概念和运算)3.3 集合中元素的计数、第四章 二元关系与函数 4.1 集合的笛卡尔积与二元关系

3.3集合中元素的计数4.1集合的笛卡尔积与二元关系
3.3集合中元素的计数 4.1集合的笛卡尔积与 二元关系

3.3集合中元素的计数集合的基数与有穷集合1包含排斥原理1有穷集的计数
◼ 集合的基数与有穷集合 ◼ 包含排斥原理 ◼ 有穷集的计数 3.3 集合中元素的计数

集合的基数与有穷集合集合A的基数:集合A中的元素数,记作cardA有穷集A:总存在n,使cardA=A|=n,n为自然数有穷集的实例:A={ a,b,cf, cardA=A|=3;B={x|x2+1=0,xER)}, cardB=|B=0无穷集的实例:N, Z, Q, R,C 等
集合 A 的基数:集合A中的元素数,记作 cardA 有穷集 A:总存在n,使 cardA=|A|=n,n为自然数. 有穷集的实例: A={ a,b,c}, cardA=|A|=3; B={ x | x 2+1=0, xR}, cardB=|B|=0 无穷集的实例: N, Z, Q, R, C 等 集合的基数与有穷集合

例子3.9有100名程序员,其中47名熟悉FORTRAN语言,35名熟悉PASCAL语言,23名熟悉这两种语言。问有多少人对这两种语言都不熟悉?
◼例子3.9 有100名程序员,其中47名熟悉 FORTRAN语言,35名熟悉 PASCAL语言,23名熟悉这两种 语言。问有多少人对这两种语言都 不熟悉?

包含排斥原理(容斥原理)ANA|= Isl -(|A|+|A2l )+ [ANAA1A2
包含排斥原理(容斥原理) A1 A2 s A1 = -( + A2 )+ A1 A2 A1 A2

包含排斥原理(容斥原理)定理设S为有穷集,Pi,P2,.,Pm是m种性质,A,是S中具有性质P,的元素构成的子集,1,2.……,m.则S中不具有性质Pi,P2,.,Pm的元素数为AnAn...nAmIm=ISI-ZIA, I+ ZIA, nA,I-ZIA,nA,AI+..i=11<i<j≤m1<i<j<k≤m+(-1)mA,0A, ...0Am l
包含排斥原理(容斥原理) 定理 设 S 为有穷集,P1 , P2 , ., Pm 是 m 种性质, Ai 是 S 中具有性质 Pi 的元素构成的子集,i=1, 2, ., m.则 S 中不具有性质 P1 , P2 , ., Pm 的元素数为 ( 1) | . | | | | | | | | | . | . | 1 2 1 1 1 1 2 m m i j k m i j k m i i j m i i j m A A A S A A A A A A A A A + − = − + − + =

证明证明要点:任何元素x,如果不具有任何性质则对等式右边计数贡献为1,否则为0证设x不具有性质Pi,P2,…,Pmx &Ai,i=1, 2, ... , mx @A;A;,1≤i<j≤mx AinA,N...NAmx对右边计数贡献为1-0+0-0+...+(-1)m.0=1
证明 证 设 x不具有性质 P1 , P2 , . , Pm , x Ai , i = 1, 2, . , m x Ai Aj , 1 i < j m . x A1 A2 . Am , x 对右边计数贡献为 1 − 0 + 0 − 0 + . + (−1)m · 0 = 1 证明要点:任何元素 x,如果不具有任何性质, 则对等式右边计数贡献为1,否则为0

证明 (续)设x具有 n条性质,1≤n≤mx对ISI贡献为1C,x对ZIA4,贡献为.C,x 对ZIA,nA,I贡献为1i<jSmx 对IAiA2. Aml贡献为cmx对右边计数贡献为1-C, +C, -..+(-1)"C" -Zc, - 0i=0
证明(续) = m i Ai 1 | | i j m Ai Aj 1 | | 1 Cn 2 Cn m Cn 1 . ( 1) 0 0 1 2 − + − + − = = = n i i n m n m Cn Cn C C 设 x具有 n 条性质,1nm x 对 |S| 贡献为 1 x 对 贡献为 x 对 贡献为 . x 对 | A1 A2 . Am| 贡献为 x 对右边计数贡献为

推论S中至少具有一条性质的元素数为IA, UA, U..UAm Im=ZIA,I- ZIA, nA,I+ZIA, nA, nAr I+.i=11<i<j≤m1≤i<j<k≤m+(-1)m-1 I A A, D...nAm I证明 IA, UA, U...UAmI=ISI-IA, UA, U...UAm=ISI-IA DA,D...DAm将定理 1代入即可
( 1) | . | | | | | | | . | . | 1 2 1 1 1 1 1 2 m m i j k m i j k m i i j m i i j m A A A A A A A A A A A A + − = − + + − = S中至少具有一条性质的元素数为 证明 | | | . | | | | . | | . | 1 2 1 2 1 2 m m m S A A A S A A A A A A = − = − 将定理 1 代入即可 推论

假设某班有20名学生,其中有10人英语成绩为优,有8人数学成绩为优,又知有6人英语和数学成绩都为优。问两门课都不为优的学生有几名?解设英语成绩是优的学生组成的集合是A,数学成绩是优的学生组成的集合是B,因此两门课成绩都是优的学生组成的集合是AB。由题意可知IA/=10[ANB|=6由包含排斥原理可[B|=8得:[AUB|=|A|+|B|-|AnB|=10+8-6=12所以,两门课都不是优的学生数为:20-[AUB|=8
◼ 假设某班有20名学生,其中有10人英语成绩 为优,有8人数学成绩为优,又知有6人英语 和数学成绩都为优。问两门课都不为优的学 生有几名? ◼ 解 设英语成绩是优的学生组成的集合是A,数学 成绩是优的学生组成的集合是B,因此两门课成绩 都是优的学生组成的集合是A∩B。由题意可知 |A|=10 |B|=8 |A∩B|=6由包含排斥原理可 得: |A∪B|=|A|+|B|-|A∩B| =10+8-6 = 12 所以,两门课都不是优的学生数为:20-|A∪B|=8
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第三章 集合论(集合的基本概念和运算)3.1 集合的基本概念 3.2 集合的基本运算.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.6 推理理论 Inference Theory(1/2).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.5 对偶与范式(Dual & Normal Form).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.4 真值表与等价公式.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.4 其它联结词 Other Connectives(2/2).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.4 其它联结词 Other Connectives(1/2).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.3 等值演算.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)引言 Discrete Mathematics.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.6 推理理论 Inference Theory(2/2).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.3 命题公式及分类.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.2 逻辑联结词(Logical Connectives).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第一章 命题逻辑 Propositional Logic 1.1 命题及其表示方法.pptx
- 蚌埠医科大学:《离散数学》课程教学大纲 Discrete Mathematics.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第4章 二元关系和函数 4.4、4.5.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第4章 二元关系和函数 4.1、4.2、4.3.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第3章 集合的基本概念和运算 3.4、4.1.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第3章 集合的基本概念和运算 3.1、3.2、3.3.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第2章 命题逻辑 2.3、2.4.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第2章 命题逻辑 2.1、2.2.docx
- 蚌埠医科大学:《离散数学》课程教学资源(教案)第1章 命题逻辑 1.6、1.7.docx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)经典例子.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.1 谓词的概念与表示(Predicate and Its Expression).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第九章 树.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.2 命题函数与量词(Propositional functions & Quantifiers).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.3 一阶逻辑合式公式及解释.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.4 变元的约束(Bound of variable).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.5 谓词演算的等价式与蕴含式(1/2).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第二章 谓词逻辑 Predicate Logic 2.5 谓词演算的等价式与蕴含式(2/2)、2. 6 前束范式(Prenex normal form).pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第节章 图的基本概念 7.1 无向图及有向图 7.2 通路、回路、图的连通性.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第七章 图的基本概念 7.3 图的矩阵表示 7.4 最短路径及关键路劲 7.5 例题分析.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第四章 二元关系与函数 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第八章 一些特殊的图.pptx
- 陕西师范大学:《高等代数》课程教学大纲.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第一章 多项式.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第二章 行列式.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第三章 线性方程组.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第四章 矩阵.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第五章 二次型.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第六章 线性空间.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第七章 线性变换.pdf
