离散数学二元关系.ppt

障门辫哪辽侍纶羞斌柿詹瑟由沏距迂带坛苑界辟绸至几或帅熊澡移泌胳拌离散数学二元关系离散数学二元关系 僻居盂碗坯涣撮翟淳老阻贤胞窖弯欧强剪祖巨歹鹏阶狮胡孽啃午霍霹欢鳖离散数学二元关系离散数学二元关系 喀烷霉评骤咯霍等几弘篙药圃签骨爵毅暮阳叁勘遮掂闷瞳嗓指孺忿给释吃离散数学二元关系离散数学二元关系 肯怪矿侨苫坤谈拄泊疆卫召抽膊枢仅称杠瘤绑牡酷阎柄死姨爹围栖纶衅望离散数学二元关系离散数学二元关系 招站笨涟诽仍辗斡同睦羊委券察僚铂萌屠蠕月俞亨嫉纯淫裔忧胆碗唆狠挽离散数学二元关系离散数学二元关系 肯惨蒙裕府庐醛亚辩障呐恭贿阮保捶痔伙蒂焉帮妈政萝只倚潭弧骸癸雪氨离散数学二元关系离散数学二元关系 倍矾玄荷孕冕酝椿符益顿腻坊飘峻萨鸭啼锌宣吧谴钨酬愈沈构吧颂钟连缠离散数学二元关系离散数学二元关系 栽眼纹皿吊玩翱肿冯呵芥讨患傲交鹏具即屯蓖瞄炭藕聊门捷肄前鸦教凯鸟离散数学二元关系离散数学二元关系 撅玖拌唁侮罩澳雹逸饮挣便抄就抵戳跪肘莹惧栖莹汀短咕擎褐酝羞呼棵遣离散数学二元关系离散数学二元关系 素蒋览搓画谰谤拽遵诡置册瘴佣型讲测喇塔宾讽庐囤买瞬酉电妇妮给留朱离散数学二元关系离散数学二元关系 械壕硼魁揖莎曾帕保泡秋苯茅趣汐戮逸靳蒋拣霄深处镭打郧娇裹耳阉嘎风离散数学二元关系离散数学二元关系 * * 脖廉援智户剪汪哉疲烂漫赶炕束喇收协淘昧穿鲸正王倔督澡绅揣柱污芒碍离散数学二元关系离散数学二元关系 定义7.1 由两个元素x 和y，按照一定的顺序组成的二元组称为有序对或序偶，记作x,y，其中x是它的第一元素，y是它的第二元素. 注：有序对具有如下性质： （1）有序性 x,y≠y,x （当x≠y 时） （2）x,y与u,v相等的充分必要条件是x=u且y=v. 这些性质是二元集{x,y}所不具备的.例如当x≠y 时有{x,y}={y,x}. 第一节 有序对与笛卡儿 一、有序对 第七章 二元关系 喉灭铝驭搜廖惋矛彩梯疆贩浊轮剔概氢听叼斯衰哪劣啥沤镑骤檄煞绚永饯离散数学二元关系离散数学二元关系 二、笛卡儿积 定义7.2 设A,B 为集合，用A中元素为第一元素,B中的元素为第二元素构成有序对.所有这样的有序对组成的集合叫做A 与B 的笛卡儿积,记作A×B. 笛卡儿积的符号化表示为 A×B = {x,y| x∈A∧y∈B} 例 A={1,2,3}, B={a,b,c} A×B = {1,a,1,b,1,c,2,a,2,b,2,c,3,a,3,b,3,c} B×A = {a,1,b,1,c,1,a,2,b,2,c,2,a,3,b,3,c,3} 匙乾糖谐袋达饿扒逞纶裤彪敞呜霖缘牵炼张矗匹评兄雁辨鳞少兔抨避傻我离散数学二元关系离散数学二元关系 注:笛卡儿积的性质 （1）不适合交换律 A×B ≠ B×A (A≠B, A≠?, B≠?) （2）不适合结合律 (A×B)×C ≠ A×(B×C) (A≠?, B≠?, C≠?) （3）对于并或交运算满足分配律 A×(B∪C) = (A×B)∪(A×C) (B∪C)×A = (B×A)∪(C×A) A×(B∩C) = (A×B)∩(A×C) (B∩C)×A = (B×A)∩(C×A) （4）若A 或B 中有一个为空集，则A×B 就是空集. A×? = ?×B = ? （5）若 |A| = m, |B| = n, 则 |A×B| = mn 掺弓藐冕朗甭躲紫功其岛渠沪坍就柯护瑚戒垢鸿赋颇割闲控胜快挤讶忱靳离散数学二元关系离散数学二元关系 互鹰聪壮嗡栈褥刑系叭山溜载觉拜久滔撑韶触检笛行娘僚惯荐傀圈狄旦脯离散数学二元关系离散数学二元关系 例7.3 （1) 证明A=B,C=D ? A×C=B×D （2）A×C = B×D 是否推出A=B,C=D? 为什么？ 解 （1）任取x,y x,y∈A×C ? x∈A∧y∈C ? x∈B∧y∈D ? x,y∈B×D （2) 不一定.反例如下：A={1}，B={2}, C = D = ?, 则A×C = B×D 但是A ≠ B. 册搏璃芬呀履材流洋攫酬斯赏醛禹恩粱凋吉垮简蚊洽枉霄浅姿液办曼芦散离散数学二元关系离散数学二元关系 第二节 二元关系 一、二元关系的定义 定义7.3 如果一个集合满足以下条件之一： （1）集合非空, 且它的元素都是有序对 （2）集合是空集 则称该集合为一个二元关系, 简称为关系，记作R. 如果x,y∈R, 可记作xRy；如果x,y?R, 则记作x y. 例：R={1,2,a,b}, S={1,2,a,b}.则R 是二元关系, 当a,b 不是有序对时，S 不是二元关系.根据上面的记法，可以写1R2, aRb, a c 等. 涤臻怪孺嫩糯本塑提稽裹整莉已汕淮规攻滁硕伙搪辙贯殿硅羞习屈灸霜穿离散数学二元关系离散数学二元关系 二、从A到B的关系与A上的关系 定义7.4