01-集合及其运算-1.pptVIP

集合及其运算 离散数学 第1讲 集合及其运算 集合与元素 集合的表示 集合相等 空集与（相对）全集 幂集 罗素悖论 基本的集合运算 连续 vs. 离散 现代数字计算机 离散的数据 离散的状态 离散数学模型 – 一个例子 9根火柴的双人游戏 每次取走 1,2 或3 根，不能与对方刚刚取的数相同。 如果每个人都尽量选择对自己有利的取法，先取者必胜。 问题的推广：保证先取者胜的开始火柴根数 （1）“格局”，三元组（X, m, k），X 为下一个动作者，非负整数m是尚未取走的火柴根数（m?初始根数），k 是对方最近一次取的根数。注意: 输格局是（X, 0, k）和（X, 1, 1） （2）“动作”，定义为三个函数 f 1, f 2, f 3， f i(（X, m, k）)=（X的对方, m-i, i），f i 在（X, m, i）无定义。 （X, 4, k）和（X, 8, k）对于 X都是输格局。 你能提出并证明更一般性的结论吗? 集合的概念 没有定义 被认为“具有某种共同性质”的若干不同的对象合在一起构成集合，而所谓“共同性质”也只不过是让你能将它们想到一起罢了。 Georg Cantor的描述：A set is a collection into a whole of definite, distinct objects of our intuition or our thought. The objects are called elements (member) of the set. 集合的表示 {x | P(x)}, P 必须是“数学可定义”的性质 “不存在任何 Y?X” 是关于X的有效性质 “对任意的 U, U?Z iff. U?X 且 U?Y” 是关于X, Y 和 Z 的有效性质。 一个集合可以有多种表示 {2, 3, 5} [1, 7)区间内的所有质数 方程 x3-10x2+31x-30=0 的所有实根 子集 “子集”关系是两个集合之间的关系，其中一个称为另一个的子集: A?B 定义为: 对所有的 x?A, x?B 因此，A?B 的意思是: 至少存在一个 x, 满足 x?A, 但是x?B 集合的相等 如果两个集合 A,B的元素完全相同，则称这两个集合相等 (A=B) 对任意集合 A,B, A=B 当且仅当: A?B, 且 B?A 空集 空集是没有元素的集合 例. A={x|x 是整数且 xx} 空集是任何集合的子集。 假设 A 是空集, B 是任给的一个集合。命题 “存在某个元素x, 满足x?A, 但 x?B” 总是假。 空集是唯一的，可以用 ?表示 如果 ?1, ?2都是空集，则 ?1??2 和 ?2??1 均为真。 幂集 ?(A)={x|x?A}, 其中A 是任意集合。 ?({a,b}) = {?,{a},{b},{a,b}} ?(?) = {?} 如果 |A|=n, 则 |?(A)|=2n 幂集的另一种记法: 2A 集合悖论 Russell 悖论： 定义 R={x | x?x}, 则 R?R iff. R?R。 理发师悖论：一个小镇上的理发师在广告上写到：“我给所有不给自己理发的人理发” A={x|P(x)}, 实际上不能保证对任意的性质 P，这样的定义都有意义。 （注意：A={x|x是实数，x20}有意义，即空集） Unfortunately, no way how to determine the properties which do define set is known, and some results in logic(especially the so-called Incompleteness Theorems discovered by Kurt G?del) seem to indicate that a complete answer is not even possible. 塞万提斯版的“罗素”悖论 《唐·吉柯德》第2卷第51章中的一段故事： 一个小岛国(桑科·潘查不小心成了它的统治者)有一条奇怪的法律：任何来此的游客必须回答“你来这里做什么？”这个问题。答对了一切好说，答错了立即被绞死。 如果你是那个游客，你该如何回答。(假设你还不想死) 另类悖论 基本运算的定义 运算定义的基本方式：将结果定义为一个新的集合 （这也可以看做是一种集合表示方法） 并与交：A?B={x|x?A 或者x?B} A?B={x|x?A 并且x?B} 相对补：A-B={x|x?A并且x?B} 相对于全集的绝对补 对称差: A?B=(A?B)-(A?B)=(A-B)?(B-A) 文氏图（Venn’s Digram）: 例1 ~A? ~B 文氏图（Ven