离散数学二元关系.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