二元关系的复合、集合幂集的包含关系是格的证明、逻辑相等与划分

离散证明题## 标题
5.令R为从A到B的一个二元关系，S为从B到C的二元关系，若D是A的一个子集，证明：(S◦R)D=S(R(D))
If an element z∈C is in(S○R)(D),then x (S○R)z for some x in D .By the definition of composition,this means that x R y and y S z for some y in B. Thus y∈R(x)，so z∈S(R(x)). Since {x}⊆D，that S(R(x))⊆S(R(D)).Hence z∈S(R(D)),so (S○R)(D）⊆S(R(D)).
Comversely,suppose that z∈S(R(D)). Then z∈S(y)for some y in R(D)and,similarly, y∈R(x) for some x in D . This means that x R y and y S z, so x(S○R)z. Thus z∈(S○R)(D)，so S(R(D))⊆(S○R)(D). This proves the theorem.
6.请用真值表验证(p⇒q)和(～q⇒～p)逻辑相等.
proof:

注：当(p⇒q)＜=＞(～q⇒～p)是永真式，也即重言式tautology时，我们说它们是逻辑相等logically equivalent
7.证明(P(X),⊆)是格，其中P(X)是集合X的幂集.
proof:
①设A∈P(X)，因为A⊆A恒成立，所以⊆满足自反性reflexive.
②设A,B∈P(X)，如果A⊆B且B⊆A，则A=B,所以⊆满足反对称性antisymmetric.
③设A,B,C∈P(X),如果A⊆B且B⊆C,，则A⊆C,所以⊆满足传递性transitive.（至此可以说明⊆是一个偏序关系，(P(X),⊆)是一个偏序集）
④设A,B属于偏序集(P(X),⊆)，因为A⊆A∪B,B⊆A∪B，如果A⊆C,B⊆C,那么A∪B⊆C，所以A∪B是最小上边界.
⑤设A,B属于偏序集(P(X),⊆)，因为A∩B⊆A,A∩B⊆B，如果C⊆A,C⊆B,那么C⊆A∩B，所以A∩B是最大下边界.
注：要证明(P(X),⊆)是一个格，首先要证明(P(X),⊆)是一个偏序集poset，再证明(P(X),⊆)中任意两个子集都有最小上边界least upper bound和最大下边界greatest lower bound
关于A,B两个集合的最小上边界和最大下边界问题,画个示意图来更直观地了解为什么A∪B是最小上边界,A∩B是最大下边界

如图所示，集合A∪B与C都是A,B的上边界，而A∪B是A,B的最小上边界

如图，A∩B与空集都是A,B的下边界，而A∩B是A,B的最大下边界
8.设π={Aᵢ：i∈I}是集合A上的一个划分,证明：对于任意集合B，所有Aᵢ∩B≠Φ的Aᵢ∩B组成的集合是A∩B的划分。
proof；
因为Aᵢ⊆A,所以Aᵢ∩B⊆A∩B
又(A₁∩B)∪(A₂∩B)∪(A₃∩B)∪…∪(Aᵢ∩B)=(A₁∪A₂∪A₃∪…∪Aᵢ)∩B=A∩B
注：此时只能说明所有Aᵢ∩B≠Φ的Aᵢ∩B组成的集合是A∩B的覆盖，要说明是划分，需要对任意i,j∈l都有（Aᵢ∩B）∩（Aⱼ∩B）=（Aᵢ∩Aⱼ）∩B=Ø∩B=Ø

二元关系的复合、集合幂集的包含关系是格的证明、逻辑相等与划分相关推荐

字符串集合中相互包含关系算法
字符串集合中相互包含关系算法先介绍下使用场景,源文件是一个excel表格,要根据某一列的值生成正则表达式,为保证正则表达式的准确性,被包含的数据肯定是不能直接生成正则表达式的,例如,产科和妇产科,如 ...
集合对偶律：分别用图文证明
集合几个法则: 求证: 注:右上角C表示此集合的补集/余集语言描述:A 并 B的补集 = A的补集交 B的补集 A交B的补集 = A的补集并 B的补集文字证明:(思路:证明两个集合相等,可证 ...
数值分析复化求积matlab,MATLAB数值分析实验二(复合梯形、辛普森和龙贝格求积,以及二重积分计算等)...
1.理解如何在计算机上使用数值方法计算定积近似值; 2.学会复合梯形.复合Simpson和龙贝格求积分公式的编程与应用. 3.探索二重积分在矩形区域的数值积分方法. 佛山科学技术学院实验报告 ...
辛普森复合求积公式matlab,MATLAB数值分析实验二(复合梯形、辛普森和龙贝格求积,以及二重积分计算等).doc...
[摘要]佛山科学技术学院实验报告课程名称数值分析实验项目数值积分专业班级机械工程姓名余红杰学号 2111505010 指导教师陈剑成绩日期月日一.实验目的 ...
集群技术（二） MySQL集群简介与配置详解
when?why? 用MySQL集群? 减少数据中心结点压力和大数据量处理(读写分离),采用把MySQL分布,一个或多个application对应一个MySQL数据库.把几个MySQL数据库公用的数据 ...
【集合论】偏序关系 ( 偏序关系定义 | 偏序集定义 | 大于等于关系 | 小于等于关系 | 整除关系 | 包含关系 | 加细关系 )
文章目录一. 偏序关系 1. 偏序关系定义 ( 1 ) 偏序关系定义 ( 自反 | 反对称 | 传递 ) ( 2 ) 偏序关系与等价关系 ( 等价关系用于分类 | 偏序关系用于组织 ) 2. ...
离散数学中集合、关系、群的证明方法（英文证明附例题）
文章目录集合子集关系句式两个集合相等句式例子划分(partition) 句式例子关系关系R的自反性(reflexive)反自反(irreflexive) 句式关系R的对称性(sy ...
离散数学学习笔记第一章集合
目录集合的表示 1.枚举法 2.叙述法 3.文氏图集合的基数特殊集合集合的关系 1.空集 2.全集 3.相等关系元素的基本特性外延性定理证明集合相等 4.包含关系重要定理 5.幂集集 ...
离散数学-二元关系、闭包的概念
二元关系设S是一个非空集合,R是关于S的元素的一个条件.如果对S中任意一个有序元素对(a,b),我们总能确定a与b是否满足条件R,就称R是S的一个关系(relation).如果a与b满足条件R,则称 ...

二元关系的复合、集合幂集的包含关系是格的证明、逻辑相等与划分

二元关系的复合、集合幂集的包含关系是格的证明、逻辑相等与划分相关推荐

最新文章

热门文章