离散数学二关系.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 设A,B