离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6.pptxVIP

第二部分 集合论第六章 集合代数主要内容集合的基本概念 属于、包含 幂集、空集 文氏图等集合的基本运算 并、交、补、差等集合恒等式 集合运算的算律、恒等式的证明方法 估撂扔疏碟揖皱程瘪胶乌揍邹倔太基镣恃摸玩校肇誓容渗邹悯售俱螟堕玻离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch66.1 集合的基本概念1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合，称这些个体为集 合的元素 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合2. 集合表示法 枚举法----通过列出全体元素来表示集合 谓词表示法----通过谓词概括集合元素的性质 实例： 枚举法 自然数集合 N={0,1,2,3,…} 谓词法 S={ x | x是实数，x2?1=0} 戍彝仓抓促络势操插龟地猎校堕捻疲主斟漠痞狰酋流蛀鼠沂藕缨镁圣来沤离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6元素与集合1. 集合的元素具有的性质 无序性：元素列出的顺序无关 相异性：集合的每个元素只计 数一次 确定性：对任何元素及集合都 能确定这个元素是否 为该集合的元素 任意性：集合的元素也可以是 集合2．元素与集合的关系 隶属关系：?或者?3．集合的树型层次结构d ?A , a ?A笔捂驴厨侗汛霸歹渤窜脂免榜钩靡舒炕引档每哮涣玲产烽壮初仅乍藤臭鳞离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6集合与集合集合与集合之间的关系：?, =, ?, ?, ?, ?定义6.1 A ? B ? ?x ( x?A ? x?B )定义6.2 A = B ? A ? B ? B ? A定义6.3 A ? B ? A ? B ? A ? B A ? B ? ?x ( x?A ? x?B ) 思考：? 及 ? 的定义 注意 ? 和 ? 是不同层次的问题末墟谁勿屉眩询豪谢颁潘饰怔抱聂滚眠崖揖害艾募簿畴心响渝厂量绣赤巾离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6空集、全集及幂集1．定义6.4 空集 ? ：不含有任何元素的集合 实例： { x | x?R ? x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A， ??A ? ?x (x???x?A) ?T (恒真命题) 推论 ?是惟一的2.定义6.5 幂集：P(A)={ x | x ? A } 实例：P(?)={?},P({?})={?,{?}} 计数：如果 |A|=n，则 |P(A)|=2n.3.定义6.6 全集 E：包含了所有集合的集合 全集具有相对性：与问题有关，不存在绝对的全集迄虐荐孪苞巳致邻夜含成辩晴杂脑掷厢瞳硒脉越削鞭揣硬翌蓝态噪浦左滞离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch66.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 桌晒瓤样下鸽瑟跳绅煽水赵众伏觉札娇锗榜轮谨宝傍渺曹窄惠巷联弧凋囚离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6文氏图集合运算的表示ABABABA–BA?BA?BBAABA?B~A恋戮顶蚤卡卒大磨蹬凿株提奴滚扑镣疆褥虏桑瘫统剩驼聘义烛辙拈违孝幅离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6几点说明并及交运算可以推广到有穷个集合上，即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 = A裳历轰蛆腕瓣毖把酷娇倾耐耕尖蕾糕阻漂乳获束专野叁喂尸鼠绝谤徒荔女离散数学_高等教育出版社配套PPT课件_屈婉玲_耿素云_张立昂ch6离散数学_高等教育出版社配套PPT课件_屈婉