福州大学:《离散数学》课程教学资源(课件讲稿)第七章 二元关系

第七章二元关系 7.1有序对与笛卡尔积 7.2二元关系 7.3关系的运算 7.4关系的性质 超 7.5关系的闭包运算 冠 7.6等价关系与划分 潮 7.7偏序关系
第七章 二元关系 7.1 有序对与笛卡尔积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包运算 7.6 等价关系与划分 7.7 偏序关系

§7.1有序对与笛卡尔积 台念 定义7.1两个元素,y按一定顺序排列 成的二元组一个有序对或序偶。记为。 x,y分别叫做有序对的第一元素和第二元 素。 所谓有序序列是指调换第一元素和第 二元素位置后,就和原来的含义不同了。 是 超
§7.1有序对与笛卡尔积 定义7.1 两个元素x,y按一定顺序排列 成的二元组一个有序对或序偶。记为x,y。 x,y分别叫做有序对的第一元素和第二元 素。 所谓有序序列是指调换第一元素和第 二元素位置后,就和原来的含义不同了

性质:1.当y时,≠y,>。 2.=台(=m∧0=b)。 【例7.1】平面上的点P=和点 P2=是两个不同的,它们都是有序对: 周 超
性质:1.当x≠y时,x,y≠y,x。 2.x,y=a,b (x=a)∧(y=b)。 【例7.1】平面上的点P1 =2,1和点 P2 =1,2是两个不同的,它们都是有序对

定义7.2 设A,B是集合,集合 la∈A个beB叫做A,B的笛卡尔积, 也叫A,B的叉乘积,直积。记为:AXB 如果A,B都是有限集,A=n,B=m, 根据排列组合原理,AXB=nAB。 周 超
定义7.2 设A,B是集合,集合 a,b| aA∧bB叫做A,B的笛卡尔积, 也叫A,B的叉乘积,直积。记为:A×B 如果A,B都是有限集,|A|= n,|B|= m, 根据排列组合原理,|A×B|=nm=|A||B|

【例7.2】设A4,b},B=1,2,3, (I)试求AXB和BXA (2)验证AXB1=A‖BI和BXA=BIA纠 解: (1)A×B,,,,,7 晟 BXA=,,,,7 冠 (2)A×B=6=2X3=A|B1 1BXA=6=3X2=HBA纠 凝
【例7.2】设 A=a,b,B=1,2,3, ⑴试求A×B和B×A ⑵验证|A×B|=|A||B|和|B×A|=|B||A| 解: ⑴ A×B=a,1,a,2,a,3,b,1,b,2,b,3 B×A=1,a,1,b,2,a, 2,b,3,a, 3,b ⑵ |A×B|=6=2×3=|A||B| |B×A|=6=3×2=|B||A|

笛卡尔积有以下的性质: ①设A为任意的集合,则AX⑦=⑦XA=O ②一般地说,×不满足交换律: AXB≠BXA。 超 在【例7.2】中,AXB≠BXA ③一般地说,×不满足结合律: 秤- 即(AXB)XC≠AX(BXC)
笛卡尔积有以下的性质: ①设A为任意的集合,则A× = ×A= ②一般地说,×不满足交换律: A×B≠B×A。 在【例7.2】中,A×B≠B×A ③一般地说,×不满足结合律: 即(A×B)×C≠A×(B×C)

【例73】设412,Ba6,Aw菜 AXBXC,AX(BXC). 解:AXBXC=(AXB)XC =,,Xxy =,,,, ,J>,,J>,Jy>,y>} AX(BXC=1,2}X,,,t =,,, 和调 >,,>,>7 显然4XBXC≠AX(BXC)
解: A×B×C=(A×B)×C =1,a,1,b,2,a,2,b×x,y =1,a, x,1,b, x,2,a,x, 2,b,x, 1,a, y,1,b, y,2,a,y, 2,b,y A×(B×C)=1,2×a,x,a, y,b,x,b, y =1,a,x,1,a, y,1,b,x,1,b, y 2,a,x,2,a, y,2,b,x,2,b, y 显然A×B×C≠A×(B×C)。 【例7.3】设A=1,2,B=a,b,A=x,y,求: A×B×C,A×(B×C)

④X对并和交满足分配律 (1)AX(BUC)=(AXB)U(AXC) (2)AX(B∩C=(AXB)∩(AXC (3)(AUB)XC=(AXCU(BXC) (4)(A∩B)XC=(AXC∩(BXC)
④ ×对并和交满足分配律 ⑴ A×(B∪C) =(A×B)∪(A×C) ⑵ A×(B∩C) =(A×B)∩(A×C) ⑶ (A∪B)×C =(A×C)∪(B×C) ⑷ (A∩B)×C =(A×C)∩(B×C)

(1)AX(BUC)=(AXB)U(AXC) 证明:仅证明(1)任取 ∈AX(BUC) 台M∈A∧b∈BUC →M∈A∧(b∈BVb∈C) →(a∈A∧b∈B)V(a∈A∧b∈C) 超 →∈AXBV∈AXC 酸 →∈(AXB)U(AXC) 是 故 AX(BUC)=(AXB)U(AXC) 可类似地证明2)、(3)、(④)
证明:仅证明⑴ 任取a,b a,bA×(B∪C) aA∧bB∪C aA∧( bB∨bC) (aA∧bB)∨(aA∧bC) a,bA×B∨a,bA×C a,b(A×B)∪(A×C) 故 A×(B∪C)=(A×B)∪(A×C) 可类似地证明⑵、⑶、⑷。 ⑴ A×(B∪C) =(A×B)∪(A×C)

⑤设A,B,C,D是非空集合,则 AXBCCXD的充分必要条件是ACC且BCD。 证明:“→”设4XBECXD,任取a∈A个bEB M∈A∧b∈B→∈AXB →∈CXD →M∈C∧b∈D所以ACC且BcD 超 冬” 设AcC且BCD,任取∈AXB ∈AXB→>M∈A∧b∈B →M∈C∧b∈D →∈CXD所以AXBCCXD 凝
⑤设A,B,C,D是非空集合,则 A×BC×D的充分必要条件是AC且BD。 证明:“” 设A×BC×D,任取aA∧bB aA∧bBa,bA×B a,bC×D aC∧bD 所以 AC且BD “ ” 设AC且BD,任取a,bA×B a,bA×BaA∧bB aC∧bD a,bC×D 所以 A×BC×D
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 福州大学:《离散数学》课程教学资源(课件讲稿)第四章 一阶逻辑基本概念.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第六章 集合代数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第五章 阶逻辑等值演算与推理.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第二章 命题逻辑等值演算.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第三章 命题逻辑的推理理论.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第一章 命题逻辑基本概念.pdf
- 福州大学:《离散数学》课程教学资源(教案讲义)第十六章 树.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十八章 支配集、覆盖集、独立集与匹配.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十七章 平面图及图的着色.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十四章 图的基本概念.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十五章 欧拉图与哈密顿图.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十三章 格与布尔代数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十章 代数系统.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十二章 环与域.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十一章 半群与群.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第八章 函数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第九章 集合的基数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第七章 二元关系.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第六章 集合代数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第五章 阶逻辑等值演算与推理.doc
- 福州大学:《离散数学》课程教学资源(课件讲稿)第九章 集合的基数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第八章 函数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十一章 半群与群.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十三章 格与布尔代数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十二章 环与域.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十五章 欧拉图与哈密顿图.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十六章 树.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十四章 图的基本概念.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十章 代数系统.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十七章 平面图及图的着色.pdf
- 《数学分析》课程教学资源(学习资料)定积分复习.pdf
- 《数学分析》课程教学资源(学习资料)二型线面积分复习.pdf
- 《数学分析》课程教学资源(学习资料)2015-2016多变量微积分考试卷和答案.pdf
- 《数学分析》课程教学资源(学习资料)2018秋单变量微积分期中试卷及答案.pdf
- 《数学分析》课程教学资源(学习资料)Fourier级数复习.pdf
- 《数学分析》课程教学资源(学习资料)一元微分学习题课.pdf
- 《数学分析》课程教学资源(学习资料)不定积分复习.pdf
- 《数学分析》课程教学资源(学习资料)二阶线性方程组解结构.pdf
- 《数学分析》课程教学资源(学习资料)含参变量积分复习.pdf
- 《数学分析》课程教学资源(学习资料)多元微分学复习.pdf