离散数学 包含排斥定理.pptVIP

3-3 包含排斥定理 集合的运算，可用于有限个元素的计数问题 3-3 包含排斥定理 3-3 包含排斥定理 3-3 包含排斥定理 定理3-3.1可以推广到三个集合的情况 3-3 包含排斥定理 例题2 在某工厂装配三十辆汽车，可供选择的设备是收音机，空气调节器和对讲机。已知其中15辆汽车有收音机，8辆有空气调节器，6辆有对讲机，而且其中3辆汽车这三样设备都有。我们希望知道至少有多少辆汽车没有提供任何设备。 3-4 序偶与笛卡尔积 在日常生活中，有许多事物是成对出现的，而这种成对出现的事物具有一定的顺序。 例如，上、下；左、右；3＜4；张华高于李明；中国地处亚洲；平面上点的坐标等。 一般地说，两个具有固定次序的客体组成一个序偶，它常常表达两个客体之间的关系。记作x, y。 上述各例可分别表示为上、下；左、右；3, 4; 张华、李明；中国，亚洲等。 序偶可以看作是具有两个元素的集合。但它与一般集合不同的是序偶具有确定的次序。在集合中{a, b}＝{b, a}; 但对序偶a, b与b, a不同 3-4 序偶与笛卡尔积 序偶a,b中两个元素不一定来自同一个集合,它们可以代表不同类型的事物。例如 a代表操作码，b代表地址，则序偶a,b就代表一条单地址指令。 亦可按a代表地址码，b代表操作码，a,b仍代表一条单地址指令, 但上述这种约定一经确定，序偶的次序就不能再予以变化 在序偶a,b中, a第一元素，b称第二元素 序偶的概念可以推广到三元组的情况 3-4 序偶与笛卡尔积 三元组是一个序偶，其第一元素本身也是一个序偶，可形式化表示为x,y,z 由序偶相等的定义，可以知道x,y,z=u,v, w, 当且仅当x=u, y=v, z=w. 约定三元组可记作x,y,z 注意:当x与y不等时，x,y,z与y,x,z不等 x,y,z与x, y,z也不等 四元组也被定义为一个序偶，其第一元素为三元组，故四元组有形式为x,y,z,w且 x,y,z,w=p,q,r,s?(x=p) ∧(y=q) ∧(z=r) ∧(w=s) 3-4 序偶与笛卡尔积 推广到n元组情况 3-4 序偶与笛卡尔积 序偶的集合：序偶x,y的元素可以分别属于不同的集合，因此任给两个集合A和B，可以定义一种序偶的集合。 3-4 序偶与笛卡尔积 笛卡尔乘积的例子 3-4 序偶与笛卡尔积 约定 若A=?或B= ?，则A×B= ? 3-4 序偶与笛卡尔积 3-4 序偶与笛卡尔积 3-4 序偶与笛卡尔积 3-4 序偶与笛卡尔积 3-4 序偶与笛卡尔积 因为两集合的笛卡尔积仍是一个集合，故对于有限集合可以进行多次的笛卡尔积运算。 为了与n元组一致我们约定 A1×A2×A3= (A1×A2)×A3 *离散数学-lecture11 * 设A1、A2为有限集合，其元素个数分别记为|A1|、|A2|，则 | A1∪A2|≤ |A1|+|A2| | A1∩A2|≤ min(|A1|,|A2|) | A1-A2|≥ |A1|-|A2| | A1?A2|= |A1|+|A2|-2| A1∩A2| 定理3-3.1 设A1、A2为有限集合，其元素个数分别为|A1|、|A2|，则 |A1∪A2|= |A1|+|A2|-| A1∩A2| 证明 a) 当A1与A2不相交，即A1∩A2=?，则| A1∪A2|= |A1|+|A2| b) 若A1∩A2≠?，则|A1|=| A1∩~A2|+ | A1∩A2| |A2|=| ~A1∩A2|+ | A1∩A2| 所以|A1|+|A2|=| A1∩~A2|+ | ~A1∩A2|+2| A1∩A2| 但| A1∩~A2|+ | ~A1∩A2|+| A1∩A2|= | A1∪A2| 故|A1∪A2|= |A1|+|A2|-| A1∩A2| 这个定理常称作包含排斥原理。 例题1 假设在10名青年中有5名是工人，7名是学生，其中兼具有工人与学生双重身份的青年有3名，问既不是工人又不是学生的青年有几名？ 解：设工人的集合为W，学生的集合为S，则根据题设有： |W|=5，|S|=7，|W∩S|=3。又因为|~W∩~S|+|W∪S|=10，则 |~W∩~S|=10- |W∪S|=10-(|W|+|S|-|W∩S|)=10-(5+7-3)=1 所以既不是工人又不是学生的青年有1名。 W S 10 |~W∩~S| |A1∪A2∪A3|=|A1|+|A2|+|A3|-|A1∩A2|- |A1∩A3|-|A2∩A3|+|A1∩A2∩A3| 因至多有23辆汽车有一个或几个供选择的设备，因此至少有7辆汽车不提供任何可选择的设备。 解：设A1，A2，A3分别表示配有收音机、空气调节器和对讲机的汽车集合。 |