离散数学_九章:关系(1)

简介: 离散数学_九章:关系(1)

9.1关系及其性质


1、二元关系

设A和B是集合,一个从 A 到 B 的二元关系是A×B的子集。 (序偶集合的子集)


🐳换句话说,一个从A到B的二元关系是集合R,其中每个有序对的第一个元素取自A而第二个元素取自B。


我们使用记号 aRb表示(a, b)∈R,aR b表示(a, b)∉R。当(a, b)属于R时,称a与b有关系R。


📘例:设 A = { 0, 1, 2 }, B = { a, b }


{ (0, a), (0, b), (1, a), (2, b) }是一个从 A 到 B 的关系。

我们可以用图或表格来表示从集合 A 到集合 B 的关系:


2、集合A上的关系

集合A上的关系是从A到A的关系。


🐳换句话说,集合A上的关系是从A到A的关系


📘例:设 A = { a, b, c }

那么R = { (a, a), (a, b), (a, c) }是 A 上的关系


3、n元素集合 有多少个关系?

A上的关系和 A × A 的子集是一回事

➡所以可以直接计数 A × A 的子集。


因为当 A 是 n 元素集合时 A × A 有 n2 个元素,所以 A × A 的子集有 2m (m = n2)


📘例:设 B = { b }

那么B上的二元关系共有2个:R1 = ∅,R2 = { (b, b) }


📘例:设 C = { a, b, c }

那么C上的二元关系共有29 = 512个


4、关系的性质

1. 自反(Reflexivity)

若对每个元素a∈A有(a,a)∈R,那么定义在集合A上的关系R称为自反的 记作aRa,a是A中任意一个元素


用符号表示:(集合A上的关系)R 是自反的,当且仅当 ∀x(x∈A⟶ (x, x)∈R )


(这里的论域是A中所有元素的集合。)


📘例:

以下关于整数的关系是自反的:

R1 = { (a, b) | a ≤ b },

R3 = { (a, b) | a = b 或 a = – b },

R4 = { (a, b) | a = b }。


以下关系不是自反的:

R2 = { (a, b) | a > b }(注意3 ≯ 3),

R5 = { (a, b) | a = b + 1 }(注意3 ≠ 3 + 1),

R6 = { (a, b) | a + b ≤ 3 }(注意4 + 4 ≰ 3)。


2. 对称(Symmetry)

对于任意 a, b∈A,若只要 (a, b)∈R 就有 (b, a)∈R,则称定义在集合 A 上的关系 R 为对称的。


用符号表示:R 是对称的,当且仅当 ∀x∀y ( (x, y)∈R ⟶ (y, x)∈R )


📘例:

以下关于整数的关系是对称的:

R3 = { (a, b) | a = b 或 a = – b },

R4 = { (a, b) | a = b },

R6 = { (a, b) | a + b ≤ 3 }。


以下不是对称的:

R1 = { (a, b) | a ≤ b }(反例:3 ≤ 4,但4 ≰ 3),

R2 = { (a, b) | a > b }(反例:4 > 3,但 3 ≯ 4),

R5 = { (a, b) | a = b + 1 }(反例:4 = 3 + 1,但3 ≠ 4 + 1)。


3. 反对称(Antisymmetry)

对于任意 a, b∈A,若 (a, b)∈R 且 (b, a)∈R,一定有 a = b,则称定义在集合 A 上的关系 R 为反对称的。


用符号表示:R 是反对称的,当且仅当 ∀x∀y( (x, y)∈R ∧ (y, x)∈R ⟶ x = y )


📘例:

以下关于整数的关系是反对称的:

R1 = { (a, b) | a ≤ b },

R2 = { (a, b) | a > b },

R4 = { (a, b) | a = b },

R5 = { (a, b) | a = b + 1 }。


以下关系不是反对称的:

R3 = { (a, b) | a = b 或 a = – b }(反例: (1, – 1) 和 (–1, 1) 都属于R3),

R6 = { (a, b) | a + b ≤ 3 }(反例: (1, 2) 和 (2, 1) 都属于R6)。


💻对称与反对称的概念不是对立的,因为一个关系可以同时有这两种性质或者两种性质都没有。

一个关系如果包含了某些形如(a,b)的有序对,其中a≠b,则这个关系就不可能同时是对称的和反对称的。


4. 传递(Transitivity)

若对于任意 a, b, c∈A,(a, b)∈R 并且 (b, c)∈R 则 (a, c)∈R,那么定义在集合 A 上的关系 R 称为传递的。


用符号表示:R 是传递的,当且仅当∀x∀y∀z( (x, y)∈R ∧ (y, z)∈R ⟶ (x, z)∈R)


📘例:

以下关于整数的关系是可传递的:

R1 = { (a, b) | a ≤ b },

R2 = { (a, b) | a > b },

R3 = { (a, b) | a = b 或 a = – b },

R4 = { (a, b) | a = b }。


下面的句子不是可传递的:

R5 = { (a, b) | a = b + 1 }

(反例:(3, 2) 和 (4, 3) 都属于R5,但不属于 (3, 3)),

R6 = { (a, b) | a + b ≤ 3 }

(反例:(2, 1) 和 (1, 2) 都属于R6,但不属于 (2, 2))。


5、关系的组合

因为从A到B的关系是 A×B 的子集,所以可以按照两个集合组合的任何方式来组合两个从A到B的关系。


给定两个关系R1和R2,我们可以使用基本的集合操作将它们组合起来,形成新的关系,如 R1 ∪ R2、R1 ∩ R2、R1 − R2 和 R2 − R1


除了常见的并∪、交∩、差 - 、异或⊕,还有一种新的组合方式:


关系的合成

设R1 是集合 A 到集合 B 的关系,R2 是集合 B 到集合 C 的关系。

R2 和 R1 的合成是 A 到 C 的关系,其中如果 (x, y) 是 R1 的成员,(y, z) 是 R2的成员,那么 (x, z) 则是 R1 ∘ R2 的成员。


(R1 ∘ R2 表示R1 和 R2 的合成)


关系的幂

由两个关系合成的定义可以递归定义关系R的幂


设R为A上的二元关系,则关系R的n次幂Rn可归纳定义为:

基础步骤:R1 = R

归纳步骤:Rn+1 = Rn ∘ R


传递关系的幂是该关系的子集

相关文章
|
1月前
|
缓存 运维 监控
《SaaS网关多租户治理:从串流到稳控的实践》
本文记录某制造集团SaaS协同平台API网关多租户治理的重构实践。初代网关因依赖“路径前缀+静态IP映射”,在租户增至8家(含3家私有云部署)后,爆发数据串流、混合云适配差、个性化需求迭代慢、故障定位难四大问题。通过搭建“租户元数据+动态路由表”双层隔离机制解决串流,设计多维度决策的混合云路由策略引擎降低转发延迟,构建配置化规则引擎实现零代码定制,并攻克缓存穿透、路由断连、规则冲突三大细节难题。最终租户串流率归零,混合云路由延迟降45%,规则生效时间从2天缩至10秒。
185 9
《SaaS网关多租户治理:从串流到稳控的实践》
|
12天前
|
编解码 人工智能 文字识别
【Github热门项目】DeepSeek-OCR项目上线即突破7k+星!突破10倍无损压缩,重新定义文本-视觉信息处理
DeepSeek-OCR开源即获7k+星,首创“上下文光学压缩”技术,仅用100视觉token超越传统OCR模型256token性能,压缩比达10-20倍,精度仍超97%。30亿参数实现单卡日处理20万页,显著降低大模型长文本输入成本,重新定义高效文档理解新范式。
【Github热门项目】DeepSeek-OCR项目上线即突破7k+星!突破10倍无损压缩,重新定义文本-视觉信息处理
|
14天前
|
人工智能 前端开发 关系型数据库
MajorRAG 概述(1/3)
一个RAG项目,全文共三个部分:MajorRAG概述、MajorRAG文件内容提取实现分析、MajorRAG聊天问答系统实现分析。 1)第一次做RAG,欢迎带着指导意见评论 2)希望指出不足时可以附带替换方法
93 1
基于粒子群优化的图像融合算法matlab仿真
这是一个基于粒子群优化(PSO)的图像融合算法,旨在将彩色模糊图像与清晰灰度图像融合成彩色清晰图像。在MATLAB2022a中测试,算法通过PSO求解最优融合权值参数,经过多次迭代更新粒子速度和位置,以优化融合效果。核心代码展示了PSO的迭代过程及融合策略。最终,使用加权平均法融合图像,其中权重由PSO计算得出。该算法体现了PSO在图像融合领域的高效性和融合质量。
|
9月前
|
人工智能 Cloud Native 关系型数据库
亚太唯一,阿里云连续5年位居Gartner®云数据库管理系统报告「领导者」
Gartner®公布2024年度《云数据库管理系统魔力象限》报告,阿里云成为亚太区唯一入选该报告“领导者(LEADERS)”象限的科技公司,同时也是唯一一家连续5年位居“领导者”象限的中国企业。
【Uniapp 专栏】迈向 Uniapp 开发高手之路的进阶技巧
【5月更文挑战第16天】掌握Uniapp进阶技巧,包括深入理解组件化开发,如创建可复用的按钮组件;运用Vuex进行状态管理,便于全局状态操作;善用Flex布局实现灵活页面设计;合理使用请求库并设置拦截器处理错误和优化请求;同时关注性能优化,提升开发效率和应用质量。
246 3
【Uniapp 专栏】迈向 Uniapp 开发高手之路的进阶技巧
|
Web App开发 数据采集 开发框架
在.NET程序中整合微软的Playwright,使用 Playwright 的最佳实践和技巧
在.NET程序中整合微软的Playwright,使用 Playwright 的最佳实践和技巧
|
机器学习/深度学习 分布式计算 Kubernetes
YAML焦虑再见:PythonSDK助力大规模Argo Workflows构建
Hera优雅的对接Python生态体系与Argo Workflows框架,将繁琐复杂的工作流设计转化为直观简明的创作体验。它不仅为大规模任务编排开创了一条免受YAML复杂性困扰的通途,还为数据工程师铺设了平滑的桥梁,让他们能够借助熟悉的Python语言,无缝构造和优化机器学习工作流。
【洛谷 P1443】马的遍历 题解(广度优先搜索)
该问题是一个棋盘上的马的最短路径问题。给定一个$n\times m$的棋盘和起点$(x, y)$,需要计算马到达棋盘上每个位置的最短步数。输入包含$n, m, x, y$,输出是一个矩阵,表示各位置的步数或未可达的$-1$。使用广度优先搜索(BFS)策略,从起点开始遍历,直到访问完所有可达位置。代码中定义了太阳数组表示马的移动方向,并通过队列实现BFS。最后输出格式要求每个数字左对齐且域宽为5。
213 0