离散数学-耿素云PPT(第5版).ppt

集合运算法证明X=Y*例11证明A?C=B?C?A?C=B?C?A=B证由A?C=B?C和A?C=B?C得到(A?C)-(A?C)=(B?C)-(B?C)从而有A?C=B?C因此A?C=B?C?(A?C)?C=(B?C)?C?A?(C?C)=B?(C?C)?A??=B???A=B由已知等式通过运算产生新的等式X=Y?X?Z=Y?Z,X?Z=Y?Z，X-Z=Y-Z3.3集合中元素的计数*ABC包含排斥原理有穷集的计数集合的基数与有穷集合集合的基数与有穷集合*集合A的基数：集合A中的元素数，记作cardA有穷集A：cardA=|A|=n，n为自然数.有穷集的实例：A={a,b,c},cardA=|A|=3；B={x|x2+1=0,x?R},cardB=|B|=0无穷集的实例：N,Z,Q,R,C等集合论*集合论部分第3章集合的基本概念和运算第4章二元关系和函数第3章集合的基本概念和运算*集合的基本运算集合的基本概念集合中元素的计数3.1集合的基本概念*集合的定义与表示集合与元素集合之间的关系空集全集幂集集合定义与表示*集合没有精确的数学定义理解：一些离散个体组成的全体组成集合的个体称为它的元素或成员集合的表示列元素法A={a,b,c,d}谓词表示法B={x|P(x)}B由使得P(x)为真的x构成常用数集N,Z,Q,R,C分别表示自然数、整数、有理数、实数和复数集合，注意0是自然数.元素与集合的关系：隶属关系集合与元素*1属于?，不属于?2实例3A={x|x?R?x2-1=0},A={-1,1}41?A,2?A5注意：对于任何集合A和元素x(可以是集合)，6x?A和x?A两者成立其一，且仅成立其一.例3.1隶属关系的层次结构*A={a,{b,c},d,{{d}}}01{b,c}?Ab?A02{{d}}?A03{d}?Ad?A04集合之间的关系*包含（子集）A?B??x(x?A?x?B)不包含A?B??x(x?A?x?B)相等A=B?A?B?B?A不相等A?B真包含A?B?A?B?A?B不真包含A?B思考：?和?的定义注意?和?是不同层次的问题空集与全集*空集?不含任何元素的集合1实例{x|x2+1=0?x?R}就是空集2定理空集是任何集合的子集3??A??x(x???x?A)?T4推论空集是惟一的.5证假设存在?1和?2，则?1??2且?1??2，因此?1=?26全集E7相对性8在给定问题中，全集包含任何集合，即?A(A?E)9幂集*定义P(A)={x|x?A}实例1P(?)={?}，2P({?})={?,{?}}3P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}}计数如果|A|=n，则|P(A)|=2n43.2集合的基本运算*集合基本运算的定义?????文氏图（JohnVenn）例题12345集合包含或恒等式的证明集合运算的算律集合基本运算的定义*并A?B={x|x?A?x?B}1交A?B={x|x?A?x?B}2相对补A?B={x|x?A?x?B}3对称差A?B=(A?B)?(B?A)4=(A?B)?(A?B)5绝对补?A=E?A6文氏图表示